決まりは書いてあったのに落ちた。だから「作法は文字ではなく機械に置く」と決めた2026年8月

プログラミングの本質はコード記述ではなく、現実の曖昧な要求を形式的な問題へ変換することにある。専用モデルや小規模モデルでは対応できない理由は、因果関係・抽象化・意図理解といった広い認知能力が必要だから。生成AIの普及でコード記述が自動化されると、それまで隠れていた設計判断や問題理解が仕事の本質として可視化される。

Anthropicが Claude を活用してフェルマーの最終定理を Lean 4 で形式化するプロジェクトを発表。LLM が証明コードの生成・補完・自動探索を行い、数十年かかる数学的形式化を大幅に加速させる。この技術はスマートコントラクト検証やミッションクリティカルシステムの高信頼開発へ直結する。

CodeSensei（ユーザーのコードを教材にする AI 学習プラットフォーム）を 2 日間で構築した個人開発事例。Next.js 16、Supabase、Claude API を組み合わせ、15 コース・188 レッスン・95 冊の技術書知識を内蔵し、GitHub リポジトリや手動ペースト したコードを題材に Claude が技術概念を解説。実装スケジュール、技術選定基準、プロンプト階層化によるコスト削減、著作権対応の設計判断を詳細に共有。

Claude Code で AI がいきなりコードを書く「Vibe Coding」の問題を解決するオープンソースプラグイン「Superpowers」を紹介。仕様の明確化・設計・テスト駆動開発・レビューを強制する 7 フェーズパイプラインにより、手戻りの削減と品質の安定化を実現する。