シャノンの第二基本定理（通信路符号化定理）について

ymmasayannさん、そしてmotsuanさんstomachmanさんこんにちは。早速議論が進んでいますね。 stomachmanさんのご説明に私も納得しました。(「本当に分かっているのか?」と突っ込まれると困ってしまいますが・・・(笑))　この議論における本質は冗長度であり、誤り訂正符号は「第二基本定理の教える符号化法よりはさらに冗長度が必要になる場合もあるが、誤りの検出と訂正をより効率的に行える方法」と理解しました。 ランダムエンコードについては証明の中で確か、「最善の符号化法を用いた時の誤り率を評価したいが、最善の符号の何たるかが全く分からない。そこで取りあえずランダムなものでまず上界を押さえる」てな登場の仕方をしていたようです。で、「最善なやつはそれよりはマシのはず＝それよりマシな符号化法が少なくとも一つ存在する」てな進め方だったと記憶しています。 なんだかまとまらないコメントになってしまい恐縮ですが、当初の問題(Shannonの第二基本定理の「最適な符号化」とは誤り訂正符号なのか?)という問題については私も大いに勉強になりまた納得しております。コメント下さったstomachmanさん、motsuanさん、そして新しい質問として提起して下さったymmasayanさん、ありがとうございました。

専門化ではないので、ごめんなさい、横槍です。 下のＵＲＬの説明を素直に読むと、 存在定理みたいなもので、（現実的な）符号の構成法は示していないみたいです。 「誤り訂正符号でない別の符号体系」というのは変調方式のようなものを考えていらっしゃるのでしょうか？ 実際の伝送路に対しては変調方式によって誤り率がいくらか変わると思いますが 誤り率を限りなく下げることができるとなると訂正符号のように符号を冗長にしていくしかないと思います。