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

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

Paraphrase をやってみた その4(相互再帰)

Paraphrase の ver.0.94 がリリースされたという事なので、入れてみた。

起動の依存関係で手間取った。環境は Linux(Ubuntu) だ。
http://archive.ubuntu.com/ubuntu/pool/universe/b/boost1.71/libboost-timer1.71.0_1.71.0-6ubuntu6_amd64.deb
を入れることで起動できた。

相互再帰

ver.0.94 から相互再帰が使える。


// "mutual.pp" load

"isOdd"  : "NOT IMPLEMENTED" .cr ;
"isEven" : dup 0? if drop true  else 1- isOdd  then ;
"isOdd"  { dup 0? if drop false else 1- isEven then } update

/*
$ para
Paraphrase 0.94.0  Copyright (C) 2018-2021 Koji Iigura
 > "mutual.pp" load
 ok.
 > 3 isOdd .cr
 true
 ok.
 > 3 isEven .cr
 false
 ok.
 > 100 isEven .cr
 true
 ok.
 > 100 isOdd .cr
 false
 ok.
 > 
*/