長谷川由紀路 @ailinko@vocalodon.net

P進大好きbotさん、海外版の巨大数研究wikiで1年間のBANとのこと。プロの数学者のP進大好きbotさんは、数学の観点から、巨大数界隈にまん延する間違った情報を正す活動をしているみたいだけど、そういうのを海外はとても嫌がるみたい。

やはりこの最終兵器「∈」を使う必要があるのか。

８月１日にゆきと氏の「ω-Y数列」の定義が公開されるそうです。公理系から攻めない計算可能な再帰関数としては、世界最強ではないかと期待しています。

日本料理屋に３人のスパイが送り込まれました。スパイA、スパイB、スパイCです。店のオーナーは、新入りの３人に、煮物の味付けをさせようとしました。しかし、スパイAとスパイBは、実は調理が苦手で、このままだとスパイであることがバレそうになります。しかし、スパイCは料理が得意でした、ところが、直ぐにスパイCはスパイだとバレてしまいました。何故でしょう？

店員「あ、あなたが、あの大企業として有名なのガーファの会長...！？」
会長「そうじゃ...　わしが、あの大企業、株式会社ガーファの会長じゃ！　がーっふぁっふぁっふぁ！」

プロ中のプロ
プロ中のプロ中のプロ
プロ中のプロ中のプロ中のプロ
：

「プロ中のA」＝「A」となる最小のプロ

想定よりも計算間違えるな。飲酒運転が危ないのがわかる。

わりと酒の入った状態で計算例書いてるけど、すでに何度かミスってます。

「いい」問うのは自己完結するんだけど「恥ずかしい」というのは
「他人」があって初めて発生するので、自分以外、誰も「恥ずかしい」とは思わないので、結局は、思い込みにすぎにない。ま、「いい」も思い込みといえば思い込みなんだけど、自己完結できるので。

が、恥ずかしいと思うは「自分」だけで、「他人」は思わないのですよね。

イギリスで感染が再流行はじめましたがアメリカもスイッチ入った感じがします。

２~３年前まで、順序数表記を定義して急増加関数で巨大数を定義するってのは、あまりメジャーではなかったけど、最近はメジャーになりつつある。私の場合は「なんちゃって」なので違うんだけど、順序数を定義して巨大数を出力することの利点は、順序数として定義されているのであれば、停止性が担保されること。ただ、集合論を駆使しないといけないので、素人にはハードルが高い。

みくみく順序数を展開すると、みくみくな文字列が登場しやすいのだ。。

　n=2

　・ƒ(3,27,3,3,3) =
　・(3,9,𝐍𝐞𝐬𝐭[2],3,3) =
　・(3,9,(3,9,𝐍𝐞𝐬𝐭[1],3,3),3,3) =
　・(3,9,(3,9,(3,9,𝐍𝐞𝐬𝐭[0],3,3),3,3),3,3) =
　・(3,9,(3,9,(3,9,3,3,3),3,3),3,3)

完全に初音ミク。

みくみく順序数Act.3.8がwell-definedであって欲しい、もしそのときは、ボーカロイド関連における世界最大の数になるはず。

𝑭 ο_ω ⟮0⟯=1
𝑭 ο_ω ⟮1⟯=2
𝑭 ο_ω ⟮2⟯=グラハム数以上（ふぃっしゅ数バージョン１よりも大きい）

𝑭 ο_ω ⟮1⟯=
𝑭 ƒο_ω ⟮1⟯=
𝑭 (3,P₃¹,3) ⟮1⟯=
𝑭 (3,5,3) ⟮1⟯=
𝑭 ƒ(3,5,3) ⟮1⟯=
𝑭 (𝐂𝐥𝐮𝐬𝐭[1]) ⟮1⟯=
𝑭 (𝐂𝐥𝐮𝐬𝐭[0],3) ⟮1⟯=
𝑭 (3,3) ⟮1⟯=
𝑭 ƒ(3,3) ⟮1⟯=
𝑭 (P₂²) ⟮1⟯=
𝑭 (9) ⟮1⟯=
𝑭 ƒ(9) ⟮1⟯=
𝑭 𝐒𝐮𝐦[1] ⟮1⟯=
𝑭 (3)𝐒𝐮𝐦[0] ⟮1⟯=
𝑭 (3) ⟮1⟯=
𝑭 ƒ(3) ⟮1⟯=
𝑭 P₂² ⟮1⟯=
𝑭 9 ⟮1⟯=
𝑭¹ 3 ⟮1⟯=
𝐧𝐞𝐬𝐭[1]=
𝑭 3 ⟮𝐧𝐞𝐬𝐭[0]⟯=
𝑭 3 ⟮1⟯=
1+1=
2

何年か前...

巨大数の展開規則を「日本語（自然言語）」で書いていたら、厳密性に欠けて感度か無効判定を受けた。で、「日本語難しい」とぼやくと、巨大数大好きbotに「数式で書いてもいいのよ？」といわれた。

その方が難しい...

と、そのときは思ってたんだけど、最近、文字列の定義について、「自然言語で説明するの難しい...　あ、そうか、写像を定義して、そのf[x]が文字列だと示せばいいのか...」という。

感じになってきた。

0,1,2,3,4,5,6,7,8,9,...

最近、この自然数（０を含む）の並びがみょいうに持ち悪い。

偶数と奇数と素数と合成数が入り乱れてる...　なんか気持ち悪い...

3,5,7,11,13,17,19,23,29,...

素数（偶数は除く）だけ並べると落ち着く。

シリーズ物のアニメとかで「ポット出の上司」みたいなのが、レギュラーキャラに偉そうにしてることあるけど、

おまえの方が格下やんけ...

と、思ってしまうことある。作品によると。

偉い人はバカな気がするんだけれど、東京は感染者数が５００前後になって、安堵して緊急ナントカを解除したけど、人口からすると、愛媛では５０人くらいで解除でしょ？　愛媛のピークなんだよ。間違ってる。だからこうなる。

定期的に、母方の伯父さんが酒類とかもっいて来てくれるのだけれど、私は、町内会の関連のモノだと思ってたら、どうも、娘に会いに行ったときに貰うらしい。飲まないのでうちに来る。

で、

その娘というのが、私が現実世界（３次元とかそうではなくリアルな現実世界）で唯一、子供の頃から好きな従姉（独身）というのが。感慨深いですね。