招待有り 2018年11月27日 「IoT,AI,ビッグデータと安全工学」形式手法と安全性 安全工学研究発表会講演予稿集 青木利晃 記述言語 日本語 会議種別 リンク情報 URLhttp://jglobal.jst.go.jp/public/201902275416006543