符号理論（削除誤り&量子誤り訂正符号）とクラフトビール（足利&千葉ビール あしたのみち、数学ビール チバドラド、International Beer Cup 銀メダル 緑茶ビール）の人。著書：符号理論、進化する符号理論、Coq/SSReflect。千葉大教授（数学・情報数理学）。千葉大学リサーチブルワリー醸造責任者。

ID: 23435691

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