コラッツ予想がとけたらいいな2

自分の考察を書いていきます。

Entries from 2018-10-20 to 1 day

Egisonでrev_rev_id?

失敗の記録です。 いつにも増して投げやりですが、許してください。 そんな、Egisonで定理証明なんて、無謀っすよ。 部分的な証明 ;; (load-file "rev_rev_id.egi") ;; reverse 4要素以上 (define $myReverse (lambda [$xs] (match xs (list something) {[<nil> {</nil>…