Reasoned Schemer (37) 読み直し 8章 続き

÷o
(<o r m) (*o m q mq) (+o mq r n)で割り算はできてるけど
(≦lo mq n)でガードをかけている
でもこれでもガードしきれなくて無限に探し続ける場合がある

splito
で、これでさらに強力なガードをかける
これで完璧なガードになったのか、確率が上がっただけなのかはよくわからない
2^pとか出てくる説明も、書いてあることが間違いではないことは
わかるんだけど全体としてどういう意味なのかがつかめていない

でもここにはこだわりすぎずに先に進もうと思う