| Project/Area Number |
11780197
|
|---|
| Research Category |
Grant-in-Aid for Encouragement of Young Scientists (A)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
計算機科学
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
西崎 真也 東京工業大学, 大学院・情報理工学研究科, 助教授 (90263615)
|
|---|
| Project Period (FY) |
1999 – 2000
|
| Project Status |
Completed (Fiscal Year 2000)
|
| Budget Amount *help |
¥2,200,000 (Direct Cost: ¥2,200,000)
Fiscal Year 2000: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 1999: ¥1,500,000 (Direct Cost: ¥1,500,000)
|
|---|
| Keywords | 自己反映 / プログラミング / 分散ライブラリ / 分散プログラミング / 関数型プログラミング / 自己反映的プログラミング / 動的ライブラリ / ファーストクラス環境 |
|---|
| Research Abstract |
近年、多くの情報がネットワークを介してやりとりされているが、Javaのように、広域ネットワーク(インターネット)を介してバイナリ・プログラムコードをやりとりすることを想定したプログラミング言語が注目を集めている。このようなプログラミング言語においては一般に、プログラムのオブジェクトファイルやライブラリファイルがネットワーク上に分散して置かれていて、プログラム作成者や使用者以外の者が作成したものを使用することが多い。また、ネットワーク上から入手するために、そのようなファイルのセキュリティの確保が課題となっている。動的分散ライブラリ機構(とくに実行時ライブラリローディング機構)の基礎理論の確立とその理論に基づいた実現手法の提案が望まれている。本研究においては、ファーストクラス環境をはじめとする自己反映的な計算機構にもとづく、動的分散ライブラリ機構の基礎付けを目的とした。そして前年度の結果を受けて、動的分散ライブラリ機構のモデル化に取り組んだ。また、合流性などの基本的性質が、どのように、動的分散ライブラリ機構と関連しているのかということについても注目して研究を推進した。
|
