計算モデル特論
Ichiro Satoh
2007年度計算モデル特論(慶應義塾大学大学院)の補足資料。
講義様スライド(PDFファイル）
| 内容 | PDFファイル |
| イントロダクション | download |
| プロセス計算 | download |
| 双模倣性 | 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
Fax: +81-3-3556-1916