编码理论发展史