通信情報システム専攻 専門科目 プログラム意味論 (2014年度夏学期)

日時 火曜日3限(13:00〜14:30)
場所 総合研究7号館1階 情報1
オフィスアワー:月曜日 17:00〜18:30 (総合研究7号館224)
(その他の時間は要アポイントメント)

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

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

お知らせ

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

回数date講義内容(予定)/配布資料
14/8事務連絡; 導入; 教科書1章: 自然数の加算・乗算・比較と導出システム(1)/配布資料
24/15教科書1章: 自然数の加算・乗算・比較と導出システム(2),2.1
34/22教科書2.2〜2.3
45/13教科書2.4〜4.3
55/20教科書4.4〜5.3
65/27各自演習
76/3教科書5.4〜5.7
86/10教科書8章
96/17教科書9章
106/24教科書10章
117/1
127/8
137/15
147/22
157/29

教科書

参考図書

  1. 五十嵐 淳.プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~.技術評論社.2007.(電子版が GIHYO Digital Publishingから購入可能)
  2. Glynn Winskel. The Formal Semantics of Programming Languages. The MIT Press, 1993.
  3. Benjamin C. Pierce. Types and Programming Languages. The MIT Press, 2002. (和訳あり: 型システム入門(オーム社))
  4. Daniel P. Friedman and Mitchell Wand. Essentials of Programming Languages. The MIT Press. Third edition. 2008.

igarashi@kuis.kyoto-u.ac.jp
Last update on $Date:: 2014-06-24 14:38:02 +0900#$