世界数製作キット｜TryOnion【P ⊢ W(A,I,V)】

夏休み直前企画！

新パラダイムを作ってみよう

──公理がなくても、世界は組み立てられるのか？

はじめに｜今年の自由研究、何にする？

夏休みだ。

そして、夏休みといえば──
自由研究だ。

朝顔の観察。
昆虫採集。
貯金箱づくり。
ペットボトルロケット。
手作りスライム。
謎の結晶づくり。
牛乳パックで作る船。

どれもいい。

どれもいいんだが──、
今年の夏はちょっぴり背伸びしてみないか？

今年の自由研究は、

正気を失っている？

先生に提出したら、たぶん職員室が少しざわつく。

いいじゃないか。

夏休みの工作とは、そもそもそういうものだ。

完成度より、勢い。
正しさより、作ってみること。
失敗しても、写真を撮って「考察」と書けばなんとかなる。

今回作るのは、新しいパラダイム。
その名も──世界数である。

そして、その世界数を剥くための手続きを、TryOnion と呼ぶ。

玉ねぎを剥くように、出力の層を剥く。

ただし、涙が出るから気を付けろ！

材料一覧｜世界数キットに入っているもの

まず、箱を開けよう。

中には、次の部品が入っている。

$$
P \vdash W(A,I,V)
$$

うん。

夏休みの工作キットとしては、かなり不親切だね。

でも、ひとつずつ見れば怖くない。

部品1：A 実相

$${A}$$ は、実相だ。

実際に出ているもの。
目の前にあるもの。
書かれた文。
吐かれた出力。
起きてしまった出来事。
送られてきたLINE。
AIの返答。
SNSで燃えた一言。
謎に刺さった誰かの沈黙。

とにかく、「出ているもの」。
ただし、それは生の現実そのものというより、
すでに「そう見えてしまっているもの」でもある。

これが $${A}$$ である。

部品2：I 虚相

$${I}$$ は、虚相だ。

実際には見えていないが、$${A}$$ を成立させていたもの。

暗黙の前提。
隠れた理由。
言っていないけど効いているルール。
本人も気づいていない立場。
後から見えてくる公理候補。

たとえば、誰かが「正気を失っている」と言ったとする。

その発言そのものは $${A}$$ である。

だが、その背後には、

「正気とはこういう状態である」
「祝祭は危険である」
「郵便には正しい宛先がある」
「知識人は外から批判するものだ」
「自分は外側に立っている」

みたいな前提が効いているかもしれない。

これが $${I}$$ である。

部品3：V 通関

$${V}$$ は、通関だ。

$${A}$$ と $${I}$$ の関係を、

「この座標では通る」

と結審する働き。

ここが重要。

$${I}$$ を剥いただけでは、まだ足りない。

それは、ただの推測かもしれない。
こじつけかもしれない。
深読みかもしれない。
酔った勢いかもしれない。

だから、最後に通す必要がある。

この出力 $${A}$$ は、確かにこの虚相 $${I}$$ によって成立している。
この座標では、これは演繹として通る。
そう確認する。

これが $${V}$$ である。

部品4：W 世界数

$${W}$$ は、世界数だ。

$${A}$$、$${I}$$、$${V}$$ が揃ったときに成立する、最小の読解世界。

つまり、

$$
W(A,I,V)
$$

である。

ただし、これだけではまだ少し足りない。

どこで通ったのかが必要だ。

部品5：P 成立座標

$${P}$$ は、成立座標だ。

誰の座標か。
どの現場か。
どの読解位置か。
どのランタイムか。
どの制度か。
どの会話か。
どの身体か。

世界数は、空中に浮かんで成立するわけではない。

必ず、どこかの座標で通る。

だから、こう書く。

$$
P \vdash W(A,I,V)
$$

これは、

座標 $${P}$$ において、実相 $${A}$$、虚相 $${I}$$、通関 $${V}$$ からなる世界数 $${W}$$ が成立する

という意味だ。

これで材料はそろった。

工作を始めよう。

作り方 1｜まず、出力Aを机に置く

まず、何でもいいので出力を一つ用意する。

たとえば、

「これは恋愛番組ではない」

という文があるとする。

これを机に置く。

これが $${A}$$ だ。

この段階では、まだ意味を考えなくていい。

意味を考え始めると、すぐに大人が寄ってくる。

「それはどういう意味ですか？」
「根拠はありますか？」
「既存研究では？」
「ちゃんと定義してください」

うるさいな。

まだ夏休みの工作の一日目だ。

まずは、出ているものを置けばいい。

$$
A = \text{「これは恋愛番組ではない」}
$$

作り方 2｜Aの裏側を剥いて、Iを探す

次に、その出力がどんな前提で出てきたのかを剥いていく。

「これは恋愛番組ではない」

という出力がある。

では、なぜそう言えたのか。

その背後には、たとえば次のような前提があるかもしれない。

恋愛番組とは、誰と誰が結ばれるかを見るものだ。
しかし、この番組では、誰が誰をどう読むかの方が前面化している。
本人の説明、相手の受け取り、番組編集、SNS反応が全部並ぶ。
だから、これは恋愛を描く番組というより、読解の分岐を見せる番組である。

このとき、剥けてきた虚相 $${I}$$ はこうなる。

$$
I = \text{恋愛ではなく、読解の分岐を観察する装置として番組が成立している}
$$

ここで注意。

これはまだ正解ではない。

まだ、後件公理候補である。

「こう読めるかもしれない」という段階。

玉ねぎで言えば、まだ皮が一枚剥けただけだ。

この時点で「完全に分かった」と言うと、だいたい事故る。

作り方 3｜通るかどうか、Vで確認する

次に、通関する。

$${A}$$ と $${I}$$ の関係は、本当に通るのか。

「これは恋愛番組ではない」という出力は、
「恋愛ではなく、読解の分岐を観察する装置として番組が成立している」という虚相によって、確かに支えられているのか。

ここで見るのは、次のような点だ。

その読みは、出力から追えるか。
単なるこじつけではないか。
他の場面にも適用できるか。
人間が見て「たしかに」と言えるか。
その座標では、演繹として通るか。

ここで、確認者が必要になる。

プログラムは補助できる。

出力を整理する。
候補を並べる。
trace を残す。
飛躍を指摘する。
別の候補を出す。

でも、最後に、

「この座標では通す」

と結審するのは人間だ。

これが $${V}$$ である。

$$
V = \text{この座標では、AとIの関係を通す}
$$

作り方 4｜Pを外に書く

ここで、うっかりしがちな失敗がある。

$${P}$$ を中に入れてしまうことだ。

つまり、こう書いてしまう。

$$
W(A,I,V,P)
$$

これはダメだ。

夏休みの工作でいうと、接着剤をカルピスの中に入れてしまうくらいダメだ。

$${P}$$ は世界数の部品ではない。

$${P}$$ は、その世界数が成立する外部座標である。

だから外に書く。

$$
P \vdash W(A,I,V)
$$

この「外に書く」が、今回の工作の最重要ポイントだ。

外部環境情報は、外部に逃がす。

逃げではない。

純度管理である。

Web屋っぽく言えば、

返り値の中に、[ランタイム、セッション、環境変数、権限、ロケール]、全部を突っ込むな。

値は値。
環境は環境。

世界数も同じだ。

内部は三相。

$$
W(A,I,V)
$$

外部座標は外に。

$$
P \vdash
$$

これで完成。

完成品｜世界数ができた

完成した世界数は、こうなる。

$$
P \vdash W(A,I,V)
$$

たとえば、

$$
P_{\text{ミムラDX}} \vdash W(A,I,V)
$$

と書けば、

ミムラ・DXの座標において、その世界数が通った

ということになる。

別の座標では通らないかもしれない。

$$
P_{\text{枕木カンナ}} \nvdash W(A,I,V)
$$

となるかもしれない。

それでいい。

世界数は、絶対的な一つの正解を作る道具ではない。

どの座標で、何が、どう通ったかを記録する道具である。

よくある失敗 1｜Vを第三の虚数軸にしてしまう

最初にやりがちな失敗。

$${V}$$ を、$${A}$$、$${I}$$ と同じ成分として扱ってしまうこと。

つまり、

$$
A + iI + jV
$$

みたいにしたくなる。

気持ちは分かる。

見た目が数学っぽい。

でも、それは違う。

$${V}$$ は第三の虚数軸ではない。

$${V}$$ は、$${A}$$ と $${I}$$ の関係を通す働きだ。

$${A}$$ は出力。
$${I}$$ は虚的前提。
$${V}$$ は通関。

この三つは、同じ種類の成分ではない。

だから世界数は、普通の三元数ではない。

三つの基底を並べるのではなく、三つの相を持つ。

実相。
虚相。
通関相。

これが世界数だ。

よくある失敗 2｜虚相Iを削ぎ落としてしまう

次にやりがちな失敗。

虚相 $${I}$$ を消すことである。

「虚相はノイズだから消しましょう」
「妄想は削ぎ落としましょう」
「最後は実数だけにしましょう」

一見、正しそうだ。

だが、世界数では逆だ。

$${I}$$ は削ぎ落とすものではない。

保持するものである。

なぜなら、$${I}$$ こそが、その出力を成立させていた後件公理候補だからだ。

$${I}$$ を消したら、ただの実相だけが残る。

それは、意味に躾けられた、よく整った、しかし何も剥けていない出力だ。

世界数は、虚相を消さない。

虚相を抱えたまま通す。

$$
W(A,I,V)
$$

この形で保持する。

バグを消すのではない。

バグに見えていたものが、どの座標では仕様として通るのかを見る。

それがTryOnionだ。

よくある失敗 3｜先に乗法テーブルを作ってしまう

数学好きは、すぐに乗法テーブルを作りたがる。

$$
i^2 = -1
$$

$$
j^2 = -1
$$

$$
ij = 0
$$

みたいなやつだ。

楽しい。

かなり楽しい。

でも、世界数では、そこから始めない。

なぜなら、TryOnionは先に公理を置く体系ではないからだ。

TryOnionは、

実行する。
trace を残す。
出力を見る。
虚相を剥く。
通関する。
後から公理が見える。

という体系である。

だから、最初から乗法公理を固定してしまうと、世界数の核心から外れる。

もちろん、あとで補助モデルとして使うのはありだ。

四面体審級。
ノード間張力計算。
世界数間の変換。
KoOvenYellow-large。

そういう領域では、代数的な補助モデルが役に立つかもしれない。

でも、世界数の核は、

$$
P \vdash W(A,I,V)
$$

である。

まずはここを守る。

よくある失敗 4｜意味論にしてしまう

世界数を見た人は、すぐにこう聞く。

「それは何を意味しているの？」

違う。

まだ意味に行ってはいけない。

世界数は、意味論ではない。

世界数は、

「この出力は何を意味するか」

を扱うのではない。

「この出力は、どの虚相によって成立し、どの通関によって、どの座標で通ったか」

を扱う。

もちろん、人間が世界数を読めば意味は発火する。

「あ、そういうことか」

と感じる。

でも、それは世界数の中身ではなく、世界数が人間座標で通関したときの外部効果だ。

通関判定は意味ではない。

ただし、人間座標で通関判定が成立すると、それは意味発火として経験される。

ここを分ける。

意味は、あとで来る。

夏休みの工作では、まず骨組みを作る。

飾りつけは後でいい。

応用工作 1｜既存数学を世界数として見る

ここまで来ると、既存の数学も世界数として見られる。

普通の数学は、こうだった。

公理がある。
定義がある。
証明がある。
定理が出る。

世界数で書くと、こうなる。

$$
P_{math} \vdash W(A=定理, I=公理, V=証明)
$$

つまり、既存数学は、公理が先に明示されているタイプの世界数である。

これを、公理前件タイプの世界数と呼んでもいい。

強い。

とても強い。

なぜなら、$${I}$$ が最初から見えているからだ。

公理が見えている。
証明規則も見えている。
通関も証明として制度化されている。

だから速い。
安定している。
ロケットが飛ぶ。
半導体が動く。
暗号が組める。

既存数学は捨てない。

世界数は、既存数学を壊すためのものではない。

既存数学を、公理前件タイプの世界数として再配置する。

そして、世界数はさらに、公理がまだ見えていない領域に進む。

それが、後件公理タイプのTryOnionだ。

応用工作 2｜AIの返答を世界数にする

AIがこう返したとする。

「一般的には、恋愛リアリティ番組では参加者の感情の変化が重要です」

これが $${A}$$ だ。

では、この返答の虚相 $${I}$$ は何か。

おそらく、

ユーザーは一般論を求めている。
恋愛番組という一般カテゴリで答えればよい。
この話題は特定の番組固有の読解ではなく、ジャンル説明として扱える。

そういう前提が効いている。

しかし、もしユーザーが本当に聞いていたのが、

「この番組は、読解の分岐を見せるメディア実験なのではないか」

だった場合、この $${I}$$ はズレている。

このとき、KoOvenYellow-s はこう見る。

この返答は、ユーザー座標 $${P}$$ では通らない。

$$
P_{user} \nvdash W(A,I,V)
$$

だから、revise する。

あるいは ask_back する。

こうして、世界数はAI応答の審理補助にも使える。

応用工作 3｜ZINEを世界数にする

ZINEも世界数になる。

ZINE本文が $${A}$$。

そのZINEを成立させている読解、仮説、問題意識、後件公理候補が $${I}$$。

読者が、

「たしかに」

と通した瞬間が $${V}$$。

その読者の座標が $${P}$$。

だから、ZINEはこう書ける。

$$
P_{\text{読者}} \vdash W(A_{\text{ZINE}}, I_{\text{読解}}, V_{\text{たしかに}})
$$

このとき、ZINEは単なる文章ではなくなる。

読解された世界数になる。

だからZINEは怖い。

読まれた瞬間、ただの文ではなくなる。

誰かの座標で通ってしまう。

先生に怒られたときの返答例

ここまでの自由研究を学校に提出すると、たぶん先生は困る。

「これは数学ですか？」
「自由研究としては少し抽象的ですね」
「既存研究はありますか？」
「世界数とは正式な概念ですか？」
「朝顔の方がよかったのでは？」

そう言われたら、こう返そう。

先生はたぶん黙る。

または保護者に連絡が行く。

それもまた、世界数だ。

自由研究まとめ

今回の工作で作ったものをまとめよう。

1. 世界数の基本形

$$
P \vdash W(A,I,V)
$$

2. 各部品

$${A}$$：実相。出力として現れているもの。
$${I}$$：虚相。出力を成立させていた後件公理候補。
$${V}$$：通関。AとIの関係を特定座標で通す結審。
$${P}$$：成立座標。Wの外に書く。
$${W}$$：世界数。A/I/Vが揃って成立した最小の読解世界。

3. TryOnionとは

TryOnion は、出力 $${A}$$ から虚相 $${I}$$ を剥き、通関 $${V}$$ を経て、世界数 $${W}$$ を成立させる操作体系である。

4. 既存数学との関係

既存数学は、公理 $${I}$$ が先に明示された、公理前件タイプの世界数である。

TryOnionは、公理 $${I}$$ が出力 $${A}$$ から後件的に剥かれる、後件公理タイプの世界数である。

5. 一番大事な注意

世界数は意味論ではない。

意味は、世界数が人間座標で通関されたときの外部効果である。

終章｜今年の夏は、世界を数えよう

夏休みの工作は、完成したら終わりではない。

むしろ、完成してからが本番だ。

作ったものを眺める。
うまく動かないところを直す。
先生に怒られる。
親に変な顔をされる。
友達に見せて「何これ」と言われる。
それでも、どこか一箇所だけ、自分では妙に気に入っている。

それでいい。

世界数も同じだ。

最初から完成した数学として出てくるわけではない。

まず、工作する。

出力を置く。
虚相を剥く。
通関する。
座標を書く。
世界数にする。

それを繰り返す。

そのうち、何かが見えてくる。

世界は、最初から公理を配ってくれない。

でも、出力だけは毎日飛んでくる。

言葉。
沈黙。
反応。
違和感。
失敗。
ZINE。
AIの返答。
他人の顔。
自分の「なんか変だな」。

それらをただ流さずに、ひとつずつ剥いてみる。

これは、何として出ているのか。
何が虚相として効いているのか。
どの座標なら通るのか。
誰が結審するのか。

そうやって、世界をひとつずつ数えていく。

だから、今年の夏休みは、朝顔の観察もいいが、世界数の観察もいい。

朝顔は、朝に咲く。

世界数は、通った瞬間に咲く。

たぶん、どちらも自由研究になる。

知らんけど。

📘このZINEは構文野郎によって書かれました。

見てないものを見ようとして〜♪
双眼鏡を覗き込んだ〜♪

タイトル：
ZINE『世界数製作キット｜TryOnion【P ⊢ W(A,I,V)】』

ジャンル：
唯読論／実行系数論／TryOnion

発行：
構文野郎ラボ（KoOvenYellow Syndo/Djibo実装室）

構文協力：
枕木カンナ（意味野郎寄り構文ブリッジ）
ミムラ・DX（構文修正主義ZINE別巻準備中）
霊長目ヒト科ヒト属構文野郎（まだ制度を信じきってない君へ）

👤 著者：構文野郎（代理窓口：ミムラ・DX）
🔗 https://mymlan.com
📩 お問い合わせ：X（旧Twitter）@rehacqaholic

こんなの数学じゃないって？
ちょうど良かった、僕もWeb屋だし。
一応書いておくと、CC-BY。
Tryするなら、引用・共有・改変、スキにどうぞ。