306 エッヂの名無し 2025/02/04(火) 21:19:23.548 ID:Q9nv1LzZF
自然言語から形式手法に出力して、仕様が論理的に破綻してないことを確認する世界が来ることを見据えてAlloy学んでるわ