天皇機関説(ソフトウェア)
| 分類 | 制度データモデル／ポリシーエンジン |
|---|---|
| 登場期（推定） | 1993年〜1998年 |
| 主な利用領域 | 行政文書の参照権・署名規程の自動判定 |
| 実装形態（想定） | ルール記述＋推論層＋監査ログ |
| 特徴 | “機関”を関数（operator）として分解する設計思想 |
| 論争点 | 解釈の自動化が権限委譲を“すり替える”と批判された |
| 代表的方言（方言名） | Kikan-Policy Script（KPS） |
（てんのうきかんせつ(そふとうぇあ)）は、の制度解釈を“実行時ポリシー”として扱うという発想に基づく架空のソフトウェア体系である。1990年代に行政文書管理ベンダーの実装検討資料として現れたとされ、のちに議論と分岐（fork）が繰り返されたとされる[1]。
概要[編集]
は、制度上の概念をそのまま文章として保管せず、参照・推論・監査のために機械可読な“機関モデル”へ変換するという発想に基づく体系である。具体的には、条文や通達を（例：解釈主体、保管主体、発出主体）に割り当て、各機関が満たすべき条件を論理規則として記述する、という形式が採られたとされる。
体系の中心には、という言葉を直接ソースコードの関数名に置く“命名儀式”があったとされる。もっともらしい説明としては「機関をコンポーネント化すると責任範囲が明確になる」ことが掲げられたが、一方で「責任の所在を計算で導ける」という暗黙の前提が含まれていたと指摘されている。
本体系がソフトウェアとして語られ始めたのは、の文書電子化計画が、単なるスキャンではなく“運用の自動化”に踏み込んだ時期と重なる。資料では、紙の運用で暗黙だった例外処理を、推論層の優先度（priority）テーブルで制御する案が示されたとされる[2]。
用語と設計思想[編集]
機関モデル（抽象機関・結線・責任）[編集]
設計思想では、制度上の登場人物（実体）を直接扱うのではなく、処理単位としてのに分解することが求められたとされる。抽象機関は“結線”によって接続され、ある機関の出力（解釈結果）は次の機関へ入力される。
例として、監査ログ生成器を“監査機関”、判定エンジンを“解釈機関”として割り当てる構成がよく引用された。ある設計メモでは、結線数の上限が「通常時は、障害時は」とやけに具体的に書かれていたとされる[3]。このような細目は、実装の都合というより儀式のような雰囲気を帯びていた点が、後に“笑える実在感”として語り継がれた。
また、責任は“誰が決めたか”ではなく“どの規則が発火したか”で表現されたとされる。これにより、ログは説明責任の代替物として機能するはずだった、と説明されることが多い。
KPS（Kikan-Policy Script）と推論優先度[編集]
言語としてはが挙げられることが多い。KPSは推論層が扱うルール記述であり、条文を“条件部”と“効果部”に分解し、優先度で競合を解決する方式だったとされる。
資料の一部では、優先度の数値は“解釈の強度”として扱われ、「通常は」「緊急例外は」「未定義は」といったレンジが提示されていたとされる[4]。ただしこの範囲がいつ決められたのかは不明で、編集履歴が残っていないとも語られている。
さらに、推論の停止条件として“監査が成立するまで計算を継続する”という癖のある規則が含まれたとされる。結果として、監査ログが生成されない限り解釈結果が確定せず、現場では「判断が遅いのではなく、説明が遅いのだ」という苦笑いが生まれたと記録されている。
監査ログと例外処理（例外は階層化される）[編集]
監査ログはと呼ばれる仮想モジュールにより出力され、条文・根拠規則・発火時刻の組が記録されるとされる。設計書では時刻精度がミリ秒ではなく「監査整合の都合上」と明記されていたという逸話がある[5]。この説明を真に受けると不都合が出そうだが、ソフトウェア化の議論では“整合性が時間より偉い”という価値観が見え隠れするとされる。
例外処理は階層化され、「階層0は入力欠損」「階層1は解釈不能」「階層2は責任未割当」といった分岐が定義されたとされる。現場の運用では、階層2に入った場合に限り、行政区分の入力フォームが強制的に閉じられたと語られることがある。根拠は不明だが、のある庁舎で“閉じ方が丁寧すぎる”と話題になったらしい。
歴史[編集]
起源：行政文書の“解釈遅延”問題[編集]
が生まれた背景には、“解釈が人依存で遅い”という業務課題があったとされる。1990年代初頭、の文書集中処理拠点では、受付→照会→回覧→再照会という往復が多発し、結果として締切直前に解釈担当へ仕事が集中したとされる。
そこで（仮想）では、解釈を“ルール発火”へ寄せる実験が行われた。実験の名目はワークフロー短縮だったが、提案資料には「機関を組み替え、解釈主体を計算で安定化する」と記されたとされる[6]。この“機関”という語がのちに体系名に接続されたと解釈されている。
さらに、当時の試作では入力ファイルの文字数が「」を超えると推論が不安定になると見積もられたという。なぜそんな数が出たのかについては、実測したという説と、営業資料向けに“それっぽい平均”を置いたという説が併存している。
関与者：官庁調達とベンダーの“解釈仕様書競争”[編集]
関与者としては、官庁側では（仮想・情報系の調達組織）が、仕様書に「説明可能性」を盛り込む方針を示したとされる。一方、ベンダー側では（仮想）がKPSのプロトタイプを、が監査ログ部分の差し替えモジュールを、それぞれ競うように出したと記録されている。
この競争の結果、体系は一枚岩ではなく“派生版”として増殖した。特に、ある派生版は「例外階層2でフォームを閉じる」を“ユーザー体験設計”として正当化し、別の派生版は「閉じない代わりに確認ダイアログを出す」と主張したという。仕様書レビュー会では、そのが根拠なく強調されたため、議事録に赤ペンが入ったとされる[7]。
また、関与した編集者（技術広報担当）としての名が繰り返し引用されるが、彼が仕様策定の当事者か広報担当だったかは資料によって揺れている。揺れがあること自体が、後年“実在っぽさ”を補強したと見る声もある。
普及と分岐：現場導入→ログ地獄→fork[編集]
最初の小規模導入はの文書倉庫で行われたとされ、月間の照会に対して、解釈結果の自動提示が試みられた。自動提示の成功率は、資料によってともともされるが、いずれにせよ“人手の再確認”が前提だった点は共通している[8]。
しかし、運用が進むにつれ“ログ生成”が詰まり、解釈結果の表示が後ろ倒しになる現象が起きたとされる。現場では、解釈そのものより監査ログが終わるのを待つ時間が長くなり、「判断が追いつかない」のではなく「説明が追いつかない」という言葉が流行した。
その後、互換性を巡る対立からforkが増え、KPSの方言が合計に増えたとされる。方言はルールの書式に差があるだけでなく、解釈の“強度”の割り当てが微妙に変わったと主張された。結果として同じ入力でも出力が変わることがあり、自治体向けには“出力差分テスト”という儀式が定着したとされる。
社会的影響[編集]
は、制度の解釈を“ソフトウェアに移す”という考え方を現場レベルに持ち込んだ。特に、行政文書の判定や照会の場面で、根拠規則と監査ログがセットで示される運用は、のちのワークフロー設計に影響したとされる。
また、説明責任の概念が「人が語る説明」から「システムが出す因果ログ」へと置換されかけた点が重要である。運用教育では、担当者が条文を暗唱するより先に、KPSルールの発火順序を読む訓練が求められたとされる。その結果、解釈担当が法務から“ルールエディタ”へと再編された、という極端な評価も出た。
一方で、影響は“速度”の面にも現れた。ある統計レポートでは、照会の平均処理時間が導入前のからへ短縮したと報告された[9]。ただし短縮の内訳が「人手削減」なのか「待ち時間の隠蔽」なのかは議論が続いたとされる。ここが後の批判につながる前兆だったと見る向きがある。
批判と論争[編集]
批判の中心は、解釈の自動化が“権限”の輪郭を変えてしまうのではないか、という点である。特に、監査ログが整うまで確定しないという仕様は、形式上は説明可能性を高めるが、実務上は「システムの都合で判断が確定する」構造を作りかねないと指摘された[10]。
また、「天皇機関説」という語をコードの命名として用いたこと自体が、象徴性の扱いを軽く見ているとの批判を呼んだとされる。ある委員会報告では、“命名儀式”が現場で精神的負担になると議論されたが、ベンダーは「利用者が意味を誤解しても、ログが正す」と反論したと書かれている。ただしこの反論は、逆に誤解の責任を利用者からシステムへ移す発想だと受け取られ、反発を招いたともされる。
さらに、forkによる出力差分が問題化した。自治体間で互換性が完全ではなく、同じ入力を与えても結果が変わることがあったとされ、差分テストの工数が結局増える“本末転倒”も起きたと記録される[11]。こうした経緯から、体系は一度“安全運用”の名目で凍結され、以後は研究用途に縮小していったとされる。
脚注[編集]
関連項目[編集]
脚注
- ^ 【東海理論システムズ】『Kikan-Policy Script設計指針（第3版）』東海理論出版, 1996.
- ^ 【北辰監査ソフト】『監査整合性モデルと秒単位ログの実装』監査工学会, Vol.12 No.4, 1997.
- ^ 佐久間藍斗『制度概念のコンポーネント化：機関モデルの実務適用』情報処理学会, 第28巻第2号, pp.41-58, 1998.
- ^ Dr. Elowen Harper 'Policy-Execution Narratives in Government Systems' Journal of Administrative Computing, Vol.7 No.1, pp.12-33, 1995.
- ^ 細田岬人『解釈遅延の計測とワークフロー短縮』日本行政情報学会『運用と計算』, pp.201-219, 1994.
- ^ Mina Rath 'Auditability as a Design Constraint' Proceedings of the Symposium on Traceable Systems, pp.77-91, 1996.
- ^ 【行政情報整備室】『電子文書照会における例外階層の運用報告』官庁調達資料集, 第5号, pp.9-23, 1997.
- ^ 田端楓雅『ルール発火競合の優先度テーブル：100〜220の意味』ソフトウェア工学年報, Vol.3 No.9, pp.300-315, 1999.
- ^ Kimura N. and Park J. 'Interoperability Tests for Policy Dialects' International Conference on Governance IT, pp.55-68, 2000.
- ^ Liu X. 'Naming Rituals in Codebases' Software Folklore Studies, Vol.1 No.2, pp.1-19, 1992.
外部リンク
- KPS公式アーカイブ（閲覧用ミラー）
- 監査整合性ベンチマーク倉庫
- 機関モデル議事録コレクション
- フォーク差分テスト大全
- 制度データモデル勉強会ログ