松崎公紀／まつざききみのり

博士 (情報理工学)
高知工科大学情報学群教授
matsuzaki.kiminori_at_kochi-tech.ac.jp ("_at_"を"@"に置換して下さい)

ニュース & メッセージ

[2018年7月1日] 高知工科大学情報学群教授となりました．
[2018年7月1日] 博士課程学生 (SSP; Special Scholarship Program) を募集中です．研究プロジェクトは，構造化並列プログラミングに関するもの，ゲーム情報学に関するものの2つがあります．

並列プログラミング, 特にその高レベルなプログラミング手法に関心を持って研究を行っております.

スケルトン並列プログラミング: スケルトン並列プログラミングとは, 並列計算において良く利用される計算パターン (並列スケルトン) を組み合わせて並列プログラムを作成する手法です. スケルトン並列プログラミングを行うためのライブラリとして, 「助っ人」を他大学のグループと共同で開発しています.
並列性忘却プログラミング: (低レベルの) 並列性をあまり意識することなく並列プログラムを作成することができるようにするための方法論について考えています.
アルゴリズム導出: プログラムを計算対象とする「プログラム運算」手法を使って良いアルゴリズムやそのプログラムを系統的に開発できる手法について研究しています.
その他の関心: この他に, ゲーム・パズルプログラミングやプログラミングコンテスト等を通じたプログラミング教育などに関心を持っています.

主要論文・発表として5件を下記に示しています. すべての発表論文リストについては, 発表論文ページを参照して下さい.

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:
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.
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.
松崎公紀, 江本健斗, 劉雨:
正規表現マッチングの並列化とそのHadoopによる評価.
情報処理学会論文誌プログラミング, Vol. 4, No. 4, pp. 1-11, 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.

情報処理学会論文誌プログラミング編集委員: 2010.4-
情報処理学会学会誌「情報処理」編集委員 2011.4-
(基礎部門ワーキンググループ: FWG: 2007.4-2009.3, 幹事: 2009.4-2010.3, 主査: 2010.4-2011.3)
ACM ICPCプログラミングコンテスト出題委員・審判: 2012年国内予選, アジア地区予選（東京）

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