テクノロジー

開発をシフトレフトせよ――形式手法でAIと事前に合意する開発のすすめかた
2026/08/27 22:18 コメント 5件
1: nguyen-oi 2026/08/28 08:38

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

2: fuji_haruka 2026/08/28 09:25

“Quint と Allo”

3: hasiduki 2026/08/28 10:20

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

4: otihateten3510 2026/08/28 10:36

AIこういうの苦手そう

5: moronbee 2026/08/28 10:41

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