数学ざむらい 仕官を求めて諸国を巡っておりまする 計算論、ラムダ計算、コンビネータ論理、数理論理学、圏論、言語理論、Haskell、データサイエンス、印欧語族、三木清／エピクテトス 関数型まつり実行委員 好きな言葉：世界観。「科学は観察の拡張であり、技術は制作の拡張であり、数学は理解を拡張したものである」マイケル・ポランニー
Following Organizations
No Organizations you are following
Followers
- @ktgw0316
LightZone（写真編集用OSS）の開発者
@ronkeisha論計舎（ろんけいしゃ）は、 数理論理学と計算機科学を主軸とした オンライン私塾です。 セッション・コースとクイックコンサル・コースを開講し、様々なイベントも行なっています。 論計舎は数理論理学と計算機科学を「論と計の科学」として掲げそれを伝え広めることと趣味として数学を楽しんでいただくことをミッションとしています。
