t_wの輪郭

検証形式
形式検証技術『機械学習システムのリスク分析のための形式検証技術』