なぜV&Vは終わらないのか — 色即是空から導く構造的理由
工数が足りないからでも、テストケースが漏れているからでもない。原理的に終わらないのだ。そしてその理由は2500年前から知られていた。
哲学編では、色即是空・差延・過程哲学・純粋経験が「差異の認知と記号化」という制約のもとで同一の構造へ収束することを見ました。さらに差延をライプニッツ的作用素として、色即是空を和算の差分演算として定位しました。
その論理を、システムズエンジニアリングの V&V へ接続します。接続した先に出てくる結論は、工学的にも哲学的にも、おそらく覚悟が必要なものです。
§1 V&Vとは何をしているのか ── 差分と累和として読む
システムズエンジニアリングの標準的な定義（ISO/IEC/IEEE 15288 等）では：
Validation：「意図した用途・目的を果たすか」── ステークホルダーのニーズへの適合確認
「Verification と Validation は必要条件と十分条件に対応するのでは」という直観は正しい。しかし完全な対応は成立しない。その理由を哲学編の言葉で言うと：
Validation は「空即是色」の方向 ── 抽象的な要件（空）から実装（色）を復元して目的との整合を確認する操作。和算の累和 Σ に対応します。
§2 任意定数 C という名の亡霊
哲学編で示した通り、累和（Σ、空即是色・Validation）には必ず任意定数が生じます。
この C が何を意味するか。
仕様書に書かれた要件（空）から実装（色）を復元するとき、解釈は一意に定まらない。
「セキュリティを確保する」という要件から、どのレベルの暗号化を実装するかは、C の選択だ。この C を誰が決めるか ── それが V&V の本質問題だ。
§3 V&Vを公理系として閉じようとすると何が起きるか
V&V を形式的に閉じようとした。V&V ⊢ システムの正当性 という推論体系を作ろうとした。崩れた理由は二つあります。
理由① 客観性の要求が満たせない
必要条件・十分条件の成立には観察者非依存の評価軸が必要です。しかし仕様書は自然言語で書かれており、解釈が判断主体に依存する。「要件を満たす」の判定基準自体がステークホルダーの意図（空）に依拠しており、完全に形式化できない。テスト項目の選択・網羅性の判断にも主観が介入します。
理由② 要素還元の原理的不可能性
システムをサブシステムに分割して Verification を行う際、分割境界の設定自体が判断を含みます。さらに統合時の創発的挙動は部分の Verification から予測できない ── 非加法性です。
── ゲーデルの第二不完全性定理（1931年）
V&V を完全に形式化した公理系 A を仮定すると、A の無矛盾性を証明するためにはより強い体系 A′ が必要になる。この後退は止まらない。止めるのは判断主体の決断だけだ。
§4 「判断の主体を内包するV&V」とはどういうことか
形式的公理系として閉じることができないなら、どうするか。答えは「判断の主体を内包する V&V」です。形式的に書けば：
三つの変数があります。システム S、判断主体、そして文脈。
文脈が変われば判断は更新される。これは差延的 ── 意味が常に先送りされる構造と同型です。V&V は一回で完結するものではなく、文脈の変化とともに更新される散逸過程として走り続けます。
「散逸過程」と言うと難しげですが、要は 自転車 です。止まれば倒れる。漕ぎ続けるからこそ、まっすぐ安定して進める。V&V も、回し続けることで初めて「正しさ」を保てる系であって、一度止めて「完成」と宣言できる類のものではないのです。
§5 したがって、決定する必要性が「外」に出る
判断主体を内包する V&V は、判断主体自身をも検証の対象に含み得ます。しかし判断主体が自分自身を検証する系は自己言及的になり、ゲーデルと同型の無限後退に陥ります。
/* 無限後退の構造 */ 判断主体 A がシステム S を検証する ↓ A が S を検証する妥当性を誰が検証するか？ ↓ 判断主体 A′ が必要になる ↓ A′ の妥当性を誰が検証するか？ ↓ ...無限後退... ↓ // この後退を止めるのは「外部からの決定」しかない
「外に出る」には三つの意味があります。
①論理的外部 ── メタレベルの審級
公理系の外。システムの仕様を承認する権威、要件を定義するステークホルダー、上位の意思決定者。いずれも検証対象の系の外部に位置します。
②時間的外部 ── 未来の判断
現在の文脈の外。「今ここで決定する」という行為が時間軸上の一点として系の外に出る。V&V は終わるのではなく、今ここで区切るのです。
③責任の外部 ── 倫理的決断
論理の外。形式的に証明できない領域で判断を下すことは、論理ではなく責任の問題になります。
| 文脈 | 系の内部 | 外に出るもの |
|---|---|---|
| 般若心経 | 言語・概念の体系 | 悟り・沈黙 |
| 差延（Derrida） | 記号の連鎖 | 決定不可能性 |
| ゲーデル | 形式的公理系 | 無矛盾性の証明 |
| 散逸構造 | 系と環境の境界 | 境界を生成する過程そのもの |
| V&V | 検証・妥当確認のループ | 判断主体の決断 |
| システム分割 | サブシステムの整合性 | 統合の判断・アーキテクチャ決定 |
§6 区切りは、決める ── 多くは、最初に
ここで、システムズエンジニアリングの実務からの違和感に応えておきます。「V&V は終わらない」と聞くと、現場の感覚に反します ── 実際には V&V は終わるからです。終わらせているのは、判断主体の 「ここで区切る」という決断 です。
正確に言えば、V&V は 形式的・自動的には閉じない（前節までの通り、ゲーデル同型の構造が完備な証明を阻む）。けれども、区切り（どこで打ち切るか）を決めることはできるし、決めねばならない。完了条件、受入基準、スコープ、スケジュール ── これらが区切りであり、判断主体が決める対象です。スケール Λ、任意定数 C に続く、第三の決定対象だといえます。
そして多くの場合、区切りはプロジェクトの最初に決められます。計画段階で exit / acceptance criteria を先に定義する ── これは「終わったら何が言えれば良いか」を、始める前に決め切る行為です。だから「終わらない」のではなく、あらかじめ決めた区切りで終わる。
ただし、その区切りも 暫定的（差延的） です。文脈が変われば ── 要件、利用状況、運用環境が動けば ── 区切りは引き直されます。最初に決め切ることと、状況に応じて引き直すことは矛盾しません。決め切るから動け、動きながら引き直せる。
V&V は終わらない。終わらせるのは、あなたの決断だ。
// まとめ：今日持ち帰るもの
- Verification は差分演算 Δ（色即是空・必要条件）、Validation は累和 Σ（空即是色・十分条件に近い）として定位できる
- 累和の任意定数 C が判断主体の決断の数学的表現 ── 空から色への復元は一意でない
- V&V を形式的公理系として閉じることはできない ── ゲーデルの第二不完全性定理と同型の構造が阻む
- したがって V&V は判断の主体を内包し、「正当性の暫定的確認」として機能する
- 判断主体の無限後退を止めるのは系の外部からの決定── これはリーダーシップの構造的根拠だ
- この「外部からの決定」は論理ではなく責任として引き受けられる
- 「終わらない」とは形式的・自動的に閉じないの意。区切り（完了条件・受入基準）を決めて終わらせるのは判断主体で、多くはプロジェクトの最初に決める ── そして暫定的（差延的）に引き直せる
→ 完結するスケール編：スケールという自由度 — Whitehead・繰り込み群・V&V。判断主体が決めるのは任意定数 C だけではなかった ── その手前にある「スケールそのものの選択」を論じます。
本シリーズ3編は 2026 年 4 月 16 日の Massy と Claude（Anthropic）の対話に基づきます（CC BY 4.0）。哲学編 色即是空を256倍楽しむ方法 と合わせてお読みください。より厳密な定式化は プレプリント・シリーズ を参照。
この記事は役立ちましたか?