Inter-universal geometry と ABC予想　２０　山下剛のサーベイ出る

Inter-universal geometry と ABC予想　２０　山下剛のサーベイ出る at MATH

[前50を表示]
600:１３２人目の素数さん
17/09/28 21:43:41.88 K5GiHONY.net
あれでも京大理系出てるから数学科レベルだったのかな

601:１３２人目の素数さん
17/09/29 00:17:18.52 g10mVESH.net
すみません、ジャコとメダカの稚魚が戯れてるようにしか見えませんがｗ

602:１３２人目の素数さん
17/09/29 03:40:28.45 /803eP/6.net
結局、ABC予想は解決されたのか？

603:１３２人目の素数さん
17/09/29 05:06:44.70 o+AKGpgW.net
わざわざ探り入れなくてもいいじゃん

604:１３２人目の素数さん
17/09/29 06:10:18.12 /BB7ZLZN.net
すまんのお、ジジイは陰謀論がすきでの。
予算がたらんのは役にたたん外人を滞在させるなちゅうことかいの。
あるいはもう予算かけるなちゅう天の声かいのう。
予算作る人間もあちこちしらべての上で決めておるじゃろうて。

605:１３２人目の素数さん
17/09/29 06:42:34.71 MMPidesS.net
それ、なんてラノベ？
理研はたしかオボって予算半減したけど

606:１３２人目の素数さん
17/09/29 06:54:31.53 MMPidesS.net
地味に水石油事件が響いてるんじゃないかな
海外にまで報道配信されちゃったし
紫綬褒章を受賞した京大教授 2015.9.18
URLﾘﾝｸ(ganbaremmc.exblog.jp)

607:１３２人目の素数さん
17/09/29 07:23:28.69 Nb9ilPHC.net
これ嘘なの？

608:１３２人目の素数さん
17/09/29 07:24:15.96 o+AKGpgW.net
ま、失敗でも成功でもドキュメンタリー化してほしいな、内部関係者には
白い巨塔ならぬ白い巨匠とかで

609:１３２人目の素数さん
17/09/29 07:31:09.44 MMPidesS.net
>>607 ソース元の配信記事が削除されている
ABC ニュース｜【京都】炭酸ガスと水で効率的に石油を合成と発表
URLﾘﾝｸ(webnews.asahi.co.jp)

610:１３２人目の素数さん
17/09/29 16:12:00.37 1fxjZ9KG.net
石油水やSTAPに共通して思うのは、一応プロが周囲にたくさんいて止められなかったこと
そこのコミュニティの権威、あるいは権威と近い人物が主導すると意見もできないんだろうな
石油水やSTAPも本人は信じてたんだろうから悪気はないのかもしれないが
石油水は世間一般に詳しい人が多数存在して、報道当時から懐疑的な意見が多かったから
あまり拡散されなかったけどほかはどうだか
紫綬教授は１５年９月の報道以前の１５年年初に近いころに講義でも説明してたらしい
学生や同僚はなにしてたんだか

611:１３２人目の素数さん
17/09/29 16:50:22.15 1fxjZ9KG.net
あ、もちろんIUTや論文一般を批判してるわけじゃないよ
ただしそこから先は非常に重要だ
ギミックが正しい(と思われる)場合に本論はギミックと同一でなければならない
ギミックを前提に成り立つとそこにひっかかるから
こういう問題のことね → URLﾘﾝｸ(suzie-news.jp)
石油水のばあいは立場的に簡単に引っ込められないんだろうから、手をかえ品をかえ
たとえば酸化チタン触媒をイリジウムだのアルミだのタングステンだの精製水だの
重水素水だのいろんな修正実験を繰り返して時間稼ぎをして墓場までもってくつもりかしら
ま、こんどの○スパワーで簡単に説明しようとしてるようだからよく聞いてね
理論構成が変なときにはとくに前提がおかしいかもしれないから

612:１３２人目の素数さん
17/09/29 18:46:33.42 /BB7ZLZN.net
よく使われるギミックは今までにない画期的なハナシだから簡単に例えるとこうなります、みたいなとこかの
水石油のハナシはもうええじゃろて

613:１３２人目の素数さん
17/09/29 20:25:05.10 WPSj9m+w.net
おもしれー。
なんだよ、水から石油とかって。
鼻から牛乳ぐらいならなんとかできるけど。
これは何百年も使われてるらしい。
URLﾘﾝｸ(www.youtube.com)
轟沈
URLﾘﾝｸ(headlines.yahoo.co.jp)

614:１３２人目の素数さん
17/09/29 22:36:17.34 pbKbqc+/.net
これがビッグデータ監視だ。もちろん、日本にもすでにあるぞ。
【動画】中国の犯罪者追跡システム「天網」が完全にSF映画の世界だと人民の間で話題に [無断転載禁止]©2ch.net [895142347]
URLﾘﾝｸ(leia.2ch.net)
ビッグデータ監視動画ね。
URLﾘﾝｸ(www.youtube.com)

615:１３２人目の素数さん
17/09/30 06:43:03.42 Qia7l4Hl.net
水ガソリン思い出したわ

616:１３２人目の素数さん
17/09/30 11:10:31.79 GALhTLgB.net
とうとうカントを反駁した。コメントくれ。
URLﾘﾝｸ(mevius.2ch.net)

617:１３２人目の素数さん
17/09/30 12:00:44.50 +Fi669H0.net
IUTは石油水と同じってこと？

618:１３２人目の素数さん
17/09/30 14:25:30.71 mlVaiAaL.net
予約：333
タイムシフト予約
2017/10/07(土)12:00 開始
数学の祭典 MATH POWER 2017
昨年からスタートした数学の祭典MATH POWER 今年も、数学の魅力が詰め込まれたいろいろな企画を、これでもかと用意しました！...
【ABC予想と新しい数学】（講演）
加藤文元（東京工業大学理学院数学系教授）
《講演内容》
ABC予想や宇宙際タイヒミュラー（IUT）理論の基本について、
中高生にもその斬新さを伝えられるような説明を目指す。
URLﾘﾝｸ(live.ni)＠＠＠　　covideo.jp/gate/lv303564022

619:１３２人目の素数さん
17/09/30 14:52:08.95 abJFsv0D.net
ワイルズやコンラッドが理解できないものをなんで中高生や少なくない日本人がわかるんだよ

620:１３２人目の素数さん
17/09/30 17:59:24.69 Vof06jZP.net
加藤氏は500ページの論文読んだのかな？

621:１３２人目の素数さん
17/09/30 19:12:08.57 avR9X6X8.net
あの方は創成期の査読者でしょ
ホントに理解できたのならもっと大騒ぎしてると思うんだけど

622:１３２人目の素数さん
17/09/30 19:22:19.02 mlVaiAaL.net
確か当時一緒にセミナーをやっていたんじゃなかったっけ。
全体像じゃなくても何が新しいのかって言う点については語れるんじゃないの

623:１３２人目の素数さん
17/09/30 19:38:42.70 HZTYWTKs.net
>>620
文元はEGA,SGAを全ページ読んだ人だよ

624:１３２人目の素数さん
17/09/30 19:42:21.57 DRF5AjZe.net
jin宣伝乙

625:１３２人目の素数さん
17/09/30 20:10:11.50 ywUjgNmS.net
>>623 ふ～ん。じゃIUTとリーマン予想の関係も肯定したのね。

626:１３２人目の素数さん
17/09/30 20:14:26.39 avR9X6X8.net
加藤先生すげー
リーマン予想の世界的第一人者になったのか（棒読み）

627:１３２人目の素数さん
17/09/30 20:15:55.71 ZAYkZamp.net
もっちー超えてるやん

628:１３２人目の素数さん
17/09/30 22:05:58.73 +Fi669H0.net
まあ、あの人の職業はサイエンスライターだよね

629:１３２人目の素数さん
17/09/30 22:24:14.07 SmmDmOM2.net
文元がEGA,SGA読破とか無い
自分を大きく見せたいところはある

630:１３２人目の素数さん
17/09/30 22:27:20.39 TO9qf1hk.net
ツイッターやってる時点で信用はおけない

631:通りすがり
17/09/30 23:12:29.70 9bnr9FuJ.net
ABC予想は素数論での強力な定理であるとされて居ますので、もしも素数論での望月新一氏のABC予想の解決が正しいとするならば、当然の事ですがリーマン予想も肯定的に証明されたと考えて宜しいか？？
山下剛氏のサーベイランスが肯定的に検証されたとするのならば、更にはリーマン予想の次に、素数のもつ多様な性質がまだ解明されて居ない。自然界には素数論が応用できる分野が多々あるが、その方面への応用も期待されるのではないでしょうか？？

632:通りすがり
17/09/30 23:15:59.79 9bnr9FuJ.net
山下剛氏のサーベイ論文が掲載されて居ますが、
大変に長い論文です。お仕事に敬意を表します。

633:１３２人目の素数さん
17/10/01 04:05:23.38 zqoMtk4v.net
科研費取ってまでの内容とは思えない

634:１３２人目の素数さん
17/10/01 05:09:24.29 NjK8AWyf.net
>497支持説

635:１３２人目の素数さん
17/10/01 07:43:40.02 q5sO2aKC.net
将棋が好きならそれでも構わないが将棋界での立ち位置から類推するとどれぐらいのことをやってるのかなんとなくわかるだろう
起死回生の神手とか定石の手本で世界は奪れない
学ぶんだったらＡＩのプログラムの組み方だろうな

636:１３２人目の素数さん
17/10/01 08:22:45.14 6Zbf4XrE.net
他のだれかがやった研究を自分はこういうふうに解釈しました！っていうお気楽なお仕事
サーベイばっかりでたいした論文書いてないだろこいつ
しかもうんこ漏らしてるやつだし

637:１３２人目の素数さん
17/10/01 12:09:59.99 f/hTZCfS.net
フィールズ賞受賞したヴォエヴォドスキーが５１歳でなくなったそうだ。
定理の自動証明にも取り組んでいたユニークな数学者だったそうな。
Jun Inoue? @jun0inoue 2015年4月14日
Voevodskyによるホモトピー型理論誕生の経緯の説明。(@orionis23 さんに紹介してモロタ)
間違った証明を発表したのに、Voevodsky自身の名声や自信が邪魔をして
何年も見つからなかったケースが度々あったので、証明の正しさの検証の機械化を真剣に考えるようになった。
o-o⇒o-o-o? @yujitach 2014年3月28日
Voevodsky が、自分や関連する論文の証明の誤りが十数年気付かれなかった苦い経験を語った講演のスライド:
URLﾘﾝｸ(www.math.ias.edu)
… ですが、数学者のみなさんはどうお考えでしょう? (@で皆さんのtwitter名を列挙してもよいのですがやめておきます)
Voevodsky の講演の後半では、「だから、証明は計算機で確認しないといけない。
それにはZFCは使いにくいから、他のに替えたほうが良い」という方向に行くのですが。
超弦理論も作用の確認とか計算機で確認するのに替えたほうが良いと思う。学生さんで手計算が好きな人が多くて謎です。
Masahito Yamazaki? @196884 2014年3月28日
こちらであったVoevodskyさんの一般講演、聞き逃したがスライドがあがっている。
コンピューターによる証明のチェック、その動機は自らの体験にあった。
日々生産される論文の正しさをどう担保するか、それは学問全般にも当てはまる問いかけだ。
URLﾘﾝｸ(www.math.ias.edu) …

638:１３２人目の素数さん
17/10/01 12:12:37.98 0tdsoeL9.net
>>636
うんこ漏らしってマジ？

639:１３２人目の素数さん
17/10/01 13:03:35.72 EDNHXuiA.net
>>637
普通の数学者は
「証明の間違いが十数年放置されていたということは、
それほど重要な定理ではないんだな」
と考える
有限単純群も分類完了宣言が出て十数年後にギャップが埋まった

640:１３２人目の素数さん
17/10/01 14:07:41.65 g1s3Mq3C.net
>>635
剛の息子たしか将棋やってて、京都では向かうところ敵なしらしい。

641:１３２人目の素数さん
17/10/01 14:32:41.17 rcgve92Z.net
四色問題も最初分類漏れがあり、それを指摘されたのは証明が発表され正しいと思い込まれてから10年後だった。証明が完了したのはさらに100年後。

642:１３２人目の素数さん
17/10/01 15:25:00.94 xiaaL4hS.net
基礎的なアイデアにおいてある部分が正当であるのはそうなんだろうけど、
ABC予想におけるεが２＞ε＞１に間でしか説明ができないという所に
GAPを感じざるを得ない。
ABC予想におけるεが２以上とは何であるのか。
εが２未満であるとは何なのか。
群や楕円曲線でも良いから明快に示して欲しい。
小学生レベルで表現するとεが２以上は正方形や長方形の面積であるよね。
εが２以下でも長方形だ。両者に明確な境界線が存在するのだろうか。
あるいは、２を除いた素数の間隔は全て２の倍数となるがそれを基礎論とするならば、
２の累乗や倍数でその基礎論は成り立つのではないだろうか。
即ち累乗であればε≧２となる因数分解や２の倍数であれば√を用いた方程式で
良いような気がする。

643:１３２人目の素数さん
17/10/01 15:46:15.28 zqoMtk4v.net
ゴーのサーベイ並みに意味がわからん

644:１３２人目の素数さん
17/10/01 16:40:46.51 k2enAv22.net
方程式の挙動のための予想だよ
これは互いに素が関わる話
難解になるから話題にされる

645:１３２人目の素数さん
17/10/01 17:46:15.09 svjMwomL.net
>>637,639,641 擁護する為に調べてたんですね、わかりますｸｸｸ

646:１３２人目の素数さん
17/10/01 17:51:18.15 zqoMtk4v.net
同様だったとしても不可抗力で罪はないんです
水石油もです

647:１３２人目の素数さん
17/10/01 17:55:40.49 q5sO2aKC.net
当たり前です。
石油に罪はありません
↑↑↑
スレの流れはいまココ

648:１３２人目の素数さん
17/10/01 18:01:35.37 zqoMtk4v.net
マスパワーで何してもいいって流れを作ったんですね、ワカリマス

649:１３２人目の素数さん
17/10/01 18:40:36.10 rcgve92Z.net
>>645
この手の思い込みは見てて痛い。

650:１３２人目の素数さん
17/10/01 19:04:01.55 r2Vtv9H/.net
そんなことよりさ、今度のMathPower行くんです。MathPower。
夢で見たらなんか人がめちゃくちゃいっぱいで座れないんです。
で、よく見たらなんか垂れ幕下がってて、中高生歓迎、とか書いてあるんです。
もうね、アホかと。馬鹿かと。
お前らな、二次方程式解けるぐらいで普段来てないMathPowerに来てんじゃねーよ、ボケが。
MathPowerだよ、MathPower。
なんか親子連れとかもいるし。一家３人でMathPowerか。おめでてーな。
よーしパパIUT理解しちゃうぞー、とか言ってるの。もう見てらんない。
お前らな、遠アーベル幾何学の本やるからその席空けろと。
MathPowerってのはな、もっと殺伐としてるべきなんだよ。
IUTのテーブルの向かいに座った奴といつ喧嘩が始まってもおかしくない、
刺すか刺されるか、そんな雰囲気がいいんじゃねーか。女子供は、すっこんでろ。
で、やっと座れたかと思ったら、隣の奴が、EGA,SGAが、とか言ってるんです。
そこでまたぶち切れですよ。
あのな、GOのサーベイなんてきょうび流行んねーんだよ。ボケが。
得意げな顔して何が、EGA,SGA、だ。
お前は本当にIUTを理解したいのかと問いたい。問い詰めたい。小１時間問い詰めたい。
お前、IUTって言いたいだけちゃうんかと。
IUT通の俺から言わせてもらえば今、IUT通の間での最新流行はやっぱり、
絶対 Galois 群、これだね。
絶対 Galois 群、BSD予想、。これが通の聞き方。
しかしこれを聞くと次から講師にマークされるという危険も伴う、諸刃の剣。
素人にはお薦め出来ない。
まあお前らド素人は、可換類体論でも勉強しなさいってこった。

651:１３２人目の素数さん
17/10/01 19:45:08.22 f/hTZCfS.net
加藤文元? @FumiharuKato
望月さんとの話合いを重ねて、私の講演内容とスライドがほぼ固まりました。楽しみにしていて下さい。
#Mathpower #もっと社会に数学を
数学の祭典 MATH POWER 2017 URLﾘﾝｸ(ni)<)

652:１３２人目の素数さん
17/10/01 20:34:04.51 RG/8Kd/m.net
今年の流行語大賞候補はブンゲる＝一般人をケムに巻く、でおｋ？

653:１３２人目の素数さん
17/10/01 20:39:59.32 zqoMtk4v.net
相談てやっぱりわかってなかったのかな
ほしサーベイも協力とかあったけど

654:１３２人目の素数さん
17/10/01 20:49:44.23 RG/8Kd/m.net
388 名前：おさかなくわえた名無しさん[sage] 投稿日：2009/12/03(木)
電子マネーのEdyってあるでしょ。
あれって　日本円（En）　ドル(Doru) ユーロ(Yuro)の頭文字をとったものらしいよ。
ごめん。為替はおろか生活にすら一部の役にも立たない情報をお届けいたしました。
390 名前：おさかなくわえた名無しさん[] 投稿日：2009/12/03(木)
>>388
ユーロ(euro)、ドル(dollar)、円(yen)じゃなくて？
392 名前：おさかなくわえた名無しさん[sage] 投稿日：2009/12/03(木)
>>388
間違ってんのに間違ってないのがすごい

655:１３２人目の素数さん
17/10/01 21:05:15.05 UtzNNQiV.net
>>650
絶対ガロア群ごときでドヤられても、、、

656:１３２人目の素数さん
17/10/01 21:14:22.85 0u3qjr2F.net
改変コピペですのじゃ

657:１３２人目の素数さん
17/10/01 21:16:57.74 RG/8Kd/m.net
87 おさかなくわえた名無しさん　投稿日：2009/03/26(木) 19:29:17 ID:xdDmAFjr
高校生の時、自分で髪切って失敗した事があった。
次の日の放課後、Ｙに人気のない場所に呼び出され
ものすごく深刻な表情で、吐き捨てるように「帽子みたい」と言われた。
Ｙはヘアメイクが結構上手な子だったので、恥ずかしさで頭に血が上り
「わかってるよ！でも少し我慢してれば何とかなってくるでしょ？
一生このままってわけじゃないし、何もそんな事言わなくてもいいじゃん！」
と言うと、Ｙが突然泣き出した。
しまった、言い過ぎた！と思い、慌てて
「どうにもならなくなったら、あんたの手も借りたい…」と言うと
Ｙは泣きながら「わかった。もうあんな事言わない。ごめんね」と。
つい先日、Ｙと飲みに行ったら彼女がその話をしたので、色々思い出した。
「あの時はあの勢いに救われたよ。まったくいい友達だ、あんたは」
と、照れたようにＹは言ったが、私は顔がひきつった。
「帽子みたい」じゃなくて、「もう死にたい」だったのか…
その後、何度も友情に乾杯してから真実を打ち明けた。
私も衝撃的だったけど、Ｙはもっと衝撃的だったと思う。
389 名前：メイク魂ななしさんメェル：sage 投稿日：2006/02/24(金) 03:20:29 ID:/QfZyPIF0
ダンナと食事に行こうという話になって、出かける準備をしていた時。
ふと思い立ってファンデを塗るときに
「オラオラオラァァ！！」
と言いながら塗ってみたら、
横に居たダンナに
「無駄無駄無駄ァァ！！！」
と言われた。
ノってくれて嬉しいような悲しいような複雑な気分だった。

14 ：彼氏いない歴774年：2009/05/12(火) 09:44:36 ID:F0U2mCN/
どっかのスレで読んだんだけど、
雨の中を傘をささずに歩くとおしっこしてもばれないらしい

658:１３２人目の素数さん
17/10/01 21:24:22.59 UtzNNQiV.net
もっとマシな改変しろよな

659:１３２人目の素数さん
17/10/01 21:31:26.24 GXB5mwvH.net
>>653
モッチーが優しく解説してくれてやっとわかったのが嬉しかったんだよ、きっと。

660:１３２人目の素数さん
17/10/01 22:06:49.34 E9yEJMDr.net
というかモッチーの威を借りたって感じやな

661:１３２人目の素数さん
17/10/02 00:01:02.34 y0KXO7dv.net
どうでもいいが、望月はなんで表に出て来て説明しないのか？

662:１３２人目の素数さん
17/10/02 00:03:04.36 jq9/Betb.net
そんな義務がないから

663:１３２人目の素数さん
17/10/02 00:08:32.19 y0KXO7dv.net
職業数学者として要望があれば応じるべきだろ

664:１３２人目の素数さん
17/10/02 00:28:00.89 gb5vKOnc.net
火中の栗ってドイツ料理ぐらいおいしいんでしょうか

665:１３２人目の素数さん
17/10/02 00:36:00.67 K/Xa0Urp.net
賢明でしょ　誰も得しない
解決したって宣伝したのがまずかっただけ

666:１３２人目の素数さん
17/10/02 01:55:16.27 y0KXO7dv.net
え？結局、解決してなかったの？

667:１３２人目の素数さん
17/10/02 07:13:16.58 kWcLL6Mc.net
TITでブンゲン先生の講義受けたことあるけどモッチー呼びしてたんだけどこのスレTIT関係者いる気がする

668:１３２人目の素数さん
17/10/02 13:22:56.64 gb5vKOnc.net
人はそれをデジャブとか幻想とか呼びます
つーか、関係者ご本尊多数から構成されております

669:１３２人目の素数さん
17/10/02 19:50:51.89 qWIEPf5u.net
ブンゲンもゴウも書き込んでいるだろ。

670:１３２人目の素数さん
17/10/02 20:14:51.60 b8qXQGPF.net
書き込みが低レベルなのに、よくそんなこと思えるな

671:史上最高レベルの書き込み
17/10/02 20:41:01.40 ymrSIzMO.net
URLﾘﾝｸ(jp.sputniknews.com)

672:１３２人目の素数さん
17/10/02 20:58:23.59 qWIEPf5u.net
数学ができたって、低レベルな書き込みもするでしょ。

673:１３２人目の素数さん
17/10/02 21:09:24.69 OV0+l7Zh.net
黒川信重さんの最終講義のつべにブンゲンがずっと映り込んでる

674:１３２人目の素数さん
17/10/02 21:14:55.04 8YcJcdOs.net
レベルで反応したのはtwitterやってる著名人？

675:１３２人目の素数さん
17/10/02 21:18:19.39 gb5vKOnc.net
友人とは会話・知識レベルが似通ったひとたちのことです

676:史上最高レベルの書き込み
17/10/02 21:23:12.34 ymrSIzMO.net
世界の最高権力者たるト○ンプ大統領のツイッターは高レベルなのかについて

677:１３２人目の素数さん
17/10/02 21:26:35.86 jq9/Betb.net
？？？

678:１３２人目の素数さん
17/10/02 21:28:45.49 b8qXQGPF.net
ド素人感丸出しの書き込みであることすら見抜けないのか

679:１３２人目の素数さん
17/10/02 21:36:51.12 8YcJcdOs.net
と、先生がお怒りです

680:１３２人目の素数さん
17/10/02 21:44:21.75 r923hH+d.net
５ちゃんは序列や権威は通用しないからね
素人に論破されてちゃ世話ねーわ、
と試しに言ってみた

681:１３２人目の素数さん
17/10/03 00:05:08.77 3xhdExN/.net
結局ABCが解けないなら、長い論文やサーベイに何の意味があるの？

682:１３２人目の素数さん
17/10/03 00:17:50.48 ytsVfNX/.net
リーマン予想を解決したとするルイ・ド・ブランジュ博士や黒川先生他、少なくはない
方たちの論文に意味はないと？

683:１３２人目の素数さん
17/10/03 00:34:27.33 3xhdExN/.net
既存数学との関連性を明確にしない限り意味ないと思うよ

684:１３２人目の素数さん
17/10/03 00:48:11.43 yejm+xjf.net
ペレルマンは物理だったけどね
まあ何らかの事象と一致しないと無理かとは思うけどね

685:１３２人目の素数さん
17/10/03 01:23:02.88 /0SyYbkX.net
絶対数学は神の視点に立つことを可能にした

686:１３２人目の素数さん
17/10/03 01:33:28.90 3xhdExN/.net
絶対数学というのは、環上の幾何をモノイド上に一般化する
そういう意味で既存数学との明確な関連性をもってるからね

687:１３２人目の素数さん
17/10/03 01:46:11.67 x5YhxtNx.net
ﾈｪ､ｷｲﾀ?（　´д）ﾏﾀﾊﾞｶｼﾞﾝﾖ（д｀　）ｱﾗﾔﾀﾞﾜｧ（　´д）ﾋｿ（´д｀）ﾋｿ（д｀　）ﾋｿ

688:１３２人目の素数さん
17/10/03 08:33:41.66 GM8CrdYb.net
前レスに習うなら、証明と言うよりもはや誤差込みの
統計モデルだから、そもそも解いてない。
だから少なくとも無意義ではない。
有意義なら本人の預かり知らぬ応用だって有り得る。
ガバガバ目安でも、幾らか証明の指針にはなる。