| 研究課題/領域番号 |
10558041
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 展開研究 |
|---|
| 研究分野 |
計算機科学
|
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
武市 正人 東京大学, 大学院・工学系研究科, 教授 (10011165)
|
|---|
| 研究分担者 |
尾上 能之 東京大学, 大学院・工学系研究科, 助手 (80292770)
田中 哲朗 東京大学, 情報基盤センター, 助教授 (60251360)
胡 振江 東京大学, 大学院・工学系研究科, 助教授 (50292769)
高野 明彦 国立情報学研究所, ソフトウェア研究系, 教授
岩崎 英哉 東京大学, 大学院・工学系研究科, 助教授 (90203372)
高野 昭彦 株式会社, 日立製作所・基礎研究所, 主任研究員
|
|---|
| 研究期間 (年度) |
1998 – 2000
|
| 研究課題ステータス |
完了 (2001年度)
|
| 配分額 *注記 |
10,700千円 (直接経費: 10,700千円)
2000年度: 2,200千円 (直接経費: 2,200千円)
1999年度: 3,700千円 (直接経費: 3,700千円)
1998年度: 4,800千円 (直接経費: 4,800千円)
|
|---|
| キーワード | 融合変換 / 構成的手法 / 運算 / アルゴリズム / 関数プログラミング |
|---|
| 研究概要 |
本研究では、構成的アルゴリズム論に基づいてプログラムの最適化を行なうための枠組みを設計するとともに、従来、発見的な手法で実現されていたプログラム変換システムに見られた非決定性を含む変換アルゴリズムを除去し、実用的なプログラム変換システムを構築しようとするものである。そこでは、代数的な規則に基づいて、系統的にプログラムを変換する手法を提案し、それを実現するための変換アルゴリズムの定式化を行なった。構成的アルゴリズム論に基づくプログラムの運算手法として、組変換(tupling)、融合変換(fusion)、並列化(parallelization)などの成果を得ている。
昨年度、一昨年度には、これらの変換規則をもとに、プログラムの融合変換システムのプロトタイプを作成し、その効果を確認して実用化システムの実現可能性を評価した。
本研究の最終年度である本年度はこれらの検討をもとに、プログラム融合変換システムHYLO Calculatorを関数型プログラム言語処理系Haskellに組み込み、実用的な変換システムとして実現した。実用規模のベンチマークプログラムを用いて、有効性の検討を行なった結果、実行時のメモリ使用量において、最大23%減という効果が見られた。,このシステムにより、実用規模のプログラムに対して融合変換の有効性が確認され、システムをインターネットを通じて公開して、国内外の研究者等の利用に供している。
|
