教职人员

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

教授
松崎公则

日本东京大学博士,2007 年

专业领域 游戏信息学
深度强化学习
编程方法
实验室/研究办公室 高级编程实验室
由于多核/众核 CPU 的广泛普及,环境变得越来越复杂。近年来的大数据应用涉及大量更复杂的数据。这些变化需要新的编程技术或方法。在这个实验室中,我们基于函数式编程方法,为高性能计算、大数据处理和人工智能等广泛领域开发先进的编程方法。
当前研究主题 一种新的并行编程方法,可提高可靠性和生产力
教育背景 2003:东京大学硕士
2001:东京大学学士
专业背景 2007-2009:东京大学研究生院信息科学研究生院助理教授
2005-2007:东京大学研究生院信息科学研究生院助理研究员
许可证
学术团体 日本软件科学技术学会
日本信息处理学会
ACM
IEEE

您可以通过侧面滑动来查看表格的延续。

课程

* 以英语提供的课程带有 (E) 标记

本科学校
  • 软件工程
  • 信息学院研讨会
  • 项目研究1
  • 毕业论文
  • 项目研究2
  • 项目研究3
  • 软件工程项目
  • 信息技术代数
  • 应用信息科学
研究生院
  • 毕业生个人作品
  • 高级研讨会 1
  • 高级研讨会 2
  • 信息学研讨会 I
  • 信息学研讨会 II
  • 大数据分析、数学模型和实验设计
  • 信息学高级讲座1
  • 信息学高级讲座2

您可以通过侧面滑动来查看表格的延续部分。

研究活动

研究论文
  1. 作者:C Li、K Matsuzaki
    标题:开发通过并发和多阶段训练方法增强的完整斗地主游戏的代理
    期刊:IEEE 游戏汇刊
    年份:2025 年
  2. 作者:H 张、K Matsuzaki、S Yoshida
    标题:利用时空特征评估 DNN 的类脑特征:基于 Müller-Lyer 错觉的研究
    期刊:IEEE Access,卷。 12,第 147192-147208 页
    年份:2024 年
  3. 作者:L Troillet、K Matsuzaki
    标题:使用经过 DREAM 训练的代理评估 Geister 中不完美信息的影响
    期刊:IEEE Transactions on Games、IEEE 计算智能协会
    年份:2023
  4. 作者:H Iwasaki、K Emoto、A Morihata、K Matsuzaki、Z Hu
    标题:Fregel:一种用于以顶点为中心的大规模图形处理的功能性领域特定语言
    期刊:函数式编程杂志,卷。 32
    年份:2022 年
  5. 作者:松崎松崎
    标题:通过强化学习为 2048 游戏开发价值网络
    期刊:信息处理杂志,卷。 29,第 336-346 页
    年份:2021
  6. 作者:松崎松崎
    标题:​对《2048 游戏》神经网络玩家的进一步调查
    期刊:第 16 届计算机游戏进展会议 (ACG2019) 论文集
    年份:2019
  7. 作者:N Kondo、K Matsuzaki
    标题:使用监督学习训练的深度卷积神经网络玩 2048 游戏
    期刊:信息处理杂志,卷。 27,第 340-347 页
    年份:2019
  8. 作者:松崎松崎
    标题:不同质量评价函数的 PUCT 算法实证分析
    期刊:2018 年人工智能技术与应用会议论文集,第 142-147 页
    年份:2018
  9. 作者:K Matsuzaki、M Teramura
    标题:解读《2048 游戏》的神经网络玩家
    期刊:2018 年人工智能技术与应用会议论文集,第 136-141 页
    年份:2018
  10. 作者:S Sato、Whao、K Matsuzaki
    标题:​使用现代 XQuery 处理器并行化 XPath 查询
    期刊:数据库和信息系统的新趋势 - ADBS 2018 短论文和研讨会,第 54-62 页
    年份:2018
  11. 作者:K Matsuzaki、N Kitamura
    标题:评估函数真的能改进蒙特卡罗树搜索吗? --- 使用黑白棋进行实证分析 ---
    期刊:第十届国际计算机与游戏会议论文集
    年份:2018
  12. 作者:A Morihata、K Emoto、K Matsuzaki、Z Hu、H Iwasaki
    标题:使用约束求解器优化声明式并行分布式图处理
    期刊:第十四届函数与逻辑编程国际研讨会论文集,第 166-181 页
    年份:2018
  13. 作者:I Asakura、H Masuhara、T Matsumoto、K Matsuzaki
    标题:识别并消除超分辨率应用程序加速的开销
    期刊:信息处理杂志,卷。 26,第 48-53 页
    年份:2018
  14. 作者:R宫崎、K松崎、佐藤茂之
    标题:操作一维数组的 Hadoop MapReduce 程序生成器
    期刊:信息处理杂志,卷。 25,第 841-851 页
    年份:2017 年
  15. 作者:松崎松崎
    标题:通过向后时间相干学习和重启开发 2048 播放器
    期刊:第十五届计算机游戏进展国际会议论文集 (ACG 2017),第 176-187 页
    年份:2017 年
  16. 作者:松崎松崎
    标题:在分布式内存并行计算机上高效实现树骨架
    期刊:可扩展计算:实践与经验,卷。 18,第 1 期,第 17-34 页
    年份:2017 年
  17. 作者:K Kakehi、K Matsuzaki、K Emoto
    标题:分布式内存环境上的高效并行树缩减
    期刊:可扩展计算:实践与经验,卷。 18,第 1 期,第 1-15 页
    年份:2017 年
  18. 作者:O Coll Ruiz、K Matsuzaki
    标题:​让控制远离计算:以顶点为中心的图处理模型上的计算控制层
    期刊:第十届高级并行编程与应用国际研讨会论文集 (HLPP2017),第 187-204 页
    年份:2017
  19. 作者:T 松本、K 松崎
    标题:Haskell 并行计算库的评估
    期刊:​日本信息处理学会信息处理杂志
    年份:2017
  20. 作者:O Coll Ruiz、K Matsuzaki、S Sato
    标题:s6raph:具有函数式接口的以顶点为中心的图形处理框架
    期刊:第五届 ACM SIGPLAN 功能高性能计算研讨会论文集 (FHPC'16),第 58-64 页,ACM
    年份:2016
  21. 作者:松崎松崎
    标题:考虑到游戏 2048 相互影响的 N 元组网络的系统选择
    期刊:2016 年人工智能技术与应用会议论文集 (TAAI 2016)
    年份:2016
  22. 作者:松崎松崎
    标题:具有扫描应用程序的 Hadoop MapReduce 功能模型
    期刊:《国际并行编程杂志》,Springer
    年份:2016
  23. 作者:WHao、KMatsuzaki
    标题:基于部分树的大型 XML 树 XPath 查询方法
    期刊:信息处理杂志,卷。 24,第 2 期,第 425-438 页
    年份:2016
  24. 作者:K松崎、R宫崎
    标题:MapReduce 上的并行树累积
    期刊:国际并行编程杂志,卷。 44,第 3 期,第 466-485 页,施普林格
    年份:2016年
  25. 作者:S Sato、K Matsuzaki
    标题:​树骨架的通用实现
    期刊:国际并行编程杂志,卷。 44,第 3 期,第 686-707 页,施普林格
    年份:2016
  26. 作者:K Emoto、K Matsuzaki、Z Hu、A Morihata、H Iwasaki
    标题:像顶点一样思考,像函数一样表现!用于以顶点为中心的大图处理的功能 DSL
    期刊:第 21 届 ACM SIGPLAN 国际函数式编程会议 (ICFP'16) 会议记录,第 200-213 页,ACM
    年份:2016 年
  27. 作者:A Morihata、K Matsuzaki
    标题:具有较少类型原始收缩操作的并行树收缩及其在无界度树中的应用
    期刊:IPSJ 编程交易,卷。 7,第 5 期,第 1-9 页
    年份:2014 年
  28. 作者:T Kawamura、K Matsuzaki
    标题:​使用 m-bridge 技术在一对一对应的二叉树上划分巨大的 XML 树
    期刊:IPSJ 编程交易,卷。 7,第 3 期,第 40-50 页
    年份:2014 年
  29. 作者:K Emoto、K Matsuzaki
    标题:SkeTo 中可变长度列表骨架的自动融合机制
    期刊:国际并行编程杂志,卷。 42,第 4 期,第 546-563 页,施普林格
    年份:2014 年
  30. 作者:Y Liu、K Emoto、K Matsuzaki、Z Hu
    标题:MapReduce 上的累积计算
    期刊:IPSJ 编程交易,卷。 7,第 1 期,第 18-27 页
    年份:2014 年
  31. 作者:R Sin'ya、K Matsuzaki、M Sassa
    标题:联立有限自动机:用于正则表达式匹配的高效数据并行模型
    期刊:第 42 届国际并行处理会议论文集 (ICPP 2013),第 220-229 页
    年份:2013 年
  32. 作者:J Legaux、Z Hu、F Loulergue、K Matsuzaki、J Tesson
    标题:使用 BSP 同态进行编程
    期刊:EuroPar 2013,第 446-457 页
    年份:2013 年
  33. 作者:A Morihata、K Matsuzaki
    标题:函数式并行编程中的平衡树
    期刊:第 16 届 ACM SIGPLAN 国际函数式编程会议 (ICFP'11) 会议记录,第 117-128 页,ACM
    年份:2011
  34. 作者:Y Liu、Z Hu、K Matsuzaki
    标题:​通过 MapReduce 实现系统并行编程
    期刊:第 17 届国际 Euro-Par 会议记录 (EuroPar 2011),第 39-50 页,Springer
    年份:2011
  35. 作者:A Morihata、K Matsuzaki
    标题:无界度树上并行骨架的实用树收缩算法
    期刊:国际计算科学会议论文集,(ICCS 2011),第 7-16 页,爱思唯尔
    年份:2011
  36. 作者:A Morihata、K Matsuzaki
    标题:使用量词消除的递归函数自动并行化
    期刊:第十届函数与逻辑编程国际研讨会论文集 (FLOPS2010),第 321-336 页,Springer
    年份:2010 年
  37. 作者:K松崎、K江本
    标题:通过表达式模板实现配备 Fusion 的并行骨架
    期刊:函数式语言的实现和应用,第 21 届国际研讨会,IFL 2009:修订后的精选论文,第 72-89 页,Springer
    年份:2010
  38. 作者:K松崎、K江本
    标题:使用 SkeTo 库实现 BiCGStab 方法的经验教训
    期刊:第四届高级并行编程和应用国际研讨会论文集 (HLPP 2010),第 15-24 页,ACM
    年份:2010 年
  39. 作者:K Emoto、Z Hu、K Kakehi、K Matsuzaki、M Takeichi
    标题:Fortress 中具有优化功能的生成器的生成器库
    期刊:第 16 届国际 Euro-Par 会议记录 (EuroPar 2010),第 26-37 页,Springer
    年份:2010
  40. 作者:L Gesbert、Z Hu、F Loulergue、K Matsuzaki、J Tesson
    标题:正确的批量同步并行程序的系统开发
    期刊:第 11 届并行和分布式计算、应用和技术国际会议论文集 (PDCAT 2010)
    年份:2010
  41. 作者:A Morihata、K Matsuzaki、Z Hu、M Takeichi
    标题:树的第三同态定理:向上和向下导致分而治之
    期刊:第 36 届 ACM SIGPLAN-SIGACT 编程语言原理研讨会论文集 (POPL2009),第 177-185 页,ACM
    年份:2009
  42. 作者:A Morihata、K Matsuzaki、M Takeichi
    标题:递归编写:最佳路径查询的通用框架
    期刊:2008 年 ACM SIGPLAN 国际函数式编程会议 (ICFP2008) 会议记录,第 169-178 页,ACM
    年份:2008
  43. 作者:K Kakehi、K Matsuzaki、K Emoto
    标题:分布式内存环境上的高效并行树缩减
    期刊:第四届高级并行编程实践方面国际研讨会论文集 (PAPP 2007),第 601-608 页,Springer
    年份:2007 年
  44. 作者:K Morita、A Morihata、K Matsuzaki、Z Hu、M Takeichi
    标题:自动反转生成分而治之的并行程序
    期刊:ACM SIGPLAN 2007 年编程语言设计和实现会议论文集 (PLDI2007),第 146-155 页,ACM
    年份:2007 年
  45. 作者:K Emoto、K Matsuzaki、Z Hu、M Takeichi
    标题:骨架程序的特定领域优化策略
    期刊:第 13 届国际 Euro-Par 会议记录 (EuroPar2007),第 705-714 页,Springer
    年份:2007 年
  46. 作者:松崎松崎
    标题:在分布式内存并行计算机上高效实现树累加
    期刊:第四届高级并行编程实践方面国际研讨会论文集 (PAPP 2007),第 609-616 页,Springer
    年份:2007 年
  47. 作者:K Matsuzaki、Z Hu、M Takeichi
    标题:​走向动态规划中树约简的自动并行化
    期刊:第 18 届 ACM 算法和架构并行性年度研讨会论文集 (SPAA 2006),第 39-48 页,ACM
    年份:2006 年
  48. 作者:K Matsuzaki、K Emoto、H Iwasaki、Z Hu
    标题:用于顺序风格并行编程的构造性骨架库
    期刊:第一届可扩展信息系统国际会议论文集 (InfoScale 2006)
    年份:2006 年
  49. 作者:K Emoto、K Matsuzaki、Z Hu、M Takeichi
    标题:围绕定理:开发矩阵卷积并行程序
    期刊:第十二届国际 Euro-Par 会议记录 (EuroPar 2006),第 605-614 页,Springer
    年份:2006 年
  50. 作者:K Matsuzaki、Z Hu、M Takeichi
    标题:用于操纵一般树的平行骨架
    期刊:并行计算,卷。 32,第 7-8 期,第 590-603 页,爱思唯尔
    年份:2006 年
  51. 作者:K Matsuzaki、Z Hu、K Kakehi、M Takeichi
    标题:树收缩算法的系统推导
    期刊:并行处理快报,卷。 15,第 3 期,第 321-336 页
    年份:2005 年
  52. 作者:K Matsuzaki、K Kakehi、H Iwasaki、Z Hu、Y Akashi
    标题:融合嵌入式骨架库
    期刊:第十届国际 Euro-Par 会议论文集 (Euro-Par 2004),第 644-653 页,Springer
    年份:2004 年
  53. 作者:K Matsuzaki、Z Hu、M Takeichi
    标题:树骨架并行化
    期刊:第九届国际 Euro-Par 会议论文集 (Euro-Par 2003),第 789-798 页,Springer
    年份:2003 年
奖项
  1. 特选论文:N Kondo 和 K Matsuzaki,用监督学习训练的深度卷积神经网络玩游戏 2048,信息处理杂志,卷。 27,第 340-370 页,2019 年。日本信息处理协会,2019 年
  2. 最佳论文奖:K Matsuzaki 和 M Teramura:Interpreting Neural-Network Players for Game 2048,2018 年人工智能技术与应用会议 (TAAI2018),2018 年
  3. IPSJ 活动贡献奖,日本信息处理学会,2015 年
  4. 最佳论文奖。 A Morihata、K Matsuazki、Z Hu、M Takeichi(编程和编程语言研讨会(PPL2008)(国内)),2008 年
日本政府的科学研究补助金
  1. 项目名称:高级语言功能在骨架并行编程中的实际应用
    类别:青年科学家资助金 (B)
    项目编号:22700037
    项目期限:2010-2012年
    总预算金额:3,380,000日元
    关键字:
  2. 项目名称:基于骨骼并行编程实现快速且可扩展的大脑信息处理
    类别:科学研究补助金 (C)
    项目编号:25330088
    项目周期:2013-2015
    总预算金额:4,680,000日元
    关键字:
  3. 项目名称:分段自适应并行分布式XML查询库的设计与实现
    类别:科学研究补助金 (C)
    项目编号:17K00108
    项目期限:2017-2019
    预算总额:4,290,000日元
    关键字:
  4. 项目名称:评估函数和搜索算法的实证比较及其组合以弥补其弱点
    类别:科学研究补助金 (C)
    项目编号:23K11383
    项目期限:2023-2025
    总预算金额:4,680,000日元
    关键字:

您可以通过侧面滑动来查看表格的延续部分。

社交活动

委员会角色
  1. 日本信息处理学会杂志编辑委员,2017-2021
  2. ACM ICPC 编程竞赛评委,2010 年-
  3. ACM ICPC 2013 会津,首席评委,ACM,2013
  4. IEEE 四国分会会员发展主席,2011-2012 年
  5. 高级并行编程和应用国际研讨会 (HLPP) 指导委员会成员,2013 年-
  6. PC 联合主席,第 20 届编程和编程语言研讨会 (PPL2018),2018 年

您可以通过侧面滑动来查看表格的延续部分。