权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

高度計算機ソフトウェアの基礎研究推進のための調査研究

研究促进先进计算机软件基础研究

基本信息

批准号：
60129044
负责人：
大野豊
金额：
$ 0.96万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Special Project Research
财政年份：
1985
资助国家：
日本
起止时间：
1985 至无数据
项目状态：
已结题

项目摘要

計算機ソフトウェアの需要の質的・量的増大に対応するため、高集積・高機能・高信頼性・高品質のソフトウェア・すなわち高度計算機ソフトウェアの本質を追需し、それを飛躍的な高効率で形成することが、いま緊急の課題となっている。本特定研究はこの課題を組織的な基礎研究によって解決するため、「高度計算機ソフトウェアの形成に関する基礎的研究」を昭和62年度発足の重点領域研究として策定することを具体的な目的として、その調査研究を進めてきた。その結果、次のような研究方策が定められた。ソフトウェア形成の既存の技術は、計算機の処理機構に密着しており、人門の思考法、意志伝達法などの特性に適合していないところに問題がある。したがって、高度なソフトウェアを高い効率で形成するためには、計算の本質をより抽象化した新たな計算モデル、すなわち計算機による問題解法の論理的体系を考え、それに基づいて人間の特性をより深く反映したソフトウェアパラダイム、すなわちソフトウェア表現法とソフトウェア構成法を追求する必要がある。この基本的な考えをもとに、推進すべき主要研究項目として1.ソフトウェアの高度化に関する理論的研究2.ソフトウェアの形成方法論に関する研究3.ソフトウェア形成方法論の適用に関する研究を設定した。1.においてはソフトウェアの形成的仕様のあり方を定めうる計算モデルを与えるとともに、問題の解析過程における仕様の表現法と構成法を与える形成理論を確立する。2.では新しい計算モデルとソフトウェアパラダイムに基づくソフトウェア形成過程の計算機支援ないし自動化の実現をはかる。3.においては主要なソフトウェアに対してソフトウェアのあり方、本質を研究することによって、個々のソフトウェアに対する形成方法論から一般的な方法論を確立する。

The increase in the quality and quantity of computer software needs to meet the needs of high performance, high integration, high performance, high reliability, high quality of computer software, and the high efficiency of computer software needs to meet the needs of high efficiency. This specific research is organized as a basic research project to solve the problem,"Basic research related to the formation of advanced computer software," and a specific research goal for the key field research and policy development in Showa 62. The results of the study are as follows: The existing technologies for the formation of software, computer processing mechanisms, human thinking methods, and the characteristics of the will are suitable for the problems. A logical system of problem solving for abstracting the nature of computation, exploring the nature of computing, and exploring the nature of computing, reflecting the nature of computing, and expressing the nature of computing. 1. Theoretical research on the development of software 2. Research on the methodology of software formation 3. Research on the application of software formation methodology 1. To establish the theory of the formation of the problem, the method of expression, the method of composition, and the method of calculation. 2. The implementation of computer support for the automation of the formation process of new computer software 3. To establish a methodology for the study of the nature of the drug and the formation of a general methodology for the study of the drug.