课题基金 / 基金详情

ソフトウェア発展を高度化するための等価変換ルールの自動生成法の研究

ソフトウェア発展を高度化するための等価変換ルールの自動生成法の研究
改进软件开发的等价转换规则自动生成研究
批准号：
10139202
负责人：
赤間 清
金额：
$1.15万
依托单位：
Hokkaido University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas (A)
财政年份：
1998
资助国家：
日本
项目状态：
已结题
起止时间：
1998 至 --
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10139202/
关键词：
ソフトウェア発展仕様等価変換パラダイムメタルールルール生成

项目摘要

项目成果

赤間 清的其他基金

相似基金

相关文献

中文摘要
翻译
1 特定領域研究本年度の研究の目的は,仕様から等価変換ルールを生成する技術を提案することである.本研究の成果は次のとおりである。● 仕様(確定節集合)とメタアトム(問い合わせまたはサブゴールに対応する)から等価変換ルールを生成する方法の提案。ルールを生成するためにメタ記述を用いる。メタ記述は具体化によって得られる(無限の)記述を代表している。メタ記述を等価変換して、メタ記述の対を得、それらから等価変換ルールを作る。● 生成ルールの正当性を保証する理論の構築。正しいメタルールの繰り返し適用によって等価な2つのメタ記述が得られ、それらから等価変換ルールが得られることを証明した。● 仕様(確定節集合)と問い合わせから,それに答えるために必要なプログラムを自動生成するシステムの試作。このシステムは現在append,initial,max,common_subseqなどを含む述語に対するプログラムを自動的に生成できる.ただしシステムの実装はまだ初歩的で,多大なメモリ空間を消費するため小さな問題しか解けない.
英文摘要
1 特定領域研究本年度の研究の目的は,仕様から等価変換ルールを生成する技術を提案することである.本研究の成果は次のとおりである。● 仕様(確定節集合)とメタアトム(問い合わせまたはサブゴールに対応する)から等価変換ルールを生成する方法の提案。ルールを生成するためにメタ記述を用いる。メタ記述は具体化によって得られる(無限の)記述を代表している。メタ記述を等価変換して、メタ記述の対を得、それらから等価変換ルールを作る。● 生成ルールの正当性を保証する理論の構築。正しいメタルールの繰り返し適用によって等価な2つのメタ記述が得られ、それらから等価変換ルールが得られることを証明した。● 仕様(確定節集合)と問い合わせから,それに答えるために必要なプログラムを自動生成するシステムの試作。このシステムは現在append,initial,max,common_subseqなどを含む述語に対するプログラムを自動的に生成できる.ただしシステムの実装はまだ初歩的で,多大なメモリ空間を消費するため小さな問題しか解けない.
期刊论文(6)
专著(0)
科研奖励(0)
会议论文
赤間 清: "論理的問題の等価変換による解法(1)その理論的基礎" 人工知能学会誌. 13.6. 929-935 (1998)
Kiyoshi Akama：“通过等价变换解决逻辑问题（1）其理论基础”日本人工智能学会杂志13.6（1998）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
赤間 清: "宣言的プログラムの等価変換による問題解決" 人工知能学会誌. 13.6. 944-952 (1998)
Kiyoshi Akama：“通过声明式程序的等效转换解决问题”，人工智能学会杂志 13.6（1998）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
赤間 清: "特殊化システムの拡張による知識表現系の変更" 人工知能学会誌. 13.1. 131-138 (1998)
Kiyoshi Akama：“通过扩展专业化系统来改变知识表示系统”《人工智能学会杂志》131-138（1998）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
小池 英勝: "仕様からの等価変換ルールの生成法" 電子情報通信学会技術研究報告KBSE. 98-8. 33-40 (1998)
Hidekatsu Koike：“从规范生成等效转换规则的方法”IEICE 技术研究报告 KBSE 98-40 (1998)。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 6 条
    メタ計算の進化的探索に基づく正当で効率的なプログラムの自動生成
    • 批准号：
      16650003
    • 项目类别：
      Grant-in-Aid for Exploratory Research
    • 资助金额：
      $1.73万
    • 财政年份：
      2004
    • 负责人：
      赤間 清
    • 依托单位：
      Hokkaido University
    ソフトウェアの発展を可能にする等価変換に基づくシステム構築法の研究
    • 批准号：
      09245202
    • 项目类别：
      Grant-in-Aid for Scientific Research on Priority Areas
    • 资助金额：
      $1.22万
    • 财政年份：
      1997
    • 负责人：
      赤間 清
    • 依托单位：
      Hokkaido University
    等価変換に基づく知識処理システム構築方法の研究
    • 批准号：
      08878045
    • 项目类别：
      Grant-in-Aid for Exploratory Research
    • 资助金额：
      $1.09万
    • 财政年份：
      1996
    • 负责人：
      赤間 清
    • 依托单位：
      Hokkaido University
    不完全知識下の法的推論の実現方法の研究
    • 批准号：
      08204203
    • 项目类别：
      Grant-in-Aid for Scientific Research on Priority Areas
    • 资助金额：
      $0.9万
    • 财政年份：
      1996
    • 负责人：
      赤間 清
    • 依托单位：
      Hokkaido University
    海外基金