著者典拠情報

標目形：
萩原, 学||ハギワラ, マナブ
属性：
Personal
場所：
足利市
日付：
1974
から見よ参照形：
Hagiwara, Manabu
注記：
SRC:星型Dynkin図形上及びA型Dynkin図形上の minuscule heap / 萩原学 = Minuscule heaps over simply-laced, star-shaped dynkin diagrams / Hagiwara Manabu(東京大学数理科学研究科, 2002)
EDSRC:Coq/ssreflect/mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著(森北出版, 2018.4): 標題紙 (Manabu Hagiwara) 奥付ページ (萩原 学(はぎわら・まなぶ) 1974年, 栃木県足利市生まれ. ... 2013年より千葉大学准教授. 現在に至る. 専門は符号理論とそれにかかわる離散数学, 組合せ論など. ... )
著者典拠ID：
DA13947584


1.

図書
図書
1. 符号理論 : デジタルコミュニケーションにおける数学
萩原学著
出版情報: 東京 : 日本評論社, 2012.8
所蔵情報: loading…
2.

図書
図書
2. 進化する符号理論
萩原学編著
出版情報: 東京 : 日本評論社, 2016.9
所蔵情報: loading…
3.

図書
図書
3. Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化
萩原学, アフェルト・レナルド共著
出版情報: 東京 : 森北出版, 2018.4
所蔵情報: loading…