kb84tkhrのブログ

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

2018-04-27から1日間の記事一覧

定理証明手習い(98) しゅくだい(6)

littleprover

(if (equal res '()) ...を使おう 前提がついてないとこれができなくて詰む ((E A A 1 1 2) (equal-if res '())) ((E A A 1 2) (equal-if res '())) ((E E A A 1 1 2) (equal-if res '())) ((E E A A 1 2) (equal-if res '())) ↓ (if (atom x) 't (if (atom …