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