Create  Edit  Diff  FrontPage  Index  Search  Changes  Login

FalsePositive

すぐに区別がつかなくなる

エラー/ガンがあるエラー/ガンがない
positivetrue positive = TPfalse positive = FP
negativefalse negative = FNtrue negative = TN
  • sound: false negative が無い。 FN == 0
  • complete: false positive が無い。 FP == 0
  • accuracy: (TP+TN)/(TP+TN+FP+FN)
  • precision: TP/(TP+FP)
  • recall: TP/(TP+FN)
  • 全てガンでないというシステムは accuracy が高いことが多いが、 recall が悪い
  • 全てガンというシステムは recall が良いが、 precision が悪い
  • 雑な型チェックをしているが型エラーが出れば必ずおかしいシステムは、 complete であるが sound でない

型に関しては、基本的に sound であることを重視してきて、 complete でないけど簡単に修正はできる、という方向がメインストリームだった…んだと思う。でも sound であることを捨てるというのも実は悪くないチョイスじゃない?てのがオプショナルな派閥…だと思う、たぶん

Last modified:2017/03/21 20:20:32
Keyword(s):
References:[FrontPage] []