OPACトップへ
MyOPACへログイン
目録検索 ▼
検索トップへ
分類検索
雑誌検索リスト
新着資料情報案内
貸出ベストランキング
利用者サービス ▼
利用者登録情報照会
ブックマーク
お気に入り検索
新着アラート
学外文献複写申込
学外文献借用申込
≡
書誌詳細
東京農業大学 生物産業学部図書館
検索結果一覧へ戻る
四色問題 : どう解かれ何をもたらしたのか
一松信著. -- 講談社, 2016. -- (ブルーバックス ; B-1969). <BB20017021>
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
詳細情報を見る
この書誌へのURL:
四色問題 : どう解かれ何をもたらしたのか
一松信著. -- 講談社, 2016. -- (ブルーバックス ; B-1969). <BB20017021>
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
詳細情報を見る
この書誌へのURL:
所蔵一覧
1件~1件(全1件)
ナンバーをクリックすると所蔵詳細をみることができます。
10件
20件
50件
100件
No.
巻冊次等
所蔵館
配置場所
資料ID
請求記号
禁帯出区分
状態
返却期限日
予約件数
0001
生産図
1F小型第二
7461190
415.7||H77
帯出可
整理済
0件
No.
0001
巻冊次等
所蔵館
生産図
配置場所
1F小型第二
資料ID
7461190
請求記号
415.7||H77
禁帯出区分
帯出可
状態
整理済
返却期限日
予約件数
0件
このページのTOPへ
書誌詳細
標題および責任表示
四色問題 : どう解かれ何をもたらしたのか / 一松信著
ヨンショク モンダイ : ドウ トカレ ナニ オ モタラシタノカ
出版・頒布事項
東京 : 講談社 , 2016.5
形態事項
265p, 図版 [4] p : 挿図, 肖像 ; 18cm
巻号情報
国際標準図書番号
9784062579698
書誌構造リンク
ブルーバックス||ブルー バックス <BB00011301> B-1969//a
その他の標題
異なりアクセスタイトル:四色問題 : どう解かれ何をもたらしたのか
シショク モンダイ : ドウ トカレ ナニ オ モタラシタ ノカ
要約
四色問題は本当に解け たといえるのか? 人工知能があらゆる数学の難問を解決する時代が来るのか? 四色問題の誕生から最終的解決にいたるまで の歴史を踏まえ、計算機に依存した現代の数学的証明の意義をあらためて考える。
注記
1978年刊の改訂
注記
参考文献: p257-260
学情ID
BB21243624
本文言語コード
日本語
著者標目リンク
一松, 信(1926-)||ヒトツマツ, シン <AU00004638>
分類標目
位相数学 NDC8:415.7
分類標目
位相数学 NDC9:415.7
分類標目
科学技術 NDLC:MA81
件名標目等
四色問題||シショクモンダイ
件名標目等
グラフ理論||グラフリロン
件名標目等
証明(数学)||ショウメイ(スウガク)
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ
関連情報<<
関連情報
関連資料
親書誌をみる
ブルーバックス
著者からさがす
一松, 信(1926-)
分類からさがす
位相数学 NDC8:415.7
位相数学 NDC9:415.7
科学技術 NDLC:MA81
件名からさがす
四色問題
グラフ理論
証明(数学)
他の検索サイトで探す
CiNii Books
EJ・EBOOK(FULL TEXT)
NDL Search
カーリル
Amazon
Google Books
WEB STORE
Knowledge Worker
全国の大学図書館等を検索
他大学(NII):同一条件検索
他大学(NII):同一書誌検索
資料を取り寄せる
学外文献複写申込(コピー取り寄せ)
学外文献借用申込(現物借用)
この書誌のQRコード