符号理論（削除誤り訂正符号、量子誤り訂正符号）とクラフトビール（足利＆千葉100周年ビール あしたのみち、数学&ビール チバドラド、IBC銀メダル 緑茶ビール）を作ってきた人。著書に符号理論、進化する符号理論、Coq/SSReflectなど。千葉大教授（数学・情報数理学）。出身 栃木県足利市。

ID:23435691

linkhttps://manau.jp/ calendar_today09-03-2009 13:40:08