| 1 | はじめに | .... 2 |
| 2 | プロセッサモデル | .... 2 |
| 3 | 計算モデルGHCの概要 | .... 2 |
| 4 | 分散型ユニファイアの基本メカニズム | .... 3 |
| 5 | ユニフィケーション処理方式 | .... 5 |
| 6 | 後追いフェイルの実現方式 | .... 9 |
| 7 | 並列推論マシンシミュレータ | .... 11 |
| 8 | おわりに | .... 13 |
| 謝辞 | .... 13 | |
| 参考文献 | .... 13 |
ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda