| 梗概 | .... 3 | |
| 1 | はじめに | .... 4 |
| 2 | オブジェクト指向と制約の融合 | .... 6 |
| 3 | オブジェクト指向表現の拡張 | .... 8 |
| 4 | 制約充足に基づく問題解決 | .... 13 |
| 5 | 対象モデル表現システムFREEDOM | .... 17 |
| 6 | 今後の課題 | .... 21 |
| 7 | おわりに | .... 22 |
| 謝辞 | .... 24 | |
| 参考文献 | .... 25 | |
| End | .... 36 |
ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda