| 研究課題/領域番号 |
06780230
|
|---|
| 研究種目 |
奨励研究(A)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
計算機科学
|
|---|
| 研究機関 | 筑波大学 |
|---|
研究代表者 |
山下 義行 筑波大学, 電子・情報工学系, 講師 (20220353)
|
|---|
| 研究期間 (年度) |
1994
|
| 研究課題ステータス |
完了 (1994年度)
|
| 配分額 *注記 |
1,000千円 (直接経費: 1,000千円)
1994年度: 1,000千円 (直接経費: 1,000千円)
|
|---|
| キーワード | 属性文法 / 時相論理 / ユーザー・インターフェース |
|---|
| 研究概要 |
本年度、以下の研究成果を達成した。
(1)本研究に関する、本格的な第1論文が採択された。本論文には、昨年度までの成果に加え、新たにいくつかの理論的成果(特に意味論の定式化に関するもの)を加えた。また計算モデル的にやや曖昧であった時相属性文法の実行方式を明確にした。
(2)昨年度、試作した時相属性文法処理系(GUI生成系)を、より大規模な問題に適用可能な処理系に改良した。
(3)上記処理系のマンマシーン・インターフェース部で使用するGUI基本部品(C++およびMotifで記述)を作成した。
(4)上記処理系を用いて、エディタ環境の作成を試みた。現在、継続して研究中。
(5)GUI記述を行うオブジェクト指向型論理プログラムとの比較・検討を行い、(1)の計算モデルをさらに改良中である。
来年度は、現在継続中の(2)、(3)、(4)の研究を論文として仕上げる予定である。
|
