サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

平成最後の読書一生分プレゼントキャンペーン(~12/9)

アウトレットポイント5倍キャンペーン ~11/30

  1. hontoトップ
  2. 本の通販
  3. コンピュータ・IT・情報科学の通販
  4. ソフトウェアの通販
  5. 森北出版の通販
  6. Coq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化の通販

電子書籍化お知らせメール

商品が電子書籍化すると、メールでお知らせする機能です。
「メールを登録する」ボタンを押して登録完了です。
キャンセルをご希望の場合は、同じ場所から「メール登録を解除する」を押してください。

電子書籍化したら知らせてほしい

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

ブラウザで立ち読み

  • みんなの評価 5つ星のうち 未評価
  • あなたの評価 評価して"My本棚"に追加 評価ありがとうございます。×
  • カテゴリ:一般
  • 発売日:2018/04/18
  • 出版社: 森北出版
  • サイズ:22cm/211p
  • 利用対象:一般
  • ISBN:978-4-627-06241-2
  • 国内送料無料
専門書

紙の本

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

著者 萩原 学 (共著),アフェルト・レナルド (共著)

定理証明支援系の研究利用と普及を手がけてきた著者らが、Coq/SSReflect/MathCompの開発環境づくりから、基本的な操作、代表的な命令・ライブラリの使い方まで...

もっと見る

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

3,456(税込)

予約購入とは

まだ販売されていない電子書籍の予約ができます。予約すると、販売開始日に自動的に決済されて本が読めます。

  • 商品は販売開始日にダウンロード可能となります。
  • 価格と販売開始日は変更となる可能性があります。
  • ポイント・クーポンはご利用いただけません。
  • 間違えて予約購入しても、予約一覧から簡単にキャンセルができます。
  • honto会員とクレジットカードの登録が必要です。未登録でも、ボタンを押せばスムーズにご案内します。

予約購入について詳しく見る

ワンステップ購入とは

ワンステップ購入とは、ボタンを1回押すだけでカートを通らずに電子書籍を購入できる機能です。

こんな方にオススメ

  • とにかくすぐ読みたい
  • 購入までの手間を省きたい
  • ポイント・クーポンはご利用いただけません。
  • 間違えて購入しても、完了ページもしくは購入履歴詳細から簡単にキャンセルができます。
  • 初めてのご利用でボタンを押すと会員登録(無料)をご案内します。購入する場合はクレジットカード登録までご案内します。

キャンセルについて詳しく見る

新刊お知らせメール登録

この著者の新着情報

一覧を見る

あわせて読みたい本

この商品に興味のある人は、こんな商品にも興味があります。

前へ戻る

  • 対象はありません

次に進む

このセットに含まれる商品

前へ戻る

  • 対象はありません

次に進む

商品説明

定理証明支援系の研究利用と普及を手がけてきた著者らが、Coq/SSReflect/MathCompの開発環境づくりから、基本的な操作、代表的な命令・ライブラリの使い方までを解説する。【「TRC MARC」の商品解説】

コンピュータと協働して数学する!

定理証明支援系Coq/SSReflect/MathComp,待望の入門書.

◆定理証明支援系とは?

数学の定理証明を支援するソフトウェアのこと.数学の高度化に伴い,従来の「紙と鉛筆」では証明の構成・検証がますます困難になるなか,Coqをはじめとする定理証 明支援系が開発されてきました.こうしたシステムには,証明の正しさを保証する機能のほか,証明をコンピュータが扱える形に翻訳する「数学の形式化」の作業を効率 化する仕組みが備えられています.実際Coqは「四色定理」や「ケプラー予想」といった歴史的な大問題を解くのにも利用され,話題をよびました.
◆日本語初のチュートリアル

本書は,Coqとその拡張言語SSReflect/MathCompの初となる解説書です.定理証明支援系の研究利用と普及を手がけてきた著者らが,開発環境のインストール手順から基本的な操作,代表的な命令・ライブラリの使い方までを案内します.集合論,代数学,確率・統計,そして情報理論の簡単な定理を題材に,Coq/SSReflect/MathCompの使い方を易しく例示.本書をひととおり読みこなせば,幅広い分野の定理を形式化する力が自然と身につくはずです.

◆まずは触ってみよう!

数学者を目指す方は「大規模証明時代の必須ツール」として,プログラマの方であれば「ソフトウェア検証などの応用を見据えた基礎トレーニング」として,Coq/SSReflect/MathCompに触れてみてはいかがでしょうか.コンピュータと手を携えて定理をつくっていく――その新感覚の面白さに,きっと魅了されることでしょう.
【本の内容】

目次

  • 第1章 Coq/SSReflect/MathCompとは
  • 第2章 使ってみよう
  • 第3章 命令
  • 第4章 MathCompライブラリの基本ファイル
  • 第5章 集合の形式化
  • 第6章 代数学の形式化
  • 第7章 確率論と情報理論の形式化

著者紹介

萩原 学

略歴
〈萩原学〉1974年栃木県生まれ。千葉大学准教授。
〈アフェルト・レナルド〉1976年フランス生まれ。国立研究開発法人産業技術総合研究所主任研究員。

この著者・アーティストの他の商品

前へ戻る

  • 対象はありません

次に進む

みんなのレビュー0件

みんなの評価0.0

評価内訳

  • 星 5 (0件)
  • 星 4 (0件)
  • 星 3 (0件)
  • 星 2 (0件)
  • 星 1 (0件)

ソフトウェア ランキング

ソフトウェアのランキングをご紹介します一覧を見る

前へ戻る

次に進む