师资信息详情

语言 ≫ 英语
松崎-kiminori-1jpg

松崎纪典松崎公则

教师简历

学位 博士（信息科学与工程）
学术背景 东京大学工学部数学工学系毕业（2001年）
东京大学研究生院信息科学研究生院数学信息学系已完成（2003）
从东京大学研究生院信息科学研究生院数学信息学系退学（2005年）
工作经历 东京大学研究生院信息科学研究生院助理（2005-2007）
东京大学研究生院信息科学研究生院助理教授（2007-2009）
资质
专业 游戏信息学
深度强化学习
编程方法
实验室 名称 高级编程实验室
详情 自 2016 年 AlphaGo 宣布以来，已经推出了 AlphaZero 和 MuZero 等各种技术
为这款游戏创造了一个力量超过人类的电脑玩家
我是。在这个实验室中，我们正在开发更接近现实世界问题的不完全信息游戏（play）。
具有不可见信息的游戏）和随机游戏（具有随机元素的游戏）

我们也会致力于这些人工智能技术在游戏之外的应用
我是。
所属学会 日本软件学会
日本信息古天乐代言太阳集团(中国)有限公司学会
ACM
IEEE

水平滑动即可查看表格的其余部分。

今年讲授的讲座

教师/小组 软件工程/
研究生院 专题研究​/

水平滑动即可查看表格的其余部分。

研究种子

可讨论的领域 通过程序并行化和优化加速
软件开发组合理论
基于问题的数学属性的算法编程开发
游戏和谜题的分析和评估
当前研究 一种新的并行编程技术，可提高可靠性和开发效率
（具体来说，骨架并行编程和并行遗忘编程）

游戏/益智编程

消息

从学生时代起，我就一直在研究编程技术，特别是并行计算编程的理论和实践。近年来，我们一直在游戏信息学领域作为机器学习和深度学习的应用进行研究，该研究成果得到了国内外的认可。

研究成果

主要奖项等

  • 特选论文：N Kondo 和 K Matsuzaki，用监督学习训练的深度卷积神经网络玩 2048 游戏，《信息古天乐代言太阳集团(中国)有限公司杂志》，卷。 27，第 340-370 页，2019 年。（2019 年）日本信息古天乐代言太阳集团(中国)有限公司学会
  • 最佳论文奖：K Matsuzaki 和 M Teramura：解读 Game 2048 的神经网络玩家。(2018) 2018 年人工智能技术与应用大会 (TAAI2018)
  • 山内鼓励奖：冈和人、松崎公纪。使用系统选择将 N 元组网络应用于“竞争 2048”。第 58 届编程研讨会。 (2018)
  • 学术活动贡献奖（2015 年）日本信息古天乐代言太阳集团(中国)有限公司学会
  • 日本软件学会编程理论研究组PPL2008研讨会论文奖，基于规范描述语言的最优路径问题求解方法的推导，Akimasa Morihata，Kiminori Matsuzaki，Zhenjian Hu，Masato Takeichi (2008)
  • 日本信息古天乐代言太阳集团(中国)有限公司学会 CS 领域鼓励奖，解决列表上最大标记问题的并行程序的推导 (2008)

代表性研究论文

标题 作者 出版杂志 公告年份
开发通过并发和多阶段训练方法增强的完整斗地主游戏代理 C李松崎 IEEE 游戏交易 2025
利用时空特征评估 DNN 的类脑特征：基于 Müller-Lyer 错觉的研究 H张，K松崎，S吉田 IEEE 访问，第 12 卷，第 147192-147208 页 2024
使用经过 DREAM 训练的代理评估 Geister 中不完美信息的影响 L。 Troillet，K松崎 IEEE 游戏交易 2023
Fregel：一种用于以顶点为中心的大规模图形古天乐代言太阳集团(中国)有限公司的功能性领域特定语言 H岩崎、K Emoto、A Morihata、K Matsuzaki、Z Hu 函数式编程杂志，第 32 卷 2022
通过强化学习为 2048 游戏开发价值网络 K。松崎 信息古天乐代言太阳集团(中国)有限公司杂志，第 29 卷，第 336-346 页 2021
使用监督学习训练的深度卷积神经网络玩《2048》游戏 N。近藤松崎 信息古天乐代言太阳集团(中国)有限公司杂志，第 27 卷，第 340-347 页 2019
对游戏 2048 的神经网络玩家的进一步调查 K。松崎 第十六届计算机游戏进展大会 (ACG2019) 论文集 2019
解释游戏 2048 的神经网络玩家 K。松崎，寺村先生 2018 年人工智能技术与应用大会论文集，第 136-141 页 2018
不同质量评价函数的PUCT算法的实证分析 K。松崎 2018 年人工智能技术与应用大会论文集，第 142-147 页 2018
使用现代 XQuery 古天乐代言太阳集团(中国)有限公司器并行化 XPath 查询 S。佐藤，W浩，K松崎 数据库和信息系统的新趋势 - ADBS 2018 短论文和研讨会，第 54-62 页 2018
评估函数真的能改进蒙特卡洛树搜索吗？ --- 使用黑白棋进行实证分析 --- K。松崎，北村 第十届国际计算机与游戏会议论文集 2018
使用约束求解器优化声明式并行分布式图古天乐代言太阳集团(中国)有限公司 A森畑、K Emoto、K 松崎、Z Hu、H 岩崎 第十四届函数与逻辑编程国际研讨会论文集，第 166-181 页 2018
识别并消除超分辨率应用程序加速的开销 我。朝仓、H增原、T松本、K松崎 信息古天乐代言太阳集团(中国)有限公司杂志，第 26 卷，第 48-53 页 2018
操作一维数组的 Hadoop MapReduce 程序生成器 R。宫崎、K松崎、佐藤茂之 信息古天乐代言太阳集团(中国)有限公司杂志，第 25 卷，第 841-851 页 2017
使用后向时间一致性学习和重启开发 2048 播放器 K。松崎 第十五届计算机游戏进展国际会议论文集 (ACG 2017)，第 176-187 页 2017
在分布式内存并行计算机上高效实现树骨架 K。松崎 可扩展计算：实践与经验，第 18 卷，第 1 期，第 17-34 页 2017
分布式内存环境上的高效并行树缩减 K Kakehi、K Matsuzaki、K Emoto 可扩展计算：实践与经验，第 18 卷，第 1 期，第 1-15 页 2017
让控制远离计算：以顶点为中心的图古天乐代言太阳集团(中国)有限公司模型上的计算控制层 O。科尔·鲁伊斯 (Coll Ruiz)、K 松崎 第十届高级并行编程与应用国际研讨会论文集 (HLPP2017)，第 187-204 页 2017
在 Spark GraphX 上实现最大流算法 T。松本、S Sato、K 松崎 第六届国际前沿技术研讨会论文集 (ISFT2017)，第 347-352 页 2017
通过监督学习改进 2048 玩家 R。藤田、K松崎 第六届国际前沿技术研讨会论文集 (ISFT2017)，第 353-357 页 2017
多核集群上前缀和实现的实验分析 F。廖松崎 第一届计算系统、基础设施和编程跨学科研讨会 (xSIG 2017)，海报 2017
Haskell 并行计算库的评估 T。松本，K松崎 信息古天乐代言太阳集团(中国)有限公司杂志 2017
考虑游戏 2048 相互影响的 N 元组网络的系统选择 K。松崎 2016 年人工智能技术与应用会议论文集 (TAAI 2016) 2016
带有要扫描的应用程序的 Hadoop MapReduce 功能模型 K。松崎 国际并行编程杂志 2016
s6raph：具有函数式接口的以顶点为中心的图形古天乐代言太阳集团(中国)有限公司框架 O。科尔·鲁伊斯 (Coll Ruiz)、K 松崎 (K Matsuzaki)、S 佐藤 第五届 ACM SIGPLAN 功能高性能计算研讨会论文集 (FHPC'1​​6)，第 58-64 页 2016
像顶点一样思考，像函数一样表现！用于以顶点为中心的大图古天乐代言太阳集团(中国)有限公司的功能 DSL K。 Emoto、K Matsuzaki、Z Hu、A Morihata、H Iwasaki 第 21 届 ACM SIGPLAN 国际函数式编程会议 (ICFP'16) 论文集，第 200-213 页 2016
大型 XML 树上的基于部分树的 XPath 查询方法 西。浩，松崎 信息古天乐代言太阳集团(中国)有限公司杂志，第 24 卷，第 2 期，第 425-438 页 2016
树骨架的通用实现 S。佐藤，松崎 国际并行编程杂志，第 44 卷，第 3 期，第 686-707 页 2016
MapReduce 上的并行树累积 K。松崎，R宫崎 国际并行编程杂志，第 44 卷，第 3 期，第 466-485 页 2016
SkeTo 中可变长度列表骨架的自动融合机制 K。江本，K松崎 国际并行编程杂志，第 42 卷，第 4 期，第 546-563 页 2014
具有较少类型原收缩操作的并行树收缩及其在无界度树中的应用 A森畑，K松崎 IPSJ 编程交易，第 7 卷，第 5 期，第 1-9 页 2014
使用 m-bridge 技术在一对一对应的二叉树上划分巨大的 XML 树 T。河村，K松崎 IPSJ 编程交易，第 7 卷，第 3 期，第 40-50 页 2014
MapReduce 上的累积计算 Y。刘，K江本，K松崎，Z胡 IPSJ 编程交易，第 7 卷，第 1 期，第 18-27 页 2014
用于树上骨架并行编程的运算符生成器 佐藤茂之、松崎公则 日本信息古天乐代言太阳集团(中国)有限公司学会编程杂志，第 6 卷，第 4 期，第 38-49 页 2013
联立有限自动机：用于正则表达式匹配的高效数据并行模型 R。 Sin'ya、K Matsuzaki、M Sassa 第 42 届国际并行古天乐代言太阳集团(中国)有限公司会议论文集 (ICPP 2013)，第 220-229 页 2013
使用 BSP 同态编程 J。 Legaux、Z Hu、F Loulergue、K Matsuzaki、J Tesson 2013 年欧洲标准，第 446-457 页 2013
使用 Hadoop 进行正则表达式匹配及其评估的并行化 松崎纪典、江本健人、刘宇 日本信息古天乐代言太阳集团(中国)有限公司学会编程杂志，第 4 卷，第 4 期，第 1-11 页 2011
基于域限制语言的最优路由查询 森畑昭正、松崎公纪、竹市正人 日本信息古天乐代言太阳集团(中国)有限公司学会编程杂志，第 4 卷，第 2 期，第 1-18 页 2011
函数式并行编程中的平衡树 A森畑，K松崎 第 16 届 ACM SIGPLAN 国际函数式编程会议 (ICFP'11) 论文集，第 117-128 页 2011
通过 MapReduce 实现系统化并行编程 Y。刘，Z胡，K松崎 第 17 届国际 Euro-Par 会议论文集 (EuroPar 2011)，第 39-50 页 2011
一种实用的无界度树上并行骨架的树收缩算法 A森畑，K松崎 国际计算科学会议论文集，(ICCS 2011)，第 7-16 页 2011
通过表达式模板实现配备融合的并行骨架 K。松崎，K Emoto 函数式语言的实现和应用，第 21 届国际研讨会，IFL 2009：修订后的精选论文，第 72-89 页 2010
使用 SkeTo 库实现 BiCGStab 方法的经验教训 K。松崎，K Emoto 第四届高级并行编程和应用国际研讨会论文集 (HLPP 2010)，第 15-24 页 2010
Fortress 中具有优化功能的生成器的生成器库 K。 Emoto、Z Hu、K Kakehi、K Matsuzaki、M Takeichi 第 16 届国际 Euro-Par 会议论文集 (EuroPar 2010)，第 26-37 页 2010
使用量词消除的递归函数自动并行化 A森畑，K松崎 第十届函数与逻辑编程国际研讨会论文集 (FLOPS2010)，第 321-336 页 2010
正确的批量同步并行程序的系统开发 L。 Gesbert、Z Hu、F Loulergue、K Matsuzaki、J Tesson 第 11 届并行和分布式计算、应用和技术国际会议论文集 (PDCAT 2010) 2010
通过并行程序候选生成和兼容性检查实现并行化 Akimasa Morihata、Kiminori Matsuzaki、Zhenjian Hu、Masato Takeichi 日本信息古天乐代言太阳集团(中国)有限公司学会汇刊：编程，第 2 卷，第 2 期，第 132-143 页 2009
树的第三同态定理：向上和向下导致分而治之 A森畑、K 松崎、Z 胡、M 竹市 第 36 届 ACM SIGPLAN-SIGACT 编程语言原理研讨会论文集 (POPL2009)，第 177-185 页 2009
求解列表上最大标记问题的并行程序的推导 Kinori Matsuzaki、胡振江、Masato Takeichi 日本信息古天乐代言太阳集团(中国)有限公司学会汇刊：编程，第 49 卷，第 SIG 3 (PRO36)，第 16-27 页 2008
递归编写：最佳路径查询的通用框架 A森畑、K 松崎、M 竹市、 2008 年 ACM SIGPLAN 国际函数式编程会议 (ICFP2008) 会议记录，第 169-178 页 2008
使用树骨架的 XPath 查询并行化及其评估 Yoshiaki Nomura、Kento Emoto、Kiminori Matsuzaki、Zhenjian Hu、Masato Takeichi 计算机软件，第 24 卷，第 3 期，第 51-62 页 2007
自动反转生成分而治之的并行程序 K。森田、A Morihata、K Matsuzaki、Z Hu、M Takeichi ACM SIGPLAN 2007 年编程语言设计和实现会议 (PLDI2007) 会议记录，第 146-155 页 2007
骨架程序的特定领域优化策略 K。 Emoto、K Matsuzaki、Z Hu、M Takeichi 第 13 届国际 Euro-Par 会议论文集 (EuroPar2007)，第 705-714 页 2007
在分布式内存并行计算机上高效实现树累积 K。松崎 第四届高级并行编程实践方面国际研讨会论文集 (PAPP 2007)，第 609-616 页 2007
分布式内存环境上的高效并行树缩减 K。 Kakehi、K Matsuzaki、K Emoto 第四届高级并行编程实践方面国际研讨会论文集 (PAPP 2007)，第 601-608 页 2007
用于操纵一般树的平行骨架 K。松崎、Z Hu、M Takeichi 并行计算，第 32 卷，第 7-8 期，第 590-603 页 2006
动态规划中树约简的自动并行化 K。松崎、Z Hu、M Takeichi 第 18 届 ACM 算法和架构并行性年度研讨会论文集 (SPAA 2006)，第 39-48 页 2006
周围定理：开发矩阵卷积的并行程序 K。 Emoto、K Matsuzaki、Z Hu、M Takeichi 第十二届国际 Euro-Par 会议论文集 (EuroPar 2006)，第 605-614 页 2006
用于并行编程的顺序风格的构造骨架库 K。松崎、K Emoto、H 岩崎、Z Hu 第一届可扩展信息系统国际会议论文集 (InfoScale 2006) 2006
树收缩算法的系统推导 K。松崎、Z Hu、K Kakehi、M Takeichi 并行古天乐代言太阳集团(中国)有限公司快报，第 15 卷，第 3 期，第 321-336 页 2005
具有优化机制的C++并行骨架库 Yoshiki Akashi、Koki Matsuzaki、Hideya Iwasaki、Kazuhiko Kakei、Zhenjian Hu 计算机软件，第 22 卷，第 3 期，第 214-222 页 2005
融合嵌入式骨架库 K。松崎、K Kakehi、H 岩崎、Z Hu、Y Akashi 第十届国际 Euro-Par 会议论文集（Euro-Par 2004），第 644-653 页 2004
树骨架并行化 K。松崎、Z Hu、M Takeichi 第九届国际 Euro-Par 会议论文集（Euro-Par 2003），第 789-798 页 2003

水平滑动即可查看表格的其余部分。

学术演讲、讲座等

  1. (特邀报告)骨架并行编程对软件自动调优的展望——通过并行骨架BiCGStab方法应用实现案例分析——第三届自动调优技术现状及应用研讨会（2011）
  2. （特别讲座）函数式并行编程中的平衡树，日本软件学会第 28 届年会（2011 年）
  3. 使用并行骨架库 SkeTo 实现 BiCGStab 方法（特邀演讲），2010 年国际信息技术研讨会 (iwit 2010) (2010)

科研经费

KAKEN 是由国家信息研究所提供的一项服务。

分类 研究主题 研究类别 研究期 作业编号
代表 利用高级语言特性进行骨架并行编程的实际实现研究 年轻研究员(B) 2010 - 2012 22700037
代表 利用骨架并行编程方法实现高速、大规模脑信息古天乐代言太阳集团(中国)有限公司 基础研究 (C) 2013 - 2015 25330088
分享 基于代数结构的大规模图并行古天乐代言太阳集团(中国)有限公司的理论基础和程序开发基础构建 基础研究（B） 2014 - 2017 26280020
代表 并行分布式XML查询算法及其分片自适应库的实现 基础研究 (C) 2017 - 2019 17K00108
代表 不完全信息/随机/多人游戏中AlphaGo方法的评估和改进 基础研究 (C) 2020 - 2022 20K12124
代表 评估函数和搜索算法的实验比较以及弥补弱点的组合方法 基础研究（C） 2023 - 2025 年（计划） 23K11383

水平滑动即可查看表格的其余部分。

有竞争力的资金等

研究主题 企业名称等 研究期 收货人 讲师
先进脑成像云的研发，为“日本最健康、最长寿的县概念”做出贡献 战略信息与通信研究与发展促进项目 (SCOPE) 2015/04/01～2017/03/31 总务省四国交通总局 岩田诚、中原清、松崎功起
使用并行骨架的并行程序开发研究 战略性国际科技合作促进项目（SICP） 2012/04/01～2014/03/31 日本科学技术振兴机构 (JST) 松崎纪典
IoP 引领的“下一代温室园艺农业”演进 高知县下一代温室园艺推广项目补贴 2018～2022 高知县 松崎良三

水平滑动即可查看表格的其余部分。

社会贡献和公共关系活动

外部委员会成员、学术活动等

  1. 日本信息古天乐代言太阳集团(中国)有限公司学会论文奖评选委员会（2017-2021）
  2. 日本信息古天乐代言太阳集团(中国)有限公司学会期刊编辑委员会（2017-2021）
  3. 日本信息古天乐代言太阳集团(中国)有限公司学会游戏信息学研究小组指导委员会（2017-2021）
  4. 日本信息古天乐代言太阳集团(中国)有限公司学会编程研究组秘书长（2016-2020）
  5. 日本信息古天乐代言太阳集团(中国)有限公司学会编程研究组期刊编辑委员会（2010-2014）
  6. 日本信息古天乐代言太阳集团(中国)有限公司学会编程研究组指导委员会（2008-2017）
  7. 日本信息古天乐代言太阳集团(中国)有限公司学会期刊编辑委员会（2007-2011，FWG）（2011-2017）
  8. ACM ICPC编程大赛评委(2010~)
  9. ACM ACM ICPC 2013 会津锦标赛主裁判（2013）
  10. 日本信息古天乐代言太阳集团(中国)有限公司学会四国分会秘书长（2020-2022）
  11. 日本信息古天乐代言太阳集团(中国)有限公司学会四国分会秘书长（2016-2017）
  12. 日本信息古天乐代言太阳集团(中国)有限公司学会四国分会委员（2011-2013）
  13. IEEE 四国分会会员发展主席（2011-2012）
  14. 日本信息古天乐代言太阳集团(中国)有限公司学会代表会员（2010-2012）
  15. 高级并行编程与应用国际研讨会 (HLPP) 指导委员会成员 (2013~)
  16. 第20届编程与编程语言研讨会
    (PPL 2018) 联合项目主席 (2018)
  17. 日本软件学会第33届年会副程序委员会主席（2016年）
  18. 日本信息古天乐代言太阳集团(中国)有限公司学会日本信息古天乐代言太阳集团(中国)有限公司学会编程研讨会秘书（2012-2016）
  19. 日本软件学会编程理论研究组 PPL2010 研讨会执行委员会主席（2011 年）
  20. 日本信息古天乐代言太阳集团(中国)有限公司学会第72届全国大会（50周年纪念大会）执行委员会（2010年）
  21. 文部科学省委员会委员（入学考试）（2013-2015）

参与当地活动的委员会等

  1. 2020年应用程序开发人力资源开发课程<在线课程>提案审查委员会（2020年）
  2. 令和第2年应用程序开发人才培养课程<县内通勤课程>提案审查委员会（2020年）
  3. 2021年度高知县公立学校教师招聘考生选拔考试笔试试题研究员（2020年）
  4. 高知县应用程序开发人力资源开发课程<专家课程>实施委员会审查委员会（2019年）
  5. 2020年高知县公立学校教师招聘考生选拔考试笔试试题研究员（2019年）
  6. 高知县教育委员会2018年高知县公立学校教师招聘候选人选拔考试笔试研究员（2017年）

一般讲座等

  1. 使用深度学习的 MRI 图像超分辨率，高知县工程师协会继续教育研讨会（2019 年）
  2. 让我们了解超级计算机，高知工业大学开放校园（2011）

主要出版物等

  1. 可以计算的东西和不能计算的东西 - 使用实用方法介绍计算理论，O'Reilly 日本，2020 年，ISBN 978-487311933
  2. 世界标准麻省理工学院教科书《Strang：线性代数导论》，金代科学社，2015 年，ISBN 978-476490405
  3. 算法难题 - 程序员数学难题入门，O'Reilly 日本，2014 年，ISBN 978-487311669
  4. 优雅的问题解决：带来灵活想法的意识和技巧（合著者），O'Reilly Japan，2010 年
  5. 瞄准它！编程界的最佳：挑战大学间编程竞赛 ICPC（合着），近代化学社，2009 年

水平滑动即可查看表格的其余部分。