広島市立図書館
蔵書検索画面の文字の大きさを変えるには
資料検索
資料紹介
Myライブラリ
広島市立図書館ホームページへ戻る
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
1 件中、 1 件目
陶渕明詩解
未所蔵
0
0
0
鈴木 虎雄/著 -- 弘文堂書房 -- 1948 --
総合評価
5段階評価の0.0
(0)
本棚へ
所蔵
所蔵は
0
件です。予約は
0
件です。
館別所蔵
館名
所蔵数
貸出中数
貸出可能数
ページの先頭へ
資料詳細
タイトル
四色問題
副書名
どう解かれ何をもたらしたのか
シリーズ
ブルーバックス
著者名
一松 信
/著
出版者
講談社
出版年
2016.5
ページ数等
265p
大きさ
18cm
分類(9版)
415.7
分類(10版)
415.7
内容紹介
四色問題は本当に解けたといえるのか? 人工知能があらゆる数学の難問を解決する時代が来るのか? 四色問題の誕生から最終的解決にいたるまでの歴史を踏まえ、計算機に依存した現代の数学的証明の意義をあらためて考える。
著者紹介
1926年東京生まれ。東京大学理学部数学科卒。京都大学名誉教授。理博。専攻は数値解析。2015年度日本数学会出版賞受賞。
テーマ
グラフ理論
,
証明(数学)
ISBN
4-06-257969-8
本体価格
¥980
特定資料種別
図書
URL
https://www.library.city.hiroshima.jp/winj/opac/switch-detail.do?bibid=1110065654
ページの先頭へ