| 講演名 | 1996/10/1 等価変換プログラミング言語ETC 清水 伴訓, 赤間 清, 宮本 衛市, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 「等価変換による問題解決」は、与えられた問題を等価変換によって簡単化し、自明な問題に置き換えることによって解を得る汎用の枠組である。これを基礎としたプログラミングが等価変換プログラミングである。本論文では、等価変換プログラミングを実働化するための言語ETCについて述べる。ETCプログラムは、(1)ユーザが定義する豊富なデータ構造を用いた多様な等価変換ルール、(2)ルール選択のためのルールの優先順位宣言、からなる。 |
| 抄録(英) | Equivalent transformation programming (ET-programming) |
| キーワード(和) | 等価変換 / プログラミング言語 / マッチング / 正当性 |
| キーワード(英) | Equvalent Transformation / Programming Language / Matching / Correctness |
| 資料番号 | SS96-19 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1996/10/1(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 等価変換プログラミング言語ETC |
| サブタイトル（和） | |
| タイトル（英） | An Equivalent Transformation Programming Language ETC |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 等価変換 / Equvalent Transformation |
| キーワード(2)（和/英） | プログラミング言語 / Programming Language |
| キーワード(3)（和/英） | マッチング / Matching |
| キーワード(4)（和/英） | 正当性 / Correctness |
| 第 1 著者 氏名（和/英） | 清水 伴訓 / Tomokuni Shimizu |
| 第 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 |
| 発表年月日 | 1996/10/1 |
| 資料番号 | SS96-19 |
| 巻番号（vol） | vol.96 |
| 号番号（no） | 283 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |