| 研究課題/領域番号 |
02249208
|
|---|
| 研究種目 |
重点領域研究
|
| 配分区分 | 補助金 |
|---|
| 研究機関 | 東京理科大学 |
|---|
研究代表者 |
溝口 文雄 東京理科大学, 理工学部・経営工学科, 教授 (50084463)
|
|---|
| 研究分担者 |
大和田 勇人 東京理科大学, 理工学部・経営工学科, 助手 (30203954)
|
|---|
| 研究期間 (年度) |
1990
|
| 研究課題ステータス |
完了 (1990年度)
|
| 配分額 *注記 |
2,000千円 (直接経費: 2,000千円)
1990年度: 2,000千円 (直接経費: 2,000千円)
|
|---|
| キーワード | 制約論理型言語 / 制約論理プログラミング / グラフィックインタ-フェ-ス / レイアウト問題 / 論理的仕様 / デフォルト制約 / 変更の一貫性管理 |
|---|
| 研究概要 |
現在、グラフィックインタ-フェ-スをソフトウェア工学的に容易に実現する方法としては、オブジェクト指向プログラミングがもっともよく使われている。それに対して本研究では、論理指向のアプロ-チを展開する。このアプロ-チは部品間の関係を制約としてとらえ、グラフィカルなレイアウトは論理的な仕様で記述するというものである。以下に、今年度の成果を述べる。
(1)制約論理型言語Tritonの設計
エルブラン領域を対象にした論理型言語を一般化した制約論理型言語Tritonを設計した。Tritonは線形方程式、線形不等式を扱うことができ、変数の領域は実数に拡張されている。これによりレイアウト問題における代数的制約を言語上で宣言的に記述することができた。そして、制約充足は言語処理系に任かせることができるため、部分的な変更を一貫して管理することが可能となった。TritonはProlog,ESP等の論理型言語処理系上で開発されており、移植性がよい。
(2)制約指向グラフィックスの提案
制約指向によるグラフィック構築法にはThingLabに見られるようなオブジェクト指向プログラミングに基づくアプロ-チがあるが、本研究では、制約論理プログラミングによるアプロ-チを展開した。ThingLabと比べると、オブジェクトの定義、属性・制約の継承が論理的に記述でき、セマンティックスも明らかになっている。また、デフォルトはNegation as failureの枠組によって、デフォルト制約として扱っている。
|
