formula_12とする。