Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	Utterance and Discoures Situation	.... 2
3	Extended Unification	.... 4
3.1	Outline of CIL	.... 4
3.2	Complex Indeterminate	.... 5
3.3	Unification	.... 5
3.4	Using Indeterminates and Roles	.... 5
3.5	Equality Theory	.... 5
3.6	Type and Instance	.... 5
4	Model Theoretic Semantics	.... 6
5	Computation Model	.... 7
6	Concluding Remarks	.... 8
	Acknowledgements	.... 8
	References	.... 8
	End	.... 9

目次をクリックすると、PDFファイルが表示されます。