[ ホーム
| 講義 ]
2007年度前期・数理科学展望III/自然数理特論２
講義ホー
ム
講義予定
シラバス
- 第1回 5月18日 ラムダ計算の構文論
- 第2回 5月25日 ラムダ計算の構文論(続)
- 第3回 6月1日 型付ラムダ計算
- 第4回 6月15日 型付ラムダ計算(続)
6月15にレポート課題を配りました．〆切は7月17
日．以下の追記も読んで下さい．
レポート課題の追記
- 問A3では，predは1を引く関数のことである(n → n-1)．
- 問Bでは，階上関数 → 階乗関数 (c!として定義したもの)．
最終更新2007.6.15