齊藤　航省

田中 健策

公理的集合論・圏論・数理論理学・数学の哲学・数学芸術、等についてメンバーが好きに文章を書く数学同人誌「The Dark Side of Forcing」を年二回発行してコミケで頒布している。

フリーランサー, プログラマー・小説家

フリーランサー / プログラマー・小説家