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

形式手法をAIに書かせる発想は面白いな。仕様の曖昧さを手前で潰すのは理にかなってる

“Quint と Allo”

形式手法の時代きたー！！！！！！！！！

AIこういうの苦手そう

"これまで先送りできていたことの一部が先送りできなくなったわけで、マインドチェンジが求められます。結果として、開発における意思決定はどんどん手前に寄っていく。"

TAKTのformal_specでAIと事前合意し、Gherkinに加えQuint/Alloyで要件を曖昧さ除去する開発手法。

検証器を回さない以上、iff仕様が誤れば下流は忠実に誤りを答え合わせする。曖昧さを自然言語から形式記法へ移した形で、どこから総当たり検証に踏み込むかが次の論点だ

だんだんコードになっていく(ノ∀`)

“自由文で書かれた仕様書はぶれやすく、読みづらいものです。というか読みたくない。形式手法は正しさが欲しい場面で昔から使われてきた道具だが、実務で常用するには仕様を書くコストが高かった。今はAIがある。”