frontend
「完璧に実装して」と頼んだらボタンが一つだけ届いた — AIの「完成」を数学で定義する
AIの結果がおかしくなる原因を自然言語の依頼に残る空欄に求め、要件を形式言語に書き直して空間・法則・観察で定義し、Bendで証明してからfast-checkで同値分割と境界値テストを導く過程を初心者向けに解説する
より広い読者に向けて練り上げた技術記事です。問題、背景、解決、結果を描きます。
AIの結果がおかしくなる原因を自然言語の依頼に残る空欄に求め、要件を形式言語に書き直して空間・法則・観察で定義し、Bendで証明してからfast-checkで同値分割と境界値テストを導く過程を初心者向けに解説する