リニアになって短縮した時間の何%かは新駅に潜る時間に費やされそう