計算モデル特論
Ichiro Satoh
2012年度計算モデル特論(慶應義塾大学大学院)の補足資料。
講義スライド
補足資料
| 内容 | PDFファイル |
| イントロダクション | download |
| オートマトンとチューリングマシン | download |
| λ計算 | download |
| プロセス計算 | download |
| 意味論 | |
| プロセス等価性 | download proof-notes |
| プロセス計算の記述例 | download |
| 公理系 | download |
| ペトリネット | download |
| モデル検査 | download |
| その他の計算モデル | download |
| 最終課題 | download |
Ph.D, Professor
National Institute of Informatics
2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430 Japan
Tel: +81-3-4212-2546