萩原 学   (1974-)

この人物の情報

人物名ヨミ ハギワラ マナブ
人物別名 萩原学
生年 1974年
没年 -

本の一覧

タイトル 著作者等 出版元 刊行年月
Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 萩原学, アフェルト・レナルド共著 森北
2018.4
進化する符号理論 萩原学 編著 日本評論社
2016.9
高信頼な理論と実装のための定理証明および定理証明器 溝口佳寛, Jacques Garrigue, 萩原学, Reynald Affeldt 編 九州大学マス・フォア・インダストリ研究所
2015.3
モダン符号理論からポストモダン符号理論への展望 : 九州大学マス・フォア・インダストリ研究所共同利用研究集会Ⅱ : 九州大学グローバルCOEプログラム 萩原学 編 九州大学マス・フォア・インダストリ研究所
2013.1
符号理論 : デジタルコミュニケーションにおける数学 萩原学 著 日本評論社
2012.8
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想