開放的分散言語の研究

• Project/Area Number: 07780238
• 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: 脇田 建 東京工業大学, 大学院・情報理工業研究科・数理・計算科学専攻, 助手 (10242265)
• Project Period (FY): 1995
• Project Status: Completed (Fiscal Year 1995)
• Budget Amount: ¥900,000 (Direct Cost: ¥900,000); Fiscal Year 1995: ¥900,000 (Direct Cost: ¥900,000)
• Keywords: 通信構造 / 一級メッセージ / 分散言語 / 並行計算モデル

Research Abstract

本研究は、継続の概念を分散計算に導入することによって、分散計算における通信構造の統一的な理解を得るとともに、分散言語の通信構造を自由に拡張できるような枠組みを構築することを目的としている。研究テーマとして、(1)継続の概念を導入した並行計算モデル理論の構築、(2)継続をテーマとして扱えるような分散言語の設計、(3)その分散言語の実装を掲げた。(1)については、ラムダ計算とActor理論を組み合わせた新たな理論的モデルを構築し、その上で上記計算モデルの操作的意味を与えた。(2)についてはHarmony/2と名付けたプログラミング言語を設計し様々な記述実験を通して理論の実際面での有効性を確認した。(3)については、本研究費で購入したワークステーション上に、Lispへのコンパイラを実装し試用している。研究計画当初に予定していた、分散環境下での実装については残念ながら至らなかったが次年度以降のテーマとしていきたい。研究発表としては、現在、2つの論文が投稿中、1つが執筆中である。