231 エッヂの名無し 2025/02/04(火) 21:07:45.415 ID:7QKS.58JN
>>221形式手法の主眼は生成じゃなくて検証じゃね？そういやテレンス・タオも生成AIには形式手法を「手伝わせたらいい」というスタンスで話してたね