数理談話会

日時：2013年5月23日（木）
15:40～16:00 (ティータイム)
16:00〜17:00 (講演)

場所：数理棟 談話室 (ティータイム)
図書館３階 小講義室2 (講演)

講師：萩原 学 (千葉大学理学部)

題目：モダン符号の形式化に向けて

概 要：今世紀の符号理論はモダン符号理論と呼ばれている。その中心的役割を果たす対象として、LDPC符号が知られている。特に、LDPC符号のうち、空間結合LDPC符号が近年注目されている。この符号に、符号長と比例程度の計算量のアルゴリズムと組合せると、理論的に最適な復号性能を示すケースがみつかったためである。本講演ではこれらの概念の簡単な説明をし、加えて、講演者らによる形式化への取り組みを述べていく。