교원 정보(학위 및 업적)

교원 상세

야마네 사토시

YAMANE Satoshi

소속: 데이터 사이언스학부 데이터 사이언스학과

도이: 특명 교수

다쓰

연구자 정보

전문분야

컴퓨터 소프트웨어, 인공지능, 기계 학습, 정보학 기초 이론

담당과목

정보학 개론, 알고리즘론, 데이터 처리, 기계 학습, 정보와 직업

학력

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년도
２．전자정보통신학회 시스템 수리와 응용전문위원장 2015~28년도

과학 연구비 등의 수탁 사업 실적

１．편입 어셈블리 프로그램의 실시간 소프트웨어 모델 검사 기반 연구 (C) 2021-04-01 – 2024-03-31 대표

기타 6과제의 연구 대표 등

그 외(강연, 출연, 위원 등)

１．초대 강연:2017 IEEE 6th Global Conference on Consumer Electronics
제목 Deductively verifying embedded software in the era of artificial intelligence = machine learning + software science

２．튜토리얼 강연:임베디드 시스템 심포지엄 2007
　　실시간 시스템 사양 기술과 검증

기타 5건의 학회 강연