« え!俳優の萩原流行さん、バイク事故で死亡だって!ショック! | トップページ | ほう!これがニューヨークにかかる四重の虹か! »

2015年4月23日 (木)

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

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

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

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

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

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

これ。

Tupper

うわ、本当に

{1\over 2} < \left\lfloor \mathrm{mod}\left(\left\lfloor {y \over 17} \right\rfloor 2^{-17 \lfloor x \rfloor - \mathrm{mod}(\lfloor y\rfloor, 17)},2\right)\right\rfloor,

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

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

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

« え!俳優の萩原流行さん、バイク事故で死亡だって!ショック! | トップページ | ほう!これがニューヨークにかかる四重の虹か! »

日記・コラム・つぶやき」カテゴリの記事

コメント

コメントを書く

(ウェブ上には掲載しません)

トラックバック


この記事へのトラックバック一覧です: タッパーの自己言及式をPari/GPとExcelで描いてみる。:

« え!俳優の萩原流行さん、バイク事故で死亡だって!ショック! | トップページ | ほう!これがニューヨークにかかる四重の虹か! »

最近の記事

最近のコメント

2025年1月
      1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31  
フォト
無料ブログはココログ