ソフトウェア発展のための基本機構の研究

1999 年度 実績報告書

• 研究課題/領域番号: 09245103
• 研究機関: 東京大学
• 研究代表者: 武市 正人 東京大学, 大学院・工学系研究科, 教授 (10011165)
• 研究分担者: 柴山 悦哉 東京工業大学, 大学院・情報理工学研究科, 助教授 (80162642) ; 二村 良彦 早稲田大学, 理工学部, 教授 (50238648) ; 米澤 明憲 東京大学, 大学院・理学系研究科, 教授 (00133116) ; 谷口 健一 大阪大学, 大学院・基礎工学研究科, 教授 (00029513)
• キーワード: ソフトウェア発展 / メタプログラミング / 自己反映機構 / 部分計算機構 / 動的翻訳機構 / 環境適応機構 / プログラム変換

研究概要

本研究は、ソフトウェアの発展性を保持する機構を追究し、ソフトウェアがその性能や機能の高度化の要求に応えて発展させてゆく形態のソフトウェア構成法を実現することを目標としている。平成11年度には、昨年度までの計画研究の代表者・分担者のほかに、平成9年度・10年度の公募研究により参画した研究者をも含めて、ソフトウェアの発展機構を提示することができた。各研究者の研究成果の概要は以下のとおりである。
(武市正人)プログラムの代数的変換を記述するための言語設計と変換システムの構築。
(米澤明憲)言語処理系を発展させるためのオブジェクトの内部表現の最適化手法の研究。
(二村良彦)実用的な部分計算機構の実現とソフトウェア発展における部分計算の適用可能性の検討。
(柴山悦哉)設計情報の可視化手法および方法論の有効性の検証。
(谷口健一)実行環境やネットワーク負荷変動に対応可能な環境適応の方法の研究。
(赤間清)問題記述から等価変換ルールを生成するための基礎理論の拡張とシステムの作成。
(田中二郎)リフレクション原理に基づいたインタラクティブ視覚化システムの構築。
(岩崎英哉)プログラムの変換手法の効果の定量的評価と効率化手法の一般化。
(渡部卓雄)LEAD++コンパイラの実装とコード移動を伴うアプリケーションによる評価。
(胡振江)型付き関数型言語に対する自己反映的機構の設計と最適化アルゴリズムの評価。
(佐藤周行)代数的意味論の一般化と分散並列環境におけるプログラミング言語の提案。
(千葉滋)発展可能コンパイラの開発とその有効性の検討。

研究成果

• [文献書誌] Z. Hu, W. N. Chin, M. Takeichi: "Calculating a New Data Mining Algorithm for Market Basket Analysis"Proc. 2nd International Workshop on Practical Aspects of Declarative Languages. LNCS 1753. 169-184 (2000)
• [文献書誌] T. Sekiguchi, H. Masuhara, A. Yonezawa: "A Simple Extension of Java Language for Controllable Transparent Migration and Its Portable Implementation"Proc. 3rd International Conference on CCCoordination Models and Languages. LNCS 1594. 211-226 (1999)
• [文献書誌] Y. Futamura: "Partial Evaluation of Computation Process - An approach to a Compiler-Compiler"Higher Order and Symbolic Computation. 12. (1999)
• [文献書誌] E. Shibayama, M. Toyoda, B. Shizuki, S. Takahashi: "Visual Abstraction for Object-Based Parallel Computing"Object-Oriented Parallel and Distributed Programming. 113-132 (2000)
• [文献書誌] H. Yamaguchi, K. Yasumoto, T. Higashino, K. Taniguchi: "Receiver-Cooperative Bandwidth Management for Layered Multicast"Proc. 1999 International Conference on Network Protocols. 43-50 (1999)