[ English / Japanese ]
顔写真

松崎 公紀


東京大学 大学院情報理工学系研究科 数理情報学専攻 数理第七研究室
助教
Email: kmatsu _at_ ipl.t.u-tokyo.ac.jp (_at_を@に置換して下さい)

研究テーマ

ワークショップ "Workshop on Parallelism Oblivious Programming" を2007年7月26-27日に行います. 広く参加者を募集しています.

現在, 私は「助っ人」プロジェクトにおいて, スケルトン並列プログラミング (Skeletal Parallelism) に関する研究を行っている. スケルトン並列プログラミングでは, スケルトンと呼ばれる並列計算でよく利用される処理を抽象化したものを組みあわせることでプログラミングを行う. この並列計算モデルには次のような利点がある.

私はスケルトン並列プログラミングの分野において, 具体的に次に挙げるような内容について研究を行っている.

研究関係の活動

講義, および, 講義資料

発表資料等

  1. 森畑 明昌, 松崎 公紀, 胡 振江, 武市 正人
    並列プログラムの候補生成と適合性検査による並列化
    情報処理学会論文誌:プログラミング, 採録決定.
  2. Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    The Third Homomorphism Theorem on Trees: Upward & Downward Leads to Divide-and-Conquer
    In Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Savannah, GA, USA, January 21-23, 2009, pp. 177-185, ACM, 2009.
  3. Kiminori Matsuzaki, Akimasa Morihata
    Balanced Ternary-Tree Representation of Binary Trees and Balancing Algorithms
    Technical Report METR 2008-30, 18 pages, Department of Mathematical Engineering and Information Physics, University of Tokyo, 2008. Available from METR List 2008.
    PDF
  4. Akimasa Morihata, Kiminori Matsuzaki
    A Parallel Tree Contraction Algorithm on Non-Binary Trees
    Technical Report METR 2008-27, 7 pages, Department of Mathematical Engineering and Information Physics, University of Tokyo, 2008. Available from METR List 2008.
  5. Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi
    Write it Recursively: A Generic Framework for Optimal Path Queries
    In Proceedings of the 2008 ACM SIGPLAN International Conference on Functional Programming, Sept. 22-24, 2008, Victoria, BC, Canada, pp. 169-178, ACM.
  6. Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
    Generator-based GG Fortress Library
    Technical Report METR 2008-16, 19 pages, Department of Mathematical Engineering and Information Physics, University of Tokyo, 2008. To be available from METR List 2008.
    PDF
  7. 松崎 公紀, 胡 振江, 武市 正人
    リスト上の最大マーク付け問題を解く並列プログラムの導出
    情報処理学会論文誌:プログラミング, Vol.49, No.SIG 3 (PRO36). 2008. pp. 16-27.
  8. Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Domain-Specific Optimization Strategy for Skeleton Programs
    In Proceedings of 13th International European Conference on Parallel and Distributed Computing (EuroPar 2007), Lecture Notes in Computer Science 4641, pp. 705-714, Springer, 2007.
    PDF
  9. Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Automatic Inversion Generates Divide-and-Conquer Parallel Programs
    In ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007), pp. 146-155, San Diego, CA, June 10-13, 2007.
    PDF
  10. Kiminori Matsuzaki
    Efficient Implementation of Tree Accumulations on Distributed-Memory Parallel Computers
    In Fourth International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2007), part of The International Conference on Computational Science (ICCS 2007), pp. 609-616, Beijing, China, May 27-30, 2007.
  11. Kazuhiko Kakehi, Kiminori Matsuzaki, Kento Emoto
    Efficient Parallel Tree Reductions on Distributed Memory Environments
    In Fourth International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2007), part of The International Conference on Computational Science (ICCS 2007), pp. 601-608, Beijing, China, May 27-30, 2007.
  12. 野村 芳明, 江本 健斗, 松崎 公紀, 胡 振江, 武市 正人
    木スケルトンによるXPathクエリの並列化とその評価
    コンピュータソフトウェア, 24 (3): 51-62, 2007.
  13. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Parallel Skeletons for Manipulating General Trees
    Parallel Computing, Vol. 32, No. 7-8, pp. 590-603, Elsevier B.V., 2006.
    PDF
  14. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Towards Automatic Parallelization of Tree Reductions in Dynamic Programming
    In SPAA 2006: 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, July 30 - August 2, 2006, Cambridge, Massachusetts, USA, pages 39 - 48, 2006. Available from ACM Digital Library
  15. Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions
    In 12th International Euro-Par Conference, Dresden, Germany, August/September 2006, Proceedings, pages 605 - 614, Lecture Notes in Computer Science 4128, 2006.
    PDF
  16. Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, Zhenjiang Hu
    A Library of Constructive Skeletons for Sequential Style of Parallel Programming
    First International Conference on Scalable Information Systems (InfoScale 2006), Hong Kong, May 29 - June 1, 2006. Available from ACM Digital Library.
    PDF
  17. Kazuhiko Kakehi, Kiminori Matsuzaki, Akimasa Morihata, Kento Emoto, Zhenjiang Hu
    Parallel Dynamic Programming using Data-Parallel Skeletons
    In Proceedings of the 22nd JSSST Conference, Sep, 2005.
  18. Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
    Systematic Derivation of Tree Contraction Algorithms
    In Parallel Processing Letters, Vol. 15, No. 3, pp. 321-336, 2005.
    PDF
  19. Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi
    A Fusion-Embedded Skeleton Library
    In Proceedings of Annual European Conference on Parallel Processing (Euro-Par 2004), 31th August - 3rd September, 2004, Lecture Notes in Computer Science 3149, pp. 644-653, Springer Verlag.
    PDF
  20. Kiminori Matsuzaki, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
    Parallelizing Polytypic Programs with Accumulations
    Proceedings of 20th JSSST Conference, 2003
  21. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
    Parallelization with Tree Skeletons
    In Proceedings of the International Conference on Parallel and Distributed Computing (Euro-Par 2003), Klagenfurt, Austria, 26th - 29th August 2003, Lecture Notes in Computer Science, pp. 789-798, Springer Verlag.
    PDF
  22. 松崎 公紀, 岩崎 英哉
    プログラム設計を支援する学習環境Soegi
    夏のプログラミング・シンポジウム 報告集, pp.57-63, 2001.

研究外活動

研究室内部向け