ぼんてんぴょん(Bontenpøn) @y_bonten
古典文学と数学と物理学とプログラミングを愛する暇人。睡眠至上主義者。「分かりやすく本質を伝える説明」を考えるのがライフワークです。36歳。@otakehikoが主宰するメダカカレッジ(@medakacollege) http://www.medaka-college.com/ のライターです。
-
『現代数理論理学序説』勉強会
3709pv 5 -
「post-数理論理学ゼミ合宿」勉強会
4624pv 5 2 users -
前原昭二『記号論理入門』
14683pv 5 10