に初期値、formula_3を与えて得られる。