Computer Software, Artificial Intelligence, Machine Learning, Basic Informatics Theory

Informatics overview, algorithm theory, data handling, machine learning, information and occupation

Graduated from Kyoto University in 1984

Doctor of Engineering, Kyoto University

IEEE, the Institute of Electronic Information and Communications, and the Information Processing Society

Software verification, machine learning, time automaton, model inspection, time compatibility

１．Software verification
２．Machine learning
３．Embedded system design verification

[Thesis]
１．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 episodes

[Academic Activities]
１．2018 Vice Chairman, Basic and Boundary Society of Electronic Information and Communications
２．Chair of Systems Mathematical and Applications of the Society of Electronic Information and Communications, Japan

１．Software Model Inspection Infrastructure Study of Real-Timeness of Embedded Assembly Programs with Interrupt (C) 2021-04-01 – 2024-03-31 Representative

Research representatives of 6 other issues

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

２．Tutorial Lecture: Embedded System Symposium 2007
　　Real-time system specification description and verification

Other 5 conference lectures

１．Research on artificial intelligence that promotes DX, especially machine learning
２．Specification Description of DX Process

We will conduct DX theory and practice using artificial intelligence and computer software theory.

[email protected]