• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

構成的アルゴリズム論に基づくタスク並列処理の理論とその実用化に関する研究

研究課題

研究課題/領域番号 18700021
研究種目

若手研究(B)

配分区分補助金
研究分野 ソフトウエア
研究機関東京大学

研究代表者

松崎 公紀  東京大学, 大学院・情報理工学系研究科, 助教 (30401243)

研究期間 (年度) 2006 – 2008
研究課題ステータス 完了 (2008年度)
配分額 *注記
2,940千円 (直接経費: 2,700千円、間接経費: 240千円)
2008年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2007年度: 800千円 (直接経費: 800千円)
2006年度: 1,100千円 (直接経費: 1,100千円)
キーワードプログラム言語 / ハイパフォーマンス・コンピューティング / アルゴリズム / 情報基礎 / スケルトン並列プログラミング
研究概要

スケルトン並列プログラミングは,並列プログラムを容易に作成できるようにするための手法のひとつである.本研究では,ある計算をその計算が操作するデータ構造の観点から系統的に定式化する構成的アルゴリズム論に基づいて,スケルトン並列プログラミングの理論と実現に関して研究を進めた.木構造データの効率的な並列処理のための新しいデータ構造,スケジューリングアルゴリズム,ライブラリの実現などの成果を得た.

報告書

(4件)
  • 2008 実績報告書   研究成果報告書 ( PDF )
  • 2007 実績報告書
  • 2006 実績報告書
  • 研究成果

    (42件)

すべて 2009 2008 2007 2006 その他

すべて 雑誌論文 (27件) (うち査読あり 13件) 学会発表 (13件) 備考 (2件)

  • [雑誌論文] The third homomorphism theorem on trees: upwards & downwards leads to divide-and-conquer2009

    • 著者名/発表者名
      A. Morihata, K. Matsuzaki, Z. Hu, M. Takeichi
    • 雑誌名

      In Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language (POPL2009)

      ページ: 177-185

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] The Third Homomorphism Theorem on Trees : Upward & Downward Leads to Divide-and-Conquer2009

    • 著者名/発表者名
      Akimasa Morihata, Kiminori Matsuzaki, et al.
    • 雑誌名

      Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL2009) POPL2009

      ページ: 177-185

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Ternary-tree representation of binary trees and balancing algorithms2008

    • 著者名/発表者名
      K. Matsuzaki, A. Morihata
    • 雑誌名

      Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2008-30

      ページ: 1-18

    • 関連する報告書
      2008 研究成果報告書
  • [雑誌論文] A parallel tree contraction algorithm on non-binary trees2008

    • 著者名/発表者名
      A. Morihata, K. Matsuzaki
    • 雑誌名

      Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2008-27

      ページ: 1-7

    • 関連する報告書
      2008 研究成果報告書
  • [雑誌論文] リスト上の最大マーク付け問題を解く並列プログラムの導出2008

    • 著者名/発表者名
      松崎公紀, 胡振江, 武市正人
    • 雑誌名

      情報処理学会論文誌:プログラミング Vol. 49 (SIG3)

      ページ: 16-27

    • NAID

      110006684627

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] A Parallel Tree Contraction Algorithm on Non-Binary Trees2008

    • 著者名/発表者名
      Akimasa Morihata and Kiminori Matsuzaki
    • 雑誌名

      Technical Report (METR), Department of Mathematical Engineering, The University of Tokyo METR 2008-27

      ページ: 1-7

    • 関連する報告書
      2008 実績報告書
  • [雑誌論文] Ternary-Tree Representation of Binary Trees and Balancing Algorithms2008

    • 著者名/発表者名
      Kiminori Matsuzaki and Akimasa Morihata
    • 雑誌名

      Technical Report (METR), Department of Mathematical Engineering, The University of Tokyo METR 2008-30

      ページ: 1-18

    • 関連する報告書
      2008 実績報告書
  • [雑誌論文] リスト上の最大マーク付け問題を解く並列プログラムの導出2008

    • 著者名/発表者名
      松崎 公紀, 胡 振江, 武市 正人
    • 雑誌名

      情報処理学会論文誌:プログラミング 49(SIG3)

      ページ: 16-27

    • NAID

      110006684627

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] Domain-specific optimization strategy for skeleton programs2007

    • 著者名/発表者名
      K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
    • 雑誌名

      In Proceedings of International Conference on Parallel and Distributed Computing (EuroPar2007)

      ページ: 705-714

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] 木スケルトンによるXPathクエリの並列化とその評価2007

    • 著者名/発表者名
      野村 芳明, 江本 健斗, 松崎 公紀, 胡振江, 武市 正人
    • 雑誌名

      コンピュータソフトウェア Vol. 24(3)

      ページ: 51-62

    • NAID

      130004638880

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Domain-specific optimization for skeleton programs involving neighbor elements2007

    • 著者名/発表者名
      K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
    • 雑誌名

      Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2007-05

      ページ: 1-29

    • 関連する報告書
      2008 研究成果報告書
  • [雑誌論文] Automatic inversion generates divide-and-conquer parallel programs2007

    • 著者名/発表者名
      K. Morita, A. Morihata, K. Matsuzaki, Z. Hu, M. Takeichi
    • 雑誌名

      In Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI2007)

      ページ: 146-155

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Efficient implementation of tree accumulations on distributed-memory parallel computers2007

    • 著者名/発表者名
      K. Matsuzaki
    • 雑誌名

      In part of The International Conference on Computational Science (ICCS 2007)

      ページ: 609-616

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Efficient parallel tree reductions on distributed memory environments2007

    • 著者名/発表者名
      K. Kakehi, K. Matsuzaki, K. Emoto
    • 雑誌名

      In part of The International Conference on Computational Science (ICCS 2007)

      ページ: 601-608

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] 木スケルトンによるXPathクエリの並列化とその評価2007

    • 著者名/発表者名
      野村 芳明, 江本 健斗, 松崎 公紀, 胡 振江, 武市 正人
    • 雑誌名

      コンピュータソフトウェア 24(3)

      ページ: 51-62

    • NAID

      130004638880

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] 近傍要素を必要とするスケルトンプログラムの最適化2007

    • 著者名/発表者名
      江本健斗, 松崎公紀, 胡振江, 武市正人
    • 雑誌名

      第9回プログラムおよびプログラミング言語ワークショップ(PPL2007)、カテゴリ1、2007年3月8-10日

      ページ: 125-139

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Automatic Inversion Generates Divide-and-Conquer Parallel Programs2007

    • 著者名/発表者名
      森田和孝, 森畑明昌, 松崎公紀, 胡振江, 武市正人
    • 雑誌名

      第9回プログラムおよびプログラミング言語ワークショップ(PPL2007)、カテゴリ2、2007年3月8-10日

      ページ: 123-123

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Towards Automatic Parallelization of Tree Reductions in Dynamic Programming2007

    • 著者名/発表者名
      松崎公紀, 胡振江, 武市正人
    • 雑誌名

      第9回プログラムおよびプログラミング言語ワークショップ(PPL2007)、カテゴリ2、2007年3月8-10日

      ページ: 124-124

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Parallel skeletons for manipulating general trees2006

    • 著者名/発表者名
      K. Matsuzaki, Z. Hu, M. Takeichi
    • 雑誌名

      Parallel Computing Vol. 32(7-8)

      ページ: 590-603

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] A library of constructive skeletons for sequential style of parallel programming (invited paper)2006

    • 著者名/発表者名
      K. Matsuzaki, K. Emoto, H. Iwasaki, Z. Hu
    • 雑誌名

      In Proceedings of 1st International Conference on Scalable Information Systems (Infoscale2006)

    • 関連する報告書
      2008 研究成果報告書
  • [雑誌論文] Surrounding theorem: developing parallel programs for matrix-convolutions2006

    • 著者名/発表者名
      K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
    • 雑誌名

      In Proceedings of International Conference on Parallel Computing (EuroPar2006)

      ページ: 605-614

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Towards automatic parallelization of tree reductions in dynamic programming2006

    • 著者名/発表者名
      K. Matsuzaki, Z. Hu, M. Takeichi
    • 雑誌名

      In Proceedings of 18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA2006)

      ページ: 39-48

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Parallel Skeletons for Manipulating General Trees2006

    • 著者名/発表者名
      Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    • 雑誌名

      Parallel Computing Vol.32,No.7-8

      ページ: 590-603

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] A Library of Constructive Skeletons for Sequential Style of Parallel Programming2006

    • 著者名/発表者名
      Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, Zhenjiang Hu
    • 雑誌名

      First International Conference on Scalable Information Systems(InfoScale2006),Hong Kong, May 29-June 1,2006

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Towards Automatic Parallelization of Tree Reductions in Dynamic Programming2006

    • 著者名/発表者名
      Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    • 雑誌名

      18th ACM Symposium on Parallelism in Algorithms and Architectures(SPAA2006), Cambridge, MA, USA, July 30-August 2, ACM Press

      ページ: 39-48

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Surrounding Theorem : Developing Parallel Programs for Matrix- Convolutions2006

    • 著者名/発表者名
      Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    • 雑誌名

      European Conference on Parallel Computing (EuroPar2006), Dresden, Germany, August 29-September 2, LNCS 4128, Springer 4128

      ページ: 605-614

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] A Parallelization Tool for Tree Reductions2006

    • 著者名/発表者名
      Kiminori Matsuzaki, Noriyuki Ohkawa
    • 雑誌名

      The 2nd DIKU-IST Joint Workshop on Foundations of Software, Technical Report no.06/07,Dept.of Computer Science, University of Copenhagen No.06/07

    • 関連する報告書
      2006 実績報告書
  • [学会発表] 並列スケルトンライブラリ「助っ人」の実現2009

    • 著者名/発表者名
      松崎 公紀, 江本 健斗
    • 学会等名
      第50回プログラミングシンポジウム
    • 発表場所
      箱根, 神奈川県
    • 年月日
      2009-01-13
    • 関連する報告書
      2008 実績報告書 2008 研究成果報告書
  • [学会発表] Associativity for parallel tree computation2007

    • 著者名/発表者名
      K. Matsuzaki
    • 学会等名
      The 3rd DIKU-IST Joint Workshop on Foundation of Software
    • 発表場所
      Denmark
    • 年月日
      2007-10-05
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Associativity for Parallel Tree Computation2007

    • 著者名/発表者名
      K. Matsuzaki
    • 学会等名
      3rd DIKU-IST Joint Workshop on Foundation of Software
    • 発表場所
      Roskilde(Denmark)
    • 年月日
      2007-10-05
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Associativity for parallel tree computation2007

    • 著者名/発表者名
      松崎公紀, 森畑明昌, 胡振江, 武市正人
    • 学会等名
      日本ソフトウェア科学会第24回大会
    • 発表場所
      奈良先端科学技術大学院大学, 奈良県
    • 年月日
      2007-09-13
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Associativity for Parallel Tree Computation2007

    • 著者名/発表者名
      松崎 公紀, 森畑 明昌, 胡 振江, 武市 正人
    • 学会等名
      日本ソフトウェア科学会 第24回大会
    • 発表場所
      奈良先端科学技術大学院大学
    • 年月日
      2007-09-13
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Domain-Specific Optimization Strategy for Skeleton Programs2007

    • 著者名/発表者名
      K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
    • 学会等名
      International European Conference on Parallel and Distributed Computing (EuroPar 2007)
    • 発表場所
      Rennes(France)
    • 年月日
      2007-08-31
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Automatic Inversion Generates Divide-and-Conquer Parallel Programs2007

    • 著者名/発表者名
      K. Morita, A. Morihata, K. Matsuzaki, Z. Hu, M. Takeichi
    • 学会等名
      ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation(PLDI2007)
    • 発表場所
      San Diego(USA)
    • 年月日
      2007-06-11
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Efficient Parallel Tree Reductions on Distributed Memory Environments2007

    • 著者名/発表者名
      K. Kakehi, K. Matsuzaki, K. Emoto
    • 学会等名
      4th International Workshop on Practical Aspects of High-level Parallel Programming(PAPP 2007)
    • 発表場所
      北京(中国)
    • 年月日
      2007-05-29
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Efficient Implementation of Tree Accumulations on Distributed-MemoryParallel Computers2007

    • 著者名/発表者名
      K. Matsuzaki
    • 学会等名
      4th International Workshop on Practical Aspects of High-level Parallel Programming(PAPP 2007)
    • 発表場所
      北京(中国)
    • 年月日
      2007-05-29
    • 関連する報告書
      2007 実績報告書
  • [学会発表] 近傍要素を必要とするスケルトンプログラムの最適化2007

    • 著者名/発表者名
      江本健斗, 松崎公紀, 胡振江, 武市正人
    • 学会等名
      第9回プログラムおよびプログラミング言語ワークショップ (PPL2007)
    • 発表場所
      加賀温泉, 石川県
    • 年月日
      2007-03-09
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Automatic inversion generates divide-and-conquer parallel programs2007

    • 著者名/発表者名
      森田和孝, 森畑明昌, 松崎公紀, 胡振江, 武市正人
    • 学会等名
      第9回プログラムおよびプログラミング言語ワークショップ (PPL2007)
    • 発表場所
      加賀温泉, 石川県
    • 年月日
      2007-03-09
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Towards automatic parallelization of tree reductions in dynamic programming2007

    • 著者名/発表者名
      松崎公紀, 胡振江, 武市正人
    • 学会等名
      第9回プログラムおよびプログラミング言語ワークショップ (PPL2007)
    • 発表場所
      加賀温泉, 石川県
    • 年月日
      2007-03-09
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] A parallelization tool for tree reductions2006

    • 著者名/発表者名
      K. Matsuzaki, N. Ohkawa
    • 学会等名
      The 2nd DIKU-IST Joint Workshop on Foundation of Software
    • 発表場所
      葉山, 神奈川県
    • 年月日
      2006-04-22
    • 関連する報告書
      2008 研究成果報告書
  • [備考] 研究代表者のホームページ

    • URL

      http://www.ipl.t.u-tokyo.ac.jp/.kmatsu/

    • 関連する報告書
      2008 研究成果報告書
  • [備考] 並列スケルトンライブラリ「助っ人」のホームページ

    • URL

      http://www.ipl.t.u-tokyo.ac.jp/sketo/

    • 関連する報告書
      2008 研究成果報告書

URL: 

公開日: 2006-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi