Computer software, artificial intelligence, machine learning, basic intelligence, basic theory

Introduction to Informatics, algorithm theory, data handling, machine learning, information and occupation

Graduated from Kyoto University in 1984

Ph.D. (Engineering), Kyoto University

IEEE, Electronic Information and Communications Society, and Information Processing Society

Software verification, machine learning, time automatone, model inspection, time-conditioning

１．Software Verification
２．Machine learning
３．Embedded System Design Verification

[Dissertation]
１．Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning
Shunya Kidera, Kosuke Shintani, Toi Tsuneda, Satoshi Yamane
IEEE Access February 2024
２．Enhanced Full Attention Generative Adversarial Networks.
Kaixu Chen, Satoshi Yamane
IEICE Trans. Inf. Syst. 106(5) 813-817 May 2023

Other 130 editions

[Academic Society Activities]
１．Vice Chairman of Basic and Boundary Society of Electronic Information and Communications Engineers
２．Chairman of System Mathematical and Applied Society of Electronics, Information and Communication Engineers

１．Real-time software model inspection of embedded assembly programs with interrupts (C) 2021-04-01 – 2024-03-31 Representative

Research representatives of other six other issues

１．Invited lecture: 2017 IEEE 6th Global Conference on Consumer Electronics
Title Deductively verifying embedded software in the era of artificial intelligence = machine learning + software science

２．Tutorial Lecture: Embedded System Symposium 2007
　　Description and verification of real-time system

5 Other conferences

１．Research on artificial intelligence that drives DX, especially machine learning
２．Description of DX process

DX theory and practice DX using the theory of artificial intelligence and computer software.

[email protected]