環境の理論によるプログラミング言語の発展機構に関する研究

基于环境理论的程序设计语言发展机制研究

• 批准号: 10139205
• 负责人: 西崎 真也
• 金额: $ 1.28万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas (A)
• 财政年份: 1998
• 资助国家: 日本
• 起止时间: 1998 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10139205/
• 关键词: プログラミング言語

環境という概念はほとんどすべてのプログラミング言語が有するものであり、プログラミング言語の融合のインターフェースとなりうる。このことから、環境の理論はプログラミング言語の融合についての理論を確立するために有効であると考えた。本研究では、環境の理論によるプログラミング言語の融合の理論の確立を目標とし、そのために、環境の理論の数学的性質の解明に取り組んだ。本年度の本研究においては、次の事項について研究を遂行した。【型体系の基本的性質の解明】従来の多相型つき型体系のような高階型理論においては、さまざまな数学的性質が解明されてきた。それらの性質がファーストクラスな環境をもつ多相型理論において、どのように成り立つのかということの解明に取り組んだ。特に、ファーストクラス環境をもつ多相型つきラムダ計算の型推論アルゴリズムの提案と、そのアルゴリズムの健全性・停止性・完全性について研究した。【環境の理論と多相型理論の意味論】ファーストクラス環境をもつ多相型付きラムダ計算の意味論について研究した。意味論は、レコードを含むような多相型付きラムダ計算への変換により与えられ、停止性などの証明に有効であるという知見を得た。【プロトタイプシステムの実装】ファーストクラス環境をもつ多相型つきラムダ計算の型推論アルゴリズムのプロトタイプシステムを実装した。実装は、SICStus Prolog上でおこない、アルゴリズムの改善に役立て、アルゴリズムの有効性について検討した。

Concept of environmental と い う は ほ と ん ど す べ て の プ ロ グ ラ ミ ン が グ words have す る も の で あ り, プ ロ グ ラ ミ ン グ words の fusion の イ ン タ ー フ ェ ー ス と な り う る. こ の こ と か ら, environmental の theory は プ ロ グ ラ ミ ン グ words の fusion に つ い て を の theory established す る た め に have sharper で あ る と exam え た. This study で は, environmental の theory に よ る プ ロ グ ラ ミ ン グ speech の の fusion theory の objective of を と し, そ の た め に の mathematical properties, environmental の theory の interpret に group take り ん だ. This year, the にお にお て て て of this research, the に て て て research を carried out た た. The nature of the type system の basic の interpret 】 【 従 to の type multiphase つ き type system の よ う な type higher order theory に お い て は, さ ま ざ ま な mathematical が interpret the nature of さ れ て き た. そ れ ら の nature が フ ァ ー ス ト ク ラ ス な environment を も つ type multiphase theory に お い て, ど の よ う に made into り つ の か と い う こ と の interpret に group take り ん だ. に, フ ァ ー ス ト ク ラ ス environment を も つ type multiphase つ き ラ ム ダ computing の type inference ア ル ゴ リ ズ ム の proposal と, そ の ア ル ゴ リ ズ ム の sanity, stop sex, completeness に つ い て research し た. 【 environmental の theory と type multiphase theory の mean theory 】 フ ァ ー ス ト ク ラ ス environment を も つ type multiphase pay き ラ ム ダ computing の mean theory に つ い て research し た. Mean theory は, レ コ ー ド を containing む よ う な type multiphase pay き ラ ム ダ computing へ の variations in に よ り and え ら れ, stop な ど に の proved that there are unseen で あ る と い う knowledge を た. 【 プ ロ ト タ イ プ シ ス テ ム の be pack 】 フ ァ ー ス ト ク ラ ス environment を も つ type multiphase つ き ラ ム ダ computing の type inference ア ル ゴ リ ズ ム の プ ロ ト タ イ プ シ ス テ ム を be loaded し た. Be は, SICStus Prolog on で お こ な い, ア ル ゴ リ ズ ム の て, improve に service ア ル ゴ リ ズ ム の have sharper sex に つ い て beg し 検 た.

项目成果

Shin-ya Nishizaki et.al.: "Formalization of Graph Search Algorithm and Its Applications" Lecture・Notes in Computer Science. 1479. 479-496 (1998)

Shin-ya Nishizaki 等人：“图搜索算法的形式化及其应用”计算机科学讲座·笔记 1479. 479-496 (1998)

Shin-ya Nishizaki et.al.: "Translation of first-class environments to records" First International Workshop on Expliut Substitutions. 1. 81-92 (1998)

Shin-ya Nishizaki 等人：“将一流环境转化为记录”第一届国际显式替代研讨会。