「10.8.4 変数・記号・論理式」の続き 定義16 xの、n番目の後続数 定義17 nに対する"数項" (define (succ n x) (cond ((= n 0) x) (else (** (<> cf) (succ (- n 1) x))))) (define (￣ n) (succ n (<> c0))) 数項の"￣"はちょっと無理がある気もしますが気…

月末で半期末な金曜日ですが普通に定時退社して友人と飲み会へさて今日の小さな習慣を 書くネタはいくつかストックしてるんですけど、書こうと思うくらいの話は書き始めると5分で終わるとは行かなくなってしまいますブログ書いてもあと三つあるし そうか、飲…