ソフトウェア基礎科学
ソフトウェア基礎科学（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
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
知能ソフトウェア特論
http://ysserve.int-univ.com/~wasaki/research/index.html
http://lis2.huie.hokudai.ac.jp/~kurihara/classes/Program/fsp.ppt
