kb84tkhrのブログ

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

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

定理証明手習い (53) (wt x)は常に自然数でしょうか

(wt x)は常に自然数でしょうか? わかりませんが、できると思います。 (証明が)できる、ってことかな? could beみたいに書いてあったのかもしれないな それはともかくとして (natp (wt x))を'tに書き換えて、外側のifをif-trueで取り除けば いやーん 関数…