2015年公開講座・アゴラ

講義資料

• 講義ノート(チューリング機械)（改訂版）
• スライド（完全版）
• 問題の解答（by Haochen Xie)
• 講義ノート(λ計算) (改訂版)
• 講義ノート(コンビネータ論理)
• OCamlでの実装