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

自己反映的プログラミングのための計算・論理体系

自反思编程的计算和逻辑系统

基本信息

批准号：
09780241
负责人：
西崎真也
金额：
$ 1.28万
依托单位：
Tokyo Institute of Technology (1998)Chiba University (1997)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1997
资助国家：
日本
起止时间：
1997 至 1998
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-09780241/
关键词：
プログラミング言語リフレクション環境論理ラムダ計算

项目摘要

本研究では、これまで行ってきた計算体系における自己反映性の研究を基にして、自己反映性を持つ論理・計算体系の確立を目標とした。具体的には高階型理論の一種である多相型付きラムダ計算を、ファーストクラス環境の機能を付加することにより拡張した論理・計算体系を構築した。本年度においては次のような計画のもとに研究は遂行された。【ファーストクラス環境を持つ多相型理論の基本的性質の解明】従来の多相型つきラムダ計算においては、さまざまな数学的性質が知られていた。それらの性質がファーストクラスな環境をもつ多相型理論において、どのように成り立つのかということの解明に取り組んだ。特に、ファーストクラス環境をもつ多相型つきラムダ計算の型推論アルゴリズムの提案と、そのアルゴリズムの健全性・停止性・完全性について研究した。【ファーストクラス環境を持つ多相型理論の意味論】ファーストクラス環境を持つ多相型付きラムダ計算の意味論について研究した。意味論は、レコードを含むような多相型付きラムダ計算への変換により与えられた。【プロトタイプシステムの実装】ファーストクラス環境をもつ多相型つきラムダ計算の型推論アルゴリズムのプロトタイプシステムを実装し、その有効性について検討した。

This study aims to establish a logical and computational system based on self-reflection. A specific higher-order theory is to construct a multi-phase computing system, which can be used to enhance the functions of the environment. This year's research was carried out in the second half of the year. [Explanation of the basic properties of polyphase theory] The properties of polyphase theory are known in the calculation of polyphase theory. The nature of the environment is different from that of the polyphase theory. The research on the soundness, stopping and completeness of multi-phase model and multi-phase model in special environment The study of the implications of multi-phase theory in environment The meaning of this theory is that it includes the following: polyphase phase The environment is multi-phase and the calculation is based on multi-phase inference.