| 内容 | 講義スライド(PDF) | 講義実施(予定)日 |
| 0. 講義情報 | 講義資料(0) [縮小版] | 6/15(月) | 1. 式の評価 | 講義資料(1) [縮小版] | 6/15(月) |
| 2. 変数/関数の束縛と組型 | 講義資料(2) [縮小版] | 6/15(月) |
| 3. 関数の再帰的な定義 | 講義資料(3) [縮小版] | 6/22(月) |
| 4. 局所定義，関数を返す関数 | 講義資料(4) [縮小版] | 6/22(月) |
| 5. 多相性，リスト型 | 講義資料(5) [縮小版] | 6/29(月) |
| 6. パターンマッチを用いた定義とリスト処理関数 | 講義資料(6) [縮小版] | 6/29(月) |
| 7. case式とオプション型 | 7/6(月) | |
| 8. データ型 | 7/6(月) |