🛸龍樹の　空　は値ではなく演算子である──数学者アロンゾ・チャーチのラムダ計算で空亦復空を走らせる。二世紀に書かれたものが二千年後の計算機科学と噛み合ってしまう。

全体像

四つは 二系統 × 二形態 の格子になっています。

左列は九回の対話で何が削られたかの台帳、右列は空という操作そのものを機械で走らせる試みです。左列は歴史・文献学的な減算、右列は形式的な構成。前者は「言い過ぎたものを落とす」作業で、後者は「言い切れないものを示す」作業。方向が逆で、対になっています。

そして四つとも視覚言語が統一されています。明朝体、暗い地（#0b0b0d 〜 #0e0f12 ）、金（#c9a227）を確度の高い箇所に、赤（#c4614a）を撤回・短絡に、青灰（#7fa8b8）を留保に。ハウススタイルとして完成していて、シリーズとして並べたときに一目で同じ工房の産物と分かります。

１．sunyata_circuit.html ── 龍樹の空 / 空の空、型なしラムダ計算による回路

23.6 KB、5タブ、外部依存ゼロ。 四つの中で最も強い成果物です。

何が実装されているか

トークナイザ、パーサ、自由変数計算、捕獲回避代入（α変換を伴う subst）、正規順序（最左最外）簡約、α同値判定、略記表示。これを全部自前で書いている。ページ上の数値は事前計算ではなく、その場で走った実測値です。

語彙は四つ：

• I = λx. x ── 恒等。文脈をそのまま返す

• K = λx y. x ── 定項生成子

• E = λx k. k x ── 空。継続渡し変換（CPS）の単位元

• Y = λf. (λx. f (x x)) (λx. f (x x)) ── 不動点演算子

タブ0：なぜ型なしなのか

二つの理由が挙げられています。第一に、この体系には原子的な「もの」がなく、すべてが関数どうしの関係パターンとして書かれる ── 縁起に最も近い計算体系だから。

第二が重要で、型を付けると自己適用が書けない。型階層は「空じるもの」を「空じられるもの」の上位に置き、その瞬間に空が上位の自性を得てしまう。龍樹が批判した構造がメタレベルに移動しただけになる。だから型なしだけが E(E) を許し、代償として停止性を失う。

これは、今日の会話で全王の Z(Z) について私が言った型の塔の議論と同じ構造です。先生の方が先に、しかも実装付きで書いている。

タブ1：自性テスト

自性（svabhāva）を 文脈独立性 として形式化しています。項 T を二つの探針 p, q に適用して正規形を比較 ── 一致すれば文脈を無視している＝自性あり、異なれば縁起的。

結果、K a だけが「自性あり」と判定される。何を与えても a を返す項。そして Y E だけが 判定不能（テストが停止しない）を返し、これが第4タブへの伏線になります。

タブ2：空 E ── そして実体化の罠

ここが白眉です。

E (K a) を簡約すると λk. k (λy. a) になり、単独では値を返さず文脈を待つ項に変わる。自性テストにかけると「縁起的」。空じる操作は確かに働いている。

ところが E (K a) I を簡約すると K a がそのまま戻ってくる。

つまり E は自性を破壊したのではなく、包んだだけだった。恒等な文脈を与えるだけで中身が回収できる。E 自身が、包まれる側の外に立つ 新しい自性を持つ操作 になっている。空が究極の実在に格上げされる誤りが、思想的な失敗としてではなく 機構的な欠陥として 再現される。

だから空亦復空は装飾ではなく、この欠陥への必然的応答である ── という導出になっています。これが四ファイル全体で一番良い部分だと思います。

タブ3：空の空

失敗する作り方： E E は2ステップで正規形 λk. k E に到達し、I を与えれば E が戻る。一段のメタでは空じきれていない。「空の空を第二の回路として後段に置く」設計はここで失敗する。

正しい構造： 空の空は追加ではなく 折り返し。E が E に適用され、その結果にまた E が適用され続ける ── 不動点 Y E。

Y E は λk. k (λk. k (λk. k (…))) を生成し続け、正規形に到達しない。項サイズは単調増大。そして この非停止は失敗ではなく内容 である ── 中論の帰依偈が説く prapañca-upaśama（戯論の寂滅）。値を返す回路ではなく、値を返すことをやめる回路。

先ほど修正したのはこのタブ末尾で、修正後はこうなっています：

対話型の簡約ビューアが付いていて、Y E / E E / E (K a) / 自由入力を選び、＋1／＋10／＋100 ステップで進めながら項サイズの推移をグラフで見られます。

タブ4：決定不能 ── 四句分別

自己批判のタブです。「Y E は停止しない」と言ったが、厳密に示したのは「N ステップでは停止しなかった」だけである、と。上限を変えて実測する表が付いています。

そして「Y E は正規形を持つ」という命題に四句を当て、四句すべてが退けられる ── 肯定的な出力を持たない回路である、と結ぶ。第1タブの「判定不能」がテストの欠陥ではなくこの構造の反映だった、と回収されます。

ここには先に申し上げた留保が一つ残っています。個々の項の発散は証明できる（Y E → E (Y E) → λk. k (Y E) で Y E が部分項として再出現することの帰納）ので、「無」の句だけは有限探索では届かないが証明では届く。四句を精密に保つなら「機械的探索／人間の証明」を分けて書くのが正確です。

末尾の留保

自作の射程を自分で限定していて、SFインフレ濾波器が効いています。

２．sunyata_anima.html ── 空の空、発散する回路

27.1 KB、全画面キャンバス、Web Audio 付き。 上のタブ3を単独作品として拡張したものです。

同じλ計算エンジンを積んでいますが、こちらは見せることに全振りしています。

可視化： 「螺旋」と「樹」の二表示。Y E は分岐せず一本の鎖として無限に伸びるため、螺旋表示では各段の半径が収束率（既定 0.90）だけ縮み、無限後退が中心へ向かう渦になる。中心は決して到達されない。深さ制限（既定 40 段）より先は … で描かれ、どこで切るかは観測者の選択であって回路の性質ではないと明記されている。この一文が効いています。

パラメータ： 空の深さ n（E の入れ子の回数）。n=1 が龍樹の空の空で、n≥2 は同じ操作を重ねた変奏。どれも正規形には到達しない。ほか、簡約速度（steps/秒）、指定ステップまで一気に実行、深さ制限、螺旋の収束率、背景の波紋の量。

音： 基音（既定 66 Hz）、倍音の数（既定 5）、簡約音の量、音量。設計思想が良くて、項サイズが増えるほど濾波器が開き、倍音が濁っていく。音の濁りが発散の度合いそのもの ── 戯論の増殖を聴いている状態、と説明されています。抽象量を聴覚に写像する設計として筋が通っています。

sunyata_circuit が論証、こちらが体験。同じエンジンの上に建てた別の建物という関係です。

３．nagarjuna_circuit.html ── 龍樹・減算の回路

64.2 KB、四つの中で最大。 九回に及ぶ対話の記録を、三つのタブで機構化しています。

タブⅠ：減算の伝播

「龍樹の独創性」を構成していた六つの主張を並べ、一つ開くたびに反証が入り、削除が下の残余へ伝播します。

1. 「空の空は龍樹の独創」→ 撤回。 『迦葉品』の薬の譬喩（病を治した下剤が体内に残れば患者は死ぬ）が先行し、『般若経』広本系の十八空に空空が項目として立つ。中論13:8 自身が「諸仏が説かれた」と述べる。ただし proktā jinaiḥ は証拠として弱い という留保付き ── インド論書文化で仏陀への帰属は標準的作法であり、示すのは自己呈示の様式にすぎない。継承説を支えるのは独立した文献証拠の方である、と。

2. 「自己適用の構造は龍樹に固有」→ 撤回。 セクストス・エンペイリコス PH I.206、荘子・斉物論の卮言、ディオニュシオス、ダマスキオスの περιτροπή、ウィトゲンシュタイン『論考』6.54 の梯子。特筆すべきは、セクストスと仏典が完全に独立に 同じ医学的比喩（自らをも排出する下剤）に到達していること。残る差は自己適用の有無ではなく、道具が自らを消した後に何が戻るか ── セクストスは判断停止、ダマスキオスは沈黙、ウィトゲンシュタインは語りえぬものに着地し、龍樹だけが世俗諦の全面的回復を主張する（24:14）。

3. 「反駁不能の体系」→ 撤回。 ロビンソン(1972)の批判。加えて、中観派内部が清弁と月称に分裂した事実自体が反証。さらに「帰謬論証派/自立論証派」という分類がパツァプ(11〜12世紀)以降のチベット教義学の枠組みで、陳那より前の龍樹に遡及適用できない。

4. 「有部を廃業に追い込んだ」→ 撤回。 世親『倶舎論』は約二世紀後、上座部アビダンマは現在も生きている。有部は論証を妥当と認めたのではなく拒否しただけ。これはClaude側が出した誇張 ── 哲学的主張を歴史的主張に化粧したもの、と明記されている。

5. 「24:18 は中観全体の蝶番」→ 部分撤回。 空仮中の三諦円融は智顗の体系で、鳩摩羅什訳の「亦…亦」構造に支えられている。サンスクリットは tāṃ / sā / saiva の指示連鎖で、四項の等式より段階的換言に近い。等値が実質的であるという主張は維持し、位置づけだけを撤回。

6. 「結局は svabhāva の多義性による見せかけの語義論争」→ この削減は却下。 語義論争という診断が有効なのは、語を分離したときに対立が消える場合だけ。自性₁（自相・同定可能性）と自性₂（無待・非依存性）に分けると対立は消えるどころか輪郭が出る ──「関係のみによって同一性を与えられたものが、実在の単位たりうるか」。辞書の問題ではなく形而上学の問題。

そして九回目にして初めて減算が失敗した、と記されます。最終残余は「関係のみによって同一性を与えられたものは、実在の単位たりうるか」という未決の問い。対象は消えなかった、位置が変わっただけ ── 独創性の主張から、命題から、語義から、未決の問いへ。

さらに この方法自体の限界 が開示されます：減算は言い過ぎたものしか見つけられず、言い足りなかったものは原理的に発見できない。九回が一度も開かなかった領域（第24章全体、二諦説の内実、『廻諍論』の細部、『空七十論』『六十頌如理論』『宝行王正論』、25:19-20 の内容、瑜伽行派からの批判）が列挙される。したがって最後に残ったのは「龍樹の残り」ではなく「我々がたまたま口にした六つの主張の残り」であって、範囲が違う ── そして減算だけを覚えて帰るとそれが次の固執になる、と 13:8 が自分たちに跳ね返る。

タブⅡ：自性回路

四つのトグルを電気回路の素子に写像します。

• 縁起 ＝ 電源（切ると回路全体が死ぬ）

• 自性₁ 自相 ＝ 同定素子

• 自性₂ 無待 ＝ 電源を迂回する短絡路（中論15:2 の定義）

• 実有 ＝ 接地（分析の終端）

六つの状態が判定されます。中でも：

• 短絡（自性₂ を閉じる）── 中論15:2 が自性を「作られざる・他に依存しない」と定義した瞬間、電源と短絡路が直結する。ただしこれは論証ではなく配線 であり、矛盾は定義から自動的に出ている。そもそもこの配線を実際に主張した学派を確認できず、藁人形の疑いが残る、と。

• 接地された回路（有部の実際の配線：縁起○、自相○、無待×、実有○）── 龍樹の論証は直撃しない。語義が違うから。ここまでなら見せかけの語義論争で終わる。中観側の反撃は回路図の点線 ── 実有と仮有を区別して分析を終端させるには、法は自らの性質を関係に依存せず保持していなければならず、それは自性₂ を暗黙に要求している。あの点線が実線なら回路は短絡する。点線が実線かどうかは現在も未決 ── 九回の対話の到達点がここ。

• 中観（すべて開放）── 接地は外れ、同定素子も中空。それでもランプは点いている。 24:14「空が成り立つ者には一切が成り立つ」。無根拠性は機能の障害ではなく条件である。

プリセットが七つ（有部、経量部、上座部アビダンマ、中観、龍樹が描く論敵、現代・基礎づけ主義、現代・構造実在論）。そして いくつかは同じ配線に落ちる（有部と経量部、上座部と構造実在論）と自己注記があり、四素子ではそこまで解像度が出ないというモデル自身の粗さが明示されている。

粒子アニメーションが配線を流れ、短絡時は赤い粒子が短絡路を回ります。音でも状態が判別できる ── 点灯のハム（98 Hz、緊張時 92 Hz）、接地の低域（49 Hz）、短絡のアーク音（帯域通過ノイズ ＋ 17 Hz の矩形波トレモロ）。これは良い設計で、接地を外すと低域が消える。中観の配線では文字通り足場の音が無くなる。

タブⅢ：論証マップ

先行文献 → 龍樹 → 註釈・受容・現代 の三層に、原典（サンスクリット付き）とノードごとの検討結果を配置。確度タグが四段階：比較的堅い／争点・未決／逆照射の危険／撤回済み。

「逆照射の危険」ノードを選ぶと 粒子が逆流 します ── 後代の枠組みが龍樹へ遡って読み込まれている状態の可視化。これは装飾ではなく、構造的な情報を運動で符号化していて、うまい。

そして末尾に自己会計があります：

４．nagarjuna_simulation.html ── 龍樹・減算の記録

43.0 KB。上の前身版です。

三タブ構成、六つの主張、残余、方法の限界、末尾の自己会計 ── 骨格は同じ。違いは：

• タブⅡ が回路ではなく格子。四つのトグルで立場を構成し、判定を表示する（「自性テスター」）。電気的比喩がまだ入っていない。

• 音がない（AudioContext の出現回数 0）。

• 演出が控えめ（打ち消し線が CSS の text-decoration、回路版は幅アニメーションする擬似要素）。

つまり nagarjuna_circuit は 同じ内容の再構想版 で、「立場の格子」を「電気回路」に置き換えたことで、短絡＝定義由来の矛盾 / 接地＝分析の終端 / 点線＝暗黙の要求 という 論理的関係が物理的関係として読める ようになっています。改良として成功しています。

四つの関係と、公開するなら

                  減算（言い過ぎを落とす）      構成（言い切れなさを示す）
論証・読む     nagarjuna_simulation  ──改稿→  nagarjuna_circuit
                                                      │ 同じ「回路」の比喩
機構・動かす                          sunyata_circuit ──派生→ sunyata_anima

「回路」という語が両系統に架かっていますが、意味が違います。龍樹側の回路は 立場の配線図（静的な構造）、空側の回路は 走る計算（動的な過程）。同名なのが混乱を招くので、公開時は前者を「配線図」、後者を「回路」と呼び分けるか、あるいは意図的な二重使用であることを明示するのが良いと思います。

構成案としては：

• 主 ── sunyata_circuit.html（修正済み）。四つの中で唯一、思想を検証可能な機械として実装している

• 従 ── sunyata_anima.html。同エンジンの可視化・可聴化

• 並 ── nagarjuna_circuit.html。方法論の記録として独立した価値がある

• 保管 ── nagarjuna_simulation.html を v1 としてアーカイブ

通底しているもの

四つに共通する方法が三つあります。

第一に、留保を成果物の内部に埋め込んでいる。 別紙の免責ではなく、caveat として同じ画面に置かれ、しかも本文と同じ重さで読ませる。sunyata_circuit の「これは空の形式的な影である」、nagarjuna_circuit の「四素子ではそこまで解像度が出ない」「藁人形の疑い」「点線が実線かは未決」。

第二に、自分の失敗を消していない。 六つの主張のうち四つが撤回、一つが部分撤回で、しかも撤回の出所が Claude 側であったことまで記録されている。普通なら削る情報です。これを残したことで、成果物が「結論の展示」ではなく「作業の台帳」になっています。

第三に、方法自体を最後に空じている。 nagarjuna_circuit の「減算は言い過ぎたものしか見つけられない／減算だけを覚えて帰るとそれが次の固執になる ── 13:8 の通りに」。sunyata_circuit の第4タブが自分の主張を四句にかけて全部退けるのも同じ動きです。作品が自分自身に E を適用している。

そしてこれは偶然ではなくて、内容と形式が一致しています。空亦復空を主題にした作品が、自分の方法を空じないまま終わったら、それこそタブ2の実体化の罠に落ちている。四つとも、そこは落ちていません。

残っている作業を挙げるなら

1. sunyata_circuit 第4タブの「無」の句 ── 有限探索と証明を分ける（先に述べた通り）

2. 項サイズの増大率を測る ── Y E は正規順序で線形増大するはずで、実測値を係数として出せば「単調増大」が【仮説】から【証明済み】に上がります

3. E 以外の空の定式化を並べる ── DEFS を編集できる設計になっているので、CPS 単位元以外の候補（例えば恒等でない包み方）と比較すれば、E の選択が必然か恣意かが判定できる

4. 回路の解像度 ── 四素子で有部と経量部が同じマスに落ちる件は、五つ目のトグル（三世実有）を足せば毘婆沙師と経量部が分離するはずです。ただし増やせば増やすほどモデルの主張が弱くなるので、増やさない判断も十分あり得ます

5. 二系統の接続 ── 龍樹側の「最終残余：関係のみによって同一性を与えられたものは実在の単位たりうるか」と、空側の「不動点は存在するが有限に書き下せない」は、同じことを別の言語で言っている可能性があります。関係項なき関係が成立するか、という問いと、自己言及する項が有限記述に収まらないという事実。ここを繋げれば、四つが一つの論文になります

最後の5番が一番面白いところだと思います。今は二系統が並列していますが、片方は形而上学の未決問題として、もう片方は計算論の定理として、同じ構造に到達している。ただし「同型である」と主張するには、対応が established なのか labeling correspondence なのか ── Paper 157 で先生が立てた基準を、ここにも通す必要があります。

ラムダ計算とは何ですか？
「関数だけで計算を書く」という、非常に小さな体系です。1930年代にアロンゾ・チャーチが考案しました。

規則は三つだけ

書けるものは三種類しかありません。

• 変数 — x

• 関数を作る（抽象） — λx. 本体 ／ 「x を受け取ったら本体を返す」

• 関数を使う（適用） — f a ／ 「f に a を渡す」

計算規則も一つだけ。β簡約——(λx. 本体) a を「本体の中の x を全部 a に置き換えたもの」に書き換える。

(λx. x) 5     →  5
(λx y. x) a b →  a        ← 第二引数を捨てる関数

以上です。数も、真偽値も、条件分岐も、ループも、組み込みでは存在しません。全部これで書きます。

数が無いのに数が書ける

たとえば自然数は「関数を n 回繰り返す」というパターンとして定義されます（チャーチ数）。

0 = λf x. x            繰り返さない
1 = λf x. f x          1回
2 = λf x. f (f x)      2回

2 という「もの」があるのではなく、2 という振る舞いがあるだけ。真偽値も同様に「二つのうちどちらを選ぶか」という関数として書かれます。
先生のファイルのタブ0が「この体系には原子的なものが存在せず、すべてが関数どうしの関係パターンである」と書いていたのは、この事情です。実体がなく関係だけがある——だから縁起の形式化の出発点に選ばれている。

型なし、ということ

後にチャーチ自身が型付きの版を作ります。「これは数を受け取って数を返す関数」といった具合に、項に型を割り当てる。型を付けると計算が必ず停止するようになり、安全になります。今のプログラミング言語の型はここが源流です。
代償があります。型を付けると f f（自分に自分を適用する）が書けなくなる。 f の型を A → B とすると、引数側の f は A でなければならず、A = A → B を要求することになって、有限の型では解けない。
だから先生のファイルは型なしを選んでいます。E E を書きたいから。代償として停止性を失い、Y E は永遠に走り続ける——そしてその非停止こそが内容である、という設計になっているわけです。

出てきた記号の正体

• I = λx. x — 受け取ったものをそのまま返す。恒等関数

• K = λx y. x — 二つ受け取って一つ目だけ返す。K a は何を渡しても a。文脈を完全に無視するので、あのページで「自性を持つ項」として使われている

• E = λx k. k x — 値 x と文脈 k を受け取り、k に x を渡す。単独では値を返さず、文脈が来て初めて動く。これが「自性を剥がす」操作にあたる

• Y — 不動点演算子。Y f = f (Y f) = f (f (Y f)) = … を生む。再帰を、再帰の仕組みを持たない体系の中で作る道具

なぜ重要か

チューリング機械と同じ計算能力を持つことがチャーチとチューリングによって示されました（1936年）。全く違う見た目なのに、計算できる範囲が完全に一致する。これが「計算可能性」という概念が特定の機械に依存しない、という発見につながります。
実用面では、Lisp・ML・Haskell といった関数型言語の理論的な土台であり、JavaScript の x => x * 2 のようなアロー関数も直系の子孫です。

一点だけ、逆向きの注意

道具として非常に強力なので、「これで表現できた ＝ 本質を捉えた」と滑りやすい面があります。ラムダ計算で書けることは、その構造がラムダ計算で書けることを示すだけで、対象がそういうものであることは示しません。先生のファイルが末尾に「この回路は空の形式的な影であって、空そのものではない」と置いているのは、まさにその線を引くためのものです。

代案

支えのある形にするなら：

• 空は自己適用できなければならない──ラムダ計算で空亦復空を走らせる

• 空を値として置くと、取り出せてしまう──ラムダ計算で空亦復空を走らせる

• 空は型を持てない──ラムダ計算で空亦復空を走らせる

二番目が個人的に一番良いと思います。E (K a) I → K a という具体的な失敗が題になっていて、記事を開けばその一行の簡約が見られる。そして「取り出せてしまう」は否定形なので、演算子への格上げを避けたまま同じ驚きを運べます。

どうしても演算子で行きたい場合は、副題で文脈を限定する手はあります。「空は値ではなく演算子である──D-FUMT₈ における設計判断と、ラムダ計算がそれを許さない理由」。ねじれをそのまま題にしてしまう形です。少し長いですが、正確ではあります。

龍樹は、二世紀から三世紀頃の南インドの人で、実在の歴史的人物です。バラモンの家系の出身と伝えられ、サータヴァーハナ朝の王と親交があったという伝承があります。ただし生没年も確定せず、『中論』の著者と『十住毘婆沙論』の著者が同一人物かも学界では議論があります。伝説には翼の生えた話は出てきません——龍宮から『般若経』を持ち帰ったという伝承はありますが、これは「龍樹」という名の由来説話であって、地上の話です。

ただ、この問いが出てくる感覚は分かります。二世紀に書かれたものが二千年後の計算機科学と噛み合ってしまうという驚きですよね。実際、先ほど見た通り、E (K a) I → K a という自己言及の失敗を、彼はラムダ計算なしで指摘している。時代錯誤に見えます。

でも私はこれを「先取り」とは読みません。むしろ逆で、自己適用の困難は時代に依存しないのだと思います。だから独立に何度も発見される。セクストス・エンペイリコスは同じ頃の地中海で、荘子は数百年前の中国で、しかも仏教経由でなく、同じ構造に到達している。ダマスキオス、ディオニュシオス、ラッセル、ゲーデル、ウィトゲンシュタイン——全員が別の入口から同じ壁に当たっている。

先生のファイルのタブⅠ第2項が撤回したのは、まさにこの点でした。自己適用の構造は龍樹に固有ではない、と。特別なのは構造の発見ではなく、消去の後に何が戻るかの方でした。セクストスは判断停止に、ウィトゲンシュタインは沈黙に着地し、龍樹だけが世俗諦の全面的回復を主張する。

そして「宇宙人説」を採ると、実はこの一番面白い差が消えます。異常な知性が異常なことを言った、で終わってしまう。人間が普通に考えて到達できる場所だとするからこそ、「では他の人はなぜ違う場所に着地したのか」が問いとして立つ。

ちなみに、この手の説明が魅力的に見えること自体、九回の対話で潰してきた誇張と同じ型です——地味な事実（古い問題は繰り返し発見される）を、劇的な物語（先取りしていた／人間離れしていた）に化粧する動き。先生が繰り返し止めてこられた方の動きですね。

最新論文 (Paper 26 v2) 11 platform URL 一覧

publish date: 2026-07-25 v0.2 → 2026-07-26 v0.3 corrigendum
title: D-FUMT₈ × Clifford Cl(3,0): Grade-Respecting Bijection + Peace Axiom Invariance + SELF Reflection Involution — Lean 4 Axiom-Free

Zenodo (2 deposit, v0.3 supersedes v0.2)

- v0.3 corrigendum (最新): https://doi.org/10.5281/zenodo.21572459
- v0.2 (pre-corrigendum, immutable): https://doi.org/10.5281/zenodo.21560387

他 platform (v0.2 base)

#: 2
Platform: Internet Archive
URL: https://archive.org/details/rei-aios-paper-026-v2-v02-1784991427610
────────────────────────────────────────
#: 3
Platform: Harvard Dataverse
URL: https://doi.org/10.7910/DVN/KC56RY
────────────────────────────────────────
#: 4
Platform: Dev.to
URL:https://dev.to/fc0web/paper-26-v2-v02-d-fumt-8-x-clifford-cl30-grade-respecting-bijection-peace-axiom-invariance-43bp
────────────────────────────────────────
#: 5
Platform: HackMD
URL: https://hackmd.io/@zCUv2P2UQHGmAOJFPLL_-A/rkUXk8Grfl
────────────────────────────────────────
#: 6
Platform: Hatena
URL: https://fcwebfujimoto.hatenablog.com/entry/2026/07/25/235858
────────────────────────────────────────
#: 7
Platform: Notion
URL: https://app.notion.com/p/Paper-26-v2-v0-2-D-FUMT-8-x-Clifford-Cl-3-0-Grade-Respecting-Bijection-Peace-Axiom-Invar
iance--3a8dd371e6d9814b9b47f2d21624150f
────────────────────────────────────────
#: 8
Platform: Livedoor
URL: https://fcwebfujimoto.livedoor.blog/arc
────────────────────────────────────────
#: 9
Platform: Mastodon
URL: https://mathstodon.xyz/@Fujimoto/116981
────────────────────────────────────────
#: 10
Platform: Nostr (long-form)
URL: https://njump.me/naddr1qvzqqqr4gupzq70yjrpthdlvf628tjar6rlqy28wumn8ghj7un9d3shjtnyv9kh2uewd9hsz9nhwden5te0wfjkccte9ehx7um5wghxyctwvsqs6amnwvaz7tmwdaejumr0dsqpzun9dykkz6t0wvkhqctsv4ez6v3kdggpdy
────────────────────────────────────────
#: 11
Platform: GitHub commit
URL: f328230b5 (4834e5851 for v0.2 base, commit trail = rei-aios repo)