Followees
- @Trubetzkoy
数学ざむらい 仕官を求めて諸国を巡っておりまする 計算論、ラムダ計算、コンビネータ論理、数理論理学、圏論、言語理論、Haskell、データサイエンス、印欧語族、三木清／エピクテトス 関数型まつり実行委員 好きな言葉：世界観。「科学は観察の拡張であり、技術は制作の拡張であり、数学は理解を拡張したものである」マイケル・ポランニー
数学ざむらい 仕官を求めて諸国を巡っておりまする 計算論、ラムダ計算、コンビネータ論理、数理論理学、圏論、言語理論、Haskell、データサイエンス、印欧語族、三木清／エピクテトス 関数型まつり実行委員 好きな言葉：世界観。「科学は観察の拡張であり、技術は制作の拡張であり、数学は理解を拡張したものである」マイケル・ポランニー