ここにformula_32はを表す。