形式手法入門：生成 AI 時代の『設計』のあり方について

BRANK

本記事では設計を正確に記述し検証することができる「形式手法」の入門的な内容についてご紹介します。