Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	Overview of the Original Extended Projection Method	.... 4
2.1	QPC and its realizability	.... 4
2.2	Marking System and Mark Procedure	.... 5
2.3	NExt procedure	.... 5
2.4	Marking Condition	.... 5
2.5	Theoretical Problem	.... 6
3	The Logic;QPCkt	.... 6
3.1	The Language of QPCkt	.... 6
3.2	Rules of Inferences	.... 8
3.3	QPC and QPCkt	.... 9
4	Realizability	.... 9
4.1	Kt-realizability	.... 10
4.2	Soundness of Kt-realizability	.... 11
5	Program Extraction Algorithm;EXT	.... 14
6	Transformation of QPC proofs into QPCkt proofs	.... 15
7	Relation with the Original Extended Projection Method	.... 18
7.1	and marking	.... 18
7.2	Tr and marking procedure	.... 20
7.3	EXT and NExt	.... 20
8	Examples	.... 21
8.1	Even-Odd Checker Program	.... 21
8.2	Natural Number Division	.... 22
9	Comparison with Other Works	.... 24
10	Conclusion and Future Work	.... 25
	Acknowledgment	.... 25
	References	.... 26
	End	.... 27

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