2025/05/08
| 資料の種別｡ |
図書｡
 資料情報のコピー
|
| タイトル｡ |
Coq/SSReflect/MathCompによる定理証明(コック エスエスリフレクト マス コンプ ニ ヨル テイリ ショウメイ)｡
外部サイトで調べる: 
|
| 副書名｡ |
フリーソフトではじめる数学の形式化(フリー ソフト デ ハジメル スウガク ノ ケイシキカ)｡
|
| 著者名等｡ |
萩原学∥共著(ハギワラ,マナブ)｡
|
| アフェルト・レナルド∥共著(アフェルト,レナルド)｡
|
| 出版者｡ |
森北出版／東京｡
|
| 出版年｡ |
2018.4｡
|
| ページと大きさ｡ |
211p／22cm｡
|
| 件名｡ |
定理(数学)｡
|
| 数学-データ処理｡
|
| ソフトウェア｡
|
| 分類｡ |
NDC8 版：410.7｡
|
| NDC9 版：410.7｡
|
| ISBN｡ |
978-4-627-06241-2｡
|
| 4-627-06241-9｡
|
| 価格｡ |
3200｡
|
| タイトルコード｡ |
1110330888｡
|
| 著者紹介｡ |
【萩原学】1974年、栃木県生まれ。2002年東京大学大学院数理科学研究科博士課程修了、博士(数理科学)。2013年より千葉大学准教授、現在に至る。専門は符号理論とそれにかかわる離散数学、組合せ論など。著書に『符号理論』(日本評論社)など。(本データはこの書籍が刊行された当時に掲載されていたものです)｡
|
| 【アフェルト・レナルド】1976年、パ=ド=カレー県ランス市(フランス)生まれ。2004年東京大学大学院情報理工学系研究科博士課程修了。博士(情報理工)。2005年より国立研究開発法人産業技術総合研究所主任研究員。(本データはこの書籍が刊行された当時に掲載されていたものです)｡
|
| 所蔵数｡ |
館内でのみ利用可能な資料｡ |
貸出可能な資料｡ |
貸出中の資料｡ |
予約数｡ |
- 所蔵数
- 1 冊
|
- 館内でのみ利用可能な資料
- 0 冊
|
- 貸出可能な資料｡
- 1 冊
|
- 貸出中の資料
- 0 冊
|
- 予約数
- 0 件
|
| 番号｡ |
資料番号｡ |
所蔵館｡ |
配架場所（配架案内）｡ |
請求記号｡ |
状態｡ |
| 1｡ |
- 資料番号：
- 2012613218｡
|
- 所蔵館：
- 若狭図書学習センター｡
|
- 配架場所：
- 棚番号１０棚番号１０｡
|
- 請求記号：
- 410.7/ﾊｷﾜ｡
|
- 状態：
- 在架｡
|
このページのURL：http://www.library-archives.pref.fukui.lg.jp/wo/opc_srh/srh_detail/1110330888