yr 〜
yr

Search results 5

Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化

Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化
Paper図書
萩原学, アフェルト・レナルド 共著森北出版2018.4<MA41-L81>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩原, 学, 1974- Affeldt, Reynald, 1976-

進化する符号理論

進化する符号理論
Paper図書
萩原学 編著日本評論社2016.9<M121-L265>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩原, 学, 1974-

モダン符号理論からポストモダン符号理論への展望 : 九州大学マス・フォア・インダストリ研究所共同利用研究集会Ⅱ : 九州大学グローバルCOEプログラム (COE lecture note : Kyushu University ; vol. 44)

モダン符号理論からポストモダン符号理論への展望 : 九州大学マス・フォア・インダストリ研究所共同利用研究集会Ⅱ : 九州大学グローバルCOEプログラム (COE lecture note : Kyushu University ; vol. 44)
Paper図書
萩原学 編九州大学マス・フォア・インダストリ研究所2013.1<M121-L12>
National Diet Library
  • Author Heading萩原, 学, 1974-

高信頼な理論と実装のための定理証明および定理証明器 : 研究集会 (MI lecture note : Kyushu University ; vol. 61)

高信頼な理論と実装のための定理証明および定理証明器 : 研究集会 (MI lecture note : Kyushu University ; vol. 61)
Paper図書
溝口佳寛, Jacques Garrigue, 萩原学, Reynald Affeldt 編九州大学マス・フォア・インダストリ研究所2015.3<M159-L655>
National Diet Library
  • Author Heading溝口, 佳寛 Garrigue, Jacques, 1971- 萩原, 学, 1974-

符号理論 : デジタルコミュニケーションにおける数学

符号理論 : デジタルコミュニケーションにおける数学
Paper図書
萩原学 著日本評論社2012.8<M121-J243>
National Diet LibraryOther Libraries in Japan
  • Author Heading萩原, 学, 1974-

Reached to the end of result.