2008-02-05から1日間の記事一覧
Yf=f(Yf)となるYをいろいろなコンビネータで書いたもの Y=UU Uxy=y(xxy)を使うとY=UUと書ける Yf=UUf =f(UUf) =f(Yf)U=S(K(SI))(SII)を使ってYをSKIだけで書くと Y=S(K(SI))(SII)(S(K(SI))(SII)) 使用関数14個 Y=SLL Lxy=x(yy)を使うとY=SLLと書ける Yf=SLLf…
Yf=f(Yf)となるYをいろいろなコンビネータで書いたもの Y=UU Uxy=y(xxy)を使うとY=UUと書ける Yf=UUf =f(UUf) =f(Yf)U=S(K(SI))(SII)を使ってYをSKIだけで書くと Y=S(K(SI))(SII)(S(K(SI))(SII)) 使用関数14個 Y=SLL Lxy=x(yy)を使うとY=SLLと書ける Yf=SLLf…