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

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

ニュース & メッセージ

~~[2010年9月27日] 「日本−フランス研究交流」を推進するためのポスドク研究員を募集します. 詳細については, 直接私まで問い合わせて下さい.~~
[2010年9月10日] 2nd Parallelism-Oblivious Programming Workshopを高知工科大学にて行いました.
[2009年12月15日] 博士課程学生およびポスドク研究員を募集しています. 特に, 国外からの博士課程学生は, 高知工科大学の"Special Scholorship Programs" (SSP) に応募することができます.
[2009年10月1日] 東京大学情報理工学系研究科から高知工科大学情報学群へと異動しました.

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

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

現在進行中の研究プロジェクト

PaPDAS: Parallel Program Development with Algorithmic Skeletons
(並列スケルトンを用いた並列プログラム開発に関する研究)
戦略的国際科学技術協力推進事業 (研究交流型) 「日本−フランス (ANR) 研究交流」 (科学技術振興機構), 2010年10月〜2013年9月
先進的言語機能によるスケルトン並列プログラミングの実用化に関する研究
科学研究費補助金 (若手研究B), 2010年4月〜2013年3月

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

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

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

Last modified: 2013-05-16 12:39:06 +0900