2018年 - 2018年
ハイブリッドシステムのための超準プログラミング言語理論を用いた形式手法
JST の「AI 時代と科学研究の今」シリーズにインタビュー記事が掲載されました．
http://www.jst.go.jp/kisoken/jyonetsu/interview/h29/suenaga.html
http://www.jst.go.jp/kisoken/jyonetsu/interview/h29/suenaga.html