講演名 | 1995/7/14 等価変換に基づく問題解決 赤間 清, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 等価変換は、問題を解くための最も基本的な方法の1つである。実際、非常に多くの問題解決を、等価変換による解法の特殊な例と見なすことができる。本論文では、宣言的プログラムの等価変換によって問題を解決する枠組について議論する。宣言的プログラムの持つ豊富な表現力と等価変換による適用順序の任意性は、与えられた問題を正しく解く多様なパスを与えるそれらのパスの中で効率の良いパスをうまく実現させるように、等価変換ルール集合とルール適用の優先度を決定すれば、問題解決のための良いアルゴリズムをつくり出すことができる。これは、仕様からアルゴリズムを生成する新しい枠組を与える。 |
抄録(英) | Equivalent transformation is one of the most fundamental methods for problem solving. In fact, many problem solving methods can be regarded as special cases of equivalent transformation of some or other expressions. This paper discusses equivalent transformation of declarative programs as a new method of problem solving. The expressive power of declarative programs and arbitrary application order of equivalent transformation rules lead to various paths to reach correct solutions to a given problem. Design of equivalent transformation rules with priorities of rule application determines an algorithm for problem solving. This is expected to provide a new promising framework of algorithm generation for various problem solving, especially in the area of knowledge processing. |
キーワード(和) | 問題解決 / 等価変換 / アルゴリズム生成 / プログラム変換 |
キーワード(英) | Problem solving / equivalent transformation / algorithm generation / program transformation |
資料番号 | |
発行日 |
研究会情報 | |
研究会 | SS |
---|---|
開催期間 | 1995/7/14(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Software Science (SS) |
---|---|
本文の言語 | JPN |
タイトル(和) | 等価変換に基づく問題解決 |
サブタイトル(和) | |
タイトル(英) | Problem Solving by Equivalent Transformation |
サブタイトル(和) | |
キーワード(1)(和/英) | 問題解決 / Problem solving |
キーワード(2)(和/英) | 等価変換 / equivalent transformation |
キーワード(3)(和/英) | アルゴリズム生成 / algorithm generation |
キーワード(4)(和/英) | プログラム変換 / program transformation |
第 1 著者 氏名(和/英) | 赤間 清 / Kiyoshi Akama |
第 1 著者 所属(和/英) | 北海道大学大学院工学研究科システム情報工学専攻 Division of System and Information Engineering Hokkaido University |
発表年月日 | 1995/7/14 |
資料番号 | |
巻番号(vol) | vol.95 |
号番号(no) | 144 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |