Faculty Members

LANGUAGE ≫ Japanese
matsuzaki-kiminori-1.jpg

Professor
MATSUZAKI, Kiminori

Ph.D., The University of Tokyo, Japan, 2007

Areas of specialization Parallel Programming
Derivation of Algorithms
Functional Programming
Game Informatics
Laboratory/research office High-Level Programming Laboratory
The hardware environments are getting more complicated due to widely-spreading multicore-/manycore-CPUs. A larger amount of more complicated data are involved in recent big-data applications. These changes call for a new technique or methodology of programming. In this laboratory, we develop advanced programming methodologies for wide-ranged fields such as high-performance computing, big-data processing, and artificial intelligence, based on the functional programming approach.
Current research topics A new parallel-programming methodology to enhance reliability and productivity Game/puzzle programming
Educational background 2003: Master, The Univesity of Tokyo
2001: Bachelor, The Univesity of Tokyo
Professional background 2007-2009: Assistant Professor, Graduate School of Information Science and Technology, The University of Tokyo
2005-2007: Research Associate, Graduate School of Information Science and Technology, The University of Tokyo
Licenses
Academic societies Japan Society for Software Science and Technology
Information Processing Society of Japan
ACM
IEEE

You can see the continuation of the table with a side swipe.

Courses

* Courses provided in English are shown with (E) mark

Undergraduate school
  • Software Engineering
  • Seminars on the School of Information
  • Project Research 1
  • Graduation Thesis
  • Project Research 2
  • Project Research 3
  • Software Engineering Project
  • Applied Information Science
Graduate school
  • Individual Work for Graduate
  • Advanced Seminar 1
  • Advanced Seminar 2
  • Seminar on Infomatics I
  • Seminar on Infomatics II
  • Big Data Analysis, Mathematical Models and Design of Experiments
  • Parallel and Distributed Computing
  • Advanced Lecture on Informatics3
  • Advanced Lecture on Informatics4

You can see the continuation of the table with a side swipe.

Research activities

Research papers
  1. Authors: L. Troillet, K. Matsuzaki
    Title: Evaluating the Influence of Imperfect Information in Geister Using DREAM Trained Agents
    Journal: IEEE Transactions on Games, IEEE Computational Intelligence Society
    Year: 2023
  2. Authors: H. Iwasaki, K. Emoto, A. Morihata, K. Matsuzaki, Z. Hu
    Title: Fregel: a functional domain-specific language for vertex-centric large-scale graph processing
    Journal: Journal of Functional Programming, Vol. 32
    Year: 2022
  3. Authors: K. Matsuzaki
    Title: Developing Value Networks for Game 2048 with Reinforcement Learning
    Journal: Journal of Information Processing, Vol. 29, pp. 336-346
    Year: 2021
  4. Authors: K. Matsuzaki
    Title: A Further Investigation of Neural Network Players for Game 2048
    Journal: Proceedings of the 16th Advances in Computer Games Conference (ACG2019)
    Year: 2019
  5. Authors: N. Kondo, K. Matsuzaki
    Title: Playing Game 2048 with Deep Convolutional Neural Networks Trained by Supervised Learning
    Journal: Journal of Information Processing, Vol. 27, pp. 340-347
    Year: 2019
  6. Authors: K. Matsuzaki
    Title: Empirical Analysis of PUCT Algorithm with Evaluation Functions of Different Quality
    Journal: Proceedings of the 2018 Conference on Technologies and Applications of Artificial Intelligence, pp. 142-147
    Year: 2018
  7. Authors: K. Matsuzaki, M. Teramura
    Title: Interpreting Neural-Network Players for Game 2048
    Journal: Proceedings of the 2018 Conference on Technologies and Applications of Artificial Intelligence, pp. 136-141
    Year: 2018
  8. Authors: S. Sato, W. Hao, K. Matsuzaki
    Title: Parallelization of XPath Queries Using Modern XQuery Processors
    Journal: New Trends in Databases and Information Systems - ADBS 2018 Short Papers and Workshops, pp. 54-62
    Year: 2018
  9. Authors: K. Matsuzaki, N. Kitamura
    Title: Do Evaluation Functions Really Improve Monte-Carlo Tree Search? --- Empirical Analysis Using Othello ---
    Journal: Proceedings of the 10th International Conference on Computers and Games
    Year: 2018
  10. Authors: A. Morihata, K. Emoto, K. Matsuzaki, Z. Hu, H. Iwasaki
    Title: Optimizing Declarative Parallel Distributed Graph PRocessing by Using Constraint Solvers
    Journal: Proceedings of Fourteenth International Symposium on Functional and Logic Programming, pp. 166-181
    Year: 2018
  11. Authors: I. Asakura, H. Masuhara, T. Matsumoto, K. Matsuzaki
    Title: Identification and Elimination of the Overhead of Accelerate with a Super-resolution Application
    Journal: Journal of Information Processing, Vol. 26, pp. 48-53
    Year: 2018
  12. Authors: R. Miyazaki, K. Matsuzaki, Shigeyuki Sato
    Title: A Generator of Hadoop MapReduce Programs that Manipulate One-dimensional Arrays
    Journal: Journal of Information Processing, Vol. 25, pp. 841-851
    Year: 2017
  13. Authors: K. Matsuzaki
    Title: Developing 2048 Player with Backward Temporal Coherence Learning and Restart
    Journal: Proceedings of Fifteenth International Conference on Advances in Computer Games (ACG 2017), pp. 176-187
    Year: 2017
  14. Authors: K. Matsuzaki
    Title: Efficient Implementation of Tree Skeletons on Distributed-Memory Parallel Computers
    Journal: Scalable Computing: Practice and Experience, Vol. 18, No. 1, pp. 17-34
    Year: 2017
  15. Authors: K. Kakehi, K. Matsuzaki, K. Emoto
    Title: Efficient Parallel Tree Reductions on Distributed Memory Environments
    Journal: Scalable Computing: Practice and Experience, Vol. 18, No. 1, pp. 1-15
    Year: 2017
  16. Authors: O. Coll Ruiz, K. Matsuzaki
    Title: Keeping Control Away from Computation: A Computation Control Layer over the Vertex-centric Graph Processing Model
    Journal: Proceedings of 10th International Symposium on High-Level Parallel Programming and Applications (HLPP2017), pp. 187-204
    Year: 2017
  17. Authors: T. Matsumoto, K. Matsuzaki
    Title: Evaluation of Libraries for Parallel Computing in Haskell -- A Case Study with a Super-resolution Application
    Journal: Journal of Information Processing, Information Processing Society of Japan
    Year: 2017
  18. Authors: S. Sato, K. Matsuzaki
    Title: A Generic Implementation of Tree Skeletons
    Journal: International Journal of Parallel Programming, Vol. 44, No. 3, pp. 686-707, Springer
    Year: 2016
  19. Authors: K. Matsuzaki
    Title: Systematic Selection of N-tuple Networks with Consideration of Interinfluence for Game 2048
    Journal: Proceedings of the 2016 Conference on Technologies and Applications of Artificial Intelligence (TAAI 2016)
    Year: 2016
  20. Authors: K. Matsuzaki
    Title: Functional Models of Hadoop MapReduce with Application to Scan
    Journal: International Journal of Parallel Programming, Springer
    Year: 2016
  21. Authors: O. Coll Ruiz, K. Matsuzaki, S. Sato
    Title: s6raph: Vertex-centric Graph Processing Framework with Functional Interface
    Journal: Proceedings of the 5th ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC'16), pp. 58-64, ACM
    Year: 2016
  22. Authors: K. Emoto, K. Matsuzaki, Z. Hu, A. Morihata, H. Iwasaki
    Title: Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-centric Big Graph Processing
    Journal: Proceedings of the 21th ACM SIGPLAN International Conference on Functional Programming (ICFP'16), pp. 200-213, ACM
    Year: 2016
  23. Authors: W. Hao, K. Matsuzaki
    Title: A Partial-Tree-Based Approach for XPath Query on Large XML Trees
    Journal: Journal of Information Processing, Vol. 24, No. 2, pp. 425-438
    Year: 2016
  24. Authors: K. Matsuzaki, R. Miyazaki
    Title: Parallel Tree Accumulations on MapReduce
    Journal: International Journal of Parallel Programming, Vol. 44, No. 3, pp. 466-485, Springer
    Year: 2016
  25. Authors: A. Morihata, K. Matsuzaki
    Title: Parallel Tree Contraction with Fewer Types of Primitive Contraction Operations and Its Application to Trees of Unbounded Degree
    Journal: IPSJ Transaction on Programming, Vol. 7, No. 5, pp. 1-9
    Year: 2014
  26. Authors: T. Kawamura, K. Matsuzaki
    Title: Dividing Huge XML Trees Using the m-bridge Technique over One-to-one Corresponding Binary Trees
    Journal: IPSJ Transaction on Programming, Vol. 7, No. 3, pp. 40-50
    Year: 2014
  27. Authors: Y. Liu, K. Emoto, K. Matsuzaki, Z. Hu
    Title: Accumulative Computation on MapReduce
    Journal: IPSJ Transaction on Programming, Vol. 7, No. 1, pp. 18-27
    Year: 2014
  28. Authors: K. Emoto, K. Matsuzaki
    Title: An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo
    Journal: International Journal of Parallel Programming, Vol. 42, No. 4, pp. 546-563, Springer
    Year: 2014
  29. Authors: R. Sin'ya, K. Matsuzaki, M. Sassa
    Title: Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching
    Journal:  Proceedings of 42nd International Conference on Parallel Processing (ICPP 2013), pp. 220-229
    Year: 2013
  30. Authors: J. Legaux, Z. Hu, F. Loulergue, K. Matsuzaki, J. Tesson
    Title: Programming with BSP Homomorphisms
    Journal: EuroPar 2013, pp. 446-457
    Year: 2013
  31. Authors: Y. Liu, Z. Hu, K. Matsuzaki
    Title: Towards Systematic Parallel Programming over MapReduce
    Journal: Proceedings of 17th International Euro-Par Conference (EuroPar 2011), pp. 39-50, Springer
    Year: 2011
  32. Authors: A. Morihata, K. Matsuzaki
    Title: Balanced Trees Inhabiting in Functional Parallel Programming
    Journal: Proceedings of 16th ACM SIGPLAN International Conference on Functional Programming (ICFP'11 ), pp. 117-128, ACM
    Year: 2011
  33. Authors: A. Morihata, K. Matsuzaki
    Title: A Practical Tree Contraction Algorithm for Parallel Skeletons on Trees of Unbounded Degree
    Journal: Proceedings of International Conference on Computational Science, (ICCS 2011), pp. 7-16, Elsevier
    Year: 2011
  34. Authors: A. Morihata, K. Matsuzaki
    Title: Automatic Parallelization of Recursive Functions Using Quantifier Elimination
    Journal: Proceedings of the 10th International Symposium on Functional and Logic Programming (FLOPS2010), pp. 321-336, Springer
    Year: 2010
  35. Authors: K. Matsuzaki, K. Emoto
    Title: Implementing Fusion-Equipped Parallel Skeletons by Expression Templates
    Journal: Implementation and Application of Functional Languages, 21st International Symposium, IFL 2009: Revised Selected Papers, pp. 72-89, Springer
    Year: 2010
  36. Authors: K. Matsuzaki, K. Emoto
    Title: Lessons from Implementing the BiCGStab Method with SkeTo Library
    Journal: Proceedings of the 4th International Workshop on High-level Parallel Programming and Applications (HLPP 2010), pp. 15-24, ACM
    Year: 2010
  37. Authors: K. Emoto, Z. Hu, K. Kakehi, K. Matsuzaki, M. Takeichi
    Title: Generators-of-generators Library with Optimization Capabilities in Fortress
    Journal: Proceedings of the 16th International Euro-Par Conference (EuroPar 2010), pp. 26-37, Springer
    Year: 2010
  38. Authors: L. Gesbert, Z. Hu, F. Loulergue, K. Matsuzaki, J. Tesson
    Title: Systematic Development of Correct Bulk Synchronous Parallel Programs
    Journal: Proceedings of the 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2010)
    Year: 2010
  39. Authors: A. Morihata, K. Matsuzaki, Z. Hu, M. Takeichi
    Title: The Third Homomorphism Theorem on Trees: Upward & Downward Leads to Divide-and-Conquer
    Journal: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL2009), pp. 177-185, ACM
    Year: 2009
  40. Authors: A. Morihata, K. Matsuzaki, M. Takeichi
    Title: Write it Recursively: A Generic Framework for Optimal Path Queries
    Journal: Proceedings of the 2008 ACM SIGPLAN International Conference on Functional Programming (ICFP2008), pp. 169-178, ACM
    Year: 2008
  41. Authors: K. Morita, A. Morihata, K. Matsuzaki, Z. Hu, M. Takeichi
    Title: Automatic Inversion Generates Divide-and-Conquer Parallel Programs
    Journal: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI2007), pp. 146-155, ACM
    Year: 2007
  42. Authors: K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
    Title: Domain-Specific Optimization Strategy for Skeleton Programs
    Journal: Proceedings of the 13th International Euro-Par Conference (EuroPar2007), pp. 705-714, Springer
    Year: 2007
  43. Authors: K. Matsuzaki
    Title: Efficient Implementation of Tree Accumulations on Distributed-Memory Parallel Computers
    Journal: Proceedings of the 4th International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2007), pp. 609-616, Springer
    Year: 2007
  44. Authors: K. Kakehi, K. Matsuzaki, K. Emoto
    Title: Efficient Parallel Tree Reductions on Distributed Memory Environments
    Journal: Proceedings of the 4th International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2007), pp. 601-608, Springer
    Year: 2007
  45. Authors: K. Matsuzaki, K. Emoto, H. Iwasaki, Z. Hu
    Title: A Library of Constructive Skeletons for Sequential Style of Parallel Programming
    Journal: Proceedings of the 1st International Conference on Scalable Information Systems (InfoScale 2006)
    Year: 2006
  46. Authors: K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
    Title: Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions
    Journal: Proceedings of the 12th International Euro-Par Conference (EuroPar 2006), pp. 605-614, Springer
    Year: 2006
  47. Authors: K. Matsuzaki, Z. Hu, M. Takeichi
    Title: Towards Automatic Parallelization of Tree Reductions in Dynamic Programming
    Journal: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006), pp. 39-48, ACM
    Year: 2006
  48. Authors: K. Matsuzaki, Z. Hu, M. Takeichi
    Title: Parallel Skeletons for Manipulating General Trees
    Journal:  Parallel Computing, Vol. 32, No. 7-8, pp. 590-603, Elsevier
    Year: 2006
  49. Authors: K. Matsuzaki, Z. Hu, K. Kakehi, M. Takeichi
    Title: Systematic Derivation of Tree Contraction Algorithms
    Journal: Parallel Processing Letters, Vol. 15, No. 3, pp. 321-336
    Year: 2005
  50. Authors: K. Matsuzaki, K. Kakehi, H. Iwasaki, Z. Hu, Y. Akashi
    Title: A Fusion-Embedded Skeleton Library
    Journal: Proceedings of the 10th International Euro-Par Conference (Euro-Par 2004), pp. 644-653, Springer
    Year: 2004
  51. Authors: K. Matsuzaki, Z. Hu, M. Takeichi
    Title: Parallelization with Tree Skeletons
    Journal: Proceedings of the 9th International Euro-Par Conference (Euro-Par 2003), pp. 789-798, Springer
    Year: 2003
Awards
  1. Specially Selected Paper: N. Kondo and K. Matsuzaki, Playing Game 2048 with Deep Convolutional Neural Networks Trained by Supervised Learning, Journal of Information Processing, Vol. 27, pp. 340-370, 2019., Information Processing Society of Japan, 2019
  2. Best Paper Award: K. Matsuzaki and M. Teramura: Interpreting Neural-Network Players for Game 2048., 2018 Conference on Technologies and Applications of Artificial Intelligence (TAAI2018), 2018
  3. IPSJ Activity Contribution Award, Information Processing Society of Japan, 2015
  4. Best paper award. A. Morihata, K. Matsuazki, Z. Hu, M. Takeichi (at Workshop on Programming and Programming Languages (PPL2008) (domestic)), 2008
Grants-in-Aid for Scientific Research from the Japanese government
  1. Project title: Application of advanced language features to skeletal parallel programming for its practical use
    Category: Grant-in-Aid for Young Scientists (B)
    Project number: 22700037
    Project period: 2010-2012
    Total budget amount: 3,380,000 yen
    Keywords:
  2. Project title: Realizing Fast and Scalable Brain Information Processing based on Skeletal Parallel Programming
    Category: Grant-in-Aid for Scientific Research (C)
    Project number: 25330088
    Project period: 2013-2015
    Total budget amount: 4,680,000 yen
    Keywords:
  3. Project title: Design and implementation of fragmentation-adaptive parallel and distributed XML query library
    Category: Grant-in-Aid for Scientific Research (C)
    Project number: 17K00108
    Project period: 2017-2019
    Total budget amount: 4,290,000 yen
    Keywords:
  4. Project title: Empirical Comparison of Evaluation Functions and Search Algorithms and Their Combination to Cover Their Weakness
    Category: Grant-in-Aid for Scientific Research (C)
    Project number: 23K11383
    Project period: 2023-2025
    Total budget amount: 4,680,000 yen
    Keywords:

You can see the continuation of the table with a side swipe.

Social activities

Committee roles
  1. Editorial Member, Journal of Information Processing Society of Japan, 2017-2021
  2. Judge, ACM ICPC Programming Contest, 2010-
  3. ACM ICPC 2013 Aizu, Chief Judge, ACM, 2013
  4. Membership Development Chair, IEEE Shikoku Section, 2011-2012
  5. Steering Committee Member, International Symposia on High-Level Parallel Programming and Applications (HLPP), 2013-
  6. PC co-chair, 20th workshop on programming and programing languages (PPL2018), 2018

You can see the continuation of the table with a side swipe.