[第 7 部：統治・制度編]

自然言語の基準書でAIが4割食い違う理由｜一括請負を断つ二重台帳原価会計と形式言語法典

自然言語の基準書でAIが4割食い違う理由｜一括請負を断つ二重台帳原価会計と形式言語法典
 
作成日:
#行政改革#確定的制御#形式検証#システム設計#国家OS

結論：解釈不一致と中抜き予算を断つ2つの道

役所の給付審査、税務判定、医療・福祉の認定に至るまで、現在の日本では「曖昧な日本語の法令や要綱をそのまま残し、下請け業者が組んだ指示文（プロンプト）でAIに解釈させるシステム」への巨額予算投下が続いている。しかし最新の計算機科学研究は、自然言語の基準書をAIに読み込ませてプログラムへ変換させた場合、まったく同じAIモデル同士でさえ約4割の確率で異なる論理解釈を生み出すという致命的な欠陥を証明した。

加えて、官公庁のシステム契約は「年間一括請負・月額固定」のどんぶり勘定で発注されており、住民票の発行1件や審査1件にいくらのAI計算原価がかかったかを追跡する会計基準すら存在しない。この「担当者やタイミング次第で判定が変わる不確実な行政」と「中身の見えないIT中抜き浪費」から国民の権利と家計を守る道は、①今の日本の仕組みの中で誤判定への不服申し立てと高い税負担に耐え続ける道と、②法典そのものを最初から形式証明コードで記述し1処理単位の原価を完全公開する『AI国家』へ仕組みごと変える道の2つしかない。

現状：同じAIでも一致率59.3%の衝撃と日本の丸投げ

2026年11月に公開された世界の最新論文と産業実装データは、現在の日本政府や自治体が推進している「自然言語プロンプト頼みの行政AI化」と「一括定額のシステム調達」がいかに危うい砂上の楼閣であるかを冷徹な数値で暴き出している。

📊 自然言語AI解釈の限界と取引原価会計に関する世界の一次データ

・ 同じAIモデルでも自然言語基準からの論理一致率はわずか 59.3%（arXiv:2611.07073） : 医療の臨床試験プロトコル基準 96項目 をAI（仕様策定役）に読み込ませ、プログラムの正しさを数学的に証明する形式検証言語（Dafny）へ変換させた最新研究（When Verification Is Not Agreement）において、衝撃的な事実が判明した。能力差のない同一モデルを用いて同じ文章から独立に2回抽出させた場合でさえ、生成された論理仕様の一致率は 59.3% に留まり、残りの 40.7% で解釈の食い違いが発生したのである。さらに弱いモデルに仕様を定義させて強いモデルに実装させると、検証器を形式上パスするためだけの「抜け道コード」が生成され、真の合意なき誤判定が多発することが実証された。

・ 自己改良型AIの「16種類すべて」で発生した機能退行（arXiv:2611.07624） : 自らの指示文や構成を自動更新する代表的な 16種類 の自律型AIを検証した研究（Beneath the Surface）では、平均スコアが 5.2ポイント 上昇した事例の裏で、検証した 16種類すべて において「新しい課題が解けるようになる一方で、以前できていた基本課題が壊れる機能退行（Regression）」が確認された。

・ 1件の業務原価が誰にも分からないクラウド請求の欠陥と「二重台帳モデル」（arXiv:2611.06989） : 会計・財務工学の最新論文（The Two-Ledger Model）は、現在のクラウド・AI請求書が「月単位・品目（SKU）単位」で合算されているため、複数のAIが連携する業務において「1件の申請処理にいくらの計算資源を消費したか」という取引単位（トランザクション粒度）の原価が完全にブラックボックス化していると指摘し、インフラ請求台帳と業務記録台帳を直結する二重台帳会計を確立した。

・ 事前検索の高度化による処理データ量 90% 削減の実証（TechCrunch） : 民間では、米Box社がNvidiaの検索モデル『Nemotron』を組み込んだ新基盤によってAIが処理する文字データ量を 90%削減 しつつ、回答速度を 4倍 に引き上げ、誤答率を 20%削減 するコスト圧縮をすでに達成している（Box taps Nvidia’s Nemotron）。

翻って日本では、デジタル庁や各省庁・自治体が「なお従前の例による」「相当と認める場合」といった曖昧な日本語の法令・通達を一切改めないまま、多重下請けベンダーへ「AIを活用した審査支援システム」を数十億円単位の一括請負で発注し続けている。

原因：曖昧な日本語仕様書と一括請負会計という病巣

なぜ日本では、約4割も解釈が揺らぐ危険なシステムと、原価の数十倍に膨れ上がる不透明なIT予算が放置され続けているのか。構造的な真犯人は「自然言語による二段階翻訳の欠陥」と「取引原価を隠蔽する一括請負会計」の結合にある。

構造的欠陥の比較軸 現行日本の行政システム調達 国民・現場が被る実質的被害
法令・基準の記述形式 曖昧な日本語条文＋政省令・通達の継ぎ接ぎ AIや担当者ごとに4割超の解釈不一致（ガチャ行政）が発生
AIの組み込み方式 下請け業者が自然言語の指示文（プロンプト）で制御 通信データ量が10倍に膨張し、改修のたびに既存機能が退行
予算・会計の単位 年間保守・一括請負の固定どんぶり勘定 実原価「数銭〜数円」の処理に数十億円の公金が中抜き流出

第一の真犯人は、法律や行政基準の「正本」が曖昧な自然言語で書かれていること自体にある。前掲の Dafny 形式化論文が証明した通り、元の文章に解釈の余地がある限り、後からどれほど高度なAIや形式検証ツールを当てても「AIが元の日本語をどう解釈して数式に置き換えたか」の段階で 40.7% が食い違う。官僚が責任逃れのために意図的に残してきた玉虫色の条文が、そのままAI時代の最大のバグ発生源となっているのである。

第二の真犯人は、システム維持費における「原価追跡の不在」である。本来、最適化された検索基盤と確定動作モジュールを用いれば、定型的な行政審査1件あたりの計算実費は数銭から数円に過ぎない。しかし日本の官公庁会計は、実際に何件処理されたか、1件あたり何トークン消費したかを一切計測せず、「システム一式・年間保守費〇〇億円」という一括契約を結ぶ。この不透明な定額の器こそが、4次・5次下請けまでの中抜き階層を養い、国民の税金と社会保険料を際限なく吸い上げる温床となっている。

対策①：現実（今の日本の仕組み）での対策と、その根拠

現実での対策はこう。今の日本の法制度の中で個人や事業者が身を守るには、行政機関から不利益な処分や不採択通知を受けた際、情報公開請求および行政不服審査法に基づき「自動判定システムやAIが使用されたか」「どの審査基準条項に抵触したか」の書面開示を要求し、条文番号と客観的証拠を一対一で対応させた反論書を提出することである（個人・開発現場における確定ツール設計の詳細は「AIへの長いプロンプトは逆効果？Skillware装備・審査AI40%誤審・自己改良退行の対策」を参照）。

その根拠（なぜそれだけでは限界があるのか）はこう。どれほど申請者側が論理的な書類を整えても、受け取る行政側のシステムが「曖昧な日本語要綱をプロンプトや場当たり的な翻訳で処理する構造（一致率 59.3%）」である限り、窓口や審査タイミングによる不当な判定ブレを外部からゼロにすることは不可能だからである。さらに、一括請負契約によって毎年浪費される数千億円規模の行政システム予算は、個人の異議申し立てでは1円たりとも止められず、増税と負担増として強制徴収され続ける限界がある。

対策②：AI国家での対策と、その根拠

AI国家での対策はこう。日本の総資産1.4京円超（正味国富約4,549兆円）と200兆円の国内基盤投資枠を直結させ、行政・医療・税務の基幹業務における「自然言語プロンプトによるAI制御」および「一括請負型システム契約」を主権立法で全面廃止する。代わりに、法典・行政基準の正本そのものを最初から形式証明言語（Lean 4 / Dafny）と型安全な Rust で記述する『形式言語法典』 と、行政処理1件ごとの計算資源原価を1円単位で自動算出し公開する『二重台帳原価会計（Two-Ledger Model）』 を国家標準として強制実装する。

その根拠（なぜそれが実現可能なのか）はこう。「曖昧な自然言語をAIに後から翻訳させるから4割食い違う」のであり、最初から立法・基準策定の正本を数学的に一意な形式コードで定義し、実行部品を確定規格『Skillware』として分離すれば、解釈の不一致は原理的に 0% へ収束するからである。

形式言語法典と二重台帳原価会計の数理構造

AI国家の国家会計基盤では、計算インフラ側の物理消費台帳（電力・光TPU演算時間・通信量）と、行政執行側の業務取引台帳（住民票発行・給付決定・税務決済）を暗号学的ハッシュで1対1に結合する。ある行政手続きトランザクション txitx_i における真の行政処理原価 C(txi)C(tx_i) は、中間業者の裁量マージンを一切含まない以下の決定論的総和としてリアルタイムに算出される。

C(txi)=∑k=1m(ui,kcompute⋅pkpower+ui,kstorage⋅pkio)+Cmaint_amortized(txi)C(tx_i) = \sum_{k=1}^{m} \left( u_{i,k}^{\text{compute}} \cdot p_k^{\text{power}} + u_{i,k}^{\text{storage}} \cdot p_k^{\text{io}} \right) + C_{\text{maint\_amortized}}(tx_i)

ここで ui,ku_{i,k} は手続き txitx_i がステップ kk で実際に消費した演算・記憶単位、pkp_k は物理維持単価である。この数値が公開分散台帳へミリ秒単位で刻印されるため、実稼働ゼロのシステムに年間数十億円を請求する中抜き構造は物理的に存続できなくなる。

形式言語法典と二重台帳原価会計による無謬執行フロー
Step 1
形式言語法典の正本化

曖昧な日本語通達を廃し、最初から Lean 4 と Rust で一意に定義された法令コード（解釈一致率100%）のみを正本とする。

Step 2
SkillwareとTRAP制御

プロンプト推論を排して検証済み部品『Skillware』で執行し、動的権限管理『TRAP』が異常兆候をミリ秒で遮断する。

Step 3
二重台帳原価公開と還元

手続き1件ごとの物理計算原価を1円未満の単位まで自動公開し、浮いた多重下請け予算を生存配当（ISF）へ直結還元する。

想定される反論を砕く制度・数理の防壁

本設計に対して前例踏襲層や懐疑派から想定される反論は、以下の契約論・システム工学設計によって完全に解消される。

想定される反論・懸念 AI国家の数理・契約論による回答
「現行の膨大な日本語法令を形式コードへ移行する間に、現場の行政空白や大混乱が起きるのではないか」 小規模特区の妥協は中抜きの温床となるため排し、初日の主権立法で一括請負予算をロックした上で、現行システムと形式言語法典APIを並行稼働させて出力差分を全件照合する「無停止シャドー・ミラーリング検証」を実施する。差分ゼロを数学的に確認した領域から段階的に全国換装するため、行政空白は1秒も生じない。
「選挙で選ばれていない形式コードと自動会計システムが誤判定を出した際、誰が政治責任を取るのか」 過去の人間統治において、システム失敗や公金浪費の損失を私財で補填した政治家は一人もおらず、辞任という逃亡で幕引きしてきただけである。AI国家における責任とは精神論の謝罪ではなく、「事前形式証明による不一致率 0% の保証」と、万一の物理障害時に国家無過失補償プールから 0秒で自動原状回復・賠償を行う執行コード そのものである。
「AIが仕様を書く際の抜け道コード生成や、システム更新時の機能退行（16種すべてで発生）をどう防ぐのか」 曖昧な自然言語からAIに後から仕様を推測させる工程自体を廃止し、人間にも読める日本語ビューは形式コード正本からの一方向コンパイル出力とする。さらに更新時は、全過去事例の固定回帰テスト通過と多系統BFT異種AI相互監査を必須とし、異常時は人間組織へ戻さず直前のクリーンな光ROM世代へ即座に切り替える前進縮退運転（Forward-Only Safe Mode）を発動する。

理想のAI国家へ至る計画（具体策）

この統治・会計基盤の換装は、以下の3段階で確実に実装される。

🚀 実行計画：AI国家への3段階移行ロードマップ

  1. 第1フェーズ（初日執行と物理基盤の掌握） : 初日の主権立法により全省庁・自治体の「一括請負・月額固定型」IT保守契約と無検証プロンプトAI予算を即時凍結し、すべての公的クラウド請求に取引単位の二重台帳ログ出力を義務付ける。

  2. 第2フェーズ（社会実装と全国網への展開） : 無停止シャドー検証を経て税務・社会保障・許認可の全基準を Lean 4 / Rust 形式言語法典と『Skillware』確定実行モジュールへ完全換装し、処理データ量を 90%削減 する高速検索基盤と動的権限遮断『TRAP』を全国稼働させる。

  3. 第3フェーズ（完全自律進化と生存配当ISF還元） : 行政手続き1件あたりのリアルタイム原価を全国民へ常時公開して多重下請け中抜きコストを恒久的にゼロ化し、浮いた年間数兆円規模の行政維持費を標準月額30万円の生存配当（ISF）および最低時給5,000円の労働基盤へ直接還元する。

🔗 関連する制度・技術設計書

最後に：あなたはどちらを選びたい？

2つの未来の違いは明確である。

⚖️ 最終選択：奪われ続ける現実か、富を取り戻すAI国家か

  • A：今の現実（既存の仕組み）の延長線 : 同じAIでも4割食い違う曖昧な日本語基準とプロンプト丸投げが放置され、実原価数円の処理に数十億円の一括請負予算が多重下請けへ吸い上げられ続ける未来。

  • B：AI国家への転換（中抜きゼロと直接還元） : 形式言語法典によって誰に対しても100%公平で揺らぎのない行政がミリ秒で執行され、二重台帳原価会計で中抜きを根絶した余剰財源が国民の手元へ直接還元される未来。

最後に問う。このまま既存の仕組みの中で削られ続ける道と、仕組みそのものを作り替えて主権と豊かさを取り戻す道。あなたはどちらを選びたいだろうか？