特に、formula_3のとき、