ハギワラ, マナブ
萩原, 学
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 場所 | 足利市 |
| 一般注記 | 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年より千葉大学准教授. 現在に至る. 専門は符号理論とそれにかかわる離散数学, 組合せ論など. ... ) |
| 生没年等 | 1974 |
| から見よ参照 | Hagiwara, Manabu |
| コード類 | 典拠ID=AU20034877 NCID=DA13947584 |
| 1 | Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著 東京 : 森北出版 , 2018.4 |
| 2 | 符号理論 : デジタルコミュニケーションにおける数学 / 萩原学著 東京 : 日本評論社 , 2012.8 |