萩原 学
(1974-)
人物名ヨミ
ハギワラ マナブ
人物別名
萩原学
生年
1974年
没年
-
タイトル
著作者等
出版元
刊行年月
Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化
萩原学, アフェルト・レナルド共著
森北
2018.4
進化する符号理論
萩原学 編著
日本評論社
2016.9
高信頼な理論と実装のための定理証明および定理証明器
溝口佳寛, Jacques Garrigue, 萩原学, Reynald Affeldt 編
九州大学マス・フォア・インダストリ研究所
2015.3
モダン符号理論からポストモダン符号理論への展望 : 九州大学マス・フォア・インダストリ研究所共同利用研究集会Ⅱ : 九州大学グローバルCOEプログラム
萩原学 編
九州大学マス・フォア・インダストリ研究所
2013.1
符号理論 : デジタルコミュニケーションにおける数学
萩原学 著
日本評論社
2012.8
この人物を:
書棚を選択して下さい
mixiチェック
ツイート
国立国会図書館著者名典拠
日本の古本屋(全国古書検索)
想-IMAGINE Book Search(関連情報検索)
情報を取得できませんでした。
件が連想されています
情報を取得できませんでした。
ページトップへ
トップページ
Webcat Plusとは?
FAQ