AI時代の仕様書とは何か
AI時代の仕様書とは何か
AIによって実装やコーディングは急速に自動化されつつある。
しかし現場ではすでに明らかになっている。
仕様が曖昧なままAIに投げると、必ず破綻する。
本稿は、思想や理想から出発したものではない。
AIコーディングが破綻しない要件を、逃げずに詰めていった結果、
最後に残った構造を記述したにすぎない。
本稿は、その破綻を防ぐために、
AI時代における仕様書を、構造と責任の観点から再定義する文書である。
本記事の前提と立場（重要）
前提知識について
本記事は、次のいずれか、あるいは複数に心当たりがある読者を想定している。
- 仕様の曖昧さが後工程で致命的な問題になる現場経験がある
- 群・半群・単位元・逆元といった数学用語に最低限の耐性がある
- 「AIがいい感じにやってくれる」という期待にすでに懐疑的である
- プロンプトやツール以前に、定義や境界の欠如が問題だと感じている
- 判断・承認・責任を設計に含めることに抵抗がない
これらがない場合、本記事は難解、あるいは無意味に感じられる可能性がある。
本記事が意図的に扱わないこと
本記事は以下を目的としない。
- 初心者向け解説
- AIツール・プロンプト・効率化ノウハウの紹介
- 実装方法・フレームワーク・コード例
- 「AIを使えば楽になる」という期待への対応
- 分かりやすさや共感を優先した説明
これらは意図的に排除している。
本記事の立場
本記事は、
仕様書を「事故を防ぐための境界定義文書」として扱う立場を取る。
理解や共感よりも、
- 論理的一貫性
- 責任分界の明確化
- 定義の厳密さ
を優先する。
「分からない」「難しい」という反応は、設計上想定された結果である。
仕様の定義（最上位要件）
仕様とは、副作用領域と群を峻別し、
その内部と境界における変換ルールを定義するものである。
本稿は、この定義を前提としてすべてを記述する。
世界の分割
副作用領域（現実世界）
副作用領域は次の性質を持つ。
- 不可逆な事象を含む
- ノイズ・曖昧さ・感情・政治・倫理を含む
- 判断と責任が発生する
- 群の公理を満たさない
ここでは「正しさ」は定義できない。
扱えるのは 妥当性 や 許容 だけである。
この領域をAIに直接扱わせてはならない。
群領域（形式世界）
群領域は次の性質を持つ。
- 状態集合が定義されている
- 操作が閉じている（閉包性）
- 操作が合成可能（結合律）
- 単位元が定義されている
- 逆元の有無が明示されている
この領域では初めて、
- 正しい／誤っている
- 同値である／ない
を機械的に判定できる。
境界こそが仕様の本体である
副作用領域の事象を、直接群に入れてはならない。
一旦、不可逆な 半群的イベント として扱い、
人間の判断によってのみ 群へ昇格させる。
この「半群に落とす瞬間」が、
仕様における最大の責任点である。
オペレーター（人間）の定義
仕様書は、以下を必ず明示的に定義しなければならない。
- オペレーターが入力できる情報
- 承認できる条件
- 却下・保留できる条件
- 群に昇格させる判定基準
- 群に入れない判断の扱い
これらの判断は不可逆であり、
AIではなく 人間が責任を持つ。
群内部はAIの仕事である
群に入った後、AIが行う作業は次に限定される。
- 群操作の具体的実装（写像の構成）
- 準同型性を保った変換
- 合成・展開・最適化
- 群公理の機械的検証
実装方法は仕様に含めない。
意味を持つのは操作であり、実装はその具体化にすぎない。
テストと検証
操作・不変条件・公理が定義されていない世界において、
「自動テスト」は検証として無意味である。
群操作が定義されている場合にのみ、
- 単位元の保持
- 逆元の成立
- 閉包性
- 準同型性
といった検証が可能になる。
この領域では、AIは人間より正確である。
責任の分界
- 群内部の誤り
→ 仕様定義の欠陥 - 境界での誤り
→ 人間の判断責任 - AIは責任主体にならない
この分界が明示されていない仕様は、必ず破綻する。
宗教を持ち込まない
人間には信念や宗教が必要である。
しかしそれを、金勘定・契約・仕様の世界に持ち込んではならない。
- 信仰は信じてよい
- 仕様は信じてはならない
- 定義せよ
結論
仕様とは、
現実をそのまま扱わず、
人間が責任をもって切り分け、
群として安全に扱える世界だけを
機械に渡すための定義書である。
AI時代に必要なのは賢いAIではない。
世界を正しく定義できる人間である。
Discussion