| 講演名 | 1998/11/5 区間変数に関する包含制約の等価変換 赤間 清, 繁田 良則, 宮本 衛市, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本論文は計算を等価変換と見なす等価変換パラダイムに基づいている.等価変換パラダイムではたくさんの等価変換ルールが計算を高速化する可能性がある.本論文では, 区間変数の領域で包含制約を等価変換する2つの新しい等価変換ルールのための基礎理論を開発する.そのルールは, 候補の制限ルールと共通性による特殊化変換であり, 大きな追加コストなしに計算の高速化に貢献することができる. |
| 抄録(英) | This paper is based on the equivalent transformation(ET)paradigm, where computation is regarded as"equivalent transformation of declarative descriptions."In the ET paradigm, many ET rules can make execution more efficient. In this paper we develop a theory of two new equivalent transformation rules for member constraints in the interval variable domain : the condidate elimination rule(CE rule)and the common pattern specialization rule(CPS rule). These rules make computation more efficient without much additional cost. |
| キーワード(和) | 区間変数 / 意味 / 包含制約 / 等価変換 |
| キーワード(英) | interval variable / meaning / member constraint / equivalent transformation |
| 資料番号 | KBSE98-21 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1998/11/5(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 区間変数に関する包含制約の等価変換 |
| サブタイトル（和） | |
| タイトル（英） | Equivalent Transformation for Member Constraints on an Interval Variable Domain |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 区間変数 / interval variable |
| キーワード(2)（和/英） | 意味 / meaning |
| キーワード(3)（和/英） | 包含制約 / member constraint |
| キーワード(4)（和/英） | 等価変換 / equivalent transformation |
| 第 1 著者 氏名（和/英） | 赤間 清 / Kiyoshi Akama |
| 第 1 著者 所属（和/英） | 北海道大学大学院システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 第 2 著者 氏名（和/英） | 繁田 良則 / Yoshinori Shigeta |
| 第 2 著者 所属（和/英） | 北海道大学大学院システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 第 3 著者 氏名（和/英） | 宮本 衛市 / Eiichi Miyamoto |
| 第 3 著者 所属（和/英） | 北海道大学大学院システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 発表年月日 | 1998/11/5 |
| 資料番号 | KBSE98-21 |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 387 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |