あいかわらずものまね鳥の本はよー分からんが、Yコンビネータの構成方法は分かった。Lxy = x(yy) という Lコンビネータ(Lark ヒバリ)を使用した Lx(Lx) // x(Lx(Lx)) または以下のチューリングコンビネータを使用した Uxy=y(xxy) UUx // x(UUx) schemeなどの…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。