計算機軟體、人工智慧、機器學習和資訊學基礎理論

資訊學概論、演算法論、數據手持、機器學習、資訊與職業

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年度

１．基於軟體模型檢測的基礎研究(C)2021-04-01。 – 2024-03-31代表

其他6個課題的研究代表等

１．邀請演講:2017 IEEE 6th Global Conference on Consumer Electronics
名為Deductively verifying嵌入式軟體in the時期of人工智慧=machine+software science

２．教程演講:嵌入式系統研討會2007
　　即時系統的規格描述和驗證

其他5項學會演講

１．推動DX的人工智慧,尤其是機器學習的研究
２．實現DX的計算機軟體、分布式系統

利用人工智慧和計算機軟體的理論,進行DX的理論和實踐。

[email protected]