教师信息(学位及业绩)

教员详情

山根智

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-8172023年5月

其他130篇

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

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

１．有中断的嵌入式编组程序的实时性软件模型检测基础研究(C)2021-04-01 – 2024-03-31代表

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

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

１．邀请演讲:2017 IEEE 6th Global Conference on Consumer Electronics
题目Deductively Testing embedded Software in the world of人工info=ociety=ociety-cocord

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

其他5个学会演讲