香川県立図書館
図書館ホーム
標準蔵書検索
詳細蔵書検索
資料紹介
図書館カレンダー
Myライブラリ
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
1 件中、 1 件目
四色問題
一松 信/著 -- 講談社 -- 2016.5 -- 415.7
新着図書お知らせメール
本棚へ
所蔵
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵場所
請求記号
資料番号
資料区分
帯出区分
状態
新書
4157/H5/
1109510733
一般
貸出可
在庫
ページの先頭へ
資料詳細
種別
図書
タイトルコード
1110377269
タイトル
四色問題
タイトルカナ
ヨンショク モンダイ
副書名
どう解かれ何をもたらしたのか
著者
一松 信
/著
著者カナ
ヒトツマツ シン
叢書名
ブルーバックス
B-1969
出版地
東京
出版者
講談社
出版年
2016.5
ページ数
265p
大きさ
18cm
一般件名
グラフ理論
,
証明(数学)
NDC分類(8版)
415.7
ISBN13桁
978-4-06-257969-8
定価
¥980
内容紹介
四色問題は本当に解けたといえるのか? 人工知能があらゆる数学の難問を解決する時代が来るのか? 四色問題の誕生から最終的解決にいたるまでの歴史を踏まえ、計算機に依存した現代の数学的証明の意義をあらためて考える。
著者紹介
1926年東京生まれ。東京大学理学部数学科卒。京都大学名誉教授。理博。専攻は数値解析。2015年度日本数学会出版賞受賞。
ページの先頭へ