[https://cacm.acm.org/blogcacm/soundness-and-completeness-defined-with-precision/](https://cacm.acm.org/blogcacm/soundness-and-completeness-defined-with-precision/) Soundness - 例: すべてのエラーを報告している Completeness - 例: エラーだけを報告している 理論上[[Soundness]]と[[Completeness]]の両立はできない(が、実用上はある程度緩和ができる)