結果 : binary codes for error detection and correction in a computationally bounded world