ここで、formula_1は入力がformula_2だけだったときの出力を意味する。