研究課題
特別研究員奨励費
本研究の目的は、組合せ最適化問題に対するアルゴリズムを系統的に構成する手法を与えることである。これを目指し、前年度までは比較的理論的な立場から研究を行ってきた。今年度では、専門家以外にも利用できる形で理論的な成果を提示すること、具体的には、自動的に効率の良いプログラムを導出するシステムを構築することに主に力を注いだ。今年度の研究は主に2種類に分類できる。ひとつは動的計画法アルゴリズムの導出であり、もう一つは分割統治法アルゴリズムの導出である。前者に関しては、最適な列を求めるのに有用なライブラリを提案した。このライブラリには、候補を全生成しその中から最適なものを選ぶ、という自明な問題仕様を記述するのに便利な関数が含まれている。そして、このライブラリを用いて記述されたプログラムは、動的計画法アルゴリズムに基づいた効率の良いプログラムへとコンパイル時に自動的に改善される。このライブラリの設計と実現は国際シンポジウムであるAPLAS2009に採録された。後者に関しては、ユーザから与えられた逐次プログラムを元に分割統治法に基づいた並列プログラムを自動的に生成する手法を提案した。既存の自動並列化手法ではユーザは並列化器に比較的多くの情報を入力する必要があったのに対し、より少ない入力から自動的に並列プログラムを得る手法を開発した。これは日本ソフトウェア科学会で発表を行った。また、あうクラスの関数プログラムが同様の手法で自動的に並列化できることも示した。この成果はプログラミングおよびプログラミング言語ワークショップに採録された。
すべて 2010 2009 2008 その他
すべて 雑誌論文 (3件) (うち査読あり 3件) 学会発表 (7件) 備考 (1件)
In POPL'09 : Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan. 21-23, 2009, Savannah, GA, USA 1
ページ: 177-185
情報処理学会論文誌プログラミング 2
ページ: 132-143
110007970896
In ICFP'08 : Proceedings of the 2008 ACM SIGPLAN International Conference on Functional Programming, Sept. 22-24, 2008, Victoria, BC, Canada 1
ページ: 169-178
http://www.ipl.t.u-tokyo.ac.jp/~morihata/
