タッパーの自己言及式をPari/GPとExcelで描いてみる。
先日、タッパーの自己言及式（Tapper's self-referential formula)というのを知った。
タッパーの自己言及式に唖然、、、ある不等式を満たす点を打つと、それがある不等式を描く（って何言ってるかわかる？）
自分でも描いてみたい、特にExcelで、と思ったが、、、これ543桁の数字扱えないとだめだな、、、、ここはPari/GPの出番だ。http://pari.math.u-bordeaux.fr/
このくらいの桁数なら簡単に計算できる。それで、とりあえずテキストファイルにして打ち出した。「Tupper.txt」をダウンロード
それをExcelで読みこんで、条件付き書式で図にしてみた。
これ。
を再現している。なんだこれは。
テキストベースでも描いてみた。
* * * ** * * * * * * * ** * * *
* * * * * * * * * * * * * * * * *
** * * * * ** * * * * * * ** **** *** *** * * * * * * * * * *
* * * * * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * *** *** * * * * * * * * *
* * * * * * * ** * * * * * * * * ** * *
*** * * * * * * * * * * * * * * * * * * * *
* * ** * ** *** * * * * *** *** * *** *** * * * * *
*** * * * * * * * * * * * **** * * * * *
* * * * * * * * * * * * * * * *
** * * * * * ** *** * * * ** * **** **** * *
* * * * * * * * * *
* * * * * * * * * *
* * * * * * * * * *
*** * * * * * * * *
* * * * * *
*** * *** *** * ***
（その他の言語でもやってみた）
Julia言語でタッパーの自己言及式（不等式を計算して図示するとまた不等式になる）を描いてみる。543桁の数を含む計算が必要だが、デフォルトで任意精度演算が可能なので容易にできた。
« え！俳優の萩原流行さん、バイク事故で死亡だって！ショック！ | トップページ | ほう！これがニューヨークにかかる四重の虹か！ »
「日記・コラム・つぶやき」カテゴリの記事
« え！俳優の萩原流行さん、バイク事故で死亡だって！ショック！ | トップページ | ほう！これがニューヨークにかかる四重の虹か！ »
コメント