| 1 | 計算モデル | .... 2 |
| 2 | 多環境の実現 | .... 4 |
| 3 | Shallow bindingとcontext switching | .... 5 |
| 4 | Data Object | .... 9 |
| 5 | DereferenceとHead unfication | .... 9 |
| 6 | Commitent | .... 12 |
| 7 | local環境の管理 | .... 13 |
| 8 | Main Areas | .... 15 |
| 9 | Clauseの内部形式 | .... 15 |
| 参考文献 | .... 17 |
ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda