Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- //ver1のSS変換 SS([m,f,S]) → [n,g,S2]
- F1.SS = function(pair){
- var m=pair[0], f=pair[1], S=pair[2], g;
- var S2=function(f){
- var i, g=f;
- for(i=f(m);i--;)
- g = S(g);
- return g
- };
- g=S2(f);
- return [g(m), g, S2]
- }
- //ver2のSS変換
- F2.SS = function(pair){
- var m=pair[0], f=pair[1], S=pair[2];
- var S2=function(f){
- var i, g=f;
- for(i=f(m);i--;)
- g = S(g);
- return g
- };
- return [S2(f)(m), this.R(S2)(f), S2]
- }
- //補助関数
- F2.R = function(S){
- return function(f){
- return function(x){
- for(var i=0,g=f;i<x;i++)
- g = S(g);
- return g(x)
- }
- }
- };
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement