>>389
柏原先生はCondensed mathematicsに興味があるらしい