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 Society of Electronic Information and Communications, and the Society of Information Processing

Software verification, machine learning, computer vision, time automaton, model inspection, time theory

１．Software verification
２．Machine learning
３．Image recognition
４．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 editions

[Academic Activities]
１．Vice Chairman, Foundation and Boundary Society of Electronic Information and Communications 2018
２．2027-2028 Chair of the Society of Electronic Information and Communications

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

Research representatives of 6 other issues

１．Invited speech : 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, especially machine learning, driving DX
２．Computer software that realizes DX, distributed systems

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

[email protected]