計算モデル特論
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] |
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