2021-07-18から1日間の記事一覧
●補題10.57について ――もともと私たちが持っている代入記法は、複数の変数に「同時に」代入するという機能を持ち合わせていません。例えば項\(o(x,y)\)の\(x,y\)にそれぞれ\(o_1(x, y),o_2(x,y)\)を代入して\(o(o_1(x,y),o_2(x,y))\)という2変数関数を作ろう…
●補題10.57について ――もともと私たちが持っている代入記法は、複数の変数に「同時に」代入するという機能を持ち合わせていません。例えば項\(o(x,y)\)の\(x,y\)にそれぞれ\(o_1(x, y),o_2(x,y)\)を代入して\(o(o_1(x,y),o_2(x,y))\)という2変数関数を作ろう…