プログラム理論特論２００２年１学期亀山幸義筑波大学システム情報工学研究科コンピュータサイエンス専攻本講義の位置付けプログラム理論(プログラム言語の理論)の基礎を学ぶ． ×プログラムをどううまく作るか ○プログラムがどうしてうまく動いているのか ○正しく動くプログラムとは何か ○どうやってプログラムの正しさを保証するのか ○どうやって正しいプログラムを作るか ○どうやって(正しさを保ちつつ)効率良いプログラムに変換するのか講義の目的「型システム」と「論理」を keyword としたプログラム理論の研究分野の一端を紹介する．型システムとはなにか型があると何がよいのか型と論理の関係は？型システムの応用は？講義計画プログラム言語の基礎理論プログラム言語における型システム関数プログラミングとラムダ計算型つきラムダ計算型理論の基礎型理論の応用セキュリティ、プログラム解析スケジュール講義：4/11, 18, 25, 5/9, 16, 23, 30, 6/6, 13, 20 試験：6/27 講義資料の置き場所ホームページ: http://logic.is.tsukuba.ac.jp/ kam/progtheory/ 参考書 S. Thompson, “Type Theory and Functional Programming”, Addison-Wesley, 1991. 萩谷昌己「ソフトウェア科学のための論理学」，岩波講座ソフトウェア科学１１，岩波書店佐藤雅彦，桜井貴文「プログラムの基礎理論」，岩波講座ソフトウェア科学１３，岩波書店