ただしformula_3とする。