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

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

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

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

お知らせ

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

回数date講義内容(予定)/配布資料
14/12休講
24/19事務連絡; 導入; 教科書1章: 自然数の加算・乗算・比較と導出システム(1)/配布資料
34/26教科書1章: 自然数の加算・乗算・比較と導出システム(2)
45/10教科書2章
55/17教科書3章
65/24教科書4章
75/31教科書5,7章
86/7教科書8章
96/14教科書9章
106/21教科書10章
116/28
127/5
137/12
147/19
157/26

教科書

参考図書

  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:: 2016-07-27 11:17:09 +0900#$