計算モデル特論
Ichiro Satoh
2003年度計算モデル特論(慶應義塾大学大学院)の補足資料。
講義様スライド(PDFファイル）
| 内容 | 講義予定日 | PDFファイル |
| 計算モデルとは | 2003年10月 | download |
| 表示的・公理的意味論 | 2003年10月 | download |
| 操作的意味論 | 2003年10月 | download |
| プロセス代数 | 2003年11月 | download |
| プロセス等価性 | 2003年11月 | download |
| 様相論理 | 2003年11月 | download |
| モデルチェッキング | 2003年12月 | download |
| 関数型モデル | 2004年1月 | |
| 型付きλ計算 | 2004年1月 | |
| 最終課題 | download |
参考資料
| 内容 | 講義予定日 | PDFファイル |
| 操作性意味論補足資料 | 2002年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