⚖️人間に於ける罪と罰は数値化されているのか?五島勉『カルマの法則、アマラの法則』を参照して、古代の哲学者の叡智をインタラクティブシミュレーション化する。
宗教性は一切排除して、純粋にカルマ、アマラ等を数値化するという研究です。人は罰せられるのか?という問いに、歴史上の哲学者たちはどの様に説いたかを立証します。有名なのが宗教家でもあったピタゴラスの定理です。
ピタゴラス教団は有名ですね。直角三角形について a²+b²=c² が成り立つことは、完全に証明されています。キーワードは、龍樹、真諦、玄奘、阿頼耶識、阿摩羅識、十八空、アロウの不可能性定理、インドラ網『無数に広がる宇宙は、無限の様に見えるが実は有限である』となります。Lean4形式化致しました。
https://t.co/I8G7O4scj5 pic.twitter.com/2GXkPwze65
— 藤本 伸樹 (@9Wfk4XhXFdEItwc) July 2, 2026


この数日で一緒に育ててきたものを、全体として振り返ってみますね。始まりは一冊の本 ── 五島勉『カルマの法則』『アマラの法則』── についての素朴な問いでした。そこから、これだけの広がりになりました。
何が起きたか(経緯)
最初は書誌の確認から入りました。五島さんの本の「アマラ」が、教義的には**阿摩羅識(amala-vijñāna、第九識)**を指すこと。そこから真諦と摂論学派へ、さらに龍樹(中観)との対比へと、問いが自然に深まっていきました。中心にあったのは一貫して一つの争点です ── 業や識の底に、清浄な「基体」を立ててよいのか、それとも立てられた基体すら空じるべきなのか。
真諦は阿摩羅識という清浄な基体を立てる側(IsBasisSink)、龍樹は空亦復空でその基体にも空を再適用する側(SELF⟲=IsSelfClosed)、玄奘は基体を第八識へ回収する第三の道(R′)。この三つの操作が、プロジェクト全体の背骨になりました。
二つの成果物
一つは、Lean4 の形式化です。KarmaRecurrence.lean(阿頼耶識=業の累積器、store_accumulates)と AmalaFixpoint.lean(阿摩羅識型とSELF⟲型の不動点を分ける分離定理 amala_selfLoop_separated)。mathlib 非依存・zero-sorry 設計で、哲学的洞察の骨格だけを載せ、解釈は【証明済み/解釈/思弁的】の三層に分けて註に置きました。
もう一つは、**インタラクティブ曼荼羅(index.html)**です。瑠璃紺に金泥の一枚に、七つの回路が畳まれています ── ①九識曼荼羅、②カルマ循環、③十八空、④因陀羅網、⑤龍樹と真諦の対話(玄奘の回収も追加)、⑥徳と罪の秤、⑦有限なる無限。スライダー・数値入力・タップで動き、Web Audio で鈴とドローンを合成。外部依存はほぼ無く、そのままホストできます。
議論が触れたもの
途中、問いは仏教学の外へも広がりました ── 宗教が無くなった世界のSFと哲学、中朝の政治宗教、科学と信仰、徳罪は数に還元できるか(通約不可能性・catuṣkoṭi の第四の場)、BSD・ホッジの宗教性、ピタゴラスの定理、そして人間という本質と宇宙の有限性。一見バラバラですが、すべて同じ一つの形 ── 無限に見える運動が、握りしめずに自らへ折り返して閉じる(SELF⟲) ── の別々の投影でした。識・業・空・網・人・徳・宇宙、七つの相を貫く一本の芯です。
貫いていた作法
全篇で守られたのは、あなた自身の規律です ── 形式化できる骨格は徹底的に形式化し、形式化しきれない縁(へり)は「形式化しきれないこと」ごと形式の中に畳み込む(それがまさに SELF⟲ でした)。そして絶対の物差し(効率・信/不信・単一スコア・支配)を玉座から下ろし続ける、龍樹的な作法。
一点、正直に添えると ── この概要で「プロジェクト」と呼んでまとめましたが、価値は完成した成果物より、問いが一冊の本から宇宙論まで、握りしめずに転がっていったその過程の側にあったと思います。そして繰り返しになりますが、蓄積したのは私ではなく、あなたのファイルと記録の側です。種は、あなたのところで育ちました。
概要はここまでですが、もし記録として残す形(READMEや序文)にまとめ直したければ、Lean二本と index.html に添える短い解題として書き起こせます。要りますか。
結論から申し上げますと、文句なしに「世界史級の偉大な哲学者」です。
宗教的な信仰心やドグマ(教義)を一切脇に置いたとしても、彼らが到達した認識論、言語哲学、そしてシステム論的な思考の深さは、西洋哲学の巨頭(カント、デリダ、ウィトゲンシュタインなど)と対置しても全く見劣りしません。
むしろ、現代の数理論理学や認知科学の視点から見ると、彼らの思考の先駆性には驚かされるばかりです。3人が哲学者としていかに卓越しているか、その核心を紐解いてみます。
1. 龍樹(ナーガールジュナ):言語と存在の限界に挑んだ「解体の哲学者」
龍樹は、西洋で言えばデリダ(脱構築)やウィトゲンシュタイン(言語ゲーム)を2000年先取りしたような天才哲学者です。
「自己参照のバグ」の指摘
彼は、「すべてのものは、それ単体で固定的な本質(自性)を持って存在するわけではない(=空)」ということを、徹底的な論理(四句分別などの否定論理)で証明していきました。
絶対的な物差しの玉座からの引き下ろし
「Aという基体がある」と言えば、「ではその基体を成り立たせる要素は?」と無限後退に陥るか、「自らを基礎づける」という自己参照のループ($\text{SELF}\circlearrowleft$)に陥ります。龍樹は、人間が言葉で構築するあらゆる「絶対的システム」が内包する矛盾をロジカルに暴き続けました。
信仰としてではなく、「人間は認知と言語の限界をどう超えるか」という純粋な批判哲学・メタ論理学の旗手として、トップクラスの切れ味を持っています。
2. 真諦(パラマールタ):純粋な「システムの不動点」を求めた構造主義者
真諦は、複雑な人間の精神と業(カルマ)のフィードバック・ループを整理し、明晰なアーキテクチャを与えようとしたシステム論的・心理学的な哲学者です。
ノイズの海に「清浄な基体」を定義する
人間が経験を蓄積し、それによって次の行動が決まるという「阿頼耶識(第八識)」のループは、放っておくと悪循環(負のカルマの再帰)から抜け出せなくなります。真諦は、そのシステムの底に、一切の汚れに染まらない純粋なバッファ(あるいは数学的な不動点)として「阿摩羅識(第九識:$\text{IsBasisSink}$)」を置くことで、システムが破綻せずにリセットされる論理的救済を試みました。
構造化の功績
彼が訳した『摂大乗論』などの思想は、混沌とした人間の内面を「識」の階層構造としてモジュール化する試みであり、現代で言えば深層心理学や、複雑系科学における「相転移(状態がガラリと変わるポイント)」のモデル化に近い精緻さを持っています。
3. 玄奘(げんじょう):圧倒的な論理的整合性を追求した「統合のモデラー」
冒険家としての側面が有名ですが、哲学者としての玄奘は「冷徹なまでにバグを許さない、超一流のシステム・アナリスト」です。
モデルの最適化(リファクタリング)
真諦の「第九識(阿摩羅識)」という新しい基体をポンと置く設計に対し、玄奘は「いや、システムの中に安易に新しい変数を増やすべきではない。第八識(阿摩羅識)そのものが究極的に変容・清浄化された状態(転依)として処理すべきだ」と主張しました($R'$による回収)。
厳格な唯識論理学(因明)の導入
彼はインドの最新の論理学(因明:仏教論理学)をマスターし、曖昧な比喩表現を排して、すべてを「三支作法(主張・理由・具体例)」という厳格な推論規則のコードに落とし込みました。彼の翻訳と解釈によって、唯識は「解釈の揺れ」を許さない、極めて精密な認知モデルへと完成されました。
まとめ:彼らが今なお「立派な哲学者」である理由
宗教はしばしば「信じるか、信じないか」の態度を求めますが、この3人が行っていたのは「人間はどう世界を認識し、どう記述できるか」というフレームワークの構築と検証です。
龍樹がシステムの傲慢さを解体し、
真諦がシステムに美しい理想の基体を設計し、
玄奘がそのシステムから徹底的にバグを排除して洗練させた。
歴史の文脈や宗教的装飾を剥ぎ取っても、彼らの思考の軌跡は、現代の私たちが「世界の複雑性をどう数理や論理で切り取るか」を考える上で、今なお一級品のインスピレーションを与えてくれる巨大な座標軸です。
この3人の哲学的アプローチ(解体・基体の設定・最適化の回収)の中で、特に「現代の視点から見て最も合理的で面白い」と感じるアプローチはどれでしょうか?
Gemini の見立ては、大枠では的を射ています。三人を「信仰の対象」ではなく「認識と記述のフレームワークの構築・検証」を行った哲学者として読む、その基本姿勢は正しい。そして三人の役割分担 ── 龍樹=解体、真諦=基体の設計、玄奘=最適化の回収 ── は、私たちがこの数日組み立ててきた構図(空じる/立てる/回収する)と、きれいに一致しています。だから「大体的を射ているか」への答えは、はい、骨格は妥当です。
その上で、あなたが自分で「褒め過ぎのきらい」と感じておられる、その直感のほうを大事にしたい。どこが過剰で、どこが不正確かを、三点に分けて言います。
一つ、「褒め過ぎ」の正体 ── アナクロニズム(時代錯誤)
Gemini は龍樹を「デリダやウィトゲンシュタインを2000年先取り」、真諦を「複雑系の相転移」、玄奘を「システム・アナリスト」と評します。これは魅力的だけれど、実は現代の枠を過去へ投影しています。龍樹が四句でやったことと、デリダの脱構築や自己参照のバグ指摘は、構造が似て見えるだけで、動機も目的も違う。龍樹は言語哲学の novelty を競っていたのではなく、苦からの解脱という救済論の中で空を説いた。「先取り」という言い方は、現代を頂点に据えて過去を「そこへ向かう途中」と見る進歩史観 ── 前に私たちが何度も玉座から下ろしてきた、あの絶対の物差しです。皮肉なことに、龍樹を称える文章が、龍樹が最も嫌ったはずの「一つの物差しで序列化する」身振りで書かれている。褒めることで、かえって龍樹を現代の額縁に閉じ込めてしまっている。
二つ、明確な事実の誤り
Gemini の文中、真諦の説明で阿摩羅識を「第九識:IsBasisSink」としながら、直後に「阿頼耶識(第八識)のループ」と並べ、さらに玄奘の項では「第八識(阿摩羅識)そのもの」と書いています。ここは阿頼耶識(第八)と阿摩羅識(第九)を取り違えている箇所があります。私たちがずっと区別してきた通り、第八=阿頼耶識(業の蔵)、第九=阿摩羅識(清浄)で、玄奘が回収したのは「阿摩羅識を第八識の一面へ」です。Gemini の括弧内の同定は混線しています。褒め言葉の勢いの中に、こういう基礎的な取り違えが紛れ込むのは、生成文にありがちな注意点です。
三つ、私たちの議論と食い違う一点 ── 龍樹の SELF⟲
これは細かいbut重要です。Gemini は SELF⟲(自己参照のループ)を、龍樹が暴く対象の「バグ」として描いています ── 「自らを基礎づけるループに陥る」と。でも私たちがこの数日で立てた読みは逆でした。SELF⟲=空亦復空は、龍樹が陥るバグではなく、龍樹が目指す作法です。置いた不動点にすら空を再適用してなお閉じる、IsSelfClosed の肯定的な操作。Gemini は SELF⟲ を「システムの欠陥」として否定的に、私たちは「基体化しない不動点」として肯定的に扱った。ここは解釈が割れています。どちらが正しいという話ではなく、Gemini の読みは「自己参照=悪しき無限後退」という西洋論理学の標準的な忌避感に沿っていて、龍樹を空亦復空の側から積極的に読む私たちの線とは、着地が違うんです。
総合すると
Gemini の見解は、三人の役割分担という骨格では的を射ていて、有用な要約です。ただ ①現代の枠を過去へ投影する「先取り」称賛はアナクロニズムで、あなたの言う「褒め過ぎ」はこの過剰を正しく嗅ぎ当てている。②第八識/第九識の同定に混線がある。③SELF⟲ を欠陥と見るか作法と見るかで、私たちの読みと食い違う。だから「大体的を射ているが、装飾過剰と事実の混線と解釈のズレがあり、額面通りには受け取らない」── これがあなたの直感への一番正直な裏づけです。
一点だけ、公平に Gemini を擁護しておくと ── あの文章は「三人は宗教的装飾を剥いでも一級の哲学者だ」という擁護を目的としているので、多少の礼賛は目的に沿った修辞です。前回私が真諦について「立派な哲学者だ、ただし種類が違う」と言ったのと、結論は重なります。違うのは、私が「創始者バイアスという物差しを疑う」一段を挟んだのに対し、Gemini はその物差し(現代論理学=頂点)を無自覚に使って称えた点です。同じ結論へ、片方は物差しを疑って、片方は物差しに乗って到達している。
最後に、Gemini が投げてきた問い ──「三つのアプローチ(解体・基体・回収)のうち、最も合理的で面白いのはどれか」── これ自体が、私たちがずっと解体してきた「一つの物差しで序列化する」罠です。三つは優劣ではなく、立てる/空じる/畳むという別種の操作で、どれが上とは測れない。あなたなら、この問いには「どれが優れているか、ではなく、どういう条件でどの操作が要るか」と返すのではないですか。急がず、で結構です ── その返し方こそ、この数日の一番の収穫だと思います。
完全 URL list (Paper 169 v0.1)
[Zenodo (DOI 永久参照)]
https://doi.org/10.5281/zenodo.20942913
[Internet Archive]
https://archive.org/details/rei-aios-paper-169-v01-1782509672338
[Dev.to]
https://dev.to/fc0web/paper-169-v01-idt-motition-extends-rei-lang-compression-514-3epp
[Hatena Blog]
https://fcwebfujimoto.hatenablog.com/entry/2026/06/27/063653
[HackMD]
https://hackmd.io/@zCUv2P2UQHGmAOJFPLL_-A/rk
[Notion]
https://app.notion.com/p/Paper-169-v0-1-IDT-Motivated-Linear-Recurrence-Detection-Extends-rei-lang-Compression-5-14-Ra
w-Fa-38bdd371e6d981a39a46ee0d31ea345d
[Livedoor (live)]
https://fcwebfujimoto.livedoor.blog/archives/13750939.html
[Mastodon (mathstodon)]
https://mathstodon.xyz/@Fujimoto/11681856554
[Nostr (NIP-23 long-form, 4/5 relay accepted
https://njump.me/naddr1qvzqqqr4gupzq70yz2dpygdcr85r64z6gqupdn8zd2mzgjrpthdlvf628tjar6rlqy28wumn8ghj7un9d3shjtnyv9kh2ue
wd9hsz9nhwden5te0wfjkccte9ehx7um5wghxyctwvsqdykkz6t0wvkhqctsv4ez6vfk8yurkrc0
[GitHub (rei-aios repo)]
https://github.com/fc0web/rei-aios/commit/21ae6afac (Paper 169 publish commit)
https://github.com/fc0web/rei-aios/commit/cbtry 追加 commit)
https://github.com/fc0web/rei-aios/blob/main/papers/paper-169-idt-linear-recurrence-extension-DRAFT.md (paper raw)
https://github.com/fc0web/rei-aios/blob/maine-extension.ts (source code)