| 講演名 | 1999/11/12 問題仕様からの等価変換ルールの生成 小池 英勝, 赤間 清, 宮本 衛市, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 等価変換モデルと呼ばれる新しい計算モデルでは、問題の仕様は確定節の集合で表現され、プログラム合成の主要な部分は仕様から新しい等価変換ルールを合成することである。本論文では、問題の仕様から等価変換ルールを生成する新しい方法を提案する。メタ記述と呼ばれる新しい概念を導入する。メタ記述とは(通常は無限の)記述を一つの表現で表すものである。メタ記述はメタルールを用いて変換される。等価変換ルールは等価なメタ記述の2項組から得られる。 |
| 抄録(英) | In a new computation model called the "Equivalent Transformation model" (ET model), specifications of problems are represented by a set of definite clauses, and the main part of the synthesis of programs is the generation of new ET rules from the specification. This paper proposes a new method for generating ET rules from problem specifications. A new concept of meta-descriptions, each of which represents (usually infinite) descriptions by instantiation, is introduced. Meta descriptions are transformed in terms of meta-rules. An ET rule is obtained from each pair of meta-descriptions that are equivalent. |
| キーワード(和) | 問題解決 / 等価変換ルール / 確定節 / メタルール / ルール生成 |
| キーワード(英) | problem solving / equivalent transformation rule / definite clause / meta-rule / rule generation |
| 資料番号 | KBSE99-39 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1999/11/12(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | 問題仕様からの等価変換ルールの生成 |
| サブタイトル（和） | |
| タイトル（英） | Generating Equivalent Transformation Rules from Specifications of Problems |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 問題解決 / problem solving |
| キーワード(2)（和/英） | 等価変換ルール / equivalent transformation rule |
| キーワード(3)（和/英） | 確定節 / definite clause |
| キーワード(4)（和/英） | メタルール / meta-rule |
| キーワード(5)（和/英） | ルール生成 / rule generation |
| 第 1 著者 氏名（和/英） | 小池 英勝 / Hidekatsu Koike |
| 第 1 著者 所属（和/英） | 北海道大学工学部システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 第 2 著者 氏名（和/英） | 赤間 清 / Kiyoshi Akama |
| 第 2 著者 所属（和/英） | 北海道大学工学部システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 第 3 著者 氏名（和/英） | 宮本 衛市 / Eiichi Miyamoto |
| 第 3 著者 所属（和/英） | 北海道大学工学部システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 発表年月日 | 1999/11/12 |
| 資料番号 | KBSE99-39 |
| 巻番号（vol） | vol.99 |
| 号番号（no） | 426 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |