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

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

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

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

お知らせ

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

date講義内容(予定)配布資料
10/3事務連絡・導入・数学的知識の復習resume1.pdf
10/10算術式(1)resume2.pdf
10/17算術式(2)
10/24変数宣言と定義resume3.pdf
10/31形なしλ計算resume4.pdf
11/7休講
11/14形なしλ計算(2)
11/21休講
11/28単純型付λ計算(1)resume5.pdf
12/5単純型付λ計算(2),オブジェクト計算resume6.pdf
12/12オブジェクト計算(2)
12/19System Fresume7.pdf
1/9π計算(1)resume8.pdf
1/16休講
1/23π計算(2)
1/30π計算(3)resume9.pdf

参考図書

  1. Benjamin C. Pierce. Types and Programming Languages. The MIT Press, 2002.
  2. 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 $.