まきずし @Makizushi_pi
京大で数学専攻するM2。pointless topologyをはじめとして位相的意味論、圏論、formal topology、Zariski空間論等に興味があります。 Topology via Logic読めるようになりたい_(:3」∠)_
-
alg_d「公理追加型数学」
21755pv 18 -
ぴあのん『続・闇空間Rの性質』@第8回関西すうがく徒のつどい #kansaimath
11085pv 30 2 users