計算モデル特論
Ichiro Satoh
2002年度計算モデル特論(慶應義塾大学大学院)の補足資料。
講義様スライド
| 内容 | 講義予定日 | PDFファイル |
| 計算モデルとは | 2002年10月 | [PDF 80KB](前年度版) |
| 研究紹介 | 2002年10月 | [PDF 1800KB] |
| 表示的・公理的意味論 | 2002年11月 | [PDF 95KB] |
| 操作的意味論 | 2002年11月 | [PDF 153KB] |
| 自然意味論 | 2002年11月 | [PDF 51KB] |
| 並行プロセス | 2002年12月 | [PDF 776KB] |
| ペトリネット | 2002年12月 | [PDF 130KB] |
| プロセス等価性 | 2002年12月 | [PDF 130KB] |
| 様相論理 | 2003年1月 | [PDF 347KB] |
| 関数型モデル | 2003年1月 | [PDF 108KB] |
| MLプログラミング言語 | 2003年1月 | [PDF 42KB] |
| 最終課題 | [PDF 20KB] |
参考資料
| 内容 | 講義予定日 | 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