-
TokioHelvetica
- 33278
- 51
- 12
- 533
-
- いいね！533
NHK Eテレ編集部
@nhk_Etele
【今夜10時 4色ボールペンって便利なの？】 ４色が便利なのは、図の描き分けや色塗りのときってホント？根拠となった数学の「四色問題」に大胆にも又吉が挑む！ 「#又吉直樹のヘウレーカ！」#Ｅテレ 1月9日(水)午後10時 www4.nhk.or.jp/heureka/x/2019…
2019-01-09 18:01:01
rieco
@rieco_maracas
本日は数学の四色問題のお話 #又吉直樹のヘウレーカ pic.twitter.com/LbIs133qrY
2019-01-10 18:18:31
拡大
拡大
拡大
れおポン
@Leopon_A
「定理」と「問題」を対の言葉に感じるのは、いかにも数学者っぽい。 一般人は、問題の対義語は「回答」だと思っている。 普通はそれが正解かw #ヘウレーカ #etv
2019-01-09 22:07:38
rieco
@rieco_maracas
塗り絵で検証したら確かに4色で塗れたそうです #又吉直樹のヘウレーカ pic.twitter.com/S9qFmh8YfJ
2019-01-10 18:18:39
拡大
拡大
拡大
拡大
ウサギ の 横っ跳び 🐇→🕊
@tamago_wa_yudel
少女漫画風イラスト塗り絵を４色でやると、わりとキモい仕上がりになったりする(;´д｀)可能性の話～ #ヘウレーカ
2019-01-09 22:14:08
rieco
@rieco_maracas
四色問題はじめて物語 #又吉直樹のヘウレーカ pic.twitter.com/yh13INW77X
2019-01-10 18:18:48
拡大
拡大
拡大
拡大
rieco
@rieco_maracas
今では認められているが、当時は証明はエレガントなものであるべき、とコンピュータ証明は物議をかもした、とは。 #又吉直樹のヘウレーカ pic.twitter.com/y2vQtt5KHW
2019-01-10 18:19:07
拡大
拡大
拡大
日経サイエンス
@NikkeiScience
「4色問題の解決」 K.アペル／W.ハーケン著 4色問題は，イリノイ大学の2人の数学者により計算機を使って，124年ぶりに解決された。…コンピューターで4色問題を解いた2名当時の書き下ろし記事収録してます 数学は楽しい Part2 nikkei-science.com/page/sci_book/… #ヘウレーカ
2019-01-09 22:41:00
ウサギ の 横っ跳び 🐇→🕊
@tamago_wa_yudel
わしが生まれる前の時代は 数学界の証明をコンピューターでやるとエレガントでないとディスられる(￣▽￣;)時代は変わるー #ヘウレーカ
2019-01-09 22:16:52
河上ケイ
@koalakko711
この四色問題の解決方法はエレファントな証明って言われてて、簡単に言うと「必要最低限な例が多過ぎて人力じゃ難しかった」んだっけな。ただ追試による検証ができればいいと思うんだけど。 #ヘウレーカ
2019-01-09 22:17:23
れおポン
@Leopon_A
「より純粋でシンプルな形で表せるはずだ」ってところに美しさを感じちゃうもんだから、コンピュータという道具はエレガントに感じられないのだ。 ただ、「証明として正しいかどうか」と美しさは別問題なので。 #ヘウレーカ #etv
2019-01-09 22:16:44
rieco
@rieco_maracas
いつもツイッターで拝見しているさとひさんがご出演とな!? そして先生のこのいたずらッ子の顔！！！ かわいい… #又吉直樹のヘウレーカ pic.twitter.com/011KQCQ8wV
2019-01-10 18:19:26
拡大
拡大
拡大
拡大
rieco
@rieco_maracas
四色問題を解決しようとして色々な理論が誕生 #又吉直樹のヘウレーカ pic.twitter.com/6VJMT2W8oL
2019-01-10 18:19:42
拡大
拡大