2015 Fiscal Year Research-status Report
| Project/Area Number |
15K15965
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
森畑 明昌 東京大学, 大学院総合文化研究科, 講師 (10582257)
|
|---|
| Project Period (FY) |
2015-04-01 – 2019-03-31
|
| Keywords | 並列化 / 関数型言語 / 型システム |
|---|
| Outline of Annual Research Achievements |
本研究の目的は、並列性を意識せず記述したプログラムを並列プログラムへ変換する「並列化」のための基盤技術を与えることである。特に、結合法則や分配法則などの代数的性質を利用し、高階の関数型言語の並列化を行う手法を、型システムをベースに構築することを目的とする。この目的に向けての第一歩として、本年度は主に以下の成果を挙げた。
①並列化の基礎となる言語及び型システムの設計：関数型言語の基盤となるラムダ計算をベースに、その計算過程で用いられる演算子を追跡する型システムと、それを利用して並列評価を行う操作的意味の設計を行った。現時点での設計は萌芽的なものではあるが、既存の並列化手法、特に本研究の先行研究であるXuらの研究を包摂しうるものであるとの観察が得られている。この結果は，今後より本格的な型システムを設計する上での出発地点となり得る。この成果は「第18回プログラミングおよびプログラミング言語ワークショップ（PPL 2016）」で発表し、論文章を受賞した。
②実用的な応用の調査：並列化手法としてどのような例を扱う必要があるかを知るため、最適部分列問題を並列に計算するアルゴリズムについて調査を行った。調査の副作用として、並列アルゴリズムが知られていなかった問題群も扱える新たな統一的並列アルゴリズムを発見した。このアルゴリズム中でも代数的性質が重要な役割を演じるが、本研究全体との関連は現時点では明らかではない。この成果は、「日本ソフトウェア科学会第29回大会」で発表した。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
既に並列化基盤となる高階関数型言語とその型システムの萌芽的な設計が得られている。まだまだ改善の余地はあるとはいえ、初年度の進捗としては悪くないと考えられる。
|
| Strategy for Future Research Activity |
本年度設計した言語・型システムが、既存の並列化手法のどの程度を捉えることができているのかについての調査を行う。また、実用的な応用に関する調査も並行して引き続き行う。
|
| Causes of Carryover |
参加を検討していた国際学会が偶然国内での開催であり、旅費が当初の想定ほど必要なかったため。
|
| Expenditure Plan for Carryover Budget |
PCが破損したときのバックアップを準備するなど、より充実した研究環境のために用いる。
|
