プログラミングの言葉を用いれば、formula_2はプログラムでformula_3は表示的意味である。