0108交通物流機械及び建設機械 自動運転車の安全性に数学的証明を与える新手法を開発 ~論理的安全ルールの効率的導出により自動運転の社会受容を加速~ 2022-07-07 国立情報学研究所 情報・システム研究機構 国立情報学研究所(NIIエヌアイアイ、所長:喜連川 優、東京都千代田区)のアーキテクチャ科学研究系教授 蓮尾はすお 一郎いちろうらの研究チームは、科学技術振興機構(JSTジェイ... 2022-07-07 0108交通物流機械及び建設機械