| Project/Area Number |
09245204
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research on Priority Areas
|
| Allocation Type | Single-year Grants |
|---|
| Research Institution | Chiba University |
|---|
Principal Investigator |
西崎 真也 千葉大学, 理学部, 助教授 (90263615)
|
|---|
| Project Period (FY) |
1997
|
| Project Status |
Completed (Fiscal Year 1997)
|
| Budget Amount *help |
¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 1997: ¥1,300,000 (Direct Cost: ¥1,300,000)
|
|---|
| Keywords | ソフトウェア / 発展 / 環境 / ラムダ計算 / 関数型プログラミング |
|---|
| Research Abstract |
プログラミング言語における「環境」という概念は、変数の有限集合を定義域、値の集合を値域とする関数としてとらえられる。これはプログラム中であらわれる変数がいかなる値に対応するのかを表現し、プログラミング言語の実行系の内部状態として典型的なものである。Lispの方言であるプログラミング言語Schemeのいくつかの処理系(MIT‐Schemeやelkなど)においては、環境をファーストクラス・オブジェクトとして扱うことが可能になっている。ここで、ファーストクラス・オブジェクトとは、関数や手続きの引数や返り値になりうるようなもののことであり、整数値や論理値などが典型的なファーストクラス・オブジェクトである。プログラミング言語においてファーストクラスな環境を導入することにより、サブルーチンのパッケージング・モジュール化などを実現できることが知られている。
本研究においては、ソフトウェアの発展の視点から、ファーストクラスな環境の機構の研究に取り組む。具体的には、プログラムの発展にともなって必要となる名前管理を研究の中心とし、本研究の枠組みとして、関数型プログラミングを用いることにより、ソフトウェアの発展機構を「プログラム変換」としてとらえ、環境の機構との関連についても研究する。また、ソフトウェアの発展においては、プログラム自体の変更だけでなく、プログラムの仕様の変更も重要となる。プログラムの仕様と型の概念との密接な関連性から考えると。これまでの変数名に対する環境だけではなく、型名に対する環境に対してもファーストクラスである対象として扱える機構についてもその理論の確立を行う。
|
