Beerworksの缶ビール3種類。2019年3月のハワイクラフトビール。理論面から解説しています。符号理論の数学的理論を、体系立ててまとめました。次の理論の詳細を一冊にまとめた唯一の書籍です。・ハミング符号、リード・ソロモン符号といった古典的符号の理論。・LDPC符号とその復号法といったモダン符号の理論。数学専攻の学生にも、モダン符号の基礎がわかる一冊です。数理情報学特論I)他にも、大学のセミナー等でも使用いただいてます。形式化研究の、参考文献として。形式化は、2012年に成功し、前者の成果は国際学会ITPにて発表されました。ITPは、形式化研究において、世界最高峰の集会の1つです。その形式化が遂行された際、本書の証明が参照されました。それを受けて、形式化の研究の参考文献として、本書が利用されています。全国の書店、ネットショッピング(amazon等)などでお買い求め頂けます。【LINK】9章LDPC符号の正誤表、教科書スタイル。