開発をシフトレフトせよ――形式手法でAIと事前に合意する開発のすすめかた

2026.08.28 7:18
Zenn.dev

AI への指示書は自然言語で書きます。 書いた本人には明確に見えますし、AI も分かったという顔をして実装を始めます。 その結果、できあがったものが思っていたものではないことがあります。 なぜなら、自然言語は解釈が揺れるからです。 私が開発している OSS の TAKT では、この揺れを実行前の対話で潰しています。 ...

検索

人気記事

2026.05.05 11:04
2026.07.06 18:10
2026.09.05 23:46
2026.09.05 23:46
2026.09.05 18:00

コメント一覧

まだコメントはありません。

コメント