始祖学習によるソフトウェア発展プロセスの統一的構成技術の開発

利用创始人学习开发软件开发流程统一配置技术

• 批准号: 15017201
• 负责人: 山本 章博
• 金额: $ 2.94万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 2003
• 资助国家: 日本
• 起止时间: 2003 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-15017201/
• 关键词: 始祖学習; 極限同定; 帰納推論; 帰納論理; メタ論理プログラミング

本研究では正データからの極限同定による帰納推論を論理の視点から再検討し,始祖学習と名づけた上で,ソフトウェア発展の理論的基盤とすることにある.本年度は論理の手続き的意味論と始祖学習の接続を中心に研究を行った.帰納推論を特別なクラスの論理式で表現する手法に付いては,本研究の分担者である林と協力者であるオーストラリア・ニュー・サウス・ウェールズ大のMartin氏が独立に発見していた.さらに,この手法は論理の手続き的意味論の拡張であることも示されている.一方,ソフトウェア発展はプログラムを発展させること,すなわち,プログラムをデータとして扱わなければならない.そこで,本研究では,メタ論理プログラミングを始祖学習に利用することにした.従来もメタ論理プログラミングを帰納論理へ応用する研究は提案されてはいたが,上述の特別なクラスの論理式を用いないため,始祖学習とみなすには問題を含んでいた.本研究では,特別なクラスの論理式とメタ論理プログラミングとの組合せがソフトウェア発展を表現することを示した.また「発展とは現状を否定することにある」との観点から,論理における否定の手続き的意味論と始祖学習との関係を検討し,論理プログラムのあるクラスを対象にすると,始祖学習と否定が結合できるということを確認した.さらに,始祖学習と現実のソフトウェア開発技法との関係の検討,実数などのデータのコード化と始祖学習の関係を検討を行った.

This study is based on the theoretical foundation for the development of the theory of ancestor learning. This year's logic of the hand of the meaning of the ancestor of learning and access to the center of research The logical expression of the special inference is expressed by the method of paying attention to the author's contribution to the study. In this paper, the method of logic and the meaning of the hand are discussed. In one way, it is easy to develop a new type of food. In this study, the logic of learning is discussed. In the past, we have studied the logic and application of the system, and we have studied the logic and application of the system, and we have studied the problem of the system. In this study, the logical expression of a special class and the combination of the logical expression are shown. The meaning of "development" and "negation" is discussed in detail. In this paper, the relationship between ancestor learning and development techniques is discussed.

项目成果

山本 章博: "精密化演算によるソフトウェア発展"日本ソフトウェア科学会第20回大会(2003年度)論文集. (CD-ROM). (2003)

Akihiro Yamamoto：“通过精细计算进行软件开发”日本软件学会第 20 届年会论文集（2003 年）（CD-ROM）。

T.Horvath, A.Yamamoto(eds.): "Proceedings of the 13th International Conference on Inductive Logic Programming (Lecture Notes in Artificial Intelligence 2835)"Springer. 400 (2003)

T.Horvath、A.Yamamoto（编）：“第 13 届归纳逻辑编程国际会议论文集（人工智能讲义 2835）”Springer。