ユーザーレビュー AIソフトウェアのテスト 佐藤直人 / 小川秀人 / 來間啓伸 / 明神智之 XAIと通じるところが少なくないのかなと感じました。フェールセーフ実現のためにできそうなことがいろいろわかり、面白かった。SATとSMTが理解できていないので、今後知識を得ていきたいと思います。 Posted by ブクログ AIソフトウェアのテスト 佐藤直人 / 小川秀人 / 來間啓伸 / 明神智之 流し読み。テスト技法が面白い。 ソフトウェアテストというよりも推論に対する“一般的な正しさ“の妥当性確認に近いものが多い。 Posted by ブクログ 明神智之のレビューをもっと見る