SONAE Knowledge｜AIの形式検証で「安全」はどこまで言える？証明の対象と前提を読む
2026-10-26／SONAEの運用案。秘密・個人情報の値は記入しない。

対象：
［記入］

性質：
［記入］

前提：
［記入］

対象外：
［記入］

対象版／確認者／期待結果／実測／未確認／次の担当：
［記入］