【研究分野】計算機科学

【研究領域課題番号】10558041 (KAKENデータベースで見る）

【研究キーワード】

融合変換 / 構成的手法 / 運算 / アルゴリズム / 関数プログラミング

【研究成果の概要】

本研究では、構成的アルゴリズム論に基づいてプログラムの最適化を行なうための枠組みを設計するとともに、従来、発見的な手法で実現されていたプログラム変換システムに見られた非決定性を含む変換アルゴリズムを除去し、実用的なプログラム変換システムを構築しようとするものである。そこでは、代数的な規則に基づいて、系統的にプログラムを変換する手法を提案し、それを実現するための変換アルゴリズムの定式化を行なった。構成的アルゴリズム論に基づくプログラムの運算手法として、組変換(tupling)、融合変換(fusion)、並列化(parallelization)などの成果を得ている。
昨年度、一昨年度には、これらの変換規則をもとに、プログラムの融合変換システムのプロトタイプを作成し、その効果を確認して実用化システムの実現可能性を評価した。
本研究の最終年度である本年度はこれらの検討をもとに、プログラム融合変換システムHYLO Calculatorを関数型プログラム言語処理系Haskellに組み込み、実用的な変換システムとして実現した。実用規模のベンチマークプログラムを用いて、有効性の検討を行なった結果、実行時のメモリ使用量において、最大23%減という効果が見られた。,このシステムにより、実用規模のプログラムに対して融合変換の有効性が確認され、システムをインターネットを通じて公開して、国内外の研究者等の利用に供している。

【研究種目】基盤研究(B)

【研究期間】1998 - 2000

【配分額】10,700千円 (直接経費: 10,700千円)

【研究分野】計算機科学

【研究領域課題番号】09680326 (KAKENデータベースで見る）

【研究キーワード】

融合変換 / 構成的手法 / 運算 / アルゴリズム / 関数プログラミング / 構成的アルゴリズム論 / プログラム最適 / 組変換

【研究成果の概要】

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

【研究種目】基盤研究(C)

【研究期間】1997 - 1998

【配分額】3,200千円 (直接経費: 3,200千円)