■　山根　智：Satoshi YAMANE

［所信表明］

基礎・境界ソサイエティは３つのサブソサイエティを含み、分野の特性から異分野融合が行いやすいので、他学会や他ソサイエティの研究会との共同開催などを推進したい。 また、多数の国際会議を開催しているので、より多数の投稿論文数を増加させるために、異分野融合の国際会議に拡大して、国際化を進めたい。

［プロフィール］

1984年、京大大学院修了．現在、金沢大学理工研究域教授． 従来より、時間オートマトンやハイブリットオートマトンなどのリアルタイムシステムのモデル検査の研究に従事している。 最近では、組込みアセンブリプログラムのソフトウェアモデル検査及び深層学習などの機械学習の研究に従事している。

［Statement］

The Engineering Sciences Society (ESS) has a mission to explore a subject of fundamental theories of electronics, information and communications. Because it is easy to integrate different fields due to the characteristics of the field, I would like to promote joint holding with other academic societies and other society study groups. Also since a large number of international conferences are held, in order to increase the number of submitted papers, I would like to expand to international conferences that integrate different fields and promote internationalization.

［Biography］

Satoshi Yamane received B.S., M.S in 1984 and Ph.D. degrees from Kyoto Univeristy. Now he is a professor of Kanazawa University. He was engaged in research on model checking of timed automata and hybrid automata. Also he is currently engaging software model checking of embedded software and machine learning such as deep learning and deep reinforcement learning.