教师信息(学位及业绩)

教员详细

山根智

YAMANE Satoshi

所属: 数据科学学院数据科学系

职位: 特命教授

职务

研究人员信息

专业领域

计算机软件、人工智能、机器学习、信息基础理论

负责科目

信息学概论、算法论、数据手持、机器学习、信息与职业

学历

1984年京都大学大学院毕业

取得学位

京都大学博士(工学)信息工学

所属学会

IEEE、电子信息通信学会、信息处理学会

研究关键词

软件验证、机器学习、时间自动化、模型检查、时相论理

现在的研究主题

１．软件验证
２．机器学习
３．嵌入式系统设计验证

主要的研究实绩、活动

【论文】
１．Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning
Shunya Kidera, Kosuke Shintani, Toi Tsuneda, Satoshi Yamane
IEEE Access 2024年2月
２．Enhanced Full Attention Generative Adversarial Networks.
Kaixu Chen, Satoshi Yamane
IEICE Trans. Inf. Syst. 106(5)813-817 2023年5月

其他130篇

【学会活动】
１．电子信息通信学会基础・境界索赛埃蒂副会长2018年度
２．电子信息通信学会系统数理与应用专业委员长平成27-28年度

科学研究费等受托事业实绩

１．2021-04-01:嵌入式装配程序的实时软件模型检查基础研究(C) – 2024-03-31代表

其他6个课题的研究代表等

其他(演讲、出演、委员等)

１．邀请演讲:2017 IEEE 6th Global Conference on Consumer Electronics
标题Deductively verifying嵌入式软件in the时代of人工智能=机器学习+Software科学

２．教程演讲:2007年嵌入式系统研讨会
　　实时系统的规范描述和验证

其他5件学会演讲