作品一覧 2021/06/04更新 Event-B:リファインメント・モデリングに基づく形式手法 試し読み フォロー AIソフトウェアのテスト 試し読み フォロー 1~2件目 / 2件<<<1・・・・・・・・・>>> 來間啓伸の作品をすべて見る
ユーザーレビュー AIソフトウェアのテスト 佐藤直人 / 小川秀人 / 來間啓伸 / 明神智之 XAIと通じるところが少なくないのかなと感じました。フェールセーフ実現のためにできそうなことがいろいろわかり、面白かった。SATとSMTが理解できていないので、今後知識を得ていきたいと思います。 Posted by ブクログ AIソフトウェアのテスト 佐藤直人 / 小川秀人 / 來間啓伸 / 明神智之 流し読み。テスト技法が面白い。 ソフトウェアテストというよりも推論に対する“一般的な正しさ“の妥当性確認に近いものが多い。 Posted by ブクログ 來間啓伸のレビューをもっと見る