実装前に AI と合意せよ！Quint で形式仕様読解入門 TAKT にいれた形式仕様について、かなりいい感じに思うので記事にします。 形式仕様そのものになじみのない方も多いと思うので、そこから始めます。 形式仕様とは 自然言語で書かれた仕様書は読む人によって解釈が揺れます。 同じ文章を読んでも、人によって思い浮かべる挙動が違うことがあります。 この食い違いを防ぐ... はてなテクノロジー 2026年09月24日 11:28
開発をシフトレフトせよ――形式仕様でAIと事前に合意する開発のすすめかた AI への指示書は自然言語で書きます。 書いた本人には明確に見えますし、AI も分かったという顔をして実装を始めます。 その結果、できあがったものが思っていたものではないことがあります。 なぜな... はてなテクノロジー 08/27 22:18