Kiminori Matsuzaki

According to our database, Kiminori Matsuzaki authored at least 52 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Using Strongly Solved Mini2048 to Analyze Players with N-tuple Networks.

Shunsuke Terauchi, Takaharu Kubota, Kiminori Matsuzaki

Proceedings of the Technologies and Applications of Artificial Intelligence, 2023

Complete DouDizhu Agents: Bid Learning from Pretrained Cardplay.

Chuanfa Li, Lucien Troillet, Kiminori Matsuzaki

Proceedings of the IEEE Conference on Games, 2023

2022

Fregel: a functional domain-specific language for vertex-centric large-scale graph processing.

Hideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu

J. Funct. Program., 2022

Enhancement of CNN-based 2048 Player with Monte-Carlo Tree Search.

Shota Watanabe, Kiminori Matsuzaki

Proceedings of the International Conference on Technologies and Applications of Artificial Intelligence, 2022

Three Player Otrio will be Strongly Solved.

Runa Kubota, Lucien Troillet, Kiminori Matsuzaki

Proceedings of the International Conference on Technologies and Applications of Artificial Intelligence, 2022

Improving DNN-based 2048 Players with Global Embedding.

Wang Weikai, Kiminori Matsuzaki

Proceedings of the IEEE Conference on Games, CoG 2022, Beijing, 2022

2021

Developing Value Networks for Game 2048 with Reinforcement Learning.

Kiminori Matsuzaki

J. Inf. Process., 2021

Analyzing simplified Geister using DREAM.

Lucien Troillet, Kiminori Matsuzaki

Proceedings of the 2021 IEEE Conference on Games (CoG), 2021

2019

Playing Game 2048 with Deep Convolutional Neural Networks Trained by Supervised Learning.

Naoki Kondo, Kiminori Matsuzaki

J. Inf. Process., 2019

A Further Investigation of Neural Network Players for Game 2048.

Kiminori Matsuzaki

Proceedings of the Advances in Computer Games - 16th International Conference, 2019

2018

Identification and Elimination of the Overhead of Accelerate with a Super-resolution Application.

Izumi Asakura, Hidehiko Masuhara, Takuya Matsumoto, Kiminori Matsuzaki

J. Inf. Process., 2018

Do evaluation functions really improve Monte-Carlo tree search?

Kiminori Matsuzaki, Naoki Kitamura

J. Int. Comput. Games Assoc., 2018

Interpreting Neural-Network Players for Game 2048.

Kiminori Matsuzaki, Madoka Teramura

Proceedings of the Conference on Technologies and Applications of Artificial Intelligence, 2018

Empirical Analysis of PUCT Algorithm with Evaluation Functions of Different Quality.

Kiminori Matsuzaki

Proceedings of the Conference on Technologies and Applications of Artificial Intelligence, 2018

Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers.

Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

Parallelization of XPath Queries Using Modern XQuery Processors.

Shigeyuki Sato, Wei Hao, Kiminori Matsuzaki

Proceedings of the New Trends in Databases and Information Systems, 2018

2017

Efficient Implementation of Tree Skeletons on Distributed-Memory Parallel Computers.

Kiminori Matsuzaki

Scalable Comput. Pract. Exp., 2017

Efficient Parallel Tree Reductions on Distributed Memory Environments.

Kazuhiko Kakehi, Kiminori Matsuzaki, Kento Emoto

Scalable Comput. Pract. Exp., 2017

A Generator of Hadoop MapReduce Programs that Manipulate One-dimensional Arrays.

Reina Miyazaki, Kiminori Matsuzaki, Shigeyuki Sato

J. Inf. Process., 2017

Evaluation of Libraries for Parallel Computing in Haskell - A Case Study with a Super-resolution Application.

Takuya Matsumoto, Kiminori Matsuzaki

J. Inf. Process., 2017

Functional Models of Hadoop MapReduce with Application to Scan.

Kiminori Matsuzaki

Int. J. Parallel Program., 2017

Developing a 2048 Player with Backward Temporal Coherence Learning and Restart.

Kiminori Matsuzaki

Proceedings of the Advances in Computer Games - 15th International Conferences, 2017

2016

A Partial-tree-based Approach for XPath Query on Large XML Trees.

Wei Hao, Kiminori Matsuzaki

J. Inf. Process., 2016

A Generic Implementation of Tree Skeletons.

Shigeyuki Sato, Kiminori Matsuzaki

Int. J. Parallel Program., 2016

Parallel Tree Accumulations on MapReduce.

Kiminori Matsuzaki, Reina Miyazaki

Int. J. Parallel Program., 2016

Systematic selection of N-tuple networks with consideration of interinfluence for game 2048.

Kiminori Matsuzaki

Proceedings of the Conference on Technologies and Applications of Artificial Intelligence, 2016

s6raph: vertex-centric graph processing framework with functional interface.

Onofre Coll Ruiz, Kiminori Matsuzaki, Shigeyuki Sato

Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing.

Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Systematic Selection of N-Tuple Networks for 2048.

Kazuto Oka, Kiminori Matsuzaki

Proceedings of the Computers and Games - 9th International Conference, 2016

2014

An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo.

Kento Emoto, Kiminori Matsuzaki

Int. J. Parallel Program., 2014

2013

Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching.

Ryoma Sin'ya, Kiminori Matsuzaki, Masataka Sassa

Proceedings of the 42nd International Conference on Parallel Processing, 2013

Programming with BSP Homomorphisms.

Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson

Proceedings of the Euro-Par 2013 Parallel Processing, 2013

2011

A Practical Tree Contraction Algorithm for Parallel Skeletons on Trees of Unbounded Degree.

Akimasa Morihata, Kiminori Matsuzaki

Proceedings of the International Conference on Computational Science, 2011

Balanced trees inhabiting functional parallel programming.

Akimasa Morihata, Kiminori Matsuzaki

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Towards Systematic Parallel Programming over MapReduce.

Yu Liu, Zhenjiang Hu, Kiminori Matsuzaki

Proceedings of the Euro-Par 2011 Parallel Processing - 17th International Conference, 2011

2010

Systematic Development of Correct Bulk Synchronous Parallel Programs.

Louis Gesbert, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson

Proceedings of the 2010 International Conference on Parallel and Distributed Computing, 2010

Automatic Parallelization of Recursive Functions Using Quantifier Elimination.

Akimasa Morihata, Kiminori Matsuzaki

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

Generators-of-Generators Library with Optimization Capabilities in Fortress.

Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi

Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

2009

The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer.

Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Implementing Fusion-Equipped Parallel Skeletons by Expression Templates.

Kiminori Matsuzaki, Kento Emoto

Proceedings of the Implementation and Application of Functional Languages, 2009

2008

Write it recursively: a generic framework for optimal path queries.

Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

Automatic inversion generates divide-and-conquer parallel programs.

Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Efficient Implementation of Tree Accumulations on Distributed-Memory Parallel Computers.

Kiminori Matsuzaki

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

Domain-Specific Optimization Strategy for Skeleton Programs.

Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi

Proceedings of the Euro-Par 2007, 2007

2006

Parallel skeletons for manipulating general trees.

Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi

Parallel Comput., 2006

Towards automatic parallelization of tree reductions in dynamic programming.

Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi

Proceedings of the SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30, 2006

A library of constructive skeletons for sequential style of parallel programming.

Kiminori Matsuzaki, Hideya Iwasaki, Kento Emoto, Zhenjiang Hu

Proceedings of the 1st International Conference on Scalable Information Systems, 2006

Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions.

Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi

Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

2005

Systematic Derivation of Tree Contraction Algorithms.

Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi

Parallel Process. Lett., 2005

2004

A Fusion-Embedded Skeleton Library.

Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi

Proceedings of the Euro-Par 2004 Parallel Processing, 2004

2003

Parallelization with Tree Skeletons.

Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2002

Implementation of Parallel Tree Skeletons on Distributed Systems.

Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002