プロセッサ数に比例する並列速度向上を保証するＸＭＬ処理言語の研究

• 研究課題/領域番号: 24700019
• 研究種目: 若手研究(B)
• 配分区分: 基金
• 研究分野: ソフトウエア
• 研究機関: 東京大学 (2013-2014); 東北大学 (2012)
• 研究代表者: 森畑 明昌 東京大学, 総合文化研究科, 講師 (10582257)
• 研究期間 (年度): 2012-04-01 – 2015-03-31
• 研究課題ステータス: 完了 (2014年度)
• 配分額: 3,120千円 (直接経費: 2,400千円、間接経費: 720千円); 2014年度: 780千円 (直接経費: 600千円、間接経費: 180千円); 2013年度: 910千円 (直接経費: 700千円、間接経費: 210千円); 2012年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
• キーワード: 並列処理 / XML / 関数プログラミング / 並列計算 / プログラミング言語 / 木構造計算 / ＸＭＬ / 分散並列評価 / XML処理

研究成果の概要

XMLを並列に処理するプログラミング言語に向けての研究を行った。特に木構造を並列処理する際の困難を解決するための基礎理論について成果が得られた。また、これに加え、関数型プログラムを分割統治並列処理する場合の一般的な理論や、本研究でのアプローチがコンパイラにおけるデータフロー解析にも有用であるとの洞察が得られた。以上の結果は、XML処理のみならず、並列プログラミングを考える上での基礎技術となり得る。

研究成果

• [雑誌論文] Parallel Tree Contraction with Fewer Types of Primitive Contraction Operations and Its Application to Trees of Unbounded Degree. (2014)
  • 著者名/発表者名: Akimasa Morihata, Kiminori Matsuzaki
  • 雑誌名: IPSJ Transaction on Programming 巻: 7(5) ページ: 1-9
  • NAID: 130004706253
  • 査読あり / 謝辞記載あり
• [雑誌論文] Syntax-Directed Divide-and-Conquer Data-Flow Analysis (2014)
  • 著者名/発表者名: Shigeyuki Sato, Akimasa Morihata
  • 雑誌名: Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Proceedings (Lecture Notes in Computer Science) 巻: 8858 ページ: 392-407
  • DOI: 10.1007/978-3-319-12736-1_21
  • ISBN: 9783319127354, 9783319127361
  • 査読あり / 謝辞記載あり
• [学会発表] A Datatype- and Editing-Operation-Generic Incremental Computation (2015)
  • 著者名/発表者名: 森畑明昌
  • 学会等名: 情報処理学会第103回プログラミング研究会
  • 発表場所: 産業総合研究所
  • 年月日: 2015-03-09
• [学会発表] A Short Cut to Parallelization Theorems (特別講演). (2014)
  • 著者名/発表者名: Akimasa Morihata
  • 学会等名: 日本ソフトウェア科学会第28回大会
  • 発表場所: 名古屋大学
  • 年月日: 2014-09-08
  • 招待講演
• [学会発表] 漸増計算法の第三リスト準同型定理による系統的導出 (2014)
  • 著者名/発表者名: 森畑明昌
  • 学会等名: 第16回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 阿蘇の司ビラパークホテル, 熊本県阿蘇市, 日本
• [学会発表] A Short Cut to Parallelization Theorems (2013)
  • 著者名/発表者名: Akimasa Morihata
  • 学会等名: ICFP'13: The 18th ACM SIGPLAN International Conference on Functional Programming
  • 発表場所: Hilton Boston Logan Airport Hotel, Boston, Massachusetts, USA
• [学会発表] XPath問合せのWork Efficientな分散並列評価 (2013)
  • 著者名/発表者名: 森畑明昌
  • 学会等名: 日本ソフトウェア科学会第30回大会
  • 発表場所: 東京大学, 東京都文京区, 日本
• [学会発表] 構文主導型データフロー解析の並列実装 (2013)
  • 著者名/発表者名: 佐藤重幸, 森畑明昌
  • 学会等名: 日本ソフトウェア科学会第30回大会
  • 発表場所: 東京大学, 東京都文京区, 日本
• [学会発表] 分割統治計算可能性の多相型を用いた保証 (2013)
  • 著者名/発表者名: 森畑明昌
  • 学会等名: 第15回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 福島県会津若松 東山温泉「御宿東鳳」
• [学会発表] 並列木縮約を用いたマクロ木変換器の並列評価 (2012)
  • 著者名/発表者名: 森畑明昌
  • 学会等名: 日本ソフトウェア科学会第29回大会
  • 発表場所: 法政大学
• [学会発表] Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism (Extended Abstract) (2012)
  • 著者名/発表者名: Akimasa Morihata
  • 学会等名: the 1st International Workshop on Trends in Tree Automata and Tree Transducers, TTATT 2012
  • 発表場所: Nagoya University
• [学会発表] Calculating Parallel Algorithms for Size-constrained Segment Problems (2012)
  • 著者名/発表者名: Akimasa Morihata
  • 学会等名: IFIP working group 2.1 69th meeting
  • 発表場所: Ottawa, Canada