公式も素直にその辺推せばいいのにとももう^M^