東京大学 貞広幸雄 教授 都市計画における学校の配置計画やバス路線図への数理最適化活用事例