ＮＩＩ、自動運転に数学的保証与える技術開発
情報・システム研究機構国立情報学研究所（ＮＩＩ）は７月７日、アーキテクチャ科学研究系の蓮尾一郎教授らの研究チームが、自動運転システムの安全性に強い数学的保証を与える技術とその基礎理論を開発したと発表した。自動運転の社会受容の加速につなげる。
研究では、自動運転安全性の数学的証明のための既存の方法論「
ＩＴ
-
ヘサイ、米ロボタクシー企業から４千万ドル受注
2025/09/16（火）
-
ダイムラー、傘下トークへの出資者募集か
北米 ＩＴ2025/09/10（水）
-
クアルコムとＢＭＷ、自動運転システム発表
欧州 ＩＴ2025/09/09（火）
-
ヘサイ、香港上場で約５億ドル調達へ
アジア・オセアニア ＩＴ2025/09/09（火）
-
アステモ、米ミシガン拠点に9500万ドル投資
北米 ＩＴ2025/09/05（金）
