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