先に構造帰納法に基づく
アルゴリズム
の系統的な発見法を提案し,宣言的な仕様(集合論仕様)から多くの
アルゴリズム
を系統的に導出することができることを示した[11].しかし,複雑な
アルゴリズム
については,仕様から直接導出することができない場合もあり,さらに強力な方法が必要になる.そのような方法として,本論文では,最適化に基づく
アルゴリズム
の系統的な発見法を提案する.その基本的な考えは,複雑な
アルゴリズム
を仕様から直接導出しようとせずに,まず,上記発見法によって単純な
アルゴリズム
を導出しておき,次に,いくつかの最適化手法を使って,これを複雑な
アルゴリズム
に変換するというものである.これによって,従来困難とされていた複雑な
アルゴリズム
の発見が可能になるだけでなく,単純な
アルゴリズムと複雑なアルゴリズム
の関係,すなわち,
アルゴリズム
の系統的な発生の様子が明らかになる.
抄録全体を表示