Reasoned Schemer (42) 9章 once, bumpo, gen&test+o

(defrel (onceo g) (condu (g #s) (#s #u)))
これはただgを実行だけだけど成功するのは1回だけね、ってことだな
(#s #u)は書かないといけないんだろうか

Reasoned Schemer (41) 9章 condu

(run* q (conda ((alwayso) #s) (#s #u)))はno value
condaはquestionが成功なら次の行以降は実行しないんだけど
これだと(alwayso)が成功し続けてその行の実行が終わらないので

そこでconduの登場
こっちはcondaよりもさらに早く打ち切る
questionが1回成功したところで終わり

異糧妾御績紡・喜撰法師

異糧妾御績紡

あんまり完成度は上がらなかった
あっちもこっちもバランスがおかしい
何をどうしていいかよくわからなくなってる感がある

Reasoned Schemer (41) 9章 conda

9. Thin Ice

もう章題を解釈するのはあきらめている

この終盤で新しい構文登場

Reasoned Schemer (40) 8章 未体験ゾーン3

戻って本体 (logo n b q r)
これはcondeなので1行ずつ見ていく
再帰はしてないな

Reasoned Schemer (39) 8章 未体験ゾーン2

(base-three-or-moreo n b q r)
名前からしてb(baseだろう)が３以上の時のn = b^q + rの関係に違いない
baseが2のときはexp2o

base-three-or-moreoにはcondeは出てこないので
全部いっぺんに見ないといけない
いっぱい式があるけどどれが大事な式なのか

Reasoned Schemer (38) 8章 未体験ゾーン1

ここからが未体験ゾーン

(logo n b q r)でn = b^q + rの関係

見るからに複雑そう
単にq（やr）を求めるだけでなくnやbを求めるのにも使えたり
無限に値を探し続けたりしないようにしたりするだけでここまで書かなきゃ
いけないものなのか