そして、formula_2やformula_3の定義は以下の通り。