【衝撃】NASAの10則がAIスロップを破壊する？宇宙開発基準で「暴走コード」を物理的に封じ込める変態的統治術

2026年、AIエージェントによる自動コード生成は、もはや「動くかどうか」のフェーズを過ぎ、「いかに制御し、保守性を担保するか」という血なまぐさい統治の時代へと突入しました。その最前線で今、ギークたちの熱狂を呼んでいるのが、1994年にNASAのジェット推進研究所（JPL）が策定した伝説的なコーディング規約「The Power of 10（10則）」を、最新のLLM（大規模言語モデル）に強制適用するという、不自由による品質担保のパラドックスです。

以前お伝えした4月25日の『AGENTS.md』が、AIに対する行動規範、いわば「精神論」的なアプローチだったのに対し、今回の議論は「実装構造の物理的統治」を狙ったより実戦的でマニアックなものです。自由奔放なAIに、あえて宇宙開発レベルの「鉄の掟」を課すことで、制御不能なコードの氾濫（AIスロップ）を根絶しようとするこの動き。その全貌を深掘りします。

【事象の全貌と背景】：AIスロップという「知能の腐敗」への回答

現在、GitHubやRedditのエンジニアコミュニティで深刻な問題となっているのが「AIスロップ（AI Slop）」です。これは、AIエージェントが生成する、一見動くものの冗長で、再帰構造が複雑怪奇、かつ依存関係が不透明な「スパゲッティ・コードの再来」を指します。2026年3月に公開された論文（arXiv:2604.09633）によれば、多くの企業がAIエージェントの導入を検討しているものの、その採用を阻んでいるのはモデルの性能不足ではなく、「信頼性、検証可能性、監査可能性」の欠如であると指摘されています。

特に航空宇宙産業や製造業の現場では、AIが生成したコードを人間が書き直す工数が肥大化しており、あるロボットスタートアップのエンジニアは「AIの出力を常にリライトしなければならない現状では、自動化の恩恵が相殺されている」と吐露しています。この「知能は高いが規律がない」AIに対し、NASA JPLが長年培ってきた「極限環境での安全性を担保する10のルール」をシステムプロンプトやLinter（静的解析ツール）のレベルで物理的に強制する手法が、解決策として浮上したのです。

【技術的ディープダイブ】：JPL 10則による「実装の統治」

今回、ギークたちがAIに課そうとしている「JPL 10則（The Power of 10）」は、もともとC言語による安全性の高いソフトウェア開発のためにGerard J. Holzmann氏によって提唱されたものです。これを現代のAIエージェントに適用すると、以下のような極めて強力な「制約の檻」となります。

1. **「すべての制御フローを単純化せよ（再帰の禁止）」**: AIはしばしば複雑な再帰処理を生成しますが、これはスタックオーバーフローや予期せぬ無限ループの温床です。これを禁止することで、コードの実行経路を完全に決定論的なものにします。
2. **「ループには固定の上限値を設けよ」**: AIが生成するループに対し、物理的な反復回数の上限を強制します。これにより、ハルシネーションによる無限ループを物理的に封じ込めます。
3. **「関数は1画面（60行以内）に収めよ」**: AIの「冗長な説明癖」をコードレベルで制限します。1つの関数が1つの責務しか持たないことを構造的に強制します。
4. **「動的メモリ割り当ての禁止」**: メモリリークの可能性を排除し、AIに「今あるリソース内での最適解」を考えさせます。
5. **「アサーション（断定）密度を高めよ」**: 1関数につき最低2つ以上のアサーションを義務付け、AI自身に「自分の書いたコードが正しいか」を常にチェックさせます。

arXiv:2604.09633の調査によれば、NASA JPL内では既にAIを「ドキュメント生成や手順書の作成」に限定的に導入するPoC（概念実証）が行われており、そこでは既存のチェックポイントシステム（要求レビュー、設計レビュー等）とAIの出力を統合する試みがなされています。ギークたちはこれをさらに一歩進め、AIがコードを1行書くごとに、これらのルールに抵触した瞬間に「強制リセット」をかけるような、極めて厳格なGovernor（統治）レイヤーの実装を議論しています。

【コミュニティの生々しい熱量と議論】：不自由こそが自由を生む

Redditのr/LocalLLaMAやHacker Newsでは、この「NASA流AI統治」に対して熱狂的な支持と、一部の懐疑論が入り混じっています。開発者の一人は、「AIに自由にコードを書かせると、数千行のゴミが生成される。しかし、JPLのルールを課すと、AIはまるでパズルを解くように、美しく、極限まで削ぎ落とされたコードを吐き出すようになる。これは不自由による解放だ」と評しています。

一方で、変態的なユースケースも報告されています。あるユーザーは、AIに「1994年のエンジニアになりきって、メモリが4KBしかない環境で動作するコードを書け」というロールプレイとJPL 10則を組み合わせることで、最新のLLMから信じられないほど高効率なアルゴリズムを引き出すことに成功したと主張しています。これは、制約がAIの「思考の拡散」を防ぎ、特定の論理パスに計算リソースを集中させる効果（思考のレーザー化）を生んでいるのではないかという分析がなされています。

しかし、批判的な意見も存在します。「AIの良さは発想の飛躍にあるのに、30年前のC言語の規約で縛るのは、フェラーリにリミッターをつけて農道を走らせるようなものだ」という声です。これに対し、現場のエンジニアは「農道（本番環境）で暴走するフェラーリほど迷惑なものはない」と応戦し、議論は平行線を辿っています。

【今後の展望とエコシステムへの影響】：Vibe Codingの終焉

このNASA 10則のAI適用は、単なる懐古趣味ではありません。これは、2025年に流行した「Vibe Coding（雰囲気での開発）」の終焉を告げる、エンジニアリングの「再正規化」の象徴です。今後、AIエージェントのフレームワーク（LangChainやAutoGPTの次世代版）には、デフォルトで「JPLモード」や「MISRA-Cモード」といった、構造的制約を課すスイッチが標準搭載されることが予想されます。

これにより、AIが生成したコードの「監査コスト」が劇的に低下します。ルールに則っていること自体が静的に保証されていれば、人間はロジックの根幹にだけ集中できるようになるからです。また、このトレンドは「小規模で高精度なモデル（SLM）」の価値を再定義するでしょう。巨大なパラメータを持つモデルよりも、厳格な制約下で論理を組み立てることに特化した「規律あるモデル」が、エンタープライズ領域では覇権を握る可能性があります。

AIに無限の自由を与えるのではなく、あえて「宇宙開発という極限の不自由」を与える。この逆転の発想こそが、AIスロップという濁流を、信頼という名の清流に変える唯一の鍵になるのかもしれません。