例えば、値formula_8に対してformula_9となるformula_10を探したい場合には、