本文に飛ぶ

年 〜
年

検索結果 5 件

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

Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化
紙図書
萩原学, アフェルト・レナルド 共著森北出版2018.4<MA41-L81>
国立国会図書館全国の図書館
  • 著者標目（識別子）001117071 001292493

進化する符号理論

進化する符号理論
紙図書
萩原学 編著日本評論社2016.9<M121-L265>
国立国会図書館全国の図書館
  • 著者標目（識別子）001117071

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

高信頼な理論と実装のための定理証明および定理証明器 : 研究集会 (MI lecture note : Kyushu University ; vol. 61)
紙図書
溝口佳寛, Jacques Garrigue, 萩原学, Reynald Affeldt 編九州大学マス・フォア・インダストリ研究所2015.3<M159-L655>
国立国会図書館
  • 著者標目（識別子）001135175 00738964 001117071

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

モダン符号理論からポストモダン符号理論への展望 : 九州大学マス・フォア・インダストリ研究所共同利用研究集会Ⅱ : 九州大学グローバルCOEプログラム (COE lecture note : Kyushu University ; vol. 44)
紙図書
萩原学 編九州大学マス・フォア・インダストリ研究所2013.1<M121-L12>
国立国会図書館
  • 著者標目（識別子）001117071

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

符号理論 : デジタルコミュニケーションにおける数学
紙図書
萩原学 著日本評論社2012.8<M121-J243>
国立国会図書館全国の図書館
  • 著者標目（識別子）001117071

検索結果は以上です。

RSS