発表論文 [フォーマット: 発表年ごと (査読論文)]

以下の論文リストでは, 論文誌論文と会議論文 (査読あり) について発表年ごとに表示しています.

査読なし会議論文, 紀要／テクニカルレポート, 口頭発表／ポスターを含む一覧は, [発表年ごと (すべて)]となります.

2022

Hideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, and Zhenjiang Hu:
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing.
Journal of Functional Programming, Vol. 32, e4, 2022.
竹内聖悟, 栃川純平, 松崎公紀:
不完全情報ゲーム「ガイスター」における相手駒色推定の有効性評価.
情報処理学会論文誌, Vol. 63, No. 3, pp. 787-795, 2022.
Wang Weikai and Kiminori Matsuzaki:
Improving DNNs-based 2048 Players with Position Embedding.
Proceedings of 2022 IEEE Conference on Games (CoG), 2022.

2021

Kiminori Matsuzaki:
Developing Value Networks for Game 2048 with Reinforcement Learning.
Journal of Information Processing, Vol. 29, pp. 336-346, 2021.
Lucien Troillet and Kiminori Matsuzaki:
Analysing simplified Geister using DREAM.
Proceedings of 3rd IEEE Conference on Games (COG 2021), pp. 1-8, 2021.

2020

Kiminori Matsuzaki:
A Further Investigation of Neural Network Players for Game 2048.
In Proceedings of the 16th Advances in Computer Games Conference (ACG2019), pp.53-65, 2020.

2019

Naoki Kondo and Kiminori Matsuzaki:
Playing Game 2048 with Deep Convolutional Neural Networks Trained by Supervised Learning.
Journal of Information Processing, Vol. 27, pp. 340-347, 2019.

2018

Izumi Asakura, Hidehiko Masuhara, Takuya Matsumoto, and Kiminori Matsuzaki:
Identification and Elimination of the Overhead of Accelerate with a Super-resolution Application.
Journal of Information Processing, Vol. 26, pp. 48-53, 2018.
Shigeyuki Sato, Wei Hao, and Kiminori Matsuzaki:
Parallelization of XPath Queries Using Modern XQuery Processors.
In New Trends in Databases and Information Systems - ADBIS 2018 Short Papers and Workshops, AI*QA, BIGPMED, CSACDB, M2U, BigDataMAPS, ISTREND, DC, Budapest, Hungary, September, 2-5, 2018, Proceedings, pp. 54-62, 2018.
Kiminori Matsuzaki and Madoka Teramura:
Interpreting Neural-Network Players for Game 2048.
In Proceedings of the 2018 Conference on Technologies and Applications of Artificial Intelligence (TAAI2018), pp. 136--141, 2018. Best paper award.
Kiminori Matsuzaki:
Empirical Analysis of PUCT Algorithm with Evaluation Functions of Different Quality.
In Proceedings of the 2018 Conference on Technologies and Applications of Artificial Intelligence (TAAI2018), pp. 142--147, 2018.
Kiminori Matsuzaki and Naoki Kitamrua:
Do Evaluation Functions Really Improve Monte-Carlo Tree Search? --- Empirical Analysis using Othello ---.
In the 10th International Conference on Computers and Games (CG2018), published in ICGA Journal, Vol. 40, pp. 294-304, 2018.
Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, and Hideya Iwasaki:
Optimizing Declarative Parallel distributed Graph Processing by using Constraint Solvers.
In Fourteenth International Symposium on Functional and Logic Programming (FLOPS 2018), Lecture Notes in Copmuter Science, vol. 10818, pp. 166--181, 2018.

2017

Kiminori Matsuzaki:
Efficient Implementation of Tree Skeletons on Distributed-Memory Parallel Computers.
Scalable Computing: Practice and Experience, Volume 18, Number 1, pp. 17-34, 2017.
Kazuhiko Kakehi, Kiminori Matsuzaki, and Kento Emoto:
Efficient Parallel Tree Reductions on Distributed Memory Environments.
Scalable Computing: Practice and Experience, Volume 18, Number 1, pp. 1-15, 2017.
Reina Miyazaki, Kiminori Matsuzaki, and Shigeyuki Sato:
A Generator of Hadoop MapReduce Programs that Manipulate One-dimensional Arrays.
Journal of Information Processing, Vol. 25, pp. 841-851, 2017.
Takuya Matsumoto and Kiminori Matsuzaki:
Evaluation of Libraries for Parallel Computing in Haskell --- A Case Study with a Super-Resolution Application---.
Journal of Information Processing, Vol. 25, pp. 308-316, 2017.
Kiminori Matsuzaki:
Developing 2048 Player with Backward Temporal Coherence Learning and Restart.
Proceedings of Fifteenth International Conference on Advances in Computer Games (ACG 2017), pp. 176-187, 2017.
Onofre Coll Ruiz and Kiminori Matsuzaki:
Keeping Control Away from Computation: A Computation Control Layer over the Vertex-centric Graph Processing Model.
Proceedings of 10th International Symposium on High-Level Parallel Programming and Applications, pp. 187-204, 2017.

2016

Kiminori Matsuzaki:
Functional Models of Hadoop MapReduce with Application to Scan.
International Journal of Parallel Programming, 2016 (now in online-first)
Wei Hao and Kiminori Matsuzaki:
A Partial-Tree-Based Approach for XPath Query on Large XML Trees.
Journal of Information Processing, Vol. 24, No. 2, pp. 425-438, 2016.
Kiminori Matsuzaki and Reina Miyazaki:
Parallel Tree Accumulations on MapReduce.
International Journal of Parallel Programming, Vol. 44, No. 3, pp. 466-485, 2016.
Shigeyuki Sato and Kiminori Matsuzaki:
A Generic Implementation of Tree Skeletons.
International Journal of Parallel Programming, Vol. 44, No. 3, pp. 686-707, 2016.
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, and Hideya Iwasaki:
Think Like a Vertex, Behave Like a Function! --A Functional DSL for Vertex-centric Big Graph Processing--.
ICFP'16 Proceedings of the 21th ACM SIGPLAN International Conference on Functional Programming, pp. 200-213, 2016.
Onofre Coll Ruiz, Kiminori Matsuzaki, and Shigeyuki Sato:
s6raph: Vertex-centric Graph Processing Framework with Functional Interface.
Proceedings of the 5th ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC'16), pp. 58-64, 2016.
Kiminori Matsuzaki:
Systematic Selection of N-tuple Networks with Consideration of Interinfluence for Game 2048.
The 2016 Conference on Technologies and Applications of Artificial Intelligence (TAAI 2016), pp. 186-193, 2016.
Kazuto Oka and Kiminori Matsuzaki:
Systematic Selection of N-tuple Networks for 2048.
9th International Conference on Computers and Games (CG2016), pp. 81-92, 2016.

2015

Kiminori Matsuzaki:
Functional Models of Hadoop MapReduce with Application to Scan.
8th International Symposium on High-level Parallel Programming and Applications (HLPP 2015), 2015.

2014

Akimasa Morihata and Kiminori Matsuzaki:
Parallel Tree Contraction with Fewer Types of Primitive Contraction Operations and Its Application to Trees of Unbounded Degree.
IPSJ Transaction on Programming, Vol. 7, No. 5, pp. 1-9, 2014.
Kento Emoto and Kiminori Matsuzaki:
An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo.
International Journal of Parallel Programming, Vol. 42, No. 4, pp. 546-563, 2014.
Takayuki Kawamura and Kiminori Matsuzaki:
Dividing Huge XML Trees Using the m-bridge Technique over One-to-one Corresponding Binary Trees.
IPSJ Transaction on Programming, Vol. 7, No. 3, pp. 40-50, 2014.
Yu Liu, Kento Emoto, Kiminori Matsuzaki, and Zhenjiang Hu:
Accumulative Computation on MapReduce.
IPSJ Transaction on Programming, Vol. 7, No. 1, pp. 18-27, 2014.
Kiminori Matsuzaki and Reina Miyazaki:
Parallel Tree Accumulations on MapReduce.
7th International Symposium on High-level Parallel Programming and Applications (HLPP 2014), pp. 31-50, 2014.
Shigeyuki Sato and Kiminori Matsuzaki:
A Generic Implementation of Tree Skeletons.
7th International Symposium on High-level Parallel Programming and Applications (HLPP 2014), pp. 51-72, 2014.

2013

佐藤重幸, 松崎公紀:
木上のスケルトン並列プログラミングのための演算子生成器.
情報処理学会論文誌　プログラミング, Vol. 6, No. 4, pp. 38-49, 2013.
Kento Emoto and Kiminori Matsuzaki:
An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo.
6th International Symposium on High-level Parallel Programming and Applications (HLPP 2013), 2013.
Joeffrey Legaux, Zhenjiang Hu, Frederic Loulergue, Kiminori Matsuzaki, and Julien Tesson:
Programming with BSP Homomorphisms.
19th International Conference on Parallel Processing (Euro-Par 2013), Lecture Notes in Computer Science 8097, pp. 446-457, 2013.
Ryoma Sin'ya, Kiminori Matsuzaki, and Masataka Sassa:
Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching.
42nd International Conference on Parallel Processing (ICPP 2013), pp. 220-229, 2013.

2011

松崎公紀, 江本健斗, 劉雨:
正規表現マッチングの並列化とそのHadoopによる評価.
情報処理学会論文誌プログラミング, Vol. 4, No. 4, pp. 1-11, 2011.
森畑明昌, 松崎公紀, 武市正人:
領域限定言語に基づく最適経路問合せ.
情報処理学会論文誌プログラミング, Vol.4, No.2, pp.1-18, 2011.
Yu Liu, Zhenjiang Hu, and Kiminori Matsuzaki:
Towards Systematic Parallel Programming over MapReduce.
17th International European Conference on Parallel and Distributed Computing (EuroPar 2011), Part II, Lecture Notes in Computer Science 6853, pp. 39-50, 2011.
Akimasa Morihata and Kiminori Matsuzaki:
Balanced Trees Inhabiting in Functional Parallel Programming.
ICFP'11 Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming, pp. 117-128, ACM, 2011.
Akimasa Morihata and Kiminori Matsuzaki:
A Practical Tree Contraction Algorithm for Parallel Skeletons on Trees of Unbounded Degree.
Proceedings of the International Conference on Computational Science, ICCS 2011, Procedia Computer Science, Vol. 4, pp. 7-16, Elsevier, 2011.

2010

Kiminori Matsuzaki and Kento Emoto:
Lessons from Implementing the BiCGStab Method with SkeTo Library.
HLPP'10: Proceedings of the Fourth International Workshop in High-level Parallel Programming and Applications, pp.15-24, 2010.
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, and Masato Takeichi:
Generators-of-Generators Library with Optimization Capabilities in Fortress.
Euro-Par 2010: Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II. Lecture Notes in Computer Science 6272, pp. 26-37, Springer, 2010.
Akimasa Morihata and Kiminori Matsuzaki:
Automatic Parallelization of Recursive Functions using Quantifier Elimination.
Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Proceedings, Lecture Notes in Computer Science 6009, pp. 321-336, 2010.
Louis Gesbert, Zhenjiang Hu, Frederic Loulergue, Kiminori Matsuzaki, and Julien Tesson:
Systematic Development of Correct Bulk Synchronous Parallel Programs.
Proceedings of the 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2010), 2010
Kiminori Matsuzaki and Kento Emoto:
Implementing Fusion-Equipped Parallel Skeletons by Expression Templates.
Implementation and Application of Functional Languages, 21st International Workshop, IFL 2009, Revised Selected Papers. Lecture Notes in Computer Science 6041, pp. 72-89, 2010.
The preliminary version appeared in Draft Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages (IFL 2009), Technical Report: SHU-TR-CS-2009-09-1, Seton Hall University, pp.100-115, 2009.

2009

森畑明昌, 松崎公紀, 胡振江, 武市正人:
並列プログラムの候補生成と適合性検査による並列化.
情報処理学会論文誌：プログラミング, Vol. 2, No. 2, pp. 132-143, 2009.
Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, and 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.

2008

松崎公紀, 胡振江, 武市正人:
リスト上の最大マーク付け問題を解く並列プログラムの導出.
情報処理学会論文誌：プログラミング, Vol.49, No.SIG 3 (PRO36), pp. 16-27, 2008.
Akimasa Morihata, Kiminori Matsuzaki, and Masato Takeichi:
Write it Recursively: A Generic Framework for Optimal Path Queries.
In Proceedings of the 2008 ACM SIGPLAN International Conference on Functional Programming (ICFP 2008), Sept. 22-24, 2008, Victoria, BC, Canada, pp. 169-178, ACM, 2008.

2007

野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人:
木スケルトンによるXPathクエリの並列化とその評価.
コンピュータソフトウェア, 24 (3): 51-62, 2007.
Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, and 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, 2007.
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, and 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.
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, 2007.
Kazuhiko Kakehi, Kiminori Matsuzaki, and 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, 2007.

2006

Kiminori Matsuzaki, Zhenjiang Hu, and Masato Takeichi:
Parallel Skeletons for Manipulating General Trees.
Parallel Computing, Vol. 32, No. 7-8, pp. 590-603, Elsevier B.V., 2006.
Kiminori Matsuzaki, Zhenjiang Hu, and 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
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, and Masato Takeichi:
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions.
In 12th International Euro-Par Conference, Dresden, Germany, August/September 2006, Proceedings, Lecture Notes in Computer Science 4128, pp. 605-614, 2006.
Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, and 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.

2005

明石良樹, 松崎公紀, 岩崎英哉, 筧一彦, 胡振江:
最適化機構を持つC++並列スケルトンライブラリ.
コンピュータソフトウェア, Vol. 22, No. 3, pp. 214-222, 2005
Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, and Masato Takeichi:
Systematic Derivation of Tree Contraction Algorithms.
In Parallel Processing Letters, Vol. 15, No. 3, pp. 321-336, 2005.

2004

Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, and 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, 2004.
Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, and Masato Takeichi:
Systematic Derivation of Tree Contraction Algorithms.
In Proceedings of the 4th International Workshop on Constructive Methods for Parallel Programming (CMPP 2004), Technical Report of Westfalische wilhelms-univeersitat munster, pp. 109-123, 2004.

2003

Kiminori Matsuzaki, Zhenjiang Hu, and 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, 2003.

Last modified: 2022-09-11 23:52:05.0475022 +0900