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

ソフトウェアの発展における環境の理論に関する研究

软件开发环境理论研究

基本信息

批准号：
09245204
负责人：
西崎真也
金额：
$ 0.83万
依托单位：
Chiba University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1997
资助国家：
日本
起止时间：
1997 至无数据
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-09245204/
关键词：
ソフトウェア発展環境ラムダ計算関数型プログラミング

项目摘要

プログラミング言語における「環境」という概念は、変数の有限集合を定義域、値の集合を値域とする関数としてとらえられる。これはプログラム中であらわれる変数がいかなる値に対応するのかを表現し、プログラミング言語の実行系の内部状態として典型的なものである。Lispの方言であるプログラミング言語Schemeのいくつかの処理系(MIT‐Schemeやelkなど)においては、環境をファーストクラス・オブジェクトとして扱うことが可能になっている。ここで、ファーストクラス・オブジェクトとは、関数や手続きの引数や返り値になりうるようなもののことであり、整数値や論理値などが典型的なファーストクラス・オブジェクトである。プログラミング言語においてファーストクラスな環境を導入することにより、サブルーチンのパッケージング・モジュール化などを実現できることが知られている。本研究においては、ソフトウェアの発展の視点から、ファーストクラスな環境の機構の研究に取り組む。具体的には、プログラムの発展にともなって必要となる名前管理を研究の中心とし、本研究の枠組みとして、関数型プログラミングを用いることにより、ソフトウェアの発展機構を「プログラム変換」としてとらえ、環境の機構との関連についても研究する。また、ソフトウェアの発展においては、プログラム自体の変更だけでなく、プログラムの仕様の変更も重要となる。プログラムの仕様と型の概念との密接な関連性から考えると。これまでの変数名に対する環境だけではなく、型名に対する環境に対してもファーストクラスである対象として扱える機構についてもその理論の確立を行う。

The concept of "environment" is a finite set of values, and the set of values is a domain of values. The internal state of the speech system and the typical behavior of the speech system are discussed in detail. Lisp's formula is: MIT-Scheme-Treatment System (MIT-Scheme-elk), Environment-Scheme-Treatment System (MIT-Scheme-elk), Environment-Scheme-Treatment System (MIT-Scheme-elk). This is a typical example of an integer value. The environment is introduced into the environment, and the environment is introduced into the environment. This study is aimed at the development of environmental protection and the organization of environmental protection. The specific purpose of this study is to establish a research center for the development and management of environmental protection, and to establish a research center for the development and management of environmental protection. The development of the software is more important than that of the software itself. The concept and close relationship of the model of the This is the first time that a person has ever been involved in a relationship with another person.