はてなブックマーク

ソフトウェア基礎科学（20011年度） 担当教員：小林直樹(内線7177)，住井英二郎 講義日：金曜３時限 講義室：情報科学研究科棟中講義室 成績：試験とレポートで総合的に判断する。 講義内容： ソフトウェアの形式的検証技術について，毎年トピックを変えて講義をしています． 本年度は，型理論と定理証明器，およびそのプログラム検証への応用について解説します． 講義に関する質問，問い合わせ先（小林担当分）： soft-kiso at kb dot ecei dot tohoku dot ac dot jp (at を"@"で，dot を"."でおきかえること） 参考書等： Benjamin Pierce ed., Advanced Topics in Types and Programming Languages, MIT Press Yves Bertot and Pierre Castera