| 内容 | 講義スライド(PDF) | 講義実施日 |
| 1. 講義情報 | 講義資料(1) [縮小版] | 10/3 |
| 2. 式の評価と変数の束縛 | 講義資料(2) [縮小版] | 10/3 |
| 3. 関数の束縛，組型と基本データ型 | 講義資料(3) [縮小版] | 10/17 |
| 4. 関数適用の評価と関数の再帰的な定義 | 講義資料(4) [縮小版] | 10/17 |
| 5. 型システムと多相性，オプション型 | 講義資料(5) [縮小版] | 10/24 |
| 6. リスト型とパターンマッチによる定義 | 講義資料(6) [縮小版] | 10/24 |
| 7. 局所定義と相互再帰，レコード型 | 講義資料(7) [縮小版] | 10/31 |
| 8. 高階関数と汎用のリスト処理関数 | 講義資料(8) [縮小版] | 10/31 |
| 9. 実行形式ファイルへのコンパイル | このパートは上野先生の担当になります． 学務情報システムからの連絡をご覧ください． | |
| 10. 手続き的機能，例外 | ||
| 11. データ型の定義と応用 | ||
| 12. モジュールと分割コンパイル | ||
| 13. データのフォーマッティング | ||
| 14. グラフィックスプログラミング | ||
| 15. システム設計・開発技法 | ||
| 16. 期末試験 |