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

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

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

2022

  1. 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.
  2. 竹内 聖悟, 栃川 純平, 松崎 公紀:
    不完全情報ゲーム「ガイスター」における相手駒色推定の有効性評価.
    情報処理学会論文誌, Vol. 63, No. 3, pp. 787-795, 2022.
  3. Wang Weikai and Kiminori Matsuzaki:
    Improving DNNs-based 2048 Players with Position Embedding.
    Proceedings of 2022 IEEE Conference on Games (CoG), 2022.

2021

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

2020

  1. 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

  1. 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

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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

  1. Kiminori Matsuzaki:
    Functional Models of Hadoop MapReduce with Application to Scan.
    International Journal of Parallel Programming, 2016 (now in online-first)
  2. 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.
  3. Kiminori Matsuzaki and Reina Miyazaki:
    Parallel Tree Accumulations on MapReduce.
    International Journal of Parallel Programming, Vol. 44, No. 3, pp. 466-485, 2016.
  4. Shigeyuki Sato and Kiminori Matsuzaki:
    A Generic Implementation of Tree Skeletons.
    International Journal of Parallel Programming, Vol. 44, No. 3, pp. 686-707, 2016.
  5. 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.
  6. 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.
  7. 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.
  8. 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

  1. 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

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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

  1. 佐藤 重幸, 松崎 公紀:
    木上のスケルトン並列プログラミングのための演算子生成器.
    情報処理学会論文誌 プログラミング, Vol. 6, No. 4, pp. 38-49, 2013.
  2. 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.
  3. 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.
  4. 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

  1. 松崎 公紀, 江本 健斗, 劉 雨:
    正規表現マッチングの並列化とそのHadoopによる評価.
    情報処理学会論文誌 プログラミング, Vol. 4, No. 4, pp. 1-11, 2011.
  2. 森畑 明昌, 松崎 公紀, 武市 正人:
    領域限定言語に基づく最適経路問合せ.
    情報処理学会論文誌 プログラミング, Vol.4, No.2, pp.1-18, 2011.
  3. 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.
  4. 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.
  5. 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

  1. 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.
  2. 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.
  3. 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.
  4. 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
  5. 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

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

  1. 松崎 公紀, 胡 振江, 武市 正人:
    リスト上の最大マーク付け問題を解く並列プログラムの導出.
    情報処理学会論文誌:プログラミング, Vol.49, No.SIG 3 (PRO36), pp. 16-27, 2008.
  2. 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

  1. 野村 芳明, 江本 健斗, 松崎 公紀, 胡 振江, 武市 正人:
    木スケルトンによるXPathクエリの並列化とその評価.
    コンピュータソフトウェア, 24 (3): 51-62, 2007.
  2. 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.
  3. 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.
  4. 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.
  5. 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

  1. 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.
  2. 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
  3. 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.
  4. 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

  1. 明石 良樹, 松崎 公紀, 岩崎 英哉, 筧 一彦, 胡 振江:
    最適化機構を持つC++並列スケルトンライブラリ.
    コンピュータソフトウェア, Vol. 22, No. 3, pp. 214-222, 2005
  2. 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

  1. 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.
  2. 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

  1. 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

Copyright © 2009-2017, Kiminori MATSUZAKI. All Rights Reserved.
Email: matsuzaki.kiminori_at_kochi-tech.ac.jp (Replace "_at_" with "@")