#又吉直樹のヘウレーカ 1/9は”4色ボールペンって便利なの?”で四色問題を題材にしていました。地図は飛び地があるので5色とか。速記メモ。
解説は東工大の鈴木咲衣さんでした。
http://www.is.c.titech.ac.jp/~sakie/sakietech/homu.html
アッペルとハーケンの論文はこちらなどで読める。
Every planar map is four colorable. Part I and II
https://projecteuclid.org/euclid.ijm/1256049011
https://projecteuclid.org/euclid.ijm/1256049012
もっと新しい形式的証明のCoqをつかったものはこちら。
"A computer-checked proof of the Four Colour Theorem"
http://www2.tcs.ifi.lmu.de/~abel/lehre/WS07-08/CAFR/4colproof.pdf
NHK又吉直樹のヘウレーカ!を観てました。千葉逸人さん、鈴木咲衣さん登場の数学の番組で、メトロノーム同期・蔵本モデルが出てくる。速記メモ。 #ヘウレーカ #NHK
« 「雪の断章」を読んだ。帯で青崎有吾さんが推薦してたので。確かに一気読みしてしまう印象深い本だ! | トップページ | 天啓の殺意(中町信さん)を読んだ。確かにだまされる! »
「日記・コラム・つぶやき」カテゴリの記事
- 高周波・RFニュース 2025年2月13日 iFixitがSamsung Galaxy S25 ultraを分解、ぐりぐり回せる3D CTモデルに、Spirentの5G Outlook レポート、QualcommのオンデバイスAIホワイトペーパー、InfineonがCoolSiC™ MOSFETs 650 Vの Q-DPAKとTOLLパッケージで発表(2025.02.13)
- 高周波・RFニュース 2025年2月12日 GSAが5G standaloneウェビナー開催、CTIAと5G americasがケーブルに対抗してSpectrum for Broadband Competitionで連携、NXPがエッジAIのKinaraを買収、PBKreviewsがSamsung Galaxy S25/plus/ultra全部分解していて5Gミリ波AiPは全部1個(2025.02.12)
« 「雪の断章」を読んだ。帯で青崎有吾さんが推薦してたので。確かに一気読みしてしまう印象深い本だ! | トップページ | 天啓の殺意(中町信さん)を読んだ。確かにだまされる! »
コメント