| 1 | Introduction | .... 3 |
| 2 | Data Structures and Models | .... 4 |
| 3 | Formalization of Modeling | .... 5 |
| 3.1 | Schema and Model | .... 5 |
| 3.2 | Example of Modeling | .... 7 |
| 3.3 | Dependency among Ralations | .... 8 |
| 4 | Problem Solving through Modeling | .... 11 |
| 4.1 | Finding Solutions | .... 11 |
| 4.2 | Extracting Formulas for Solvers | .... 11 |
| 4.3 | Constraint Programming | .... 12 |
| 5 | Operations for Models | .... 12 |
| 5.1 | Definitions of Operations | .... 12 |
| 5.2 | Utilization of Operations | .... 16 |
| 6 | Implementation | .... 16 |
| 6.1 | MODEL/R | .... 16 |
| 6.2 | Examples of Modeling | .... 20 |
| 7 | Conclusion | .... 28 |
| ACKNOWLEDGEMENTS | .... 28 | |
| REFERENCES | .... 28 | |
| End | .... 29 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports