もっと詳しく

情報・システム研究機構 国立情報学研究所(NII)は2024年4月10日、自動運転車の安全性保証の枠組みである国際標準「ISO 34502」で示された「危険シナリオ群」を数学的に定式化したと発表した。研究を担当したのは、NIIの蓮尾一郎氏(アーキテクチャ科学研究系教授)と京都大学大学院情報学研究科の和賀正樹氏(助教授)らの研究グループ。 カギは「数学的な意味が定義された言語」 従来、危険シナリオは …