[プレスリリース] 自動運転車の安全性に数学的証明を与える新手法を開発 ~論理的安全ルールの効率的導出により自動運転の社会受容を加速~