formula_11と定義する。