埋もれたままの古典的な数学の未解決問題は もはや人工知能に任せるしかない。 数学の未解決問題として有名だった四色問題――平面上の地図は四色で塗り分けられる――は、1976年の夏、イリノイ大学の二人の数学者、Ｋ・アッペルとＷ・ハーケンによって解決された。 しかし、それは計算機による膨大な検証という、従来の数学の証明法とは全く異なるものだった。四色問題の誕生から最終的解決にいたるまでの先人たちの苦闘の歴史を踏まえ、計算機に依存した現代の数学的証明の意義をあらためて考える。 はしがき 拙著『四色問題』の初版がブルーバックスで刊行されてからすでに四〇年近くが経過し、同書も永らく絶版になっていた。今回新訂版刊行の話が寄せられた折に、まず気に掛かったのは次の点である。 そこで、第五章までは若干の誤りを修正し、個人的な回想や偏見、研究者の逸話への深入りを削除したが、ほとんどもとの記述を残した。その理由は

リンク www.iwasaki-bei.co.jp 食品サンプルのパイオニア～イワサキ・ビーアイ | イワサキ・ビーアイ（株式会社岩崎） イワサキ・ビーアイは半世紀以上もの間、食品サンプルを軸として、飲食店様の繁盛のお手伝いをしてまいりました。そして今、私達は食品サンプルにとどまらない総合的なバックアップ体制を確立しています。

先日、ものすごく久々にアニメ「クレヨンしんちゃん」のリアルタイム放送を観た。1990年に「漫画アクション」で連載が始まったこの作品。 アニメは1992年から今日にいたるまで放送されている。 31歳の僕が子どもの頃から続いている作品なんだけど、作品世界の中では時間の流れはほとんど意識されていない。しんのすけは昔から幼稚園児だし、登場人物はほとんど歳をとっていない。せいぜい妹が増えたぐらいだろう。 そうしている内に最近では少々時代錯誤な描写も目立つようになっている。今回はこれについて書いていきたい。 （文：松本ミゾレ） ■当時は冴えない中年男性として描かれていたが、今の感覚では勝ち組 先日、Twitterでこのようなツイートが発信され、多くの関心を集めた。 「どうしたのコナン君？」 「あの男、冴えないという評判なのに35歳で霞ヶ関の商社で係長、郊外のベッドタウンに二階建て庭付きの自宅を新築して