実装前に AI と合意せよ！Quint で形式仕様読解入門 TAKT にいれた形式仕様について、かなりいい感じに思うので記事にします。 形式仕様そのものになじみのない方も多いと思うので、そこから始めます。 形式仕様とは 自然言語で書かれた仕様書は読む人によって解釈が揺れます。 同じ文章を読んでも、人によって思い浮かべる挙動が違うことがあります。 この食い違いを防ぐ... はてなテクノロジー 2026年09月24日 11:28
時相論理の形式仕様の Quint を使って、denoland/celld の二重 writer バグを見つけた 本記事は、AIに分散システムのバグを探させて、そのレポートを自分が理解できるように整形させたものです。 実際に見つかったバグは以下の Issues で、現在修正済みです。 これをどうやって見つけ... はてなテクノロジー 08/19 08:27