ＮＩＩ、自動運転に数学的保証与える技術開発
情報・システム研究機構国立情報学研究所（ＮＩＩ）は７月７日、アーキテクチャ科学研究系の蓮尾一郎教授らの研究チームが、自動運転システムの安全性に強い数学的保証を与える技術とその基礎理論を開発したと発表した。自動運転の社会受容の加速につなげる。
研究では、自動運転安全性の数学的証明のための既存の方法論「
日本企業の動向
-
日産、米リキャップと提携＝「ドライ電極」開発へ
2025/08/22（金）
-
Helm.ai、ホンダと量産型ＡＤＡＳを共同開発
北米 ＩＴ2025/08/22（金）
-
ソフトバンク、インテルに20億ドル出資へ
北米 半導体2025/08/21（木）
-
印電動二輪ウルトラバイオレット、2100万ドル調達
アジア・オセアニア ＥＶ2025/08/21（木）
-
ＳＵＢＡＲＵ、ＳＳＢ搭載の産業ロボを試験導入
アジア・オセアニア 素材・技術2025/08/19（火）
