NCID | DA13947584 |
名称(HDNG) | 萩原, 学||ハギワラ, マナブ |
生没年(DATE) | 1974 |
から見よ(SF) | Hagiwara, Manabu |
注記(NOTE) | 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年より千葉大学准教授. 現在に至る. 専門は符号理論とそれにかかわる離散数学, 組合せ論など. ... ) |