kb84tkhrのブログ

何を書こうか考え中です あ、あと組織とは関係ないってやつです 個人的なやつ

Reasoned Schemer (36) 読み直し 7章

Under the Hoodはちょっとだけ見た
ちょっとだけではなんのことやら

7. A Bit Too Much

ビット操作から始めて足し算引き算を作るまで

bit-xorobit-andohalf-adderofull-addero
ゲートを組み合わせて半加算器、全加算器を作る

build-num
自然数をビット列による表現に変換

non-overlapping property
condの条件がもれなく重複もなく定義域をカバーしていること

poso>1o
0より大きい、1より大きい

ground value
reifyed variablesを含まない値

adderogen-addero+o
足し算を作る

-o
引き算は足し算で作る

lengtho
普通のlengthだけど、ビットのリストによる表現で結果を返す