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

メタ計算系に関する研究

元计算系统研究

基本信息

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

项目摘要

プログラムはある計算系の項の集合と考えることができる。計算系として、代入を基本とする関数型計算系、リゾリューションを基本とするホーン節-階述語論理、パターンマッチングに基づく一般の項書換えシステムがある。本研究ではこれらの計算系を融合するプログラミングシステム(これを本研究ではメタ計算系とよぶ)を構築し、理論上あるいはメタプログラミングシステムとしての実用性に検討を加えた。研究成果は次の通りである。1.関数型言語の一つの方言とみなすことができるプログラム言語LISPと、一階述語論理に基づく言語Prologを内蔵したメタ計算系を構築し、この計算系におけるプログラミング方法論を提示した。実用的例題として、LISPのコンパイラをPrologにより記述し、本計算系で稼動させ、メタ計算系の有効性を確認した。2.項書換えシステムを上記メタ計算系に埋込むために、項書換えに基づくプログラミング言語を設計し、そのプロトタイプ処理系を試作した。この実験により、項書換えシステムに基づく言語処理系のインプリメンテーション上の問題点が解明された。3.関数型言語の計算モデルとなるラムダ計算の意味論を、言語処理系を作成する立場から、与えた。これはカルテシアン・クローズド・カテゴソーに基づくもので、この手法により、いくつかの関数型言語処理系の統一的作成が可能となった。1 で言及したLISPコンパイラーはこの手法に基づいて作成されており、この手法の有効性が確認されている。

A collection of items in a computational system is examined. Computational system, substitution, basic, relational, computational system, classification, logic, basic, general, computational system In this study, the computational system was constructed and theoretically analyzed. The research results are in order. 1. The construction and methodology of the computational system of speech LISP, first-order predicate logic, and speech Prolog are suggested. The examples used are described in the LISP's Prolog, and the calculation system is verified. 2. The system of calculation and design of speech processing is tested. The problem of speech processing system is solved. 3. Related to the calculation of speech, speech processing system, meaning theory, to create a position, and This paper discusses the possibility of creating a unified digital speech processing system based on the theory of speech processing. 1. To confirm the validity of the method, the LISP shall be responsible for the preparation of the basic information.