ＮＩＩ、自動運転に数学的保証与える技術開発
情報・システム研究機構国立情報学研究所（ＮＩＩ）は７月７日、アーキテクチャ科学研究系の蓮尾一郎教授らの研究チームが、自動運転システムの安全性に強い数学的保証を与える技術とその基礎理論を開発したと発表した。自動運転の社会受容の加速につなげる。
研究では、自動運転安全性の数学的証明のための既存の方法論「
その他
-
中国のＥＶ・ＰＨＶ新車登録台数の上位20モデル
2025/12/03（水）
-
ノルウェーのＥＶ新車販売台数の上位20モデル
欧州 今週の統計2025/11/26（水）
-
スウェーデンのＥＶ新車販売台数の上位20モデル
欧州 今週の統計2025/11/19（水）
-
スウェーデンのＥＶ新車販売台数の上位20モデル
欧州 今週の統計2025/10/08（水）
-
ヤマハ発、電動自転車の電池交換の新会社設立
欧州 新モビリティー2024/01/04（木）
