知能情報学専攻 ソフトウェア基礎論 (2006年度冬学期)
日時 | 火曜日3限(13:00〜14:30) |
場所 | 工学部10号館4階第二講義室 |
講義内容(シラバスより)
数理論理学的手法を用いたソフトウェア科学の基礎理論について講述する.特に、
プログラミング言語の形式化と意味論、形式化を用いてプログラムの性質
(型システムとプログラムの安全性など)に関する議論をする.
お知らせ
- 配布資料(9)を置きました.(2007.2.1)
- 配布資料(7)(8)を置きました.(2007.1.23)
- 配布資料(6)を置きました.(2006.12.12)
- 配布資料(5)を置きました.(2006.12.4)
- 演習システムのページを置きました.(2006.10.30)
- 配布資料(4)を置きました.(2006.10.30)
- 配布資料(3)を置きました.(2006.10.24)
- 配布資料(2)を置きました.(2006.10.10)
- 11/21(火)は休講といたします.(2006.10.6)
- 配布資料の正誤表を置きました. (2006.10.3)
- 配布資料(1)を置きました (2006.10.2)
- 今年度のページ立ち上げ (2006.9.14)
講義スケジュールと配布資料
参考図書
- Benjamin C. Pierce. Types and Programming Languages. The MIT Press, 2002.
- Robin Milner. Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, 1999.
igarashi@kuis.kyoto-u.ac.jp
Last update on $Date: 2007/02/01 03:25:30 $.