レコードをメール: Autonomous Vehicles as Local Traffic Optimizers