計算モデル特論

Ichiro Satoh

2005年度計算モデル特論(慶應義塾大学大学院)の補足資料。

講義様スライド(PDFファイル)

内容 講義予定日 PDFファイル
計算モデルとは 2005年10月 download
プロセス計算 2005年10月 download
プロセス等価性 2005年11月 download
健全性と完全性 2005年11月 download
時相論理とモデルチェッキング 2005年12月 download
ペトリネット 2005年1月 download
Ambient Calculus 2006年1月 download
最終課題   download

参考資料

内容 講義予定日 PDFファイル
操作性意味論補足資料 2005年11月 [PDF 83KB]



Ichiro Satoh (E-mail: ichiro@nii.ac.jp)

Ph.D, Associate Professor
National Institute of Informatics

2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 Japan
Tel: +81-3-4212-2546
Fax: +81-3-3556-1916