知能情報学専攻 ソフトウェア基礎論 (2008年度冬学期)

日時 火曜日3限(13:00〜14:30)
場所 工学部10号館4階第二講義室

講義内容(シラバスより)

数理論理学的手法を用いたソフトウェア科学の基礎理論について講述する.特に、 プログラミング言語の形式化と意味論、また,型システムとプログラムの安全性な ど,形式化を用いたプログラムの性質に関する議論をする.

お知らせ

講義スケジュールと配布資料

date講義内容(予定)配布資料
10/7事務連絡・導入resume0.pdf
10/14自然数の加算・乗算・比較と導出システムresume1.pdf
10/21簡単な式の評価resume2.pdf
10/28演習app1.pdf
11/4変数束縛と関数 resume3.pdf, resume4.pdf
11/11リストとパターンマッチ resume5.pdf
11/18単純型システム resume6.pdf
12/2型安全性の証明 resume6-2.pdf
12/9A型インフルエンザのため休講
12/16型推論
1/13多相型システム resume8.pdf
1/20出張につき休講
1/27多相型システムに対する型安全性定理・型推論 resume9.pdf
2/12(木)最終レポート締切

参考図書

  1. Benjamin C. Pierce. Types and Programming Languages. The MIT Press, 2002.
  2. Daniel P. Friedman and Mitchell Wand. Essentials of Programming Languages. The MIT Press. Third edition. 2008.
  3. Robin Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999.

igarashi@kuis.kyoto-u.ac.jp
Last update on $Date: $.