タッパーの自己言及式をPari/GPとExcelで描いてみる。

先日、タッパーの自己言及式（Tapper's self-referential formula)というのを知った。

タッパーの自己言及式に唖然、、、ある不等式を満たす点を打つと、それがある不等式を描く（って何言ってるかわかる？）

自分でも描いてみたい、特にExcelで、と思ったが、、、これ543桁の数字扱えないとだめだな、、、、ここはPari/GPの出番だ。http://pari.math.u-bordeaux.fr/

このくらいの桁数なら簡単に計算できる。それで、とりあえずテキストファイルにして打ち出した。「Tupper.txt」をダウンロード

それをExcelで読みこんで、条件付き書式で図にしてみた。

これ。

うわ、本当に

を再現している。なんだこれは。

テキストベースでも描いてみた。

         *                   *                * ** *     *                *  * *     *    * ** *      *   *

         *                   * *      *       *  * *     *                *  * *     *    *  * *      *   *

 **      *                  *  *      *    ** *  * * * * * ** ****  *** *** *  * * * *    *  *  *      *  *

  *      *                  *  *  * * *       * *  *  *  *    * * * * * * * *  * * * *    * *   *      *  *

  *      *                  *  *  * * *       * *  * * * *    * * * *** *** *  *  *  *    * *   *      *  *

  *      *               * *   *   *  *  **        *     *                  *  * *   *  *       *   **  * *

 ***   * *               * *   *  *   * *  *       *     *                   * *     *  *      *   *  * * *

      *  * ** *   **   *** *   *      *   *        *** ***                   * *** *** *       *     *  * *

 *** *   * * * * *  * *  * *   * **** *  *                                                          *   * *

      *  * * * * *  * *  * *   *      * *                                                          *    * *

 **    * * * * *  **   *** *   * * ** * ****                                                       **** * *

   *     *                 *   * *  * *                                                          *      * *

  *      *                  *  * *  * *                                                          *     *  *

 *       *                  *  * * *  *                                                         *      *  *

 ***     *                  *  * * *  *                                                                *  *

         *                   * *      *                                                               *   *

         ***                 * ***  ***                                                               * ***

（その他の言語でもやってみた）
Julia言語でタッパーの自己言及式（不等式を計算して図示するとまた不等式になる）を描いてみる。543桁の数を含む計算が必要だが、デフォルトで任意精度演算が可能なので容易にできた。

Python in Excel(PY関数を使うとExcelのセル内にPythonがかける）を使う(その11)多倍長精度計算のmpmath, gmpy2が使えるのでタッパーの自己言及式を描いてみる。セルに数字を書いて色付けするExcelの機能を使った。