Reasoned Schemer (103) logo 続き2

確かに同じだ

なんで同じなの
bの意味がどうもつかめてないんだよな

最終的にはsplitoで計算するようだから(splito n b l h)のレベルで考え直せばいいかな

lはたぶん()にしてしまって問題ないしhは(1)だから
(splito n b '() '(1))とするとn = 2^(len(b) + 2)
b2を(appendo b `(1 . ,b) b2)つまりlen(b2) = len(b) + 1となるようにとると
len(b2) + 2 = 2*(len(b) + 1) + 2 = 2*(len(b) +2)
だから(splito n2 b2 '() '(1))のn2は
n2 = 2^(len(b2) + 2) = 2^(2*(len(b) +2)) = n^2

だからqを半分にする代わりに(appendo b `(1 . ,b) b2)すればいいと