共同研究・競争的資金等の研究課題

1997年 - 1998年

構成的アルゴリズム論に基づくプログラム最適化とその実現法に関する研究

文部科学省  科学研究費補助金(基盤研究(C))
  • 武市 正人
  • ,
  • 高野 明彦
  • ,
  • 田中 哲朗
  • ,
  • 岩崎 英哉
  • ,
  • 胡 振江

課題番号
09680326
担当区分
研究代表者
配分額
(総額)
3,200,000円
(直接経費)
3,200,000円
(間接経費)
0円
資金種別
競争的資金

本研究では、構成的アルゴリズム論に基づいてプログラムの最適化を行なうための枠組みを設計するとともに、従来、発見的な手法で実現されていたプログラム変換システムに見られた非決定性を含む変換アルゴリズムを除去し、実用的なプログラム変換システムを構築しようとするものである。そこでは、代数的な規則に基づいて、系統的にプログラムを変換する手法を提案し、それを実現するための変換アルゴリズムの定式化を行なった。構成的アルゴリズム論に基づくプログラムの運算手法として、組変換(tupling)、融合変換(fusion)、並列化(parallelization)などの成果を得た。本年度は平成9年度に得られた成果をもとに、構成的アルゴリズム論に基づくプログラム最適化の定式化を完了させるとともに、効率のよいプログラムを開発するためのプログラム変換システムのプロトタイプを構築し、その有効性の評価を行なった。プログラム最適化で扱われるプログラム変換には、効率のよいプログラムへの変換、逐次プログラムから並列プログラムへの変換などであるが、プロトタイプにはそのうちで、効率向上を目的とする融合変換を実現した。

リンク情報
URL
http://kaken.nii.ac.jp/d/p/09680326.ja.html
ID情報
  • 課題番号 : 09680326