で定義される演算子formula_14、formula_15で置き換える。