Verificação formal

Verificação formalタグの記事は0本。元のポッドキャストから書き起こしました。