形式手法を元に実装を出力できると仕様定義をしっかりやるインセンティブが生まれる - koushisa

形式手法を元に実装を出力できると仕様定義をしっかりやるインセンティブが生まれる

from AIをソフトウェア開発へ取り込む際のテストにLLMsを活用する可能性に想いを馳せる

関連

Figmaのデザインをしっかり作る