最適化に基づくアルゴリズムの発見

DOI Web Site 被引用文献1件 参考文献16件

書誌事項

タイトル別名
  • Derivation of Algorithms based on Optimization.
  • サイテキカ ニ モトズク アルゴリズム ノ ハッケン

この論文をさがす

説明

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

収録刊行物

被引用文献 (1)*注記

もっと見る

参考文献 (16)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ