Inter-universal geometry と ABC 予想 45

[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 45 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

503: １３２人目の素数さん [sage] 2020/03/28(土) 19:51:50.93 ID:MRwZqC/h

>>501

「山田クン！座布団1枚持っていって！」

https://f-navigation.jp/column/life/887.html
facebook navi
幸せと座布団を運び続けて31年！笑点・山田クンが語る「継続する先に見えるもの」 2015/12/02
■「山田クン！座布団1枚持ってきて！」（取材・文：山葵夕子　撮影：ヒダキトモコ）
(抜粋)
日曜の夕方、「笑点」だけは子供の頃から見続けている。テレビの向こうには昔も今も変わらずにニコニコしながら座布団を運び続ける”山田クン”。どこかほっとする反面、幸せと座布団を運び続けて31年なんて、どうしたら継続できるのかと不思議に思ってしまう。

山田クンこと、山田たかおさんの著書「山田クンとざぶとん」（双葉社）や「ボクに運が巡ってくる55の理由」（廣済堂出版）を開けば、その多才さにまず驚かされる。
元スーパーアイドルで、落語家として寄席にも出れば、スピルバーグの映画に出演した経験も。運動神経も抜群でプロボクサーの資格を持ち、卓球の腕前も世界ベテラン卓球選手権に出場するほど。
なおかつ不動産の才もあり、マンション2棟を所有するオーナーでもある。それというのも、すべては「座布団芸」という、山田たかおさんの代名詞とも言える芸があるからだ。

https://imgcp.aacdn.jp/img-a/600/auto/fb-navi/column/2015/12/30202d90f29ab0ea45fcb554bbeeaa74.jpg

プロデューサーのすすめで、6代目座布団運びに起用された直後からお辞儀の仕方や歩き方を学ぶために日本舞踊は習っていたのですが、挨拶コンプレックスを克服するために落語を一から学びたいと思いました。それで当時の落語協会会長の鈴々舎馬風（れいれいしゃばふう）師匠に「弟子にしてください」と頭を下げて、一門入りすることにしたのです。

ところが、笑点のプロデューサーやディレクターに報告する前に、馬風師匠が新聞記者に話してしまったものだから、次の日にはドドーンと一面に「山田隆夫、鈴々舎一門入り！」と掲載されてしまって大騒ぎに。

http://rio2016.5ch.net/test/read.cgi/math/1582883006/503

520: １３２人目の素数さん [sage] 2020/03/29(日) 08:54:42.58 ID:PhmwLbdr

>>517
>あと4色問題は理論ですらない
>(コンピューターを使うと)しらみつぶしで証明できてしまったってだけ

分かってないな
「4色問題」は、”一松信『四色問題 どう解かれ何をもたらしたのか』講談社〈ブルーバックス B-1969〉、2016”にも、書いてあったと思うが
おそらく、「コンピュータを使用しない証明は、得られない！」 最初の例になるのではないかといわれている
「4色問題」は、これはこれで意義があると思う。定理証明系Coqなどにも繋がっている
そういう意味で、「コンピュータしらみつぶし」証明の歴史を開いた意義があると思う
（なお、よく言われるのが、自然数ｎに関連する定理で、一般論が通用ぜず、n=３，４，５辺りが例外事象が多く、証明が難しくなることがあると）

（参考）
https://ja.wikipedia.org/wiki/%E5%9B%9B%E8%89%B2%E5%AE%9A%E7%90%86
(抜粋)
厳密ではないが日常的な直感で説明すると「平面上のいかなる地図も、隣接する領域が異なる色になるように塗り分けるには4色あれば十分だ」という定理である。

歴史
1976年にケネス・アッペル とヴォルフガング・ハーケンは、コンピュータを利用して約2000個の（後に1400個あまりに整理された）可約な配置からなる不可避集合を見出し、四色定理を「証明」するに至った
人手による実行が（事実上）不可能なほどの複雑なプログラムの実行によるものであることから、ハードウェアやソフトウェア（コンピュータやそのプログラム）のバグの可能性などの懸念から、その確実さについて疑問視する向きもあった。
2004年にはジョルジュ・ゴンティエ (Georges Gonthier) が定理証明系Coqを用いて、よりシンプルな証明を行う

証明
複雑に思える問題に対して簡潔にまとまった比較的短い証明（解答）を、エレガントな証明（解答）と言うことがある。
四色定理のある種「力業な証明」は、これと対極にあるものとして揶揄を込めて「エレファント（象）」な証明とも言われた。
5色による塗り分けが可能であることの証明が簡潔なものであるのと対照的である。

現在でもコンピュータを使用しない証明は得られていない
それどころか完全に自然言語を離れて、プログラムにバグがないことも含めた四色定理の証明全体をコンピュータに打ち込んで証明検査器Coqにチェックさせた仕事がある

http://rio2016.5ch.net/test/read.cgi/math/1582883006/520

上下前次 1-新書関写板覧索設栞歴

あと 428 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.014s