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

メタ計算系における型導入によるプログラム変形導出

元计算系统中类型引入程序变换的推导

基本信息

批准号：
62580030
负责人：
井田哲雄
金额：
$ 1.54万
依托单位：
University of Tsukuba (1988)The Institute of Physical and Chemical Research (1987)
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1987
资助国家：
日本
起止时间：
1987 至 1988
项目状态：
已结题

项目摘要

プログラムはある計算系の項の集合と考えることができる。計算系として有効性が広く認められているものに、ラムダ計算に基づく関数型計算系や、一階述語に基づく論理型計算系、項書え計算系などがある。これらの計算系を融和するシステムを本研究ではメタ計算系とよび、理論上、あるいは、メタプログラミングシステムとしての有用性に検討を加えた。われわれのアプローチは、様々な計算系を一つの計算系へと統合するのではなく、複数の計算系が一様な表現によって共存し、しかも計算系相互の接続を容易にする機構を作り出すものである。メタ計算系では、プログラムの変形導出が各固有の計算における計算(例えば、簡約化、反駁)と同等の意味を有する。われわれの研究では、型に関する知見を活用しつつ、プログラム変換技法の開発を行った。本研究によってえられた成果は次の4つに分類できる。(1)プログラム変換のアルコリズムに関して、LISPとラムダ計算に基づく関数型言語のプログラムの変換を考え、それを、LISPのコンパイラに組み込み実用的処理系を構築した。(2)プログラム変換のための計算系の形式化に関して、計算系の性質の分析と形式化が重要であることが明らかになり、言語処理系から抽象マシンに至るまで、統一的な形式化を行った。(3)型の扱いに関しては、多相型推論アルゴリズムのLISP処理系への適用を行った。(4)メタプログラミングの方法論をプログラミング変換に応用し、その結果として、メタ計算系のあり方に関する知見を得た。

A collection of items in a computational system is examined. Computational systems have properties such as: basic mathematical computing systems; first-order predicate; basic logical computing systems; term computing systems. This paper discusses the usefulness of the computational system in theory. A computing system that integrates multiple computing systems into a single performance system can coexist and easily interface with one another. The calculation system is the same as the calculation of the inherent calculation (e.g., reduction, refutation). The research and development of new technologies are based on the knowledge of new technologies. The results of this study were classified into four categories. (1)The processing system for the implementation of the conversion of digital speech based on LISP and LISP is constructed. (2)The formalization of computational systems is related to the analysis and formalization of computational systems. The formalization of speech processing systems is important. (3)The application of LISP processing system in multi-phase inference (4)The methodology for the calculation of the data sets was reviewed and the results were obtained.