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

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

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

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

お知らせ

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

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

教科書

参考図書

  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:: 2019-07-16 10:01:06 +0900#$