Contents of Report

[Data of Report]

	概要	.... 2
	Abstruct	.... 2
1	はじめに	.... 2
2	準群の存在問題	.... 3
3	MGTP;Model Generation Theorem Prover	.... 5
3.1	モデル生成法	.... 5
3.2	ヒューリステックス	.... 6
3.3	並列化	.... 7
4	実行結果および評価	.... 8
4.1	実行結果	.... 8
4.2	並列化の効果	.... 8
5	議論	.... 10
5.1	問題変換による探索空間の枝刈り	.... 10
5.2	関連研究	.... 11
6	むすび	.... 11
	謝辞	.... 11
	参考文献	.... 12

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