Matsuzaki Kiminori 松崎公紀

… Alternative Names

MATSUZAKI Kiminori 松崎公紀

Less

Researcher Number	30401243
Other IDs
External Links
Affiliation (Current)	2025: 高知工科大学, 情報学群, 教授
Affiliation (based on the past Project Information) *help	2018 – 2023: 高知工科大学, 情報学群, 教授 2017: 高知工科大学, 情報学群, 准教授 2016: 高知工科大学, 情報学部, 准教授 2010 – 2015: 高知工科大学, 工学部, 准教授 2011: 高知工科大学, 准教授 … More 2010: 高知工科大学, 情報学群, 准教授 2008: 東京大学, 大学院情報理工学系研究科, 助教授 2007 – 2008: The University of Tokyo, 大学院・情報理工学系研究科, 助教 2006: 東京大学, 大学院情報理工学系研究科, 助手 Less
Review Section/Research Field	Principal Investigator Basic Section 62040:Entertainment and game informatics-related / Software / Software Except Principal Investigator Software / Software
Keywords	Principal Investigator MapReduce / ハイパフォーマンス・コンピューティング / モンテカルロ木探索 / 並列計算 / 並列プログラミング / スケルトン並列プログラミング / 情報基礎 / アルゴリズム / 探索アルゴリズム / 評価関数 … More / AlphaZero / αβ探索 / ニューラルネットワーク / パターン表現 / ゲーム情報学 / 多人数ゲーム / 強化学習 / ゲームAI / 非対称二人ゲーム / 不完全情報ゲーム / 確率的ゲーム / 深層強化学習 / AlphaGo / 分散処理フレームワーク / 並列処理 / XPath / 木構造データ / データベース / 並列分散処理 / XML / 脳科学 / 並列化 / 超解像 / fMRI / ソフトウェア / 超解像処理 / 計算パターン / 脳情報処理 / ソフトウェア開発効率化・安定化 / 木構造 / 正規表現 / メタプログラミング / C++ / プログラム言語 … More Except Principal Investigator プログラミング言語 / プログラム言語 / 並列プログラミング / アルゴリズム / 代数的データ型 / 大規模並列処理 / 関数型言語 / 代数データ型 / 領域特化言語 / グラフ並列処理 / プログラミング方法論 / プログラミングパラダイム / 双方向変換 / 双方向変換機構 / ソフトウェア設計 / 情報通信工学 / ソフトウェア開発効率化、安定化 / 情報工学 / 自動並列化 / ソフトウエア開発効率化 / 並列スケルトン / 超高速情報処理 / ソフトウェア開発効率化・安定化 / ソフトウェア学 / 情報システム Less

Empirical Comparison of Evaluation Functions and Search Algorithms and Their Combination to Cover Their WeaknessPrincipal Investigator
- Principal Investigator
  
  松崎公紀
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 62040:Entertainment and game informatics-related
- Research Institution
  Kochi University of Technology
Evaluation and Improvement of AlphaGo Method for Imperfect-Information, Stochastic, and Multiplayer GamesPrincipal Investigator
- Principal Investigator
  
  Matsuzaki Kiminori
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 62040:Entertainment and game informatics-related
- Research Institution
  Kochi University of Technology
Design and implementation of fragmentation-adaptive parallel and distributed XML query libraryPrincipal Investigator
- Principal Investigator
  
  MATSUZAKI Kiminori
- Project Period (FY)
  2017 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Kochi University of Technology
Developing an algebraic model and program development platform for large-scale graph processing
- Principal Investigator
  
  Iwasaki Hideya
- Project Period (FY)
  2014 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  The University of Electro-Communications
Realizing Fast and Scalable Brain Information Processing based on Skeletal Parallel ProgrammingPrincipal Investigator
- Principal Investigator
  
  Matsuzaki Kiminori
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Kochi University of Technology
Parallelism-Oblivious Parallel Programming
- Principal Investigator
  
  TAKEICHI Masato
- Project Period (FY)
  2010 – 2011
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  National Institution for Academic Degrees and University Evaluation
  The University of Tokyo
Application of advanced language features to skeletal parallel programming for its practical usePrincipal Investigator
- Principal Investigator
  
  MATSUZAKI Kiminori
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Kochi University of Technology
Bidirectional Transformation Mechanisms and its Application
- Principal Investigator
  
  TAKEICHI Masato
- Project Period (FY)
  2007 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
Theory and Practice of Task-Parallel Computation Based on Constructive AlgorithmicsPrincipal Investigator
- Principal Investigator
  
  MATSUZAKI Kiminori
- Project Period (FY)
  2006 – 2008
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  The University of Tokyo
A Constructive Approach to Structured Parallel Programming
- Principal Investigator
  
  HU Zhenjiang
- Project Period (FY)
  2005 – 2008
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
  The University of Tokyo

[Journal Article] Evaluating the Influence of Imperfect Information in Geister Using DREAM Trained Agents2024
- Author(s)
  Troillet Lucien、Matsuzaki Kiminori
- Journal Title
  
  IEEE Transactions on Games
  
  Volume: - Issue: 3 Pages: 1-15
- DOI
  10.1109/tg.2023.3324737
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23K11383, KAKENHI-PROJECT-20K12124
[Journal Article] Fregel: a functional domain-specific language for vertex-centric large-scale graph processing2022
- Author(s)
  IWASAKI HIDEYA、EMOTO KENTO、MORIHATA AKIMASA、MATSUZAKI KIMINORI、HU ZHENJIANG
- Journal Title
  
  Journal of Functional Programming
  
  Volume: 32
- DOI
  10.1017/s0956796821000277
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00108, KAKENHI-PROJECT-19K11901
[Journal Article] Impact of Imperfect Information Estimation in the Game of Geister2022
- Author(s)
  竹内聖悟、栃川純平、松崎公紀
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 63 Issue: 3 Pages: 787-795
- DOI
  10.20729/00217475
- Year and Date
  2022-03-15
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K12807, KAKENHI-PROJECT-20K12124
[Journal Article] Developing Value Networks for Game 2048 with Reinforcement Learning2021
- Author(s)
  Matsuzaki Kiminori
- Journal Title
  
  Journal of Information Processing
  
  Volume: 29 Issue: 0 Pages: 336-346
- DOI
  10.2197/ipsjjip.29.336
- NAID
  130008025169
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20K12124
[Journal Article] Parallelization of XPath Queries Using Modern XQuery Processors2018
- Author(s)
  Shigeyuki Sato, Wei Hao, Kiminori Matsuzaki
- Journal Title
  
  arXiv
  
  Volume: abs/1806.07728
- Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00108
[Journal Article] Parallelization of XPath Queries Using Modern XQuery Processors2018
- Author(s)
  Shigeyuki Sato, Wei Hao, Kiminori Matsuzaki
- Journal Title
  
  European Conference on Advances in Databases and Information Systems (ADBIS 2018)
  
  Volume: - Pages: 54-62
- DOI
  10.1007/978-3-030-00063-9_7
- ISBN
  9783030000622, 9783030000639
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00108
[Journal Article] A Generator of Hadoop MapReduce Programs that Manipulate One-dimensional Arrays2017
- Author(s)
  Reina Miyazaki, Kiminori Matsuzaki, Shigeyuki Sato
- Journal Title
  
  Journal of Information Processing
  
  Volume: 印刷中
- NAID
  130005990949
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26280020
[Journal Article] Functional Models of Hadoop MapReduce with Application to Scan2016
- Author(s)
  Kiminori Matsuzaki
- Journal Title
  
  International Journal of Parallel Programming
  
  Volume: (online) Issue: 2 Pages: 362-381
- DOI
  10.1007/s10766-016-0414-9
- NAID
  110009850860
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330088
[Journal Article] Parallel Tree Accumulations on MapReduce2016
- Author(s)
  Kiminori Matsuzaki, Reina Miyazaki
- Journal Title
  
  International Journal of Parallel Programming
  
  Volume: 44 Issue: 3 Pages: 466-485
- DOI
  10.1007/s10766-015-0355-8
- NAID
  110009850861
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26280020
[Journal Article] A Partial-tree-based Approach for XPath Query on Large XML Trees2016
- Author(s)
  Wei Hao, Kiminori Matsuzaki
- Journal Title
  
  Journal of Information Processing
  
  Volume: 24 Pages: 425-438
- NAID
  130005138316
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Journal Article] fMRI画像に対する超解像処理とその効果についての検証2015
- Author(s)
  松崎公紀，宮崎玲奈
- Journal Title
  
  高知工科大学紀要
  
  Volume: 12
- Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25330088
[Journal Article] Accumulative Computation on MapReduce2014
- Author(s)
  Yu Liu, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu
- Journal Title
  
  情報処理学会論文誌プログラミング
  
  Volume: 7 Pages: 18-27
- NAID
  130003394611
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330088
[Journal Article] An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo2014
- Author(s)
  Kento Emoto, Kiminori Matsuzaki
- Journal Title
  
  International Journal of Parallel Programming
  
  Volume: 42(4) Issue: 4 Pages: 546-563
- DOI
  10.1007/s10766-013-0263-8
- NAID
  120005728994
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24700025, KAKENHI-PROJECT-25330088, KAKENHI-PROJECT-26280020
[Journal Article] 領域限定言語に基づく最適経路問合せ(Op-timal Path Querying based on a Do-main-Specific Language)2011
- Author(s)
  森畑明昌,松崎公紀,武市正人
- Journal Title
  
  情報処理学会論文誌プログラミング
  
  Volume: 第4巻 Pages: 1-18
- Data Source
  KAKENHI-PROJECT-22650006
[Journal Article] 正規表現マッチングの並列化とそのHadoop による評価2011
- Author(s)
  松崎公紀, 江本健斗, 劉雨
- Journal Title
  
  情報処理学会論文誌プログラミング
  
  Volume: Vol. 4 Pages: 1-11
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700037
[Journal Article] A Practical Tree Contraction Algorithm for Parallel Skeletons on Trees of Unbounded Degree2011
- Author(s)
  A. Morihata and K. Matsuzaki
- Journal Title
  
  Procedia of Computer Science
  
  Volume: Vol. 4 Pages: 7-16
- NAID
  120005729020
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700037
[Journal Article] 高知工科大学におけるHPC基盤の導入と将来展望--ハードウェア性能とソフトウェア生産性の追求--2011
- Author(s)
  松崎公紀, 山際伸一
- Journal Title
  
  高知工科大学紀要
  
  Volume: 8 Pages: 57-72
- NAID
  40018997629
- Data Source
  KAKENHI-PROJECT-22700037
[Journal Article] A Practical Tree Contraction Algorithm for Parallel Skeletons on Trees of Unbounded Degree2011
- Author(s)
  Akimasa Morihata, Kiminori Matsuzaki
- Journal Title
  
  Proceedings of the International Conference on Computational Science (ICCS2011)
  
  Volume: 4 Pages: 7-16
- NAID
  120005729020
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700037
[Journal Article] 高知工科大学におけるHPC 基盤の導入と将来展望 -ハードウェア性能とソフトウェア生産性の追求-2011
- Author(s)
  松崎公紀, 山際伸一
- Journal Title
  
  高知工科大学紀要
  
  Volume: Vol. 8 Pages: 57-72
- NAID
  40018997629
- Data Source
  KAKENHI-PROJECT-22700037
[Journal Article] 正規表現マッチングの並列化とそのHadoopによる評価2011
- Author(s)
  松崎公紀, 江本健斗, 劉雨
- Journal Title
  
  情報処理学会論文誌プログラミング
  
  Volume: 4 Pages: 1-11
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700037
[Journal Article] 領域限定言語に基づく最適経路問合せ(Optimal Path Querying based on a Domain-Specific Language)2011
- Author(s)
  森畑明昌, 松崎公紀, 武市正人
- Journal Title
  
  情報処理学会論文誌プログラミング
  
  Volume: 4 Pages: 1-18
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650006
[Journal Article] Implementing Fusion-Equipped Parallel Skeletons by Expression Templates2010
- Author(s)
  Kiminori Matsuzaki, Kento Emoto
- Journal Title
  
  Implementation and Application of Functional Languages, 21st International Workshop, IFL 2009, Revised Selected Papers
  
  Volume: LNCS 6041 Pages: 72-89
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700037
[Journal Article] Implementing Fusion-Equipped Parallel Skeletons by Expression Templates2010
- Author(s)
  K. Matsuzaki and K. Emoto
- Journal Title
  
  21st Inter- national Workshop on Implementation and Application of Functional Languages, IFL 2009, Revised Selected Papers, Lecture Notes in Computer Science
  
  Volume: Vol. 6041 Pages: 72-89
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700037
[Journal Article] 並列性忘却プログラミングの研究推進に向けて2010
- Author(s)
  松崎公紀
- Journal Title
  
  高知工科大学紀要
  
  Volume: Vol. 7, No. 1 Pages: 91-100
- Data Source
  KAKENHI-PROJECT-22700037
[Journal Article] 並列プログラムの候補生成と適合性検査による並列化2009
- Author(s)
  森畑明昌, 松崎公紀, 胡振江, 武市正人
- Journal Title
  
  情報処理学会論文誌 Vol. 2, No. 2
  
  Pages: 132-143
- NAID
  110007970896
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] The third homomorphism theorem on trees: upwards & downwards leads to divide-and-conquer2009
- Author(s)
  A. Morihata, K. Matsuzaki, Z. Hu, M. Takeichi
- Journal Title
  
  In Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language (POPL2009)
  
  Pages: 177-185
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] The Third Homomorphism Theorem on Trees : Upward & Downward Leads to Divide-and-Conquer2009
- Author(s)
  Akimasa Morihata, Kiminori Matsuzaki, et al.
- Journal Title
  
  Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL2009) POPL2009
  
  Pages: 177-185
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] 並列プログラムの候補生成と適合性検査による並列化2009
- Author(s)
  森畑明昌,松崎公紀,胡振江,武市正人
- Journal Title
  
  情報処理学会論文誌, プログラミング Vol.2(2)
  
  Pages: 132-143
- NAID
  110007970896
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] A parallel tree contraction algorithm on non-binary trees2008
- Author(s)
  A. Morihata, K. Matsuzaki
- Journal Title
  
  Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2008-27
  
  Pages: 1-7
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] リスト上の最大マーク付け問題を解く並列プログラムの導出2008
- Author(s)
  松崎公紀、胡振江、武市正人
- Journal Title
  
  情報処理学会論文誌 Vol.49,No.SIG3,PRO36
  
  Pages: 16-27
- NAID
  110006684627
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] Ternary-tree representation of binary trees and balancing algorithms2008
- Author(s)
  K. Matsuzaki, A. Morihata
- Journal Title
  
  Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2008-30
  
  Pages: 1-18
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] リスト上の最大マーク付け問題を解く並列プログラムの導出2008
- Author(s)
  松崎公紀, 胡振江, 武市正人
- Journal Title
  
  情報処理学会論文誌:プログラミング 49(SIG3)
  
  Pages: 16-27
- NAID
  110006684627
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] リスト上の最大マーク付け問題を解く並列プログラムの導出2008
- Author(s)
  松崎公紀, 胡振江, 武市正人
- Journal Title
  
  情報処理学会論文誌:プログラミング Vol. 49 (SIG3)
  
  Pages: 16-27
- NAID
  110006684627
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] Ternary-Tree Representation of Binary Trees and Balancing Algorithms2008
- Author(s)
  Kiminori Matsuzaki and Akimasa Morihata
- Journal Title
  
  Technical Report (METR), Department of Mathematical Engineering, The University of Tokyo METR 2008-30
  
  Pages: 1-18
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] リスト上の最大マーク付け問題を解く並列プログラムの導出2008
- Author(s)
  松崎公紀,胡振江,武市正人
- Journal Title
  
  情報処理学会論文誌 Vol.49, No.SIG3, PRO36
  
  Pages: 16-27
- NAID
  110006684627
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] A Parallel Tree Contraction Algorithm on Non-Binary Trees2008
- Author(s)
  Akimasa Morihata and Kiminori Matsuzaki
- Journal Title
  
  Technical Report (METR), Department of Mathematical Engineering, The University of Tokyo METR 2008-27
  
  Pages: 1-7
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] Efficient Implementation of Tree Skeletons on Distributed-Memory Parallel Computers2008
- Author(s)
  Kiminori Matsuzaki, Zhenjiang Hu
- Journal Title
  
  Scalable Computing: Practice & Experience (SCPE) (掲載予定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] 木スケルトンによるXPathクエリの並列化とその評価2007
- Author(s)
  野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人
- Journal Title
  
  コンピュータソフトウェア Vol. 24(3)
  
  Pages: 51-62
- NAID
  130004638880
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] Domain-specific optimization strategy for skeleton programs2007
- Author(s)
  K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
- Journal Title
  
  In Proceedings of International Conference on Parallel and Distributed Computing (EuroPar2007)
  
  Pages: 705-714
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] 木スケルトンによるXPathクエリの並列化とその評価2007
- Author(s)
  野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人
- Journal Title
  
  コンピュータソフトウェア 24(3)
  
  Pages: 51-62
- NAID
  130004638880
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] Automatic inversion generates divide-and-conquer parallel programs2007
- Author(s)
  K. Morita, A. Morihata, K. Matsuzaki, Z. Hu, M. Takeichi
- Journal Title
  
  In Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI2007)
  
  Pages: 146-155
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] 近傍要素を必要とするスケルトンプログラムの最適化2007
- Author(s)
  江本健斗, 松崎公紀, 胡振江, 武市正人
- Journal Title
  
  第9回プログラムおよびプログラミング言語ワークショップ(PPL2007)、カテゴリ1、2007年3月8-10日
  
  Pages: 125-139
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] Efficient parallel tree reductions on distributed memory environments2007
- Author(s)
  K. Kakehi, K. Matsuzaki, K. Emoto
- Journal Title
  
  In part of The International Conference on Computational Science (ICCS 2007)
  
  Pages: 601-608
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] ホケルトンによるXPathクエリの並列化とその評価2007
- Author(s)
  野村芳明、江本健斗、松崎公紀、胡振江、武市正人
- Journal Title
  
  コンピュータソフトウェア 24(3)
  
  Pages: 51-62
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] Efficient implementation of tree accumulations on distributed-memory parallel computers2007
- Author(s)
  K. Matsuzaki
- Journal Title
  
  In part of The International Conference on Computational Science (ICCS 2007)
  
  Pages: 609-616
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] Automatic Inversion Generates Divide-and-Conquer Parallel Programs2007
- Author(s)
  森田和孝, 森畑明昌, 松崎公紀, 胡振江, 武市正人
- Journal Title
  
  第9回プログラムおよびプログラミング言語ワークショップ(PPL2007)、カテゴリ2、2007年3月8-10日
  
  Pages: 123-123
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] Towards Automatic Parallelization of Tree Reductions in Dynamic Programming2007
- Author(s)
  松崎公紀, 胡振江, 武市正人
- Journal Title
  
  第9回プログラムおよびプログラミング言語ワークショップ(PPL2007)、カテゴリ2、2007年3月8-10日
  
  Pages: 124-124
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] 木スケルトンによるXpathクエリの並列化とその評価2007
- Author(s)
  野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人
- Journal Title
  
  コンピュータソフトウエア 24(3)
  
  Pages: 51-62
- NAID
  130004638880
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] Domain-specific optimization for skeleton programs involving neighbor elements2007
- Author(s)
  K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
- Journal Title
  
  Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2007-05
  
  Pages: 1-29
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] A Parallelization Tool for Tree Reductions2006
- Author(s)
  Kiminori Matsuzaki, Noriyuki Ohkawa
- Journal Title
  
  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
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] Parallel Skeletons for Manipulating General Trees2006
- Author(s)
  Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  Parallel Computing (Elsevier) Vol.32, No.7-8
  
  Pages: 590-603
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] Towards Automatic Parallelization of Tree Reductions in Dynamic Programming2006
- Author(s)
  Kiminori Matsuzaki, Zhenjing Hu, Masato Takeichi
- Journal Title
  
  18^t^h ACM Symposium on Parallelism in Algorithms and Architectures (SPAA2006), Cambridge, MA, USA, July 30-August 2
  
  Pages: 39-48
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] 木スケルトンによるXPathクエリの並列化とその評価2006
- Author(s)
  野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人
- Journal Title
  
  コンピュータソフトウェア
- NAID
  130004638880
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] Parallel Skeletons for Manipulating General Trees2006
- Author(s)
  Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  Parallel Computing Vol.32,No.7-8
  
  Pages: 590-603
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] A library of constructive skeletons for sequential style of parallel programming (invited paper)2006
- Author(s)
  K. Matsuzaki, K. Emoto, H. Iwasaki, Z. Hu
- Journal Title
  
  In Proceedings of 1st International Conference on Scalable Information Systems (Infoscale2006)
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] Surrounding Theorem : Developing Parallel Programs for Matrix- Convolutions2006
- Author(s)
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  European Conference on Parallel Computing (EuroPar2006), Dresden, Germany, August 29-September 2, LNCS 4128, Springer 4128
  
  Pages: 605-614
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] Parallel skeletons for manipulating general trees2006
- Author(s)
  K. Matsuzaki, Z. Hu, M. Takeichi
- Journal Title
  
  Parallel Computing Vol. 32(7-8)
  
  Pages: 590-603
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] A Library of Constructive Skeletons for Sequential Style of Parallel Programming2006
- Author(s)
  Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, Zhenjiang Hu
- Journal Title
  
  First International Conference on Scalable Information Systems(InfoScale2006),Hong Kong, May 29-June 1,2006
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] Surrounding Theorem : Developing Parallel Programs for Matrix-Convolutions2006
- Author(s)
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  European Conference on Parallel Computing(EuroPar2006), Drcsden, Germany, August 29-September 2, LNCS 4128, Springer 4128
  
  Pages: 6051-614
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] Towards automatic parallelization of tree reductions in dynamic programming2006
- Author(s)
  K. Matsuzaki, Z. Hu, M. Takeichi
- Journal Title
  
  In Proceedings of 18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA2006)
  
  Pages: 39-48
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] A Library of Constructive Skeletons for sequential Style of Parallel Programming2006
- Author(s)
  Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, Zhenjiang Hu
- Journal Title
  
  First International Conference on Scalable Information Systems(InfoScale2006), Hong Kong, May 29-June 1, 2006
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] Towards Automatic Parallelization of Tree Reductions in Dynamic Programming2006
- Author(s)
  Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  18th ACM Symposium on Parallelism in Algorithms and Architectures(SPAA2006), Cambridge, MA, USA, July 30-August 2, ACM Press
  
  Pages: 39-48
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] Parallel Skeletons for Manipulating General Trees2006
- Author(s)
  Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Journal Title
  
  Parallel Computing Vol.32, No.7-8
  
  Pages: 590-603
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] Surrounding theorem: developing parallel programs for matrix-convolutions2006
- Author(s)
  K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
- Journal Title
  
  In Proceedings of International Conference on Parallel Computing (EuroPar2006)
  
  Pages: 605-614
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18700021
[Journal Article] 最適化機構を持つ C++ 並列スケルトンライブラリ2005
- Author(s)
  明石良樹松崎公紀, 岩崎英哉, 筧一彦, 胡振江
- Journal Title
  
  コンピュータソフトウエア Vol.22, No.3
  
  Pages: 214-222
- NAID
  130005006607
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] Systematic Derivation of Tree Contraction Algorithms2005
- Author(s)
  Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
- Journal Title
  
  Parallel Processing Letters Vol. 15, No. 3
  
  Pages: 321-336
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] 助っ人:構成的な並列スケルトンによる並列プログラミングライブラリ2005
- Author(s)
  松崎公紀, 明石良樹, 江本健斗, 岩崎英哉, 胡振江
- Journal Title
  
  日本ソフトウェア科学会第22回大会,東北大学青葉山キャンパス, 2005年9月13日(火)〜15日(木)
- NAID
  130004638879
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] Systematic Derivation of Tree Contraction Algorithms2005
- Author(s)
  Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
- Journal Title
  
  Parallel Processing Letters 15・3
  
  Pages: 321-336
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] 木スケルトンによるXPathクエリの並列化とその評価2005
- Author(s)
  野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人
- Journal Title
  
  日本ソフトウェア科学会第22回大会,東北大学青葉山キャンパス, 2005年9月13日(火)〜15日(木)
- NAID
  130004638880
- Data Source
  KAKENHI-PROJECT-17300005
[Journal Article] 最適化機構を持つC++並列スケルトンライブラリ2005
- Author(s)
  明石良樹, 松崎公紀, 岩崎英哉, 筧一彦, 胡振江
- Journal Title
  
  コンピュータソフトウェア 22・3
  
  Pages: 214-222
- NAID
  130005006607
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] ミニ2048の完全解析を用いたNタプルネットワーク+Expectimax探索プレイヤの分析2024
- Author(s)
  寺内俊輔, 松崎公紀
- Organizer
  第65回プログラミング・シンポジウム
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] ミニ2048の完全解析を用いたNタプルネットワーク+Expectimax探索プレイヤの分析2024
- Author(s)
  寺内俊輔, 松崎公紀
- Organizer
  第65回プログラミング・シンポジウム
- Data Source
  KAKENHI-PROJECT-23K11383
[Presentation] モンテカルロ木探索の結果からの学習による2048プレイヤの開発2024
- Author(s)
  渡邊翔太, 松崎公紀
- Organizer
  情報処理学会第51回ゲーム情報学研究会
- Data Source
  KAKENHI-PROJECT-23K11383
[Presentation] モンテカルロ木探索の結果からの学習による2048プレイヤの開発2024
- Author(s)
  渡邊翔太, 松崎公紀
- Organizer
  情報処理学会第51回ゲーム情報学研究会
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] Using Strongly Solved Mini2048 to Analyze Players with N-tuple Networks2023
- Author(s)
  Shunsuke Terauchi, Takaharu.Kubota, and Kiminori Matsuzaki
- Organizer
  The 28th International Conference on Technologies and Applications of Artificial Intelligence (TAAI 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] Using Strongly Solved Mini2048 to Analyze Players with N-tuple Networks2023
- Author(s)
  Shunsuke Terauchi, Takaharu.Kubota, and Kiminori Matsuzaki
- Organizer
  The 28th International Conference on Technologies and Applications of Artificial Intelligence (TAAI 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11383
[Presentation] Complete DouDizhu Agents: Bid Learning from Pretrained Cardplay2023
- Author(s)
  Chuanfa Li, Lucien Troillet, and Kiminori Matsuzaki
- Organizer
  2023 IEEE Conference on Games (CoG)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] AlphaDDA の局面評価値を用いた再評価2023
- Author(s)
  久保田留奈, 松崎公紀
- Organizer
  令和5年度電気・電子・情報関係学会四国支部連合大会
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] AlphaDDA の局面評価値を用いた再評価2023
- Author(s)
  久保田留奈, 松崎公紀
- Organizer
  令和5年度電気・電子・情報関係学会四国支部連合大会
- Data Source
  KAKENHI-PROJECT-23K11383
[Presentation] 対戦型2048におけるニューラルネットワークプレイヤとNタプルネットワークプレイヤの性能比較2023
- Author(s)
  小田駿斗, 松崎公紀
- Organizer
  情報処理学会第49回ゲーム情報学研究会
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] Complete DouDizhu Agents: Bid Learning from Pretrained Cardplay2023
- Author(s)
  Chuanfa Li, Lucien Troillet, and Kiminori Matsuzaki
- Organizer
  2023 IEEE Conference on Games (CoG)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K11383
[Presentation] 分散強化学習におけるデータ保存ライブラリの設計と実装2023
- Author(s)
  仮谷拡晃, 松崎公紀
- Organizer
  情報処理学会第158回システムソフトウェアとオペレーティング・システム研究発表会
- Data Source
  KAKENHI-PROJECT-17K00108
[Presentation] 対戦型2048 におけるニューラルネットワークプレイヤのαβ探索による強化2022
- Author(s)
  小田駿斗, 松崎公紀
- Organizer
  情報処理学会ゲームプログラミングワークショップ2022
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] Improving DNN-based 2048 Players with Global Embedding2022
- Author(s)
  Weikai Wang, Kiminori Matsuzaki
- Organizer
  IEEE International Conference on Games
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] 攻撃側が置くタイルの数を選択できる対戦型2048に対するニューラルネットワークプレイヤの学習2022
- Author(s)
  小田駿斗, 松崎公紀
- Organizer
  第63回プログラミング・シンポジウム
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] Three Player Otrio will be Strongly Solved2022
- Author(s)
  Runa Kubota, Lucien Troillet, Kiminori Matsuzaki
- Organizer
  The 27th International Conference on Technologies and Applications of Artificial Intelligence (TAAI 2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] 分散強化学習におけるデータ保存ライブラリの実装2022
- Author(s)
  仮谷拡晃, 松崎公紀
- Organizer
  令和 4 年度電気・電子・情報関係学会四国支部連合大会
- Data Source
  KAKENHI-PROJECT-17K00108
[Presentation] 探索結果の評価値に基づく手選択の工夫による相手に合わせた将棋AI2022
- Author(s)
  荒武佑磨, 松崎公紀, 竹内聖悟
- Organizer
  情報処理学会第48回ゲーム情報学研究会
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] Enhancement of CNN-based 2048 Player with Monte-Carlo Tree Search2022
- Author(s)
  Shota Watanabe, Kiminori Matsuzaki
- Organizer
  The 27th International Conference on Technologies and Applications of Artificial Intelligence (TAAI 2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] 2048へのMC Softmax探索の適用2022
- Author(s)
  渡邊翔太, 松崎公紀
- Organizer
  情報処理学会ゲームプログラミングワークショップ2022
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] コンピュータ大貧民における手札推定の有効性についての再評価と考察2022
- Author(s)
  中山友里歌, 植田桂広, 鴨川翔太, 松崎公紀
- Organizer
  情報処理学会第48回ゲーム情報学研究会
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] Analysing simplified Geister using DREAM2021
- Author(s)
  Lucien Troillet, Kiminori Matsuzaki
- Organizer
  3rd IEEE Conference on Games
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] ニューラルネットワークを用いたガイスターの相手駒色推定とその拡張2021
- Author(s)
  寺村舞童華, 松崎公紀
- Organizer
  情報処理学会第45回ゲーム情報学研究会
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] クエリ分割並列化による並列XPathクエリのXMLデータベースBaseXにおける評価2021
- Author(s)
  仮谷拡晃，松崎公紀
- Organizer
  情報処理学会第83回全国大会
- Data Source
  KAKENHI-PROJECT-17K00108
[Presentation] ニューラルネットワークと強化学習による対戦型2048プレイヤの作成2021
- Author(s)
  横山智洋，松崎公紀
- Organizer
  情報処理学会第62回プログラミングシンポジウム
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] A Dual-Index Based Representation for Processing XPath Queries on Very Large XML Documents2020
- Author(s)
  Wei Hao, Kiminori Matsuzaki, Shigeyuki Sato
- Organizer
  10th EAI International Conference, CloudComp 2020
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00108
[Presentation] An Experimental Evaluation of PUCT Algorithm with Convolutional Neural Network Evaluation Functions2020
- Author(s)
  Lucien Troillet, Kiminori Matsuzaki
- Organizer
  情報処理学会第44回ゲーム情報学研究会
- Data Source
  KAKENHI-PROJECT-20K12124
[Presentation] Optimizing Declarative Parallel distributed Graph Processing by using Constraint Solvers2018
- Author(s)
  Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
- Organizer
  14th International Symposium on Functional and Logic Programming (FLOPS 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Keeping Control Away from Computation: A Computation Control Layer over the Vertex-centric Graph Processing Model2017
- Author(s)
  Onofre Coll Ruiz, Kiminori Matsuzaki
- Organizer
  10th International Symposium on High-Level Parallel Programming and Applications (HLPP 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Pregel+プログラムの性能解析2017
- Author(s)
  寺口守, 佐藤重幸, 松崎公紀
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) (ポスター)
- Place of Presentation
  華やぎの章慶山 (山梨県笛吹市)
- Year and Date
  2017-03-08
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] 一次元配列を操作するプログラムに対するHadoop MapReduceプログラム生成系2017
- Author(s)
  宮崎玲奈, 松崎公紀, 佐藤重幸
- Organizer
  情報処理学会第112回プログラミング研究会
- Place of Presentation
  沖縄県男女共同参画センター (沖縄県那覇市)
- Year and Date
  2017-01-10
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] 頂点主体並列グラフ処理の制約解消器による効率化2017
- Author(s)
  森畑明昌, 江本健斗, 松崎公紀, 胡振江, 岩崎英哉
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Experimential Analysis of Prefix-sums Implementations on Multicore Clusters2017
- Author(s)
  Fangyuan Liao, 松崎公紀
- Organizer
  The 1st cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2017), Poster
- Data Source
  KAKENHI-PROJECT-17K00108
[Presentation] 複数の頂点主体グラフ計算フレームワーク向けの中間表現とコード生成器2017
- Author(s)
  松崎公紀, 岩崎英哉, 江本健斗, 胡振江, 森畑明昌
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] データ依存を持つ繰り返し計算アルゴリズムからのHadoop MapReduceプログラムの生成2016
- Author(s)
  宮崎玲奈, 松崎公紀
- Organizer
  日本ソフトウェア科学会第33回大会講演論文集
- Place of Presentation
  東北大学 (宮城県仙台市)
- Year and Date
  2016-09-07
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] 大規模グラフ並列処理のための関数型領域特化言語2016
- Author(s)
  江本健斗，松崎公紀，胡振江，森畑明昌，岩崎英哉
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
- Place of Presentation
  岡山県玉野市
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] プログラム高速化の効果の検証－超解像処理を題材として2016
- Author(s)
  畑中涼, 松崎公紀
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ（PPL2016）
- Place of Presentation
  岡山県
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-25330088
[Presentation] 大規模グラフ並列処理のための関数型領域特化言語 Fregel とその評価2016
- Author(s)
  江本健斗, 松崎公紀, 胡振江, 森畑明昌, 岩崎英哉
- Organizer
  日本ソフトウェア科学会第33回大会講演論文集
- Place of Presentation
  東北大学 (宮城県仙台市)
- Year and Date
  2016-09-07
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] s6raph: Vertex-centric Graph Processing Framework with Functional Interface2016
- Author(s)
  Onofre Coll Ruiz, Kiminori Matsuzaki, and Shigeyuki Sato
- Organizer
  Proceedings of the 5th ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC 2016)
- Place of Presentation
  Nara, Japan
- Year and Date
  2016-09-22
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] MR画像に対する超解像化とその高速化に関する検討2016
- Author(s)
  松崎公紀
- Organizer
  医用画像情報学会平成27年度春季(第174回)大会
- Place of Presentation
  広島県
- Year and Date
  2016-02-06
- Data Source
  KAKENHI-PROJECT-25330088
[Presentation] Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing2016
- Author(s)
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
- Organizer
  Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016)
- Place of Presentation
  Nara, Japan
- Year and Date
  2016-09-19
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] A Functional DSL for Large Scale Graph Processing (Poster)2016
- Author(s)
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
- Organizer
  13th International Symposium on Functional and Logic Programming (FLOPS 2016)
- Place of Presentation
  Kochi, Japan
- Year and Date
  2016-03-04
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Functional Models of Hadoop MapReduce with Application to Scan2015
- Author(s)
  Kiminori Matsuzaki
- Organizer
  8th International Symposium on High-level Parallel Programming and Applications (HLPP 2015)
- Place of Presentation
  Pisa, Italy
- Year and Date
  2015-07-02
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] MRI Image Processing with OpenCL2015
- Author(s)
  Juan Luis Soler Ferrer, Kiminori Matsuzaki
- Organizer
  第32回日本ソフトウェア科学会大会
- Place of Presentation
  東京都
- Year and Date
  2015-09-08
- Data Source
  KAKENHI-PROJECT-25330088
[Presentation] A functional approach to PregelA functional approach to Pregel (Poster)2015
- Author(s)
  Onofre Coll Ruiz, Kiminori Matsuzaki
- Organizer
  13th Asian Symposium on Programming Languages and Systems (APLAS 2015)
- Place of Presentation
  Pohong, Korea
- Year and Date
  2015-11-30
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo2013
- Author(s)
  Kento Emoto, Kiminori Matsuzaki
- Organizer
  International Symposium on High-level Parallel Programming and Applications
- Place of Presentation
  パリ，フランス
- Data Source
  KAKENHI-PROJECT-25330088
[Presentation] A Tree-Division Tool for Practical Huge XML Trees (Poster)2013
- Author(s)
  Kawamura Takayuki, Kiminori Matsuzaki
- Organizer
  11th Asian Symposium on Programming Languages and Systems (APLAS2013)
- Place of Presentation
  メルボルン，オーストラリア
- Data Source
  KAKENHI-PROJECT-25330088
[Presentation] boost::proto を用いた融合変換機能付きライブラリの構築2013
- Author(s)
  松崎公紀, 江本健斗
- Organizer
  情報処理学会第93回プログラミング研究会
- Place of Presentation
  国立情報学研究所 (東京)
- Year and Date
  2013-02-28
- Data Source
  KAKENHI-PROJECT-22700037
[Presentation] boost::protoを用いた融合変換機能付きライブラリの構築2013
- Author(s)
  松崎公紀，江本健斗
- Organizer
  情報処理学会第93回プログラミング研究会
- Place of Presentation
  国立情報学研究所，東京
- Data Source
  KAKENHI-PROJECT-22700037
[Presentation] m-bridgeによる分割を適用した木構造処理のHadoop上での評価2012
- Author(s)
  川村高之，松崎公紀
- Organizer
  日本ソフトウェア科学会第29回大会
- Place of Presentation
  法政大学小金井キャンパス，東京
- Data Source
  KAKENHI-PROJECT-22700037
[Presentation] m-bridge による分割を適用した木構造処理のHadoop上での評価2012
- Author(s)
  川村高之, 松崎公紀
- Organizer
  日本ソフトウェア科学会第29回大会
- Place of Presentation
  法政大学小金井キャンパス(東京)
- Year and Date
  2012-08-22
- Data Source
  KAKENHI-PROJECT-22700037
[Presentation] Towards Systematic Parallel Programming over MapReduce2011
- Author(s)
  Y. Liu, Z. Hu and K. Matsuzaki
- Organizer
  17th International European Conference on Parallel and Distributed Computing(EuroPar 2011)
- Place of Presentation
  Bordeaux (フランス)
- Year and Date
  2011-09-01
- Data Source
  KAKENHI-PROJECT-22700037
[Presentation] スケルトン並列プログラミングからのソフトウェア自動チューニングへの期待 -並列スケルトンを用いたBiCGStab 法アプリケーション実装のケーススタディを通じて-2011
- Author(s)
  松崎公紀
- Organizer
  第3回自動チューニング技術の現状と応用に関するシンポジウム
- Place of Presentation
  東京大学 (東京)
- Year and Date
  2011-12-05
- Data Source
  KAKENHI-PROJECT-22700037
[Presentation] Balanced Trees Inhabiting in Functional Parallel Programming2011
- Author(s)
  A. Morihata and K. Matsuzaki
- Organizer
  16th ACM SIGPLAN International Conference on Functional Programming (ICFP'11)
- Place of Presentation
  国立情報学研究所 (東京)
- Year and Date
  2011-09-19
- Data Source
  KAKENHI-PROJECT-22700037
[Presentation] スケルトン並列プログラミングからのソフトウェア自動チューニングへの期待---並列スケルトンを用いたBiCGStab法アプリケーション実装のケーススタディを通じて---2011
- Author(s)
  松崎公紀
- Organizer
  第3回自動チューニング技術の現状と応用に関するシンポジウム
- Place of Presentation
  東京大学,東京(招待講演)
- Year and Date
  2011-12-05
- Data Source
  KAKENHI-PROJECT-22700037
[Presentation] Towards Systematic Parallel Programming over MapReduce2011
- Author(s)
  Yu Liu, Zhenjiang Hu, Kiminori Matsuzaki
- Organizer
  17th International European Conference on Parallel and Distributed Computing (EuroPar 2011)
- Place of Presentation
  ボルドー,フランス
- Year and Date
  2011-09-01
- Data Source
  KAKENHI-PROJECT-22700037
[Presentation] Balanced Trees Inhabiting in Functional Parallel Programming2011
- Author(s)
  Akimasa Morihata, Kiminori Matsuzaki
- Organizer
  16th ACM SIGPLAN International Conference on Functional Programming (ICFP'11)
- Place of Presentation
  NII,東京
- Year and Date
  2011-09-19
- Data Source
  KAKENHI-PROJECT-22700037
[Presentation] Lessons from Implementing the BiCGStab Method with SkeTo Library2010
- Author(s)
  Kiminori Matsuzaki, Kento Emoto
- Organizer
  4th International Workshop on High-level Parallel Programming and Applications
- Place of Presentation
  Baltimore(MD,アメリカ)
- Year and Date
  2010-09-25
- Data Source
  KAKENHI-PROJECT-22700037
[Presentation] Generators-of-generators Library with Optimization Capabilities in Fortress2010
- Author(s)
  Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
- Organizer
  16th International European Conference on Parallel and Distributed Computing
- Place of Presentation
  Ischia, Italy
- Data Source
  KAKENHI-PROJECT-22650006
[Presentation] Systematic Development of Correct Bulk Synchronous Parallel Programs2010
- Author(s)
  L. Gesbert, Z. Hu, F. Loulergue, K. Matsuzaki, and J. Tesson
- Organizer
  11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCaT 2010)
- Place of Presentation
  Wuhan (中国)
- Year and Date
  2010-12-10
- Data Source
  KAKENHI-PROJECT-22700037
[Presentation] Lessons from Implementing the BiCGStab Method with SkeTo Library2010
- Author(s)
  K. Matsuzaki and K. Emoto
- Organizer
  4th International Workshop on High-level Parallel Programming and Applications
- Place of Presentation
  Baltimore (MD, 米国)
- Year and Date
  2010-09-25
- Data Source
  KAKENHI-PROJECT-22700037
[Presentation] Generators-of-generators Library with Optimization Capabilities in Fortress2010
- Author(s)
  K. Emoto, Z. Hu, K. Kakehi, K. Matsuzaki, and M. Takeichi
- Organizer
  16th International European Conference on Parallel and Distributed Computing (EuroPar 2011)
- Place of Presentation
  Ischia (イタリア)
- Year and Date
  2010-09-01
- Data Source
  KAKENHI-PROJECT-22700037
[Presentation] Systematic Development of Correct Bulk Synchronous Parallel Programs2010
- Author(s)
  Louis Gesbert, Zhenjiang Hu, Frederic Loulergue, Kiminori Matsuzaki, Julien Tesson
- Organizer
  11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCaT 2010)
- Place of Presentation
  Wuhan(中国)
- Year and Date
  2010-12-10
- Data Source
  KAKENHI-PROJECT-22700037
[Presentation] Generators-of-generators Library with Optimization Capabilities in Fortress2010
- Author(s)
  Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
- Organizer
  EuroPar 2010 (International Conference)
- Place of Presentation
  Ischia(イタリア)
- Year and Date
  2010-09-01
- Data Source
  KAKENHI-PROJECT-22700037
[Presentation] The Third Homomorphism Theorem on Trees: Downward & Upward Lead to Divide-and-Conquer2009
- Author(s)
  Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Organizer
  The 36th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL 2009)
- Place of Presentation
  Savannah, Georgia, USA
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] The Third Homomorphism Theorem on Trees : Downward & Upward Lead to Divide-and-Conquer2009
- Author(s)
  Akimasa Morihata, Kiminori Matsuzaki, ZhenJiangHu, Masato Takeichi
- Organizer
  The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2009)
- Place of Presentation
  Savannah, Georgia, USA
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] 並列スケルトンライブラリ「助っ人」の実現2009
- Author(s)
  松崎公紀, 江本健斗
- Organizer
  第50回プログラミングシンポジウム
- Place of Presentation
  箱根, 神奈川県
- Year and Date
  2009-01-13
- Data Source
  KAKENHI-PROJECT-18700021
[Presentation] The Third Homomorphism Theorem on Trees: Downward & Upward Lead to Divide-and-Conquer2008
- Author(s)
  Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学大学院ビジネス科学研究科(東京キャンパス)
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] A Generative Matrix Library in Fortress Relieves Programmers' Headache!2008
- Author(s)
  Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学大学院ビジネス科学研究科(東京キャンパス)
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] A Generative Matrix Library in Fortress Relieves Programmers' Headache!2008
- Author(s)
  Kento Emoto, ZhenJiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, MasatoTakeichi
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学大学院ビジネス科学研究科(茨城)
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] The Third Homomorphism Theorem on Trees : Downward & Upward Lead to Divide-and-Conquer2008
- Author(s)
  Akimasa Morihata, Kiminori Matsuzaki, ZhenjiangHu, Masato Takeichi
- Organizer
  日本ソフトウェア科学会第25回大会
- Place of Presentation
  筑波大学大学院ビジネス科学研究科(茨城)
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Associativity for Parallel Tree Computation2007
- Author(s)
  松崎公紀, 森畑明昌, 胡振江, 武市正人
- Organizer
  日本ソフトウェア科学会第24回大会
- Place of Presentation
  奈良先端科学技術大学院大学
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Efficient Parallel Tree Reductions on Distributed Memory Environments2007
- Author(s)
  K. Kakehi, K. Matsuzaki, K. Emoto
- Organizer
  4th International Workshop on Practical Aspects of High-level Parallel Programming(PAPP 2007)
- Place of Presentation
  北京(中国)
- Year and Date
  2007-05-29
- Data Source
  KAKENHI-PROJECT-18700021
[Presentation] Towards automatic parallelization of tree reductions in dynamic programming2007
- Author(s)
  松崎公紀, 胡振江, 武市正人
- Organizer
  第9回プログラムおよびプログラミング言語ワークショップ (PPL2007)
- Place of Presentation
  加賀温泉, 石川県
- Year and Date
  2007-03-09
- Data Source
  KAKENHI-PROJECT-18700021
[Presentation] 近傍要素を必要とするスケルトンプログラムの最適化2007
- Author(s)
  江本健斗, 松崎公紀, 胡振江, 武市正人
- Organizer
  第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007)
- Place of Presentation
  石川県加賀市山
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Automatic inversion generates divide-and-conquer parallel programs2007
- Author(s)
  森田和孝, 森畑明昌, 松崎公紀, 胡振江, 武市正人
- Organizer
  第9回プログラムおよびプログラミング言語ワークショップ (PPL2007)
- Place of Presentation
  加賀温泉, 石川県
- Year and Date
  2007-03-09
- Data Source
  KAKENHI-PROJECT-18700021
[Presentation] 近傍要素を必要とするスケルトンプログラムの最適化2007
- Author(s)
  江本健斗, 松崎公紀, 胡振江, 武市正人
- Organizer
  第9回プログラムおよびプログラミング言語ワークショップ (PPL2007)
- Place of Presentation
  加賀温泉, 石川県
- Year and Date
  2007-03-09
- Data Source
  KAKENHI-PROJECT-18700021
[Presentation] Associativity for Parallel Tree Computation2007
- Author(s)
  松崎公紀, 森畑明昌, 胡振江, 武市正人
- Organizer
  日本ソフトウェア科学会第24回大会
- Place of Presentation
  奈良先端科学技術大学院大学
- Year and Date
  2007-09-13
- Data Source
  KAKENHI-PROJECT-18700021
[Presentation] Donain-Spaecific Optimization Strategy fbr Skeieton Programs2007
- Author(s)
  Kento Emoto, Kiminori Matsuzaki, Zhenjing Hu, Masato Takeiehi
- Organizer
  13th International European Conference on Parallel and Distributed Computing(Euro-Par2007)
- Place of Presentation
  IRISA,Renne,France
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Automatic Inversion Generates Divide-and-Conquer Parallel Programs2007
- Author(s)
  K. Morita, A. Morihata, K. Matsuzaki, Z. Hu, M. Takeichi
- Organizer
  ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation(PLDI2007)
- Place of Presentation
  San Diego(USA)
- Year and Date
  2007-06-11
- Data Source
  KAKENHI-PROJECT-18700021
[Presentation] Automatic Inversion Generates Divide-and-Conquer Parallel Programs2007
- Author(s)
  Kazutaka Morita, Akinlasa Morihata, Kiminori Matsuzaki, Zhenjang Hu, Masato Takeichi
- Organizer
  ACM SIGPLAN2007Conference on Programming Language Design and ImplernentatiDn(PLDI2007)
- Place of Presentation
  San Diego,CA,USA
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Efficient Implementation of Tree Accumulations on Distributed-MemoryParallel Computers2007
- Author(s)
  K. Matsuzaki
- Organizer
  4th International Workshop on Practical Aspects of High-level Parallel Programming(PAPP 2007)
- Place of Presentation
  北京(中国)
- Year and Date
  2007-05-29
- Data Source
  KAKENHI-PROJECT-18700021
[Presentation] Automatic Inversion Generates Divide-and-Conquer Parallel Programs2007
- Author(s)
  Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Organizer
  ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007) (pp.146-155)
- Place of Presentation
  San Diego, CA, USA
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Domain-Specific Optimization Strategy for Skeleton Programs2007
- Author(s)
  K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
- Organizer
  International European Conference on Parallel and Distributed Computing (EuroPar 2007)
- Place of Presentation
  Rennes(France)
- Year and Date
  2007-08-31
- Data Source
  KAKENHI-PROJECT-18700021
[Presentation] Associativity for parallel tree computation2007
- Author(s)
  K. Matsuzaki
- Organizer
  The 3rd DIKU-IST Joint Workshop on Foundation of Software
- Place of Presentation
  Denmark
- Year and Date
  2007-10-05
- Data Source
  KAKENHI-PROJECT-18700021
[Presentation] Associativity for parallel tree computation2007
- Author(s)
  松崎公紀, 森畑明昌, 胡振江, 武市正人
- Organizer
  日本ソフトウェア科学会第24回大会
- Place of Presentation
  奈良先端科学技術大学院大学, 奈良県
- Year and Date
  2007-09-13
- Data Source
  KAKENHI-PROJECT-18700021
[Presentation] リスト上の最大マーク付け問題を解く並列プログラムの導出2007
- Author(s)
  松崎公紀, 胡振江, 武市正人
- Organizer
  情報処理学会第66回プログラミング研究会
- Place of Presentation
  名古屋大学大学院多元数理科学研究科
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Associativity for Parallel Tree Computation2007
- Author(s)
  K. Matsuzaki
- Organizer
  3rd DIKU-IST Joint Workshop on Foundation of Software
- Place of Presentation
  Roskilde(Denmark)
- Year and Date
  2007-10-05
- Data Source
  KAKENHI-PROJECT-18700021
[Presentation] Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions2006
- Author(s)
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Organizer
  European Conference on Parallel Computing (EuroPar 2006) (LNCS 4128, Springer. Pp.605-614)
- Place of Presentation
  Dresden, Germany
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Towards Automatic Parallelization of Tree Reductions in Dynamic Programming2006
- Author(s)
  Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
- Organizer
  18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006)
- Place of Presentation
  Cambridge, MA, USA
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] A parallelization tool for tree reductions2006
- Author(s)
  K. Matsuzaki, N. Ohkawa
- Organizer
  The 2nd DIKU-IST Joint Workshop on Foundation of Software
- Place of Presentation
  葉山, 神奈川県
- Year and Date
  2006-04-22
- Data Source
  KAKENHI-PROJECT-18700021
[Presentation] A Library of Constructive Skeletons for Sequential Style of Parallel Programming (Invited Paper)2006
- Author(s)
  Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, Zhenjiang Hu
- Organizer
  First International Conference on Scalable Information Systems (InfoScale 2006) (Vol. 152 of ACM International Conference Proceeding Series)
- Place of Presentation
  Hong Kong
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] 木スケルトンによるXpathクエリの並列化とその評価2005
- Author(s)
  野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人
- Organizer
  日本ソフトウェア科学会第22回大会
- Place of Presentation
  東北大学青葉山キャンパス
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] 構成的な並列スケルトンによる並列プログラミングライブラリ2005
- Author(s)
  松崎公紀, 明石良樹, 江本健斗, 岩崎英哉, 胡振江, 助っ人
- Organizer
  日本ソフトウェア科学会第22回大会
- Place of Presentation
  東北大学青葉山キャンパス
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] Parallel Dynamic Programming using Data-Parallel Skeletons2005
- Author(s)
  筧一彦, 松崎公紀, 森畑明昌, 江本健斗, 胡振江
- Organizer
  日本ソフトウェア科学会第22回大会
- Place of Presentation
  東北大学青葉山キャンパス
- Data Source
  KAKENHI-PROJECT-17300005
[Presentation] A Generic Implementation of Tree Skeletons
- Author(s)
  Shigeyuki Sato, Kiminori Matsuzaki
- Organizer
  7th International Symposium on High-level Parallel Programming and Applications (HLPP 2014)
- Place of Presentation
  アムステルダム，オランダ
- Year and Date
  2014-07-03 – 2014-07-04
- Data Source
  KAKENHI-PROJECT-25330088
[Presentation] Parallel Tree Accumulations on MapReduce
- Author(s)
  Kiminori Matsuzaki, Reina Miyazaki
- Organizer
  7th International Symposium on High-level Parallel Programming and Applications (HLPP 2014)
- Place of Presentation
  Amsterdam, Netherlands
- Year and Date
  2014-07-03 – 2014-07-04
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Parallel Tree Accumulations on MapReduce
- Author(s)
  Kiminori Matsuzaki, Reina Miyazaki
- Organizer
  7th International Symposium on High-level Parallel Programming and Applications (HLPP 2014)
- Place of Presentation
  アムステルダム，オランダ
- Year and Date
  2014-07-03 – 2014-07-04
- Data Source
  KAKENHI-PROJECT-25330088

1. HU Zhenjiang (50292769)

# of Collaborated Projects: 5 results

# of Collaborated Products: 45 results
2. TAKEICHI Masato (10011165)

# of Collaborated Projects: 4 results

# of Collaborated Products: 31 results
3. EMOTO Kento (00587470)

# of Collaborated Projects: 2 results

# of Collaborated Products: 9 results
4. KAKEHI Kazuhiko (90345116)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results
5. Iwasaki Hideya (90203372)

# of Collaborated Projects: 1 results

# of Collaborated Products: 7 results

Matsuzaki Kiminori 松崎 公紀

MATSUZAKI Kiminori 松崎 公紀

Research Projects

Research Products

Co-Researchers

Empirical Comparison of Evaluation Functions and Search Algorithms and Their Combination to Cover Their WeaknessPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Evaluation and Improvement of AlphaGo Method for Imperfect-Information, Stochastic, and Multiplayer GamesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Design and implementation of fragmentation-adaptive parallel and distributed XML query libraryPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Developing an algebraic model and program development platform for large-scale graph processing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Realizing Fast and Scalable Brain Information Processing based on Skeletal Parallel ProgrammingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Parallelism-Oblivious Parallel Programming

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Application of advanced language features to skeletal parallel programming for its practical usePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Bidirectional Transformation Mechanisms and its Application

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Theory and Practice of Task-Parallel Computation Based on Constructive AlgorithmicsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Constructive Approach to Structured Parallel Programming

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Evaluating the Influence of Imperfect Information in Geister Using DREAM Trained Agents2024

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Fregel: a functional domain-specific language for vertex-centric large-scale graph processing2022

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Impact of Imperfect Information Estimation in the Game of Geister2022

Author(s)

Journal Title

DOI

Year and Date

Matsuzaki Kiminori 松崎公紀

MATSUZAKI Kiminori 松崎公紀