ＮＩＩ、自動運転に数学的保証与える技術開発
情報・システム研究機構国立情報学研究所（ＮＩＩ）は７月７日、アーキテクチャ科学研究系の蓮尾一郎教授らの研究チームが、自動運転システムの安全性に強い数学的保証を与える技術とその基礎理論を開発したと発表した。自動運転の社会受容の加速につなげる。
研究では、自動運転安全性の数学的証明のための既存の方法論「
ＩＴ
-
東風日産、ＩＣＥ車に初の華為コックピット搭載
2025/11/01（土）
-
マグナ、中国でＤＭＳやＯＭＳの生産強化
アジア・オセアニア ＩＴ2025/10/31（金）
-
ＺＦとホライズン、レベル３のＡＤＡＳ開発
アジア・オセアニア ＩＴ2025/10/29（水）
-
ソニーセミコン、車載向け内蔵センサー開発
アジア・オセアニア 半導体2025/10/29（水）
-
小馬智行、300台目のロボタクシー出荷
アジア・オセアニア ＩＴ2025/10/28（火）
