最適化に基づくアルゴリズムの発見
スポンサーリンク
概要
- 論文の詳細を見る
先に構造帰納法に基づくアルゴリズムの系統的な発見法を提案し,宣言的な仕様(集合論仕様)から多くのアルゴリズムを系統的に導出することができることを示した[11].しかし,複雑なアルゴリズムについては,仕様から直接導出することができない場合もあり,さらに強力な方法が必要になる.そのような方法として,本論文では,最適化に基づくアルゴリズムの系統的な発見法を提案する.その基本的な考えは,複雑なアルゴリズムを仕様から直接導出しようとせずに,まず,上記発見法によって単純なアルゴリズムを導出しておき,次に,いくつかの最適化手法を使って,これを複雑なアルゴリズムに変換するというものである.これによって,従来困難とされていた複雑なアルゴリズムの発見が可能になるだけでなく,単純なアルゴリズムと複雑なアルゴリズムの関係,すなわち,アルゴリズムの系統的な発生の様子が明らかになる.
- 一般社団法人日本ソフトウェア科学会の論文
- 1994-07-15
著者
関連論文
- F-013 AIBOによる室内確認システムの検討(F分野:人工知能・ゲーム)
- パネル討論会 : 要求技術の目指すべき方向
- 段階的詳細化, データ抽象化を支援する言語SPLのコンパイル技法
- 型変数を用いた逆向きデータフロー解析によるマシンコードの型付け手法の提案
- AGENT : 機能テストのためのテスト項目作成の一手法
- ソフトウェアテスト項目作成支援システム (ソフトウェア生産技術) -- (ソフトウェア生産技術と支援ツ-ル)
- B-7-98 キャッシュするデータをファイル種別で選別するキャッシュ方式の提案(B-7. 情報ネットワーク,一般セッション)
- IC旅券等のIC身分証明書を利用した仮想会員証運用システムの提案(セッション5: グループウェアアプリケーション)
- IC旅券等のIC身分証明書を利用した仮想会員証運用システムの提案(セッション5: グループウェアアプリケーション)
- C-022 H8マイクロコンピュータを用いたバッテリーアナライザの試作(C分野:アーキテクチャ・ハードウェア)
- A-016 変数宣言機能を付与したRuby処理系の作成(A分野:モデル・アルゴリズム・プログラミング)
- 集合論プログラミング
- 最適化に基づくアルゴリズムの発見
- ソーティングアルゴリズムの新しい分類
- 構造帰納法に基づくアルゴリズムの発見
- 一般部分計算法 (プログラム合成/変換)
- 要求定義技術の最近の動向
- ソフトウェア開発支援システム(CASDシステム) (ソフトウェア生産技術) -- (ソフトウェア生産技術)
- ソフトウェア構造設計技法 (ソフトウェア生産技術) -- (ソフトウェア生産技術)
- 要求定義技術の動土向(ソフトウェアツール 1 : 段計・記述)