高次推論に基づくプログラム合成とソフトウェア発想モデルに関する研究

基于高阶推理的程序综合与软件构思模型研究

基本信息

  • 批准号:
    02249204
  • 负责人:
  • 金额:
    $ 1.41万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
  • 财政年份:
    1990
  • 资助国家:
    日本
  • 起止时间:
    1990 至 无数据
  • 项目状态:
    已结题

项目摘要

平成2年度は、高次推論に基づくプログラム合成に関する研究を主として行い、1)TMS(Truth Maintenance System)を導入したライブラリ利用支援システムの作成、2)既存の類似プログラムから新たなプログラムを作成するための修正支援システムの試作を行った。1)ライブラリ-利用支援システムの作成TMS(Truth Maintenance System)を応用した手法を提案し、ESP言語上のウィンドウ制御用ライブラリ利用における要求獲得を例題とし、ウィンドウ制御プログラム開発支援システムWINCS(WINdow Class Synthesizer)に組込み込んだ。2)修正支援システムの試作この研究は、類推を応用した、類似プログラムの再利用支援を目的としたものである。研究の内容は、まずPrologプログラムのリスト処理プログラムを調査し、多くのプログラムが類似構造を持っていることを示した。次に、類似構造を持つプログラム間において自然言語仕様の比較を行うと、自然言語仕様の間にも類似部分が存在し、プログラムの類似構造と仕様の類似部分に関連性があることを示した。さらに、この関連性に基づき、変形操作に対応する仕様の変化を規則化し、プログラム再利用のためのプログラム修正支援システムを作成した。次年度以降の研究においては、プログラマの行っている類推過程をモデル化するための検討を行う予定である。
In 2002, the main research activities related to the synthesis of high-level inference bases were conducted; 1) the introduction of TMS(Truth Maintenance System) to the creation of utilization support systems; 2) the trial operation of correction support systems for the creation of existing similar systems. 1) Rifle-Use the support system to create TMS(Truth Maintenance System) to use the method to propose, ESP speech on the control of the use of Rifle request to obtain an example, it is necessary to control the development of Rifle Support System WINCS(WINdow Class Synthesizer) group center. 2)The study of modification support system is based on analogy and reuse support system. The content of this study is to investigate and analyze the structure of Prolog files, and to show the structure of prolog files. Second, similar structures exist between groups, natural speech patterns are compared, and similar parts of natural speech patterns exist. In addition, the correlation between the basic, shape operation, the transformation of the system, the reuse of the system, the modification of the system, the creation of the system. In the next year, the study will be carried out in the following ways:

项目成果

期刊论文数量(4)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
T.Hirashima,Y.Nakamura,M.Ikeda,R.Mizoguchi,J.Toyoda: "A Cognitiv Model for ITS" Proc.of International Conference on Advanced Research on Computers in Education(ARCE). 141-147 (1990)
T.Hirashima、Y.Nakamura、M.Ikeda、R.Mizoguchi、J.Toyoda:“ITS 认知模型”国际教育计算机高级研究会议 (ARCE) 论文集。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
T.Imanaka,M.Soga,K.Uehara,J.Toyoda: "An Integration of Prolog and Neural Network to Deal with Sensibility in Logic Programs" Proc.of International Conference on Systems Integration (ICSI). 738-746 (1990)
T.Imanaka、M.Soga、K.Uehara、J.Toyoda:“Prolog 和神经网络的集成,用于处理逻辑程序中的敏感性”国际系统集成会议 (ICSI) 会议记录。
  • 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)}}的其他基金

高次推論に基づくプログラム合成とソフトウェア発想モデルに関する研究
基于高阶推理的程序综合与软件构思模型研究
  • 批准号:
    03235206
  • 财政年份:
    1990
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
知的コミュニケ-ションのための高次推論と認知プロセスの研究
智力交流的高阶推理和认知过程研究
  • 批准号:
    01633516
  • 财政年份:
    1988
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
知的コミュニケーションのための高次推論と認知プロセスの研究
智能通信的高阶推理和认知过程研究
  • 批准号:
    63633515
  • 财政年份:
    1988
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
音声入出力のための対話システム及び知識ベースの高度化に関する研究
语音输入/输出对话系统和知识库的进步研究
  • 批准号:
    01608006
  • 财政年份:
    1987
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
多元情報を担う文書画像の理解システムに関する研究
承载多维信息的文档图像理解系统研究
  • 批准号:
    60210018
  • 财政年份:
    1985
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Special Project Research
多元的情報を担う文書画像の理解システムに関する研究
承载多维信息的文档图像理解系统研究
  • 批准号:
    59218015
  • 财政年份:
    1984
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Special Project Research
網膜アマクリン細胞に関する研究
视网膜无长突细胞的研究
  • 批准号:
    57480121
  • 财政年份:
    1982
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (B)
モンタギュー文法に基づく自然言語の計算機処理
基于蒙塔古语法的自然语言计算机处理
  • 批准号:
    57550218
  • 财政年份:
    1982
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
モンタギュー文法による自然言語処理システムの計算機実現
利用蒙塔古语法的自然语言处理系统的计算机实现
  • 批准号:
    56550248
  • 财政年份:
    1981
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (C)
コイ網膜双極細胞のシナップス機構
鲤鱼视网膜双极细胞的突触机制
  • 批准号:
    X00080----448106
  • 财政年份:
    1979
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for General Scientific Research (B)

相似海外基金

DNA-タンパク質間相互作用を介したタンパク質ポリマーのプログラム合成
通过 DNA-蛋白质相互作用编程合成蛋白质聚合物
  • 批准号:
    22K19110
  • 财政年份:
    2022
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Challenging Research (Exploratory)
高度にアリール化された芳香族化合物群のプログラム合成
高度芳基化芳香族化合物的程序合成
  • 批准号:
    16J05036
  • 财政年份:
    2016
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
擬天然物の翻訳プログラム合成と薬剤探索
伪天然产物翻译程序合成与药物发现
  • 批准号:
    21241051
  • 财政年份:
    2009
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
コントロール・オペレータの計算系とプログラム合成
控制算子计算系统及程序综合
  • 批准号:
    11780213
  • 财政年份:
    1999
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
帰納的定義を用いたプログラム合成
使用归纳定义进行程序综合
  • 批准号:
    09780264
  • 财政年份:
    1997
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
帰納的定義を用いたプログラム合成
使用归纳定义进行程序综合
  • 批准号:
    08780236
  • 财政年份:
    1996
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
帰納的定義を用いたプログラム合成
使用归纳定义进行程序综合
  • 批准号:
    07780217
  • 财政年份:
    1995
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
帰納的定義を用いたプログラム合成
使用归纳定义进行程序综合
  • 批准号:
    06780224
  • 财政年份:
    1994
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
帰納的定義を用いたプログラム合成
使用归纳定义进行程序综合
  • 批准号:
    05780220
  • 财政年份:
    1993
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
属性文法におけるプログラム合成/変換技法の研究
属性语法中的程序合成/转换技术研究
  • 批准号:
    04750307
  • 财政年份:
    1992
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了