人気ブログランキング |

原始先的関数の例(加算)

f(x,y)=x+y (ただし、x,yは0以上の整数)
とする関数を定義する。

まず、yを固定して
f(0,y)=y
f(1,y)=h(0,y,f(0,y))=h(0,y,y)=1+y
f(2,y)=h(1,y,f(1,y))=h(1,y,(1+y))=2+y

以下続き、
f(x,y)=h(x-1,y,f((x-1),y))
=h(x-1,y,y+(x-1))
=x+y
by tomoarrow | 2016-02-07 07:00 | モチーフについて | Comments(0)