数学の未解決問題は人工知能に任せるしかない！（一松 信）
埋もれたままの古典的な数学の未解決問題は もはや人工知能に任せるしかない。 数学の未解決問題として有名だった四色問題――平面上の地図は四色で塗り分けられる――は、1976年の夏、イリノイ大学の二人の数学者、Ｋ・アッペルとＷ・ハーケンによって解決された。 しかし、それは計算機による膨大な検証という、従来の数学の証明法とは全く異なるものだった。四色問題の誕生から最終的解決にいたるまでの先人たちの苦闘の歴史を踏まえ、計算機に依存した現代の数学的証明の意義をあらためて考える。 はしがき 拙著『四色問題』の初版がブルーバックスで刊行されてからすでに四〇年近くが経過し、同書も永らく絶版になっていた。今回新訂版刊行の話が寄せられた折に、まず気に掛かったのは次の点である。 そこで、第五章までは若干の誤りを修正し、個人的な回想や偏見、研究者の逸話への深入りを削除したが、ほとんどもとの記述を残した。その理由は
全米ライフル協会、「トランプ大統領」支持を表明
米オレゴン州ユージーンで開かれたドナルド・トランプ氏の選挙集会の会場近くで販売されるTシャツ（2016年5月6日撮影）。(c)AFP/Rob Kerr 【5月21日 AFP】米国最大の銃ロビー団体「全米ライフル協会（NRA）」は20日、米大統領選で共和党の候補指名を確実にしたドナルド・トランプ（Donald Trump）氏を支持すると公式発表し、トランプ氏の下に団結するか、民主党のヒラリー・クリントン（Hillary Clinton）前国務長官の当選を許して「自分の銃にさようならのキスをする」か、決めるのは今だと呼び掛けた。 米ケンタッキー（Kentucky）州ルイビル（Louisville）で開かれたNRA年次総会で、クリス・コックス（Chris Cox）会長が発表した。 NRAのトランプ氏支持は意外ではないものの、発表のタイミングは過去2回の米大統領選時と比べて数か月早い。トランプ氏の
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
古のJavaを使うということ / JJUC CCC 2016 Spring
