まきずし @Makizushi_pi
京大で数学専攻するM2。pointless topologyをはじめとして位相的意味論、圏論、formal topology、Zariski空間論等に興味があります。 Topology via Logic読めるようになりたい_(:3」∠)_
-
第八回関西すうがく徒のつどい ルール追加編
5241pv 6