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