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