東方巨大数4の規則の境界を突いた巨大数とは、巨大数大好きbotが2021年7月28日に発表した東方巨大数である[1]。
概要[]
第4回東方巨大数には、「定義にプログラミング言語を使わないでください。」という規則がある。しかし、何がプログラミング言語として認められるかは明示されなかった。東方巨大数4の規則の境界を突いた巨大数では、アセンブリ言語のようなものを数学的に定式化した「八雲語」を用いることによって、この規則のグレーゾーンを突き、定義に事実上のプログラミング言語を含めている。
結果発表[2]において、東方巨大数4の規則の境界を突いた巨大数が「定義にプログラミング言語を使わないでください。」という規則に反するとして無効になっていないため、東方巨大数4において八雲語はプログラミング言語ではないとみなされている。
八雲語[]
記憶文字(事実上常用漢字のことであるとしてよい)全体の集合をKとする。また、K->(Z^2->Z)の型を持つ関数全体の集合をFとする。各八雲語の文は、F->Fの型を持つ写像として定式化されている。
アセンブリ言語を模した[注 1]言語である八雲語は、Unicodeの文字1個以上からなる文字列の集合SからF->Fへの部分写像として定式化される。
概ね、Kの要素は2次元配列の変数名、Fの要素はメモリの内容、Sの要素は命令を表す文字列、「SからF->Fへの部分写像」は命令セットに相当する。
定義[]
z∈Fをλk. (λx,y. 0)とし、次の関数を評価した値を「東方巨大数4の規則の境界を突いた巨大数」とする。
ただし、背景が赤の2文字は無視する。
繝ﾘ龍繝ﾝ繝ｾ底繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｮ繝ﾝ縺ｽ縺ｫ繧ｮ縺ｪ哀縺ｬ繝ｾ龍繝ｧ哀繧ｧ繝ｯ繧ｧ繝ｦ繝ｨ哀繧ｧ繝ｯ繧ｧ繝ｦ繝ｫ哀繧ｧ繝ｯ繧ｧ繝ｦ繝ﾝ縺ﾝ繝ｾ高繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｮ繝ﾝ繝ｾ切繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｮ繝ﾝ繝ｾ切繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ繧ｮ繝ﾝ縺ｶ切縺ｧ繧ｧ縺ｨ繧ｧ縺ｫ繧ｨ縺ｬ縺ﾅ切縺ｧ繧ｧ縺ｨ繧ｨ縺ｫ繧ｨ縺ｬ繝ｾ龍繝ｧ切繧ｧ繝ｯ繧ｧ繝ｦ繝ｨ切繧ｧ繝ｯ繧ｨ繝ｦ繝ｫ繧ｧ繝ﾝ繝ｲ切繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ繧ｦ繧ｨ繝ﾝ繝ｾ典繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ龍切繧ｧ繝ｯ繧ｧ繝ｦ繝ｯ切繧ｧ繝ｯ繧ｨ繝ｦ繝ｦ繝ﾝ縺ﾗ典縺ｧ繧ｧ縺ｨ繧ｧ縺ｫ繧ｧ縺ｬ繝ｲ切繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ繧ｨ繝ﾝ繝ｾ典繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ龍切繧ｧ繝ｯ繧ｧ繝ｦ繝ｯ切繧ｧ繝ｯ繧ｨ繝ｦ繝ｦ繝ﾝ縺ﾝ繝ｲ底繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｨ繝ﾝ縺ｭ繝ｾ悪繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ切繧ｧ繝ｯ繧ｧ繝ｦ繝ﾝ繝ｾ悪繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ切繧ｧ繝ｯ繧ｨ繝ｦ繝ﾝ繝ｾ差繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｧ繝ﾝ縺ｲ縺ｷ差縺ｧ繧ｧ縺ｨ繧ｧ縺ｫ繧ｧ縺ｬ繝ｲ悪繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ繧ｦ繧ｨ繝ﾝ繝ｾ根繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｧ繝ﾝ縺ﾗ根縺ｧ繧ｧ縺ｨ繧ｧ縺ｫ繧ｧ縺ｬ繝ｲ悪繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｦ繧ｨ繝ﾝ繝ｾ根繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ龍悪繧ｧ繝ｯ繧ｧ繝ｦ繝ｯ悪繧ｧ繝ｯ繧ｨ繝ｦ繝ｦ繝ﾝ縺ﾝ繝ｻ差繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ龍繝ｧ悪繧ｧ繝ｯ繧ｧ繝ｦ繝ｨ悪繧ｧ繝ｯ繧ｨ繝ｦ繝ﾎ根繝ｧ繧ｧ繝ｨ繧ｧ繝ﾝ縺ﾝ繝ｻ移繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ切繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ悪繝ｧ繧ｧ繝ｨ繧ｧ繝ﾝ繝ｻ移繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ切繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ悪繝ｧ繧ｧ繝ｨ繧ｨ繝ﾝ縺ﾀ差縺ｧ繧ｧ縺ｨ繧ｧ縺ｫ繧ｧ縺ｬ繝ｲ移繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ繧ｦ繧ｨ繝ﾝ縺ﾝ繝ｻ写繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ高繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ悪繝ｧ繧ｧ繝ｨ繧ｨ繝ﾝ繝ｾ昇繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｧ繝ﾝ繝ｱ向繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ悪繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ移繝ｧ繧ｧ繝ｨ繧ｧ繝ﾝ縺ｻ縺ｫ底繧ｧ繝ｯ繧ｧ繝ｦ縺ｬ縺ｻ縺ｫ移繧ｧ繝ｯ繧ｧ繝ｦ縺ｬ繝ｻ泉繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ向繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ移繝ｧ繧ｧ繝ｨ繧ｧ繝ﾝ繝ｱ向繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ悪繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ移繝ｧ繧ｧ繝ｨ繧ｨ繝ﾝ繝ｱ向繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ向繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ昇繝ｧ繧ｧ繝ｨ繧ｧ繝ﾝ縺ｻ縺ｫ写繧ｧ繝ｯ繧ｨ繝ｦ縺ｬ繝ｻ泉繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ向繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ移繝ｧ繧ｧ繝ｨ繧ｨ繝ﾝ繝ｺ龍繝ｧ向繧ｧ繝ｯ繧ｧ繝ｦ繝ｨ向繧ｧ繝ｯ繧ｨ繝ｦ繝ﾎ龍繝ｧ泉繧ｧ繝ｯ繧ｧ繝ｦ繝ｨ泉繧ｧ繝ｯ繧ｨ繝ｦ繝ﾝ繝ｲ向繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ繧ｨ繝ﾝ縺ﾝ繝ｲ向繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｨ繝ﾝ繝ｲ切繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｨ繝ﾝ縺ﾝ繝ｱ高繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ高繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ移繝ｧ繧ｧ繝ｨ繧ｨ繝ﾝ繝ｱ昇繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ昇繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ移繝ｧ繧ｧ繝ｨ繧ｨ繝ﾝ縺ﾝ繝ｲ切繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｦ繧ｨ繝ﾝ繝ｾ切繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ繧ｧ繝ﾝ繝ｾ典繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ龍切繧ｧ繝ｯ繧ｧ繝ｦ繝ｯ切繧ｧ繝ｯ繧ｨ繝ｦ繝ｦ繝ﾝ縺ﾗ典縺ｧ繧ｧ縺ｨ繧ｧ縺ｫ繧ｧ縺ｬ繝ｲ切繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ繧ｨ繝ﾝ繝ｾ典繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ龍切繧ｧ繝ｯ繧ｧ繝ｦ繝ｯ切繧ｧ繝ｯ繧ｨ繝ｦ繝ｦ繝ﾝ縺ﾝ繝ｲ底繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｨ繝ﾝ縺ﾝ縺ﾝ繝ｾ龍繝ｧ切繧ｧ繝ｯ繧ｧ繝ｦ繝ｨ切繧ｧ繝ｯ繧ｨ繝ｦ繝ｫ繧ｧ繝ﾝ繝ｲ底繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｧ繝ﾝ(z)(底)(0,0)
リファクタリング[]
上の定義は非常に読みにくいため、定義のすぐ下では八雲語(上の定義のうち、「(z)(底)(0,0)」以外の部分)を読みやすくするために改行、空行、インデントを入れたものが示されている。
繝ﾘ龍繝ﾝ 繝ｾ底繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｮ繝ﾝ 縺ｽ縺ｫ繧ｮ縺ｪ哀縺ｬ 繝ｾ龍繝ｧ哀繧ｧ繝ｯ繧ｧ繝ｦ繝ｨ哀繧ｧ繝ｯ繧ｧ繝ｦ繝ｫ哀繧ｧ繝ｯ繧ｧ繝ｦ繝ﾝ 縺ﾝ 繝ｾ高繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｮ繝ﾝ 繝ｾ切繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｮ繝ﾝ 繝ｾ切繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ繧ｮ繝ﾝ 縺ｶ切縺ｧ繧ｧ縺ｨ繧ｧ縺ｫ繧ｨ縺ｬ 縺ﾅ切縺ｧ繧ｧ縺ｨ繧ｨ縺ｫ繧ｨ縺ｬ 繝ｾ龍繝ｧ切繧ｧ繝ｯ繧ｧ繝ｦ繝ｨ切繧ｧ繝ｯ繧ｨ繝ｦ繝ｫ繧ｧ繝ﾝ 繝ｷ切繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ繧ｦ繧ｨ繝ﾝ 繝ｾ典繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ龍切繧ｧ繝ｯ繧ｧ繝ｦ繝ｯ切繧ｧ繝ｯ繧ｨ繝ｦ繝ｦ繝ﾝ 縺ﾗ典縺ｧ繧ｧ縺ｨ繧ｧ縺ｫ繧ｧ縺ｬ 繝ｲ切繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ繧ｨ繝ﾝ 繝ｾ典繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ龍切繧ｧ繝ｯ繧ｧ繝ｦ繝ｯ切繧ｧ繝ｯ繧ｨ繝ｦ繝ｦ繝ﾝ 縺ﾝ 繝ｲ底繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｨ繝ﾝ 縺ｭ 繝ｾ悪繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ切繧ｧ繝ｯ繧ｧ繝ｦ繝ﾝ 繝ｾ悪繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ切繧ｧ繝ｯ繧ｨ繝ｦ繝ﾝ 繝ｾ差繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｧ繝ﾝ 縺ｲ差縺ｧ繧ｧ縺ｨ繧ｧ縺ｫ繧ｧ縺ｬ 繝ｲ悪繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ繧ｦ繧ｨ繝ﾝ 繝ｾ根繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｧ繝ﾝ 縺ﾗ根縺ｧ繧ｧ縺ｨ繧ｧ縺ｫ繧ｧ縺ｬ 繝ｲ悪繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｦ繧ｨ繝ﾝ 繝ｾ根繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ龍悪繧ｧ繝ｯ繧ｧ繝ｦ繝ｯ悪繧ｧ繝ｯ繧ｨ繝ｦ繝ｦ繝ﾝ 縺ﾝ 繝ｻ差繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ龍繝ｧ悪繧ｧ繝ｯ繧ｧ繝ｦ繝ｨ悪繧ｧ繝ｯ繧ｨ繝ｦ繝ﾎ根繝ｧ繧ｧ繝ｨ繧ｧ繝ﾝ 縺ﾝ 繝ｻ移繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ切繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ悪繝ｧ繧ｧ繝ｨ繧ｧ繝ﾝ 繝ｻ移繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ切繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ悪繝ｧ繧ｧ繝ｨ繧ｨ繝ﾝ 縺ﾀ差縺ｧ繧ｧ縺ｨ繧ｧ縺ｫ繧ｧ縺ｬ 繝ｲ移繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ繧ｦ繧ｨ繝ﾝ 縺ﾝ 繝ｻ写繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ高繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ悪繝ｧ繧ｧ繝ｨ繧ｨ繝ﾝ 繝ｾ昇繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｧ繝ﾝ 繝ｱ向繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ悪繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ移繝ｧ繧ｧ繝ｨ繧ｧ繝ﾝ 縺ｻ縺ｫ底繧ｧ繝ｯ繧ｧ繝ｦ縺ｬ 縺ｻ縺ｫ移繧ｧ繝ｯ繧ｧ繝ｦ縺ｬ 繝ｻ泉繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ向繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ移繝ｧ繧ｧ繝ｨ繧ｧ繝ﾝ 繝ｱ向繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ悪繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ移繝ｧ繧ｧ繝ｨ繧ｨ繝ﾝ 繝ｱ向繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ向繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ昇繝ｧ繧ｧ繝ｨ繧ｧ繝ﾝ 縺ｻ縺ｫ写繧ｧ繝ｯ繧ｨ繝ｦ縺ｬ 繝ｻ泉繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ向繝ｧ繧ｧ繝ｨ繧ｨ繝ﾎ移繝ｧ繧ｧ繝ｨ繧ｨ繝ﾝ 繝ｺ龍繝ｧ向繧ｧ繝ｯ繧ｧ繝ｦ繝ｨ向繧ｧ繝ｯ繧ｨ繝ｦ繝ﾎ龍繝ｧ泉繧ｧ繝ｯ繧ｧ繝ｦ繝ｨ泉繧ｧ繝ｯ繧ｨ繝ｦ繝ﾝ 繝ｲ向繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ繧ｨ繝ﾝ 縺ﾝ 繝ｲ向繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｨ繝ﾝ 繝ｲ切繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｨ繝ﾝ 縺ﾝ 繝ｱ高繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ高繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ移繝ｧ繧ｧ繝ｨ繧ｨ繝ﾝ 繝ｱ昇繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ昇繝ｧ繧ｧ繝ｨ繧ｧ繝ﾎ移繝ｧ繧ｧ繝ｨ繧ｨ繝ﾝ 縺ﾝ 繝ｲ切繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｦ繧ｨ繝ﾝ 繝ｾ切繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ繧ｧ繝ﾝ 繝ｾ典繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ龍切繧ｧ繝ｯ繧ｧ繝ｦ繝ｯ切繧ｧ繝ｯ繧ｨ繝ｦ繝ｦ繝ﾝ 縺ﾗ典縺ｧ繧ｧ縺ｨ繧ｧ縺ｫ繧ｧ縺ｬ 繝ｲ切繝ｧ繧ｧ繝ｨ繧ｨ繝ｫ繧ｨ繝ﾝ 繝ｾ典繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ龍切繧ｧ繝ｯ繧ｧ繝ｦ繝ｯ切繧ｧ繝ｯ繧ｨ繝ｦ繝ｦ繝ﾝ 縺ﾝ 繝ｲ底繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｨ繝ﾝ 縺ﾝ 縺ﾝ 繝ｾ龍繝ｧ切繧ｧ繝ｯ繧ｧ繝ｦ繝ｨ切繧ｧ繝ｯ繧ｨ繝ｦ繝ｫ繧ｧ繝ﾝ 繝ｲ底繝ｧ繧ｧ繝ｨ繧ｧ繝ｫ繧ｧ繝ﾝ
脚注[]
- ↑ 模したと言っても、if文やforループなどの制御構造が存在するため、実際はC言語に近い。