| 講演名 | 1998/1/30 マルチセット領域の特殊化システムと等式制約の等価変換 赤間 清, 川口 雄一, 宮本 衛市, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | マルチセット領域のための表現と計算に関する新しい理論を開発する. マルチセットとは, 集合の拡張概念であり,「元の出現回数を考慮する集合」と考えることができる. マルチセットを扱う既存の理論が論理の枠組に基づいていたのに対して, 本研究は等価変換パラダイムに基づく. それは, 計算領域を特殊化システムで特徴付け, 計算をその特殊化システム上の宣言的プログラムの等価変換とみなす計算モデルである. 本論文では, マルチセット領域のための特殊化システムを与え, その上の等式制約を等価変換するためのルールを正当化するための命題について議論する. |
| 抄録(英) | A new theory of representation and computation for multiset domains was developed. A multiset (or a bag) is a generalization of sets, which allows multiple occurrences of an element. While conventional theories for multisets are based on the logic paradigm, this new theory is based on the equivalent transformation paradigm, where computation is regarded as "equivalent transformation of declarative descriptions." A class of specialization systems is proposed to formalize multiset domains. Basic propositions justifying equivalent transformation rules for equality constraints on multiset domains are discussed. |
| キーワード(和) | マルチセット / 特殊化システム / 等価変換 / 等式制約 |
| キーワード(英) | multiset / specialization system / equivalent transformation / equality constraint |
| 資料番号 | SS97-55 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1998/1/30(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | マルチセット領域の特殊化システムと等式制約の等価変換 |
| サブタイトル（和） | |
| タイトル（英） | Specialization Systems for Multiset Domains and Equivalent Transformation for Equality Constraints |
| サブタイトル（和） | |
| キーワード(1)（和/英） | マルチセット / multiset |
| キーワード(2)（和/英） | 特殊化システム / specialization system |
| キーワード(3)（和/英） | 等価変換 / equivalent transformation |
| キーワード(4)（和/英） | 等式制約 / equality constraint |
| 第 1 著者 氏名（和/英） | 赤間 清 / Kiyoshi Akama |
| 第 1 著者 所属（和/英） | 北海道大学大学院工学研究科システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 第 2 著者 氏名（和/英） | 川口 雄一 / Yuuichi Kawaguchi |
| 第 2 著者 所属（和/英） | 北海道大学大学院工学研究科システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 第 3 著者 氏名（和/英） | 宮本 衛市 / Eiichi Miyamoto |
| 第 3 著者 所属（和/英） | 北海道大学大学院工学研究科システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 発表年月日 | 1998/1/30 |
| 資料番号 | SS97-55 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 522 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |