| 研究課題/領域番号 |
09245103
|
|---|
| 研究種目 |
重点領域研究
|
| 配分区分 | 補助金 |
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
武市 正人 東京大学, 大学院・工学系研究科, 教授 (10011165)
|
|---|
| 研究分担者 |
柴山 悦哉 東京工業大学, 大学院・情報理工学研究科, 助教授 (80162642)
二村 良彦 早稲田大学, 理工学部, 教授 (50238648)
米澤 明憲 東京大学, 大学院・理学系研究科, 教授 (00133116)
谷口 健一 大阪大学, 大学院・基礎工学研究科, 教授 (00029513)
|
|---|
| 研究期間 (年度) |
1997 – 1999
|
| キーワード | ソフトウェア発展 / メタプログラミング / 自己反映機構 / 部分計算機構 / 動的翻訳機構 / 環境適応機構 / プログラム変換 |
|---|
| 研究概要 |
本研究は、ソフトウェアの発展性を保持する機構を追究し、ソフトウェアがその性能や機能の高度化の要求に応えて発展させてゆく形態のソフトウェア構成法を実現することを目標としたが、3年間にわたる研究の成果として、以下のようなソフトウェアの発展機構のあり方を提示することができた。
研究成果の概要は以下のとおりである。
1.プログラムの代数的変換を記述するための言語設計と変換システムの構築。
2.言語処理系を発展させるためのオブジェクトの内部表現の最適化手法の研究。
3.実用的な部分計算機構の実現とソフトウェア発展における部分計算の適用可能性の検討。
4.設計情報の可視化手法および方法論の有効性の検証。
5.実行環境やネットワーク負荷変動に対応可能な環境適応の方法の研究。
6.問題記述から等価変換ルールを生成するための基礎理論の拡張とシステムの作成。
7.リフレクション原理に基づいたインタラクティブ視覚化システムの構築。
8.プログラムの変換手法の効果の定量的評価と効率化手法の一般化。
8.LEAD++コンパイラの実装とコード移動を伴うアプリケーションによる評価。
10.型付き関数型言語に対する自己反映的機構の設計と最適化アルゴリズムの評価。
11.代数的意味論の一般化と分散並列環境におけるプログラミング言語の提案。
12.発展可能コンパイラの開発とその有効性の検討。
|
