時相属性文法に基づく実用的GUI生成系の開発

基于时间属性语法的实用GUI生成系统的开发

基本信息

  • 批准号:
    06780230
  • 负责人:
  • 金额:
    $ 0.64万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
  • 财政年份:
    1994
  • 资助国家:
    日本
  • 起止时间:
    1994 至 无数据
  • 项目状态:
    已结题

项目摘要

本年度、以下の研究成果を達成した。(1)本研究に関する、本格的な第1論文が採択された。本論文には、昨年度までの成果に加え、新たにいくつかの理論的成果(特に意味論の定式化に関するもの)を加えた。また計算モデル的にやや曖昧であった時相属性文法の実行方式を明確にした。(2)昨年度、試作した時相属性文法処理系(GUI生成系)を、より大規模な問題に適用可能な処理系に改良した。(3)上記処理系のマンマシーン・インターフェース部で使用するGUI基本部品(C++およびMotifで記述)を作成した。(4)上記処理系を用いて、エディタ環境の作成を試みた。現在、継続して研究中。(5)GUI記述を行うオブジェクト指向型論理プログラムとの比較・検討を行い、(1)の計算モデルをさらに改良中である。来年度は、現在継続中の(2)、(3)、(4)の研究を論文として仕上げる予定である。
This year, the following research results were achieved. (1) This research is done by the author, and the first paper of the original article is published by the author. This paper is based on the results of last year's research and the results of the new theory (Special meaning theory, formalization of the theory) and the results of the new theory.またCalculation of モデル's にややambiguityであったphase attribute grammarの実行法をclearにした. (2) Last year, we tried to create a time-phase attribute grammar processing system (GUI generation system), and improved the processing system that can be applied to large-scale problems. (3) The processing system described above was created using basic GUI components (described in C++ Motif) in the processing system. (4) The processing system mentioned above is made and tested using the same environment. Currently, 継続して is being studied. (5) GUI description を row う オ ブ ジ ェ ク ト directional theory プ ロ グ ラ ム と の comparison 検 を 行 い, (1) の calculation モ デ ル を さ ら に improved 中である. The research papers on (2), (3), and (4) in the next year are currently scheduled to be published.

项目成果

期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
山下義行: "時相属性文法によるグラフィカル・ユーザーインターフェースの記述" コンピュータ・ソフトウェア. 12(発表予定). (1995)
Yoshiyuki Yamashita:“使用时间属性语法的图形用户界面的描述”计算机软件 12(待提交)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

山下 義行其他文献

山下 義行的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('山下 義行', 18)}}的其他基金

一般相対論に基づくCG映像生成プログラム・パッケージの開発
基于广义相对论的CG图像生成程序/包的开发
  • 批准号:
    09780369
  • 财政年份:
    1997
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
擬似ベクトル・プロセッサのためのコード最適化の研究
伪向量处理器代码优化研究
  • 批准号:
    07780223
  • 财政年份:
    1995
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
オブジェクト指向に基づく時相属性文法処理系の作成
基于面向对象的时态属性语法处理系统的创建
  • 批准号:
    05858043
  • 财政年份:
    1993
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
属性文法におけるプログラム合成/変換技法の研究
属性语法中的程序合成/转换技术研究
  • 批准号:
    04750307
  • 财政年份:
    1992
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
スーパーコンピュータによる大規模科学計算の超高速可視化技術の開発
利用超级计算机开发大规模科学计算的超高速可视化技术
  • 批准号:
    02855086
  • 财政年份:
    1990
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似海外基金

時相論理式で与えられた広範な制御仕様を扱うことのできるニューラル制御器の構築
构建可以处理由时序逻辑公式给出的各种控制规范的神经控制器
  • 批准号:
    23KJ1451
  • 财政年份:
    2023
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
ロングテールアイテム集合に対する時相論理を適用したデータマイニング
将时序逻辑应用于长尾项目集的数据挖掘
  • 批准号:
    21650054
  • 财政年份:
    2009
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Challenging Exploratory Research
分岐時間正則時相論理による論理回路の仕様記述・設計検証手法の研究
采用分支时间正则时序逻辑的逻辑电路规范描述及设计验证方法研究
  • 批准号:
    04750328
  • 财政年份:
    1992
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
リアルタイム時相論理に基づく高速時間検証方式に関する研究
基于实时时序逻辑的高速时间验证方法研究
  • 批准号:
    04750310
  • 财政年份:
    1992
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
時相論理に基づく論理設計支援の研究
基于时序逻辑的逻辑设计支持研究
  • 批准号:
    01790381
  • 财政年份:
    1989
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
正則時相論理に基づくハードウェア仕様記述とその検証支援システムの研究
基于正则时序逻辑的硬件规格描述及其验证支持系统研究
  • 批准号:
    62750322
  • 财政年份:
    1987
  • 资助金额:
    $ 0.64万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了