AIソフトウェアのテスト の商品レビュー

佐藤直人(著者),小川秀人(著者),來間啓伸(著者),明神智之(著者)

2023/03/08

流し読み。テスト技法が面白い。
ソフトウェアテストというよりも推論に対する“一般的な正しさ“の妥当性確認に近いものが多い。

2021/08/29

XAIと通じるところが少なくないのかなと感じました。フェールセーフ実現のためにできそうなことがいろいろわかり、面白かった。SATとSMTが理解できていないので、今後知識を得ていきたいと思います。