開発をシフトレフトせよ――形式仕様でAIと事前に合意する開発のすすめかた AI への指示書は自然言語で書きます。 書いた本人には明確に見えますし、AI も分かったという顔をして実装を始めます。 その結果、できあがったものが思っていたものではないことがあります。 なぜなら、自然言語は解釈が揺れるからです。 私が開発している OSS の TAKT では、この揺れを実行前の対話で潰しています。 ... はてなテクノロジー 2026年08月27日 22:18
時相論理の形式仕様の Quint を使って、denoland/celld の二重 writer バグを見つけた 本記事は、AIに分散システムのバグを探させて、そのレポートを自分が理解できるように整形させたものです。 実際に見つかったバグは以下の Issues で、現在修正済みです。 これをどうやって見つけ... はてなテクノロジー 08/19 08:27