自動運転車の安全を「数学的」に証明!日本の研究チーム