Project/Area Number |
06780230
|
Research Category |
Grant-in-Aid for Encouragement of Young Scientists (A)
|
Allocation Type | Single-year Grants |
Research Field |
計算機科学
|
Research Institution | University of Tsukuba |
Principal Investigator |
山下 義行 筑波大学, 電子・情報工学系, 講師 (20220353)
|
Project Period (FY) |
1994
|
Project Status |
Completed (Fiscal Year 1994)
|
Budget Amount *help |
¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1994: ¥1,000,000 (Direct Cost: ¥1,000,000)
|
Keywords | 属性文法 / 時相論理 / ユーザー・インターフェース |
Research Abstract |
本年度、以下の研究成果を達成した。 (1)本研究に関する、本格的な第1論文が採択された。本論文には、昨年度までの成果に加え、新たにいくつかの理論的成果(特に意味論の定式化に関するもの)を加えた。また計算モデル的にやや曖昧であった時相属性文法の実行方式を明確にした。 (2)昨年度、試作した時相属性文法処理系(GUI生成系)を、より大規模な問題に適用可能な処理系に改良した。 (3)上記処理系のマンマシーン・インターフェース部で使用するGUI基本部品(C++およびMotifで記述)を作成した。 (4)上記処理系を用いて、エディタ環境の作成を試みた。現在、継続して研究中。 (5)GUI記述を行うオブジェクト指向型論理プログラムとの比較・検討を行い、(1)の計算モデルをさらに改良中である。 来年度は、現在継続中の(2)、(3)、(4)の研究を論文として仕上げる予定である。
|
Report
(1 results)
Research Products
(1 results)