自動運転車の数理モデリングと渋滞緩和を実現する効果的な車両制御法の構築