関連ニュース
開発をシフトレフトせよ――形式仕様でAIと事前に合意する開発のすすめかた
AI への指示書は自然言語で書きます。 書いた本人には明確に見えますし、AI も分かったという顔をして実装を始めます。 その結果、できあがったものが思っていたものではないことがあります。 なぜな...
はてなテクノロジー
08/27 22:18
時相論理の形式仕様の Quint を使って、denoland/celld の二重 writer バグを見つけた
本記事は、AIに分散システムのバグを探させて、そのレポートを自分が理解できるように整形させたものです。 実際に見つかったバグは以下の Issues で、現在修正済みです。 これをどうやって見つけ...
はてなテクノロジー
08/19 08:27
出典メディア
はてなテクノロジー (3)
つながり
数字は「形式仕様」と一緒に出てきた記事の本数。 グラフには強いものだけが出るので、ここが全部です。