非正則なデータ構造上の非数値計算問題に対するスケルトン並列プログラミングの応用

• 研究課題/領域番号: 24700025
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: ソフトウエア
• 研究機関: 九州工業大学 (2013-2014); 東京大学 (2012)
• 研究代表者: 江本 健斗 九州工業大学, 大学院情報工学研究院, 助教 (00587470)
• 研究期間 (年度): 2012-04-01 – 2015-03-31
• 研究課題ステータス: 完了 (2014年度)
• 配分額: 3,770千円 (直接経費: 2,900千円、間接経費: 870千円); 2014年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円); 2013年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円); 2012年度: 910千円 (直接経費: 700千円、間接経費: 210千円)
• キーワード: 並列プログラミング / スケルトン / グラフ / スケルトン並列プログラミング / 機械証明 / グラフ計算 / 生成検査集約プログラミング / 並列蓄積計算 / MapReduce / 融合変換 / 能動的ライブラリ / 並列木準同型

研究成果の概要

道路ネットワークやソーシャルネットワークのようなデータから、特定の条件を満たす（最適な）部分を取り出すといった計算を高速に行うプログラムの構築を容易にするための、プログラミング手法の開発を行った。具体的には、既存の「生成・検査・集約プログラミング」のより一般的な構造への拡張、プログラムの変換の正しさを保証するための定理証明支援系による機械証明の枠組みの構築、条件付きの最短経路を例にした柔軟性と高速性に関する異なる既存手法の組合せ、を行った。

研究成果

• [雑誌論文] Shortest Regular Category-Path Queries (2014)
  • 著者名/発表者名: Le-Duc Tung, Kento Emoto, Zhenjiang Hu
  • 雑誌名: Technical Report, GRACE center, National Institute of Informatics 巻: GRACE-TR-2014-03 ページ: 1-14
• [雑誌論文] An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo (2014)
  • 著者名/発表者名: Kento Emoto, Kiminori Matsuzaki
  • 雑誌名: International Journal of Parallel Programming 巻: 42(4) 号: 4 ページ: 546-563
  • DOI: 10.1007/s10766-013-0263-8
  • NAID: 120005728994
  • 査読あり / 謝辞記載あり
• [雑誌論文] A Generate-Test-Aggregate Parallel Programming Library (2014)
  • 著者名/発表者名: Yu Liu, Kento Emoto, Zhenjiang Hu
  • 雑誌名: Parallel Computing 巻: 40 (2) 号: 2 ページ: 116-135
  • DOI: 10.1016/j.parco.2013.11.002
  • 査読あり
• [雑誌論文] Accumulative Computation on MapReduce (2014)
  • 著者名/発表者名: 劉 雨, 江本 健斗, 松崎 公紀, 胡 振江
  • 雑誌名: 情報処理学会論文誌：プログラミング 巻: 7 (1) ページ: 18-27
  • NAID: 130003394611
  • 査読あり
• [雑誌論文] Filter-embedding semiring fusion for programming with MapReduce (2012)
  • 著者名/発表者名: Kento Emoto, Sebastian Fischer, Zhenjiang Hu
  • 雑誌名: Formal Aspects of Computing 巻: 24 号: 4-6 ページ: 623-645
  • DOI: 10.1007/s00165-012-0241-8
  • 査読あり
• [雑誌論文] Parallel Tree Reduction on MapReduce (2012)
  • 著者名/発表者名: Kento Emoto, Hiroto Imachi
  • 雑誌名: Procedia CS 巻: 9 ページ: 1827-1836
  • DOI: 10.1016/j.procs.2012.04.201
  • 査読あり
• [学会発表] A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction (2014)
  • 著者名/発表者名: Kento Emoto, Frederic Loulergue, Julien Tesson
  • 学会等名: Interactive Theorem Proving - 5th International Conference
  • 発表場所: Vienna, Austria
  • 年月日: 2014-07-14 – 2014-07-17
• [学会発表] An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo (2013)
  • 著者名/発表者名: Kento Emoto, Kiminori Matsuzaki
  • 学会等名: International Symposium on High-level Parallel Programming and Applications
  • 発表場所: Paris, France
• [学会発表] Accumulative Computation on MapReduce (2013)
  • 著者名/発表者名: 劉 雨, 江本 健斗, 松崎 公紀, 胡 振江
  • 学会等名: 情報処理学会，第95回PRO研究発表会（SWoPP2013）
  • 発表場所: 福岡県北九州市
• [学会発表] A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce (2013)
  • 著者名/発表者名: Yu Liu, Kento Emoto, Zhenjiang Hu
  • 学会等名: the 2013 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2013
  • 発表場所: Shenzhen, China