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