符号化理論と誤り訂正