もう一歩自明なことをすると b(X):a(a(a(sX))) b(rsls)b(lsrs)b(ss)b()
でもこれだと全然Bestに及んでなくて何事!?っていう問題. -- mas 2012-10-28 (日) 23:52:43
実はb(ll)=a(a(a(s)))が成り立ち, 4つが対称な並列になっているということが分かります.
[23B] a(X):XXXXr b(X):a(a(a(sXXXsXs)))b(Xl) b() -- mas 2012-10-28 (日) 23:54:56
[21B] a(X):XXXXr b(X):a(a(a(sXs)))b(rXl) b() -- mas 2012-10-28 (日) 23:55:45
... -- mas 2012-10-28 (日) 23:57:11
-- Ktya &new{2012-10-28 (日) 23:57:44};