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

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

Entries from 2021-02-12 to 1 day

Paraphrase をやってみた その3(アッカーマン関数)

竹内関数(tarai)でやってたけど、速すぎてあれだったので、 アッカーマン関数にした。 "ack" : // ( m n -- result ) ( m n ) local-with `m , 0? if `n , 1 + else `n , 0? if `m , 1 - 1 ack else `m , 1 - `m , `n , 1 - ack ack then then ; "par" : […