行為理学(Praxeophysics)知識体系

コアドキュメント一覧

flowchart LR
    Ch1["第1章 存在論<br>Prop 1.000–1.300<br>マルコフブランケット・自己主権"] --> Ch2["第2章 認識論<br>Prop 2.000–2.520<br>アポーハ述語・二諦・ルール分離"]
    Ch2 --> Ch3["第3章 個体目的論<br>Prop 3.000–3.310<br>行為公理・探索・逆精度推論"]
    Ch3 --> Ch4["第4章 社会目的論<br>Prop 4.000–4.600<br>対論倫理・シナラクティクス・退出"]
    Ch4 --> Ch5["第5章 実践仕様<br>Prop 5.000–5.400<br>Praxeophysics Protocol v4.1"]

概要

世の中の決まった型(画一的なルールや環境)に人間が我慢して自分を合わせるのではなく、一人ひとりの体質や得意・不得意に合わせて、部屋の環境やチームの組み方、ルールの側を自動で調整するための科学と技術の仕組みです

  • 第1章(自分を守る境界線): 人によって心地よい明るさや音、体調のリズムは違います。何が快適で何が辛いかを決める基準は、外部の組織や他人が決めるものではなく、あなた自身の心と体の中にあります(Prop_1.000, Prop_1.300)
  • 第2章(点数で決めつけない最小限のガードレール): 人間を「能力70点」のように1つの数字でまとめると、具体的な危険や得意なことが消えてしまいます。また人間の感覚のすべてをデータに書き尽くすこともできません(暗黙知)。そこでシステムには「これを超えると危険・苦痛」という最小限のガードレール項目(原子述語)だけを記録し、場面ごとのルールと切り離して扱います(Prop_2.220, Prop_2.520)
  • 第3章(こだわりの裏にある急所を自動で守る): 日々の無駄なストレスが減って安心できる土台ができると、人は自然と新しいことに挑戦したくなります。また、自分の弱点を直接書くのは気が引けるため、「好きなこと・強くこだわること」を入力するだけで、その裏返しで許容幅が狭く疲れやすいポイントをシステムが逆算して守ります(逆精度推論:Prop_3.310)
  • 第4章(駆け引きや無理な妥協をなくして協力する): 信頼できる相手には必要な項目だけを見せ(選択的開示)、交渉ごとでは手の内(留保価格)を隠したまま暗号で確認します(ゼロ知識証明)。もしお互いの譲れない条件が真っ向からぶつかって両立できないときは、無理に同じ場所で我慢させずスムーズに別々の環境・編成へ分けます(摩擦なき退出と棲み分け:Prop_4.400)
  • 第5章(4つのステップで環境と関係性を合わせる): ①計測や設定から自分の条件を取り込み(Ingestion)、②手元の個人データ保管庫にしまい(Storage)、③外から秘匿条件が逆算されないよう保護しながら相手のルールと照合し(Verification / 尤もらしい否認可能性)、④安全な環境設定や相性の良いチーム編成、公平な合意案を自動で出力します(環境適合と相互調整:Prop_5.000)

1. 全一覧テーブル

A. 全57命題一覧(1.000 〜 5.400)

番号AQAL命題タイトル要旨(gist)
1.000IT統計的分離境界と個体の存立すべての生物や個人は、周囲の環境と自分の間に明確な境界線を保つことで初めて自分自身として存在できる
1.100IT非平衡定常状態と自己組織化プロセス環境の変化の中で生命や自分らしさを保つとは、絶えず自分の状態を一定のバランス範囲へ戻し続ける働きそのものである
1.110ITマルコフブランケットの二界面構造自分と外の世界を隔てる境界線は、外から情報を受け取る「感覚」と外へ働きかける「行動」の2つの窓口で構成されている
1.111IT疎結合制約と直接干渉の不可能性個人の内部状態は、感覚窓口を通さずに外から直接書き換えられることはなく、行動窓口を通さずに外へ作用することもない
1.200I縁起(相互依存性)と実体的自性の不在個人と環境は境界線を挟んで相互に関係し合うことで成り立っており、孤立した不変の実体としては存在しない
1.210I外部自相の直接不可知性個人が直接受け取るのは境界上の感覚入力のみであり、外部世界の客観的状態を直接参照することはできない
1.220IT内部状態の動的無常性(非定常過程)個人の体調や認知の状態も一生変わらない固定したものではなく、時間や環境との関わりの中で絶えず変化し続けている
1.300I内部モデルの排他的自己主権と最小多様度の法則自分が何を心地よいと感じ何に苦痛を感じるかという固有条件の決定権は、外部の組織ではなくその人自身の内側に帰属する
2.000IT有限内部系における原子述語への高解像度分解限られた処理能力の中で個別のリスクを取りこぼさないため、情報を独立した細かい条件項目(原子述語)の組み合わせへ分解して管理する
2.100IT変分自由エネルギー最小化による生成モデル更新システムは、予想外のトラブルや不整合(摩擦)を最小限に抑えるように内部のモデルを絶えず更新する
2.110IT複雑性ペナルティと情報表現の最適化予測の正確さを保ちつつ処理負荷を減らすためには、情報を無駄のない最小単位の構造で表現する必要がある
2.200Iアポーハ(他者の排除)による概念境界の画定私たちが使う分類やラベルは、特定の目的に照らして「条件に合わないものを除外する」ことで引かれた機能的な境界線である
2.210I因果的効力の閾値に基づく二値述語関数条件を定義するとは、連続的な現実に「この基準を満たすか(1)/満たさないか(0)」という明確な判定ライン(述語)を設定する作業である
2.220I勝義諦(連続的実在・暗黙知)と世俗諦(記号的ガードレール)の二諦分離人間の感覚や技能には言葉やデータで書き尽くせない領域(暗黙知)が必ずあるため、システムの条件項目は「ここを超えると危険・苦痛」という最小限のガードレールとして使い、その内側は生身の柔軟なやり取りに委ねる
2.300IT単一スカラー値還元の否定と直交性の保全多様な特性やリスク条件を1つの点数やランクに集約すると、具体的にどの条件が満たされどの条件が危険なのかという情報が失われる
2.310IT型付き原子属性と遅延二値述語評価情報をシンプルかつ高解像度に保つ最良の形式は、独立したチェック項目や基準値のリストとして保持し、照合時に条件クリア(1か0か)を判定する構造である
2.320ITエポック再設定と旧証明の失効による無常への追従体調や特性が時間とともに変わったときは、手元の条件項目を「再設定(アップデート)」すると同時に、過去に出した古い証明を「失効」させることで、昔のラベルが外で使い回されるのを防ぐ
2.400I過剰精度による概念の実体視(過剰適合)と慢性的摩擦便宜上の仮のルールにすぎない規格や概念を「絶対不変のもの」として固定化すると、現実の変化や個人の状態に対応できなくなり慢性的な摩擦が生じる
2.410ITS画一的規格への過剰適応と生体予測誤差の棄却画一的な職場の型やルールに人間を無理やり押し込める仕組みは、身体や心が出しているSOSのサインを無視させ、個人の苦手な急所に持続的な消耗を引き起こす
2.500I空性による実体視の解除と精度の正則化「空(くう)」の認識論は、あらゆる評価基準が場面ごとの仮の道具にすぎないことを明らかにし、ルールへの固定的な思い込みを解きほぐす
2.510I不完全性定理と開かれたルール拡張の必然性どんなルールブックもそれ1つで世界のすべてを完全に決め切ることはできないため、ルールは常に外から新しい項目を追加・更新できる開かれた道具として扱う必要がある
2.520ITS個人の属性データと文脈ルールの構造的分離原則人間が1つの物差しに縛られないようにするためには、「その人がどういう特徴を持っているか(属性データ)」と「今の場面で何が求められているか(文脈ルール)」を完全に切り離して管理する必要がある
3.000I選好基準に基づく摩擦最小化としての行為人間の行動は、自分の内側にある選好基準や体調のバランスを保つために、周囲の環境とのズレや不快感を減らす働きである
3.100I期待自由エネルギー最小化と人間行為公理の双対性将来の予測誤差を減らす数理的な最適化計算は、本人の目線から見れば、今の居心地の悪さを解消するためにより良い選択肢を選ぶ行動と一致する
3.110I内部選好順序としての主観的価値何に価値があるかは対象の側に内在するのではなく、行為主体の内側にある選好の優先順位によって定まる
3.120I不可逆な時間における機会費用と時間選好時間は限られており一度に1つの行動しか選べないため、諦めた選択肢の価値がコスト(機会費用)となり、無駄な手戻りを早く解消したいという性質(時間選好)が生まれる
3.130IT実証された選好の境界表出個人が本当にどの条件を承認しているかは、外部の推測ではなく、本人が実際に選択・署名した行動の事実からのみ確定される
3.200I実利価値(摩擦解消)と認識価値(探索・学習)への分解人間の行動の目的は、すでに分かっている快適な条件を満たすこと(実利価値)と、新しい環境を試して学びを得ること(認識価値)の2つから成り立っている
3.210I安全境界の保全による探索・創造性の解放致命的なダメージや消耗を受ける心配がない安全なバリアが保たれているとき、人は安心して新しい挑戦を行い自分の可能性を広げることができる
3.300I有限精度(注意資源)の配分と死角の必然的発生人間の集中力やエネルギーの総量には限りがあるため、ある分野に高い集中力や強みを発揮すると、その裏返しとして別の分野に見落とし(死角)や過敏さが生じる
3.310I強みと脆弱領域の相反性と動的境界学習強くこだわる得意領域の裏返しとして許容幅が狭く消耗しやすい急所(保護境界)が存在しており、その保護バリアはポジティブなこだわり配分からの逆精度推論と、日々の生活での負荷記録から動的に学習される
4.000WE複数自律系の協働における所有境界と選択的透過性複数の主体が互いの自律性を保ちながら協力するためには、それぞれの境界線(所有権)を認め合い、場面の利害に応じて見せる情報と伏せる情報を制御できる通信規約が必要である
4.100WE複数マルコフブランケットの能動・感覚結合複数の人が同じ空間や組織で関わるとき、ある人の行動や出力はそのまま相手の感覚への入力刺激として届く
4.110WE共通オントロジーによる生成モデルの同期共通の辞書(オントロジー)やルール定義を共有することで、お互いの条件を正確に理解し合い、すれ違いや手戻りを減らすことができる
4.200WE物理的希少性と境界間衝突の不可避性空間や予算などの資源には限りがあるため、複数の人が同じ資源を別々の目的で同時に使おうとすれば必ず衝突(トラブル)が生じる
4.210WE対論倫理と身体的・情報的自己所有権の前提暴力ではなく話し合いと合意によって問題を解決しようとするあらゆる実践は、すでに「互いの身体と内部情報は本人のものである」という自己所有権を前提としている
4.211WE境界否定命題の遂行的矛盾「個人の主権や自己所有権は存在しない」と議論で主張する行為は、議論するという行為自体によって相手の自律性を前提としてしまっているため自己矛盾に陥る
4.220ITS拡張されたマルコフブランケットとしての所有境界所有権や個人の管理領域の境界線は、複数の人間が衝突せずに見通しをもって共存し協力するための基本的な境界条件である
4.300ITS利害非対称下での情報露出リスクと耐戦略的メカニズム(誘因両立性)交渉の場で手の内(妥協限界)を晒せば相手に足元を見られ、また「お互いの申告額の真ん中で決める」という単純なルールにすると双方が嘘の金額を申告するようになる。正直に条件を登録することが一番得になる仕組み(耐戦略性)が必要である
4.400WE自発的交換によるパレート改善と充足不能(UNSAT)時の摩擦なき退出お互いの条件が噛み合うときは協力によって双方が得をし、逆にお互いの譲れない条件が真っ向からぶつかって両立できないとき(解なし)は、無理に同じ場所で我慢させずスムーズに別々の環境・ペアへ分かれる(棲み分け)ことが最善の解決となる
4.410ITSカタラクティクスとシナラクティクスの相補性市場の「価格(カタラクティクス)」は商品の売買情報を伝えるのに優れているが、お金に換算できない「生体や環境・認知の相性」を相互調整するには原子述語による非価格プロトコル(シナラクティクス)が必要となる
4.500ITS定住型略奪者のゲーム理論的ナッシュ均衡圧倒的な力や情報基盤を持つ独占主体にとっては、一度にすべてを奪うよりも、領域を独占して秩序を保ちながら継続的に利益やデータを吸い上げる方が長期的に最も得をするという安定均衡が存在する
4.510ITS単独離脱リスク極大化による悪しき局所最適解への拘束独占側の力が強すぎるとき、個人で逆らったり抜け出したりすると生活や居場所を失うリスクが高すぎるため、不利益を被っていても「現状に従うこと」が目先の生き残り策として選ばれてしまう
4.520WE外部規格の実体視による強制執行コストの削減支配する側は力で押さえつけるだけでなく、「決められた単一の規格に従うのが当然の正義だ」という思い込みを人々に内面化させることで、監視や強制のコストを大幅に減らして支配を安定させる
4.600ITSマクロ統計モデルによる集合評価とミクロ自己主権型基盤の相補性合成ペルソナ等による大規模統計シミュレーションは製品や施策の事前評価に有効であり、生身の個人が実生活の摩擦を減らすには本人が手元でデータを管理する自己主権型基盤が必要となる
5.000ITS個人起点の環境適合・相互調整プロトコル一人ひとりの固有条件を出発点として、物理環境を個人に「環境適合」させ、対人関係や制度条件を「相互調整」するための技術基盤として『Praxeophysics Protocol』が構成される
5.100ITS認識論的分離と選択的境界保護による支配アトラクタからの相転移人間を型に押し込める古い仕組みを変えるには、①個人のデータと場面ごとのルールを切り離して1つの物差しへの固定化をなくすことと、②場面に応じて必要な項目だけを見せるか暗号で中身を隠して証明するかを本人が制御できることの2つが必要である
5.110ITSプロトコルの5大基本設計原則と4大パイプライン本プロトコルは、①個人の固有条件を出発点にすること、②独立した原子述語で表すこと、③個人の属性データと場面ごとのルールを切り離すこと、④相互作用の摩擦を最小にすること、⑤特定の技術基盤に依存しないことの5原則に基づき、受入・保管・検証・出力の4段階で構成される
5.200IT第1・第2パイプライン(Ingestion & Storage)の基本構造プロトコルの前半部分である「受入・変換」と「保管・管理」は、外にある診断や計測データを細かい条件項目(原子述語)に整理し、本人の手元のデジタル金庫に安全に保管する役割を担う
5.210ITIngestionの仕様:型付き原子述語への直交分解とエポック再設定外部から取り込んだデータは、1つの点数にまとめることなく細かい0/1フラグや基準値(原子述語)へ分解して保存し、体調や環境が変わったときはいつでも再設定(アップデート)できる
5.220I逆精度推論と動的境界学習による保護境界の導出本人が答えやすい「好きな環境やこだわりの強さ」から、精度と許容幅の反比例の法則で「消耗しやすい急所(保護バリア)」を逆算推論し、日々の生活での負荷記録からその人だけの正確なバリアへと自動調整していく
5.230ITStorage(Holder)の仕様:自己主権保管・ルール分離・失効管理本人が確認したデータは手元のデジタル金庫(Holder)だけに保管して場面ごとのルールと完全に切り離し、データを再設定したときは過去に出した古い証明を失効させて昔のラベルが一人歩きするのを防ぐ
5.300ITS第3・第4パイプライン(Verification & Reconciliation/Alignment)の基本構造プロトコルの後半部分である「照合・検証」は、場面に応じて必要な項目だけを見せるか暗号で中身を隠して合格だけを証明するかを選んで条件クリアを確認し、続く「すり合わせ・適合出力」が環境や人間関係の具体的な調整指示を発行する
5.310ITSVerificationの仕様:選択的開示・ゼロ知識証明・尤もらしい否認可能性検証段階では「最小限の開示」と「ゼロ知識証明」を使い分け、さらに結果として出力された設定から秘匿すべき内部属性や制約条件が周囲に逆算されないよう、「単なる日常の好み」と「保護すべき事情」が外からは見分けがつかないように出力を束ねる
5.320WE横断基盤:個人専用エージェント(Personal Agent)と4段階A2A交渉本人の端末内で本人の利益だけを守る「個人専用エージェント(AI)」が、会話の履歴や余計な個人情報を外に流さない4ステップの通信だけで、相手のシステムやAIと自動的に条件のすり合わせを行う
5.330WEAdapterの仕様:環境適合・相互調整・耐戦略的合意・UNSAT時の摩擦なき分離「Adapter」は、①物理環境を個人に「環境適合」させ、②相補的なペア編成やインターフェース分離を「相互調整」し、③独立参照基準による「耐戦略的合意」を実行し、もし双方の必須条件が両立しない(UNSAT)と分かったときは別々の環境や編成へスムーズに分ける指示を出す
5.400ITS適応学習閉ループの完結と多中心的自生秩序の創発データの受入・保管・検証・出力の4つのパイプラインが、実際の生活や挑戦の結果を受けて手元の条件をアップデートし続けるサイクルとして回るとき、日常の安心と新しい挑戦が両立し、多様なコミュニティが自律的に調和する社会が実現する

B. 用語辞書(DefinedTerm:全57件 — 領域順)

領域用語(ja)英語表記(en)定義(gist)
0_体系主題適応Adaptationシステムが自らの境界(マルコフブランケット)を保全しつつ、内部状態の更新と能動的介入の双方を通じて環境との摩擦(変分自由エネルギー)を低減し続ける動的定常プロセス
1_存在論マルコフブランケットMarkov Blanket内部状態と外部状態を統計的に条件付き独立へと分離する選択的透過境界であり、感覚状態(入力界面)と能動状態(出力界面)から構成される構造
1_存在論最小多様度の法則Law of Requisite Variety制御系が系の安定を維持するためには制御側の多様度が対象の多様度以上でなければならず、高多様な個人群を低多様な単一規格で制御することは不可能であるという情報理論の法則
1_存在論縁起Dependent Originationあらゆる事象が単独で存在する本質を持たず、境界と履歴を介した相互依存関係においてのみ成立している構造
1_存在論自相Particular (Svalakṣaṇa)独自の因果的効力(arthakriyā)を持ち、瞬間ごとに生成消滅する個別具体的な物理的実在
1_存在論選択的透過性Selective Permeability境界(マルコフブランケット)が内部を保護しつつ、必要な情報やエネルギーのみを選択的に通過させる性質
1_存在論非平衡定常状態Nonequilibrium Steady State (NESS)熱力学的な散逸に抗して、システムが環境との間でエネルギーと情報を交換しながら自己の構造と確率分布を一定範囲に維持し続けている状態
2_認識論アポーハApoha (Exclusion of Others)普遍者の実在を仮定せず、特定の因果的効力(リスクや目的の閾値)に照らして非Aを排除することで二値的な判定境界を画定する概念構成操作
2_認識論不完全性定理Incompleteness Theoremゲーデルが証明した数理論理学の定理であり、実効的な形式ルール体系が自己の内部だけで完結・自己正当化できないことの証明
2_認識論予測誤差Prediction Error (Surprise)内部モデルによる予測(または選好基準)と実際の感覚入力との間に生じるズレや不整合(摩擦)
2_認識論二諦Two Truths連続的・刹那的な物理プロセスである勝義諦と、アポーハ的分節によって構成された記号モデルである世俗諦の二層構造
2_認識論共相Universal (Sāmānyalakṣaṇa)思考や言語のためにアポーハ(他者の排除)によって構成された離散的な記号的仮構
2_認識論因果的効力Causal Efficacy (Arthakriyā)特定の目的を達成したり不快を解消したりする具体的な働きであり、実在(自相)と概念境界を規定する基準
2_認識論変分自由エネルギーVariational Free Energy (VFE)感覚入力のサプライズの上界となる情報量測度であり、モデルの複雑性と予測の正確性の差として定義される目的関数
2_認識論属性データと文脈ルールの構造的分離Attribute-Rule Structural Separation個人の状態記述(属性データ)と特定の文脈における判定規則(文脈ルール)を構造的に完全分離する原則
2_認識論戯論Reification (Prapañca)世俗的な仮設にすぎない概念や規格を絶対の実体と誤認し、慢性的な摩擦を生む認識の硬直
2_認識論暗黙知Tacit Knowledge (Non-Symbolic Margin)ポランニーが定式化した概念であり、明示的な言語や原子述語として記述しきれない身体的感覚・実践的知識の領域
2_認識論生成モデルGenerative Model感覚入力の背後にある外部の原因や将来の状態を推論するために個体の内部に保持される確率モデル
2_認識論空性Emptiness (Śūnyatā)いかなる概念や形式ルール体系も固有の自性や自己完結性を持たないという性質であり、概念の実体視を解除してルールを仮設的道具へと戻す高階の正則化原理
2_認識論自性Intrinsic Nature (Svabhāva)他の条件や履歴に依存せず、それ自体で独立・不変に存在すると想定される実体的本質
2_認識論過剰適合Overfitting高次の概念カテゴリーや外部規格に対して過剰な精度が割り当てられ、感覚エビデンス(予測誤差)によるモデル更新が停止した硬直状態
3_個体目的論主観的価値Subjective Value価値は事物の側に客観的に内在するのではなく、行為主体の内部モデルにおける選好順序によって定まるという原理
3_個体目的論実利価値(活用)Pragmatic Value (Exploitation)期待自由エネルギーの第1項であり、既知の選好基準を満たして日常の不快や摩擦を解消することによって得られる価値
3_個体目的論実証された選好Demonstrated Preference外部から直接観測不能な主観的選好は、実際の能動的選択(承認・署名・行動)によって境界上に表出された事実からのみ導出される原理
3_個体目的論時間選好Time Preference同一の目的達成において、より遠い未来の充足よりも早期の摩擦解消を選好する人間行為の時間的性質
3_個体目的論期待自由エネルギーExpected Free Energy (EFE)将来の方策を選択する際に最小化される関数であり、既知の選好を実現する実利価値(活用)と未知の不確実性を減らす認識価値(探索)の和
3_個体目的論機会費用Opportunity Costある方策を選択した際に、そのために断念された次善の代替案が持っていた主観的価値
3_個体目的論正規化残余負荷とホメオスタシス容量Allostatic Load & Homeostatic Capacity未解消の変分自由エネルギーの蓄積である正規化残余負荷 L(t) ∈ [0, 1) と、許容半径を規定する残余容量 C(t) = 1 - L(t)
3_個体目的論精度重み付けPrecision Weighting予測誤差に対する統計的重み(分散の逆数)であり、有限な資源制約の下で特定領域への集中が対極領域の感度低下(死角)を伴う配分機構
3_個体目的論行為公理Axiom of Human Action人間は現在の不満足を解消しより満足できる状態へ移行するために希少な手段を用いて目的を追求するという人間行為学の基底公理
3_個体目的論認識価値(探索)Epistemic Value (Exploration)期待自由エネルギーの第2項であり、未知の環境や課題に触れて不確実性を減らし内部モデルを拡張する(情報利得を得る)価値
3_個体目的論選好分布(固有条件)Preference Prior個体が生命維持や活動の快適さのために内部に保持している先験的な選好の確率分布および固有の基準
4_社会目的論カタラクティクスとシナラクティクスCatallactics & Synallactics価格シグナルによる交換可能財の市場秩序(Catallactics)と、原子述語プロトコルによる非価格境界条件の相互調整秩序(Synallactics:古代ギリシャ語 synallassō に由来)の相補構造
4_社会目的論パレート改善Pareto Improvement誰の状態も悪化させることなく、少なくとも一方(自発的交換においては双方)の摩擦を減らし状態を改善する変化
4_社会目的論多中心的秩序Polycentric Order単一の独占的頂点を持たず、複数の自律的なルール形成単位が並存・競合しながら相互適応する自生的なガバナンス秩序
4_社会目的論定住型略奪者Stationary Bandit領域内の強制力を独占し、生産活動を維持させながら定常的に収奪を行うことで長期利得を最大化する独占主体
4_社会目的論対論倫理Argumentation Ethics命題的な対論(合意形成)の実践そのものが、対話者双方の身体的・情報的自己所有権を不可避に前提としているという論証体系
4_社会目的論摩擦なき退出と棲み分けFrictionless Exit & Sorting複数主体の必須境界条件が論理的に同時充足不能(UNSAT)となった際、無理な妥協を強行せずペナルティなしで別空間・別編成へ分離する安全弁
4_社会目的論留保価格(妥協限界)Reservation Price取引や和解交渉において、買い手の最高支払限度額または売り手の最低受入限度額を表す内部の限界条件
4_社会目的論耐戦略性Strategy-Proofness (Myerson-Satterthwaite)合意価格が申告値の単純平均等で決まると虚偽申告の誘因が生じるという不可能性定理を踏まえ、申告値から独立した参照基準を用いて正直な表明を最適化する設計
4_社会目的論自己所有権Self-Ownership個人の身体および内部情報(マルコフブランケット)に対する排他的な制御権であり、あらゆる合意形成の遂行的前提となる権利
4_社会目的論誘因両立性Incentive Compatibility各主体が自己の真の内部条件を偽らずに保持・表明することが、搾取や不利益を招かず自身の摩擦最小化にとって最適戦略となるメカニズムデザインの性質
4_社会目的論遂行的矛盾Performative Contradiction主張内容が、その主張を行うという行為自体の成立前提と矛盾することによって自己論駁に陥る論理的過誤
5_実践仕様エポック再設定(失効管理)Epoch Re-configuration & Revocation体調や価値観の変化に応じて手元の原子述語を更新すると同時に、過去に発行した古い証明を失効(Revoke)させるライフサイクル機構
5_実践仕様ゼロ知識証明Zero-Knowledge Proof (ZKP)利害の非対称性や収奪リスクが存在する文脈において、手元の生データや留保条件を開示することなく条件充足 R_c(x) = 1 のみを数学的に証明する暗号技術
5_実践仕様保管・管理(Storage / Holder)Storage & Holder Pipeline承認・署名された原子述語群を本人の管理下にある保管庫(Vault / PDS)で排他保持し、文脈ルールとの分離と失効管理を担う第2パイプライン
5_実践仕様個人専用エージェント(A2A)Personal Agent & A2A Negotiation個人の端末内で本人の摩擦最小化のみに忠実に稼働し、構造化された4段階ハンドシェイクで外部システムと自動合意を形成する横断基盤
5_実践仕様動的境界学習Dynamic Boundary Learning固定的な性格類型に頼らず、ポジティブ選好からの初期推論と実生活での疲労・摩擦ログのフィードバックによって保護境界をベイズ更新する機構
5_実践仕様原子述語Atomic Predicate独立した型付き原子属性(二値フラグ・数値閾値・区間等)としてカプセル化され、検証時に二値述語 R_c(x) ∈ {0, 1} として評価される最小単位の条件表現
5_実践仕様受入・変換(Ingestion)Ingestion Pipeline外部の多様な診断・計測データを受信し、共通オントロジーに対応づけて独立した原子述語へと分解・正規化する第1パイプライン
5_実践仕様尤もらしい否認可能性Plausible Deniability & Differential Privacy最終的な環境出力から個人の秘匿すべき内部属性や制約条件がベイズ逆算されるリスクを抑えるため、保護条件と日常の単なる選好を同一の出力クラスへ束ねる秘匿設計
5_実践仕様照合・検証(Verification)Verification Pipeline文脈の利害対称性に応じて選択的開示またはゼロ知識証明(ZKP)を実行し、条件充足の真偽を判定する第3パイプライン
5_実践仕様環境適合Environmental Alignment単一の行為主体の固有条件(選好基準 μ_d と許容半径 r_d)に基づき、外部の物理環境・設備・情報提示等のパラメータを一致させる最適化操作
5_実践仕様相互調整Complementary Reconciliation複数の行為主体間において、各主体の保護境界制約を同時に満たし系全体の摩擦の総和を最小化する相補的合意パラメータの導出操作
5_実践仕様相互調整・環境適合アダプタReconciliation & Alignment Adapter検証結果に基づき、Domain I(環境適合)、Domain II(相互調整)、または Domain III(耐戦略的合意)を発行する第4パイプラインのモジュール
5_実践仕様逆精度推論Inverse Precision Inference有限注意資源の精度保存則と分散の逆数関係(r_d(t) = √(2(1-L(t))/Π_d))に基づき、ポジティブな選好・高こだわり配分(高Π_d)から許容幅が狭くなる保護境界候補を導出する機構
5_実践仕様選択的開示Selective Disclosure利害が一致する協調文脈において、保持する全属性のうち関係する最小限の項目のみを切り出して提示する軽量な検証方式

C. 主要人物一覧(Person:全15件)

人物名(ja)英語表記(en)領域概要(gist)
カール・フリストンKarl J. Friston1_存在論(情報熱力学・FEP)自由エネルギー原理(FEP)および能動的推論の提唱者であり、マルコフブランケットに基づく自己組織化力学を定式化した神経科学者
ナーガールジュナ(龍樹)Nāgārjuna2_認識論(中観論理学)『中論』の著者であり、事象の固有的本質(自性)を帰謬法によって否定し、縁起・空性・二諦説および戯論の批判体系を確立した思想家
ダルマキールティ(法称)Dharmakīrti2_認識論(因明・認識論)自相(因果的効力を持つ刹那的実在)と共相(アポーハ的仮構)を峻別し、仏教認識論を体系化した思想家
ディグナーガ(陳那)Dignāga2_認識論(因明・論理学)『集量論』の著者であり、概念が普遍者の写像ではなく他者の排除(アポーハ)によって構成されることを示した論理学者
クルト・ゲーデルKurt Gödel2_認識論(数理論理学)不完全性定理を証明し、十分な算術的強度と実効性を持ついかなる形式公理系も自己の内部で完結・自己正当化できないことを示した論理学者
マイケル・ポランニーMichael Polanyi2_認識論(科学哲学・暗黙知論)「人は語ることができるより多くのことを知っている」として暗黙知(Tacit Knowledge)を定式化し、明示的記号への完全還元が不可能であることを示した科学哲学者
ルートヴィヒ・フォン・ミーゼスLudwig von Mises3_個体目的論(人間行為学)不満足の解消を目指す目的論的行為公理から、主観的価値論、時間選好、市場交換(カタラクティクス)を演繹した経済学者
マレー・ロスバードMurray N. Rothbard3_個体目的論(人間行為学)行動選択のみから選好を特定する実証された選好理論を定式化し、自己所有権と厚生理論を再構築した経済学者
ロジャー・マイヤーソンRoger B. Myerson4_社会目的論(メカニズムデザイン・ゲーム理論)私的情報下での双方向取引におけるマイヤーソン=サタスウェイトの不可能性定理および誘因両立的メカニズムを確立した経済学者
アルバート・ハーシュマンAlbert O. Hirschman4_社会目的論(制度経済学・組織論)組織や制度の不適応に対する反応として「退出(Exit)」と「発言(Voice)」の力学を定式化し、退出可能性が秩序の健全性を保つことを示した経済学者
マンサー・オルソンMancur Olson4_社会目的論(制度経済学)集合行為論および定住型略奪者モデルを提唱し、強制力独占のゲーム理論的安定性を解明した経済学者
エリノア・オストロムElinor Ostrom4_社会目的論(制度経済学)単一中枢支配によらず、複数の自律的ルール形成主体が相互適応する多中心的ガバナンスの有効性を実証した政治経済学者
ハンス=ヘルマン・ホッペHans-Hermann Hoppe4_社会目的論(対論倫理学)対論の実践が自己所有権を不可避の前提としており、その否定が遂行的矛盾に陥ることを証明した社会哲学者
フリードリヒ・ハイエクFriedrich A. Hayek4_社会目的論(社会哲学)社会に分散した知識の伝達機構としての価格体系と、人為的設計を超えた自生的秩序の理論を確立した経済学者
シンシア・ドワークCynthia Dwork5_実践仕様(暗号学・差分プライバシー)出力結果からの統計的逆算攻撃を防ぐ「差分プライバシー(Differential Privacy)」を確立し、出力段階における情報保護の数理基軸を築いた計算機科学者

D. 参照文献一覧(ScholarlyArticle:全21件)

文献タイトル(en)著者要旨(gist)URL
Friston (2019) A free energy principle for a particular physicsKarl J. Fristonマルコフブランケットによる個体の統計的分離から変分自由エネルギーおよび期待自由エネルギーを導出した基礎モノグラフhttps://doi.org/10.48550/arXiv.1906.10184
Parr, Da Costa, & Friston (2020) Markov blankets, information geometry and stochastic thermodynamicsThomas Parr, Lancelot Da Costa, Karl J. Fristonマルコフブランケットを持つ力学系において内部状態が統計多様体をパラメータ化し、情報処理と確率的熱力学が直接結合することを証明した論文https://doi.org/10.1098/rsta.2019.0159
Laukkonen, Friston, & Chandaria (2025) A beautiful loop: An active inference theory of consciousnessRuben E. Laukkonen, Karl J. Friston, Shamil Chandaria推論間の精度競争と全階層の重み付けを制御するハイパーモデル、および脱構築による精度緩和を定式化した論文https://doi.org/10.1016/j.neubiorev.2025.106296
Deane, Miller, & Wilkinson (2020) Losing Ourselves: Active Inference, Depersonalization, and MeditationGeorge Deane, Mark Miller, Sam Wilkinson二次的精度の調整と、高次モデルの硬直化が引き起こす不適応および予測誤差の蓄積を分析した論文https://doi.org/10.3389/fpsyg.2020.539726
Vasil et al. (2020) A World Unto Itself: Human Communication as Active InferenceJared Vasil et al.複数のマルコフブランケットが協調的通信を通じて境界を保ちつつ生成モデルを整合させる過程を定式化した論文https://doi.org/10.3389/fpsyg.2020.00417
Westerhoff (2024) Nāgārjuna (Stanford Encyclopedia of Philosophy)Jan Christoph Westerhoff (on Nāgārjuna)ナーガールジュナにおける自性の否定、縁起、空性、二諦説、および空そのものを固定見解とすることへの警告(MMK 13.8)を解説した学術事典項目https://plato.stanford.edu/entries/nagarjuna/
Tillemans (2021) Dharmakīrti (Stanford Encyclopedia of Philosophy)Tom Tillemans (on Dharmakīrti & Dignāga)自相と共相の峻別、因果的効力(arthakriyā)、アポーハ排除論を解説した学術事典項目https://plato.stanford.edu/entries/dharmakiirti/
Gödel (1931) Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IKurt Gödel十分な算術的強度と実効性を持つ無矛盾な形式体系には決定不能命題が存在し、体系自身の無矛盾性を内部で証明できないことを示した古典論文https://doi.org/10.1007/BF01700692
Mises (1949/1998) Human Action: A Treatise on EconomicsLudwig von Mises不満足解消を目指す目的論的行為公理から主観的価値、時間選好、価格計算を演繹した人間行為学の原典https://mises.org/library/book/human-action
Rothbard (1956/2011) Toward a Reconstruction of Utility and Welfare EconomicsMurray N. Rothbard行動選択から選好を導く実証された選好を定義し、自発的交換の厚生増大を証明した論文https://mises.org/library/book/economic-controversies
Komendarczyk et al. (2026) A Formalization of Austrian Economics: Praxeological FoundationsRafał Komendarczyk et al.ミーゼスの行為公理と選好順序を多ソート一階述語論理およびLean 4で公理化した論文https://doi.org/10.48550/arXiv.2606.18292
Dominiak (2023) Argumentation Ethics, Self-Ownership, and Hohfeldian Analysis of RightsŁukasz Dominiak対論における自己所有権の前提と、その否定命題が陥る遂行的矛盾を形式論理化した論文https://repozytorium.umk.pl/handle/item/6845
Olson (1993) Dictatorship, Democracy, and DevelopmentMancur Olson定住型略奪者が暴力独占と継続的徴税によって長期利得を最大化する均衡を示した古典論文https://doi.org/10.2307/2938736
Ostrom (2010a) Beyond Markets and States: Polycentric Governance of Complex Economic SystemsElinor Ostrom複数の自律的ルール形成単位が相互調整を行う多中心的システムの有効性を実証した論文https://doi.org/10.1257/aer.100.3.641
Ostrom (2010b) Polycentric systems for coping with collective action and global environmental changeElinor Ostrom単一中枢支配ではなく多元的な独立主体によるルール形成と学習効果を定式化した論文https://doi.org/10.1016/j.gloenvcha.2010.07.004
Li et al. (2026) MatrAIx: Simulating the World with 8.3 Billion Persona AgentsZ. Li et al.人間の多様な属性を1,290次元の離散カテゴリへ分解し人口規模シミュレーションを可能にした研究https://doi.org/10.48550/arXiv.2608.04205
W3C Recommendation (2025) Verifiable Credentials Data Model v2.0W3C選択的開示およびゼロ知識証明によって条件充足性を検証するクレーム標準仕様https://www.w3.org/TR/vc-data-model-2.0/
Polanyi (1966) The Tacit DimensionMichael Polanyi人間の認識と技能の根底には明示的な記号や規則に還元できない「暗黙知」が存在することを論証した古典著作https://archive.org/details/tacitdimension00pola
Dwork (2006) Differential PrivacyCynthia Dworkクエリやアルゴリズムの出力結果から個別の入力レコードの有無や属性値が逆算されるリスクを数学的に抑える差分プライバシーを定義した原典論文https://doi.org/10.1007/11787006_1
Myerson & Satterthwaite (1983) Efficient Mechanisms for Bilateral TradingRoger B. Myerson, Mark A. Satterthwaite双方が私的情報(留保価格)を持つ二者間交渉において、誘因両立性・個人合理性・予算均衡・事後効率性の4つを同時に満たす単純な価格決定式は存在しないことを証明した基本論文https://doi.org/10.1016/0022-0531(83)90048-0
Hirschman (1970) Exit, Voice, and Loyalty: Responses to Decline in Firms, Organizations, and StatesAlbert O. Hirschmanシステムや組織において不整合が生じた際、内部での調整(Voice)と外部への離脱(Exit)が果たす相補的役割を解明した古典著作https://archive.org/details/exitvoiceloyalty0000hirs

2. インタラクティブ・データベースビュー


3. レイヤー別セクション埋め込み

1.000: 統計的分離境界と個体の存立 (Statistical Boundary and Individuated Existence)

平易な解説

自分と周囲の環境の間に境界がなければ、身体も意識も環境へ拡散して消滅します。生物や個人の意識、また個人の情報空間において、内側の領域と外側の環境を分ける境界線を維持し続けることが個体存立の第一条件となります


Link to original

2.000: 有限内部系における原子述語への高解像度分解 (Orthogonal Decomposition into Atomic Predicates in Finite Systems)

平易な解説

生体反応や環境条件には無数の次元が存在します。システムが個別のアレルギーや感覚過敏などの重大な境界条件を取りこぼさずに処理するためには、事象を独立した最小単位の条件項目(原子述語)へと直交分解して保持する構造が必要となります


Link to original

3.000: 選好基準に基づく摩擦最小化としての行為 (Action as Friction Minimization Based on Preference Criteria)

平易な解説

行為主体は、現在の状態と自身の選好基準との間に生じる不整合(不満足・摩擦)を解消し、より適合した状態へ移行するために環境へ働きかけます。人間行為学における不満足の解消と、自由エネルギー原理における能動的推論は、同一の適応プロセスを内面と外面から記述した双対関係にあります


Link to original

4.000: 複数自律系の協働における所有境界と選択的透過性 (Property Boundaries and Selective Permeability in Multi-Agent Cooperation)

平易な解説

マルコフブランケットは、内部状態を保護しつつ外部と必要な情報・エネルギーをやり取りする選択的透過境界です。複数の主体が協働する際には、互いの境界の排他的制御権(自己所有権)を前提とした上で、協調場面での最小開示と競合場面での秘匿証明を切り替えられる通信規約が不可欠となります


Link to original

5.000: 個人起点の環境適合・相互調整プロトコル (Individual-Origin Environmental Alignment and Complementary Reconciliation Protocol)

平易な解説

個人の手元で管理される固有条件(原子述語群)を基準とし、外部の物理環境・対人編成・社会制度の側を動的に調整するプロトコルです。単一の環境・設備に対してはパラメータを一致させる適合(Alignment)を行い、複数の主体が関わる場面では双方の境界条件を同時に満たすすり合わせ(Reconciliation)を実行します


Link to original

5.000: 個人起点の環境適合・相互調整プロトコル

プロトコル実装仕様

  • 役割: 第1章〜第4章の理論体系を具体的な情報処理アーキテクチャへと結実させる第5章の主命題
  • 適応(Adaptation): 境界を保ちつつ内部更新と環境介入を通じて摩擦を低減し続ける全体プロセス
  • 適合(Alignment): 個人の固有条件を基準に単一の物理環境・道具のパラメータを合わせる操作
  • すり合わせ(Reconciliation): 複数主体間で双方の保護境界を満たし全体の摩擦を最小化する合意導出操作

Link to original

5.100: 認識論的分離と選択的境界保護による支配アトラクタからの相転移

プロトコル実装仕様

  • 役割: なぜ「属性とルールの分離」と「手元保管・選択的検証」の両方がプロトコルに揃っている必要があるのかを示す命題
  • 2大機構の統合:
    • 認識論的分離: 個人の属性データ(Storage)と文脈ルール(Adapter)の完全分離
    • 選択的境界保護: 手元保管と、利害構造に応じた選択的開示・ゼロ知識証明の実行

Link to original

5.110: プロトコルの5大基本設計原則と4大パイプライン

プロトコル実装仕様

  • 役割: 第1章〜第4章の理論命題が『基本設計仕様書(v4.0.0)』の5原則および4パイプラインと1対1で対応することの証明
  • 4大機能パイプライン:
    1. 受入・変換(Ingestion)
    2. 保管・管理(Storage)
    3. 照合・検証(Verification)
    4. すり合わせ・適合出力(Reconciliation & Alignment)

Link to original

5.200: 第1・第2パイプライン(Ingestion & Storage)の基本構造

プロトコル実装仕様

  • 役割: 基本データフローの前半2ステップ(Ingestion と Storage)の全体像とモジュール接続の定義
  • モジュール構成:
    • 1. Ingestion: 1-1. Importer(受信) 1-2. Mapper(辞書対応) 1-3. Extractor(原子述語化)
    • 2. Storage: 2-1. Holder(本人承認・署名・ローカル保管・失効管理)

Link to original

5.210: Ingestionの仕様:型付き原子述語への直交分解とエポック再設定

プロトコル実装仕様

  • 役割: 1-1. Importer, 1-2. Mapper, 1-3. Extractor の具体的な入出力仕様と代替実装形態の規定
  • Importer: 外部独自データ(JSON, CSV, APIレスポンス等)を受信し構造化生データオブジェクトへ変換
  • Mapper: 外部属性名・評価尺度を共通オントロジー識別子(URI)へ射影
  • Extractor: 生データとMapper規則から原子述語配列 へ分解・正規化

Link to original

5.220: 逆精度推論と動的境界学習による保護境界の導出

プロトコル実装仕様

  • 役割: 弱みや病歴の直接入力を不要にし、ポジティブ入力と経験フィードバックから保護境界を構築するアルゴリズム仕様
  • ポジティブ入力(): 基準値 とその次元へのこだわり・集中度 を取得
  • 保護境界の自動導出と更新(): 高 次元の許容半径 を狭く設定して保護ガードレールとし、残余負荷 の変動に応じて自動伸縮させる

Link to original

5.230: Storage(Holder)の仕様:自己主権保管・ルール分離・失効管理

プロトコル実装仕様

  • 役割: 基本原則1(個人起点)と基本原則3(属性とルールの分離)および無常への追従を 2-1. Holder として実装する仕様
  • 担当モジュール: 2-1. Storage :: Holder (Vault / PDS)
  • 入力: 本人が確認・承認した原子述語配列
  • 出力: 署名済みクレーム、暗号コミットメント 、および旧エポック証明の失効ステータス
  • 実装形態: 端末ローカルSQLite、セキュアエンクレーブ、個人主権型PDS

Link to original

5.300: 第3・第4パイプライン(Verification & Reconciliation/Alignment)の基本構造

プロトコル実装仕様

  • 役割: 基本データフローの後半2ステップ(Verification と Reconciliation/Alignment)の全体像と管轄境界の定義
  • モジュール構成:
    • 3. Verification: 3-1. Prover(選択的開示またはZKP証明の生成) 3-2. Verifier(条件充足の真偽検証)
    • 4. Reconciliation & Alignment: 4-1. Adapter(適合パラメータおよびすり合わせ合意トークンの発行)
  • 管轄境界: プロトコルの管轄は適合パラメータや合意証明の発行までであり、実際の物理設備制御やサービス提供(Execution)は接続先の外部システムが担う

Link to original

5.310: Verificationの仕様:選択的開示・ゼロ知識証明・尤もらしい否認可能性

プロトコル実装仕様

  • 役割: 3-1. Prover と 3-2. Verifier の入出力仕様、およびW3C VCデータスキーマの規定
  • Prover: 原子述語配列 + 要求条件式 選択的開示クレームまたは暗号証明(zk-SNARK/STARK, TEE署名)
  • Verifier: Proof + 公開検証鍵 検証結果(Valid / Invalid)
  • W3C VCスキーマ構成: ontologyRef(辞書URI)、predicateCommitment(ペダーセンハッシュルート)、reconciliationProfile(対応Adapterと検証回路指定)を含む標準JSON-LD形式

Link to original

5.320: 横断基盤:個人専用エージェント(Personal Agent)と4段階A2A交渉

プロトコル実装仕様

  • 役割: すべての適用領域において個人の手元で動き、外部サービスと自動交渉を行う横断的エージェント仕様の定義
  • 1. Schema Exchange: 利用する共通オントロジー辞書のURIを確認
  • 2. Request Policy: 相手側が要求条件・判定ルール を提示
  • 3. Submit Proof: 選択的開示またはゼロ知識証明を提出
  • 4. Verify & Issue Settlement: 検証および環境適合パラメータ・相互調整合意トークンの発行

Link to original

5.330: Adapterの仕様:環境適合・相互調整・耐戦略的合意・UNSAT時の摩擦なき分離

プロトコル実装仕様

  • 役割: 「①身体・物理環境、②対人・チーム協働、③社会制度・合意形成」の3大ドメインにおけるAdapterの出力仕様の規定
  • 担当モジュール: 4-1. Reconciliation & Alignment :: Adapter
  • 入力: 検証結果(Valid / Invalid)+ 文脈ポリシー
  • 出力: 環境適合パラメータ(対環境)、相互調整合意トークン(対人間・制度)

Link to original

5.400: 適応学習閉ループの完結と多中心的自生秩序の創発

プロトコル実装仕様

  • 役割: 行為理学の理論とプロトコル仕様のすべてを閉ループとして統合し、体系全体を完結させる最終命題
  • 境界の保全(Storage & Verification): 手元の保管庫と選択的開示・ゼロ知識証明による自己主権の維持
  • 日常摩擦の最小化(Alignment & Reconciliation): 既知の固有条件に基づく物理環境の適合と対人・制度条件のすり合わせ
  • モデル拡張と再設定(Exploration & Re-configuration): 保護境界を維持した状態での新規文脈への接続と、経験フィードバックによる原子述語のエポック更新

Link to original