ただし、formula_44はformula_45が負ならば1、正ならば0を取る変数である。