## テーマ 定理証明：複雑なロジックと事実上無限の入力を持つソフトウェアに対して、テストケースの網羅性に依存せず、論理的に挙動を保証する手法およびその実例 ## 想定する参加者層（前提知識） * 計算機科学に興味があるが敷居の高さを感じている方 * 設計と一体化した品質保証に興味がある方 * 形式手法…