検索結果資料の内容

図書
ログインすると表紙画像を
ご覧になれます
ご利用の地域の図書館が所蔵している場合、そちらの方が早く借りられることもあります。
また、ご利用の地域の図書館に申し込み、県立図書館の資料を取り寄せることもできます。
岡山県図書館横断検索

この資料の情報へのリンク：

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

資料の状態

各蔵書資料に関する詳細情報です。

No. 資料番号 資料種別 請求記号 配架場所 状態 貸出
1 0014415327図書一般410/ﾊｷ18/2F自然貸出可  ○

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

書誌情報サマリ

タイトル

Coq/SSReflect/MathCompによる定理証明

人名 萩原 学／共著
人名ヨミ ハギワラ マナブ
出版者・発行者 森北出版
出版年月 2018.4

書誌詳細

この資料の書誌詳細情報です。

書誌種別 図書
タイトル Coq/SSReflect/MathCompによる定理証明
サブタイトル フリーソフトではじめる数学の形式化
タイトルヨミ コック エスエスリフレクト マスコンプ ニ ヨル テイリ ショウメイ
サブタイトルヨミ フリー ソフト デ ハジメル スウガク ノ ケイシキカ
人名 萩原 学／共著 　 アフェルト・レナルド／共著
人名ヨミ ハギワラ マナブ　アフェルト レナルド
出版者・発行者 森北出版
出版者・発行者等ヨミ モリキタ シュッパン
出版地・発行地 東京
出版・発行年月 2018.4
ページ数または枚数・巻数 4,211p
大きさ 22cm
価格 ￥３２００
ISBN 978-4-627-06241-2
ISBN 4-627-06241-2
分類記号 410
件名 証明(数学)-データ処理
内容紹介 定理証明支援系の研究利用と普及を手がけてきた著者らが、Coq/SSReflect/MathCompの開発環境づくりから、基本的な操作、代表的な命令・ライブラリの使い方までを解説する。
著者紹介 1974年栃木県生まれ。千葉大学准教授。
言語区分 JPN
タイトルコード 1009812210680



目次


内容細目

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

410　410
【中学数学で解く大学入試問題　：　数…】 中学数学で解く大学入試問題　：　数…
杉山 博宣／著 【おもしろい算数】 おもしろい算数
小山 信也／監修 【ゼロからわかる!みるみる数字に強く…】 ゼロからわかる!みるみる数字に強く…
Team.Sto… 【公式は覚えないといけないの?　：　…】 公式は覚えないといけないの?　：　…
矢崎 成俊／著 【見つける算数】 見つける算数
大野 寛武／著,… 【見つける数学】 見つける数学
大野 寛武／著,… 【学びなおし!数学　：　…代数・解析編】 学びなおし!数学　：　…代数・解析編
黒木 哲徳／著 【ジュニア数学オリ…2019-2024】 ジュニア数学オリ…2019-2024
数学オリンピック… 【数学思考のエッセンス　：　実装する…】 数学思考のエッセンス　：　実装する…
オリヴァー・ジョ… 【一度読んだら絶対に忘れない数学の教…】 一度読んだら絶対に忘れない数学の教…
永野 裕之／著 【大人のための算数力講義　：　昔は解…】 大人のための算数力講義　：　昔は解…
芳沢 光雄／[著… 【世界一ひらめく!算数&数学の大図鑑】 世界一ひらめく!算数&数学の大図鑑
アンナ・ウェルト… 【コンピュータでとく数学　：　データ…】 コンピュータでとく数学　：　データ…
矢吹 太朗／著 【大学数学ガイダンス】 大学数学ガイダンス
数学セミナー編集… 【高校数学の美しい物語】 高校数学の美しい物語
難波 博之／著 【るるぶマンガとクイズで楽しく学ぶ!…】 るるぶマンガとクイズで楽しく学ぶ!…
松野 陽一郎／監… 【大学数学の根幹】 大学数学の根幹
Ian Stew… 【中学数学で磨く数学センス　：　数と…】 中学数学で磨く数学センス　：　数と…
花木 良／著 【名探偵コナンの12才までに算数セン…】 名探偵コナンの12才までに算数セン…
青山 剛昌／原作… 【文系オトナですが、今から数学を楽し…】 文系オトナですが、今から数学を楽し…
math cha… 【図解はじめて学ぶ数学のせかい】 図解はじめて学ぶ数学のせかい
サラ・ハル／文,… 【見てわかる数学入門ショートストーリ…】 見てわかる数学入門ショートストーリ…
ポール・グレンデ… 【数学の苦手が好きに変わるとき】 数学の苦手が好きに変わるとき
芳沢 光雄／著 【ようこそ、数学クラブへ　：　暗記も…】 ようこそ、数学クラブへ　：　暗記も…
キム ミニョン／… 【身のまわりで発見!算数・数学の大事…】 身のまわりで発見!算数・数学の大事…
桜井 進／監修
もどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。