注意:規約formula_9を用いた場合、formula_10の定義は正負を反転した値、formula_11となる。