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

変数の動的束縛機構をもつ新しいソフトウェアの理論的研究

动态变量绑定机制的新软件理论研究

基本信息

批准号：
15017247
负责人：
佐藤雅彦
金额：
$ 1.98万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
2003
资助国家：
日本
起止时间：
2003 至无数据
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-15017247/
关键词：
対象言語メタ言語文法的対象超変数変数の衝突文脈

项目摘要

平成13,14年度の特定領域研究で行なった,超変数の概念を持った計算系に関する研究を引き続き行なった.本研究で提案した計算系は,変数にレベルを付与することにより既存の計算体系や論理体系に統一的に超変数の概念を導入し,超変数を形式化した体系を構成するというものである.つまり,対象言語の変数はレベル0,メタ言語の変数はレベル1,メタメタ言語の変数はレベル2,…と設定し,それにより項にもレベルを付与する.そしてβ基がレベルに関するある条件を満たすときには変数の衝突を避けないで代入操作を行なうことにより,レベルの低い項は対象言語の文法的な対象として扱うことができるようにした.そしてその結果としてできる計算体系もsubject reduction、合流性、強正規化性といった好ましい性質を保っていることを示した.本研究の手法は文脈の概念の形式化をする際にも有効である.つまり,文脈の穴の中に項を挿入するときその項に出現する変数が穴を囲むバインダで束縛されるということが起こるが,それは通常の変数の衝突を避ける代入とは異なる字面上の代入である.この状沢を本研究の方法で形式化するには,穴を高いレベルの変数と見なせばよい.するとその穴への項の代入操作は字面上の代入となる.本年度の成果は,先行研究で考えられていた体系ではできなかった,文脈の合成の表現ができるようになった点である.(この結果については,"Calculi of Meta-variables"という論文で発表した.)

In Pingcheng 13BI 14, the concept of "number" in the field of research in a specific field is in line with the concept of "number". In this study, it is proposed that the concept of "super-calculation" is integrated into the concept of "super-calculation" in the system of existing calculation systems and existing calculation systems. in this study, the concept of "super-number" is integrated into the concept of "super-number" in the system of existing calculation system, and the concept of "super-number" is integrated into the concept of "super-number". The formal system of super-calculation is divided into two parts. I don't know, I don't know. The settings will be set up, and the payment will be made to the customer. The number of conditions in the grammar is similar to that of the grammar, which is similar to that of the grammar. in the case of the condition, the number of conditions is different. The results show that the subject reduction, confluence, and normalization of the calculation system are not unavoidable. In this study, the concept of manipulation is formalized and there are some problems in the international community. In the text of the acupoint, the number of points appears in the project, the number of points, the number of points. The method of this study is to formalize the number of points in this study. The word "substitution operation" literally means "substitution operation". In this year's "achievements", we will first study the system, and the synthesis will show that there are significant differences between the two groups. (the results show that there is a significant difference in the results, and the "Calculi of Meta-variables" text table is not available.)