Foundation of Software: Winter Semester 2004講義内容(シラバスより) 数理論理学的手法を用いたソフトウェア科学の基礎理論について講述する．特に、 プログラミング言語の形式化と意味論、形式化を用いてプログラムの性質 (型システムとプログラムの安全性など)に関する議論する． お知らせ 10/19までの分の配布資料を置きました (10/19) 休講予定が 1/18 から 1/11 に変更になりました (10/20) 10/26までの分の配布資料を置きました (10/27) 11/9までの分の配布資料を置きました (11/15) 11/16の配布資料を置きました (11/18) 中間レポート課題を出しました．締切は 11/30 です．(11/18) 12/7までの分の配布資料を置きました (12/8) 1/18までの分の配布資料を置きました (1/19) 試験問題に誤りがありましたので，設問5は20点中一律5点加えます． Subject R
