【朗報】自動運転車の安全を日本の研究ちぃーむが「数学的」に証明!