教員情報（学位及び業績）

教員詳細

山根智

YAMANE Satoshi

所属: データサイエンス学部データサイエンス学科

職位: 特命教授

役職

研究者情報

専門分野

コンピュータソフトウェア、人工知能、機械学習、情報学基礎理論

担当科目

情報学概論、アルゴリズム論、データハンドリング、機械学習、情報と職業

学歴

１９８４年京都大学大学院修了

取得学位

京都大学博士（工学）　情報工学

所属学会

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月

その他　１３０編

【学会活動】
１．電子情報通信学会基礎・境界ソサイエティ副会長　平成30年度
２．電子情報通信学会システム数理と応用専門委員長　平成27－28年度

科学研究費等の受託事業実績

１．割込みを持つ組込みアセンブリプログラムのリアルタイム性のソフトウェアモデル検査　基盤研究（Ｃ）　2021-04-01 – 2024-03-31　　　代表

その他　６課題の研究代表など

その他（講演、出演、委員等）

１．招待講演：2017 IEEE 6th Global Conference on Consumer Electronics
題名　Deductively verifying embedded software in the era of artificial intelligence = machine learning + software science

２．チュートリアル講演：組込みシステムシンポジウム2007
　　リアルタイムシステムの仕様記述と検証

その他　5件の学会講演