frontend
「完璧に実装して」と頼んだらボタンが一つだけ届いた — AIの「完成」を数学で定義する
AIの結果がおかしくなる原因を自然言語の依頼に残る空欄に求め、要件を形式言語に書き直して空間・法則・観察で定義し、Bendで証明してからfast-checkで同値分割と境界値テストを導く過程を初心者向けに解説する
より広い読者に向けて練り上げた技術記事です。問題、背景、解決、結果を描きます。
AIの結果がおかしくなる原因を自然言語の依頼に残る空欄に求め、要件を形式言語に書き直して空間・法則・観察で定義し、Bendで証明してからfast-checkで同値分割と境界値テストを導く過程を初心者向けに解説する
同じ依頼でも毎回違うコードを出す AI を、テスト・リント・スクリプトといった決定論的な装置を何層も重ねて検査し、モジュール化で検査単位を細かく分けるワークフローを段階ごとに解説します
AI が書いたコードが静かに誤る理由と、正解をテストで再現し、ハーネスを整え、独立したレビュアーを付ける三つの柱を初心者にも分かるように解説します