【数学】渋滞の原因を数学的に分析すると自動運転カーの登場で移動にかかる時間が減る理屈がよくわかる