[[Problem 1364]]
-a(X,Y):YXXrXY
a(a(,a(a(a(a(,a(sssr,)a(ssr,)s),),),)),)
また乱歩w -- zephoria &new{2012-04-01 (日) 22:57:32};
-最初に作った25B
w(X):XX
w(w(w(w(w(w(w(sw(lsssl)s)ssl)l)r))r))
XssXで頑張ってもなかなか縮まなかったが、経路を変えて短縮して22B
a(X):XssX
a(a(la(a(ra(la(a(a(ls)a()l)r))))))
ちなみに自作問だったので、今回のルールでは、24Bで止めておくのが最善手だったりw -- mas &new{2012-04-01 (日) 22:59:34};
-24B
f(X,Y):XssYsrX
f(,)f(f(f(f(f(f(f(,)f(,lf(,)),)l,)r,),)r,),)
XpX型とpXq型の複合 -- pasta &new{2012-04-01 (日) 23:10:19};