- トップ
- ニュース
ＮＩＩ、自動運転車の安全性を数学的に証明 複雑なシナリオ対応
(2022/7/11 05:00)
国立情報学研究所（ＮＩＩ）の蓮尾一郎教授らは、自動運転車の安全性を数学的に証明する手法を開発した。車...
（残り：470文字／本文：520文字）
(2022/7/11 05:00)
※このニュースの記事本文は、会員登録 することでご覧いただけます。
PR
科学技術・大学のニュース一覧
- ＡＩの判断、解釈しやすく 東大が説明手法を並列可視化(22/07/11)
- “地に足着いた” ドローン社会実装加速 有人地帯飛行近づく(22/07/11)
- 人為的な栄養塩排出、地球規模で海洋環境変化 海洋機構など影響解析(22/07/11)
- 東京医科歯科大、潰瘍性大腸炎患者にミニ臓器移植治療 世界初(22/07/11)
- ＮＩＩ、自動運転車の安全性を数学的に証明 複雑なシナリオ対応(22/07/11)
- 東大など、トポロジカルＤＢ公開 超電導体現象の解釈容易に(22/07/11)
- 経営ひと言／京都大学・野田進教授「すべて置き換え」(22/07/11)
- おことわり／「明日の『そら』へ」は休みました(22/07/11)
