kb84tkhrのブログ

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

2018-02-01から1日間の記事一覧

定理証明手習い (28) 補助定理

(ctx? x)という前提が真の場合、そのifのAnswer部にある(ctx? x)を'tに置き換えられるでしょうか? む これは以前行きづまった (if (equal x '()) 't 'nil)を(equal x '())に変形する にちょっと似てる? 置き換えてよいのではないでしょうか。真である前提…