自己反映的プログラミングにもとづく動的分散ライブラリ機構の研究

Research Project

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のように、広域ネットワーク(インターネット)を介してバイナリ・プログラムコードをやりとりすることを想定したプログラミング言語が注目を集めている。このようなプログラミング言語においては一般に、プログラムのオブジェクトファイルやライブラリファイルがネットワーク上に分散して置かれていて、プログラム作成者や使用者以外の者が作成したものを使用することが多い。また、ネットワーク上から入手するために、そのようなファイルのセキュリティの確保が課題となっている。動的分散ライブラリ機構(とくに実行時ライブラリローディング機構)の基礎理論の確立とその理論に基づいた実現手法の提案が望まれている。本研究においては、ファーストクラス環境をはじめとする自己反映的な計算機構にもとづく、動的分散ライブラリ機構の基礎付けを目的とした。そして前年度の結果を受けて、動的分散ライブラリ機構のモデル化に取り組んだ。また、合流性などの基本的性質が、どのように、動的分散ライブラリ機構と関連しているのかということについても注目して研究を推進した。