[GB20101] プログラム言語論

このページには,2017年度の『プログラム言語論』の 情報を置きます. 2016年度の資料等は、 こちらのページを見てください。

目次


連絡事項

「新しいものが上」に来るようにしました。

講義資料

授業の際にノートを取る、というのは非常に大事です。 ここに置いてあるスライドは授業の一部に過ぎません。
  1. [第1週] 高級言語と低級言語、インタープリタとコンパイラ、構文と意味: スライドNo.1

  2. [第2週] 算術式の評価とOCamlを使った演習

  3. (参考資料: 2017年度は授業ではやりません) スタック機械、コンパイル、 PostScript (Sestoft教科書 2章後半に相当): スライド

  4. (以前の資料: 2017年度は授業ではやりません) 停止性について: スライド

  5. [第3週] 一階言語、抽象機械、環境と評価戦略、関数クロージャ (Sestoft教科書 4章に相当): スライド No.3

  6. [第4週]

  7. [第5週] 値呼び,名前呼び,必要呼び スライド No.5, 型システムの基本 (Sestoft教科書 6章) スライド No.6

  8. [第6週] 型システム (静的型付け、動的型付け、型検査、型推論、多相型)

  9. 命令型言語 (Sestoft教科書 7章, 参考: 昨年の講義スライド)、 データ抽象、モジュール (参考: 昨年の講義スライド)

  10. オブジェクト指向 (参考: 昨年のJavaコード(断片), 講義スライド)

    演習: Javaの動かし方, 課題ファイル

  11. 授業のまとめ: (参考: 昨年の型システム(その2)講義スライド)

  12. 昨年の補足資料: 論理型プログラム言語関数型言語の補足(2015年度分)関数型言語の補足(2014年度分)

参考書籍

期末試験の問題と解答

出席簿

出席簿は、まだありませんが、いずれ、以下のページに置く予定です。
亀山幸義