ソフトウェア論理 (Logic in Computer Software)

• 担当教員: 亀山幸義、水谷哲也
• 曜日・時限: 秋AB, 金56
• 教室: 3B303

連絡事項

• 日程、内容を今年度用に調整。 (2013/10/12)
• このページを作成。 (2013/03/15)

目次

• シラバス日本語版， シラバス英語版

• 前半の講義計画 (担当：水谷哲也)
  水谷先生の資料は、 こちらのページにあります。
  内容は、 Hoare Logic、@カリュキュラス などに基づくプログラムの検証です。

• 後半の講義計画 (担当：亀山幸義)
  • 第1週(11/01): 関数プログラミング: スライド1, 資料1
  • 第2週(11/08): 型システム スライド2
  • 第3週(11/15): プログラム生成とマルチステージプログラミング スライド3, 資料2
  • 11/22 は水谷先生が担当されます。
  • 第4週(12/06): マルチステージプログラムの型システム スライド4
  • 第5週(12/13): マルチステージプログラミングの応用 スライド5
• 後半の参考書
  • Dowek & Levy, "Introduction to the Theory of Programming Languages" Undergraduate Topics in Computer Science, Springer, 2011. (筑波大学ネットワークからは、 この本の電子版を無料で入手することができる。
  • Benjamine C. Pierce, "Types and Programming Languages", MIT Press, 2002.
  • 大堀淳, プログラミング言語の基礎理論, 情報数学講座９，共立出版．
  • 龍田真, 型理論, 近代科学社