
はてなキーワード:フェルマーとは
望月新一は初の糖質状態ですごいことをやり遂げた人なのかもしれない。(岡潔がなったのは後では?)
糖質になるとなんでもできる気分になる。気分だけ。だから四つ足で走る方が合理的とか言って全くの素人だったのに短距離の記録を塗り替えるとか本気で思ってその走りを始める珍行動をしたりとかさ。
令和の虎に出てたナマズの脳と量子コンピュータをつなげて作曲するとか言ってた人も結局殺人未遂。そりゃそうだ彼の5ch書き込み見ても浅い知識をくっつけたポエムだったんだから。
で、望月はどうか。
ショルツ氏は彼の証明は系3.いくつだか忘れたがとにかく具体的な箇所を指摘してそこから過程がすっとばされてると言っている。
これはどうにも怪しい言動だろう。
確かに数学は初学者や中級者でも行間が見えない証明ってものがあるけれど、分かる人には行間が正確に補えるものになっているから、いわゆる訂正可能性みたいなものが保証されているから問題ない、数学的主張しての効力を認められているといる。
それが同じ専門の大家同士なのに本人以外は行間cが補えないっていうのはどうなのか。
また学部生でもわかることと言ってるが学部生では太刀打ちできない理論であることは望月自身が自分が取った弟子に対して認めていたことらしいのでここに主張の無理筋さが感じられる。ショルツでもわからないことが学部生にわかるだろうか?
自分が見た数学の作法本には数学の証明とは誰が見てもちゃんと読めば同じ結論が成り立つことが一部のごまかしもなくはっきり分かる主張ということであるということが書いてあった。
相手の認知リソースに依存しきりの望月の反論はもはや証明の精神に明確に反すると言えるのではないか。
つまり望月が証明として見てくれと言うものは正真正銘本人を除き誰も行間を補えないレベルの飛躍が起こっているとして、さすがに本人しか証明として解読できない表現を証明とするのは無理があるのではないかということだ。万人が理解できるのが理想とされるのが証明であるのに、この世でたった一人しか理解できないものになっているのだから。
それでも過去の業績は疑いようなく優れたものらしい人なわけだから今回も望月の頭の中ではすっ飛ばされた過程について省略せずに書いたらどうなるかということがはっきり頭の中にあるのかもしれない。令和の虎の人は東大には行ってたらしくそれも普通の人から見れば素晴らしいわけだから、この過去が素晴らしいなら糖質になったとしてもその成果は素晴らしいはずだという考えをどこまで適用できるかという程度問題なところがある。
でも望月の今までの業績に比べたら東大合格なんて鼻くそレベルなのも確かだろう。
頭の中に省略部分があるならフェルマーごっこをやってないできちんとその行間も提示すればいいのに、しないのでは、糖質ゆえの法螺吹きごまかしと受け取られても仕方がないと思う。明確に証明の作法に反しているのだから。
でもやっぱり彼の頭にはいまだ公開していない完全形の証明があるかもしれないと考えてしまえるほどには今までの天才ぶりに関する信用貯金が残ってるのがなんとももどかしいところ。
dorawiiより
-----BEGINPGP SIGNEDMESSAGE-----Hash: SHA512https://anond.hatelabo.jp/20251208211618# -----BEGINPGP SIGNATURE-----iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaTfWSwAKCRBwMdsubs4+SKpsAP9Uq4/CauVKLzw679phMByCGejvTtBAcLsOgKyb0+NgKAD7B65U93rVpwnM4q4JaP8pNC56MEZtYDGcsZg+smZ9JQE==3pJf-----ENDPGP SIGNATURE-----
掛け算の概念(倍数を扱う)
小数的な考え方の萌芽
円周率(近似値として3.16)
20進法の完成された記数法
公理を置いて、そこから論理的に定理を導く証明中心の純粋数学の発展
当時、「すべての量は整数比で表せる」(万物は数である)と信じられていた。
しかし √2 が有理数ではない(整数の比で表せない)ことが分かり、この哲学が崩壊。
『直角二等辺三角形の対角線の長さ』が整数比で表せないことを証明したとされる。
証明したのは学派の弟子 ヒッパソスとされ、伝承ではこの発見により処罰されたとも言われるほどの衝撃。
アルキメデスによる面積・体積の“求積法”の発達。
負数を“数として扱った”最古の事例『九章算術』
十進位取り記数法
負数の萌芽的扱い
独自に代数学(al-jabr)を発明。文章による代数。ここで初めて“代数学”が独立した数学分野となる。
商、余り、桁処理などの方法が整理(現代の学校で習う割り算の形がほぼできあがる)
xに相当する未知数記号を使用した代数(文字ではなく語句の略号)
sinx,cosx,tanx などの三角関数の無限級数展開を発見。
これは数学史上きわめて重要な成果で、近代的な無限級数の起源はインドである と言われる。
● 1500年〜
負数の受容が進む。
● 1545年頃(カルダノ)
虚数の登場。
三次方程式の解を求める過程で √−1 に相当する量が突然登場。
しかしカルダノ自身は「意味不明の数」とし、虚数が数学的対象であるとは認めていなかった。
● 1557年頃(レコード)
等号記号「=」を発明。等価を等式として“視覚的に書く”文化が誕生。
● 1572年頃(ボンベッリ)
カルダノの式の中に出る「意味不明の数」を整理し、虚数を使って正しい実数解が出ることを示した。
● 1585年頃(ステヴィン)
● 1591年頃(ヴィエト)
● 1614年頃(ネイピア)
● 1637年頃(デカルト)
今日では当たり前の「座標平面」「方程式で曲線を表す」が、ここで生まれた。
物理現象をy=f(x)で表すという現代の方法は、すべてデカルトから始まった。
大数の法則(試行回数を増やすと平均が安定する法則)を初めて証明
● 1748年頃(オイラー)
√−1 を i と書く記法を導入。
オイラーの公式「e^{ix} =cos x + isin x」を提示し、虚数を解析学に自然に組み込んだ。
微積分の計算技法の体系化(積分論・無限級数・微分方程式の基礎を構築)
多くの記号体系(e,π,sin,cos,fなど)を整理・普及
グラフ理論(もの[頂点]と、それらを結ぶ関係[辺]を使って、複雑な構造やつながりを数学的に研究する分野)の誕生
ーーーーーーーー
一旦ここまで。
続きは詳しい人にまかせた。
松嵜圭介@京都
BSジャパネクストがリニューアルBS10の無料放送側で日曜昼などに放送中
見られなかったケーブルテレビ局でも見られるようになったので要確認
つながるジャパネットアプリで放送同期・スマートテレビや4月からtverを含め見逃し配信あり
-----
・03マンボウ
・05 べったら(漬け
・06 [3択]2 番
・07ネパール
・09聖飢魔II せいきまツー
・14 8(人
・15宮城(県
・16 LABUBU ラブブ
・21宮内庁
・22 80(ページ
・25 人差し(指
・27クズ
・29e [2択]短い
-----
=====
(日曜本放送)このあと今週は14:15からは「BS10からのお知らせ」→「蛍原徹の真剣ゴルフ部! ホトオープン #175」
(19日日曜日)
何だかんだでニコニコの勢いは盛り上がりを一番表してると思う、しっくり来るというか
全部やってないのが残念なのと、1,2週遅れだったりYoutubeでも見れるやつは再生数落ちるんだけどね
十の位切り捨て
| タコピーの原罪 | 259100 |
| 「その着せ替え人形は恋をする」Season 2 | 154800 |
| ダンダダン | 136800 |
| わたしが恋人になれるわけないじゃん、ムリムリ!(※ムリじゃなかった!?) | 120000 |
| 瑠璃の宝石 | 103000 |
| 銀河特急ミルキー☆サブウェイ | 95600 |
| ウィッチウォッチ | 94000 |
| まったく最近の探偵ときたら | 90900 |
| ばっどがーる | 90300 |
| NewPANTY & STOCKING with GARTERBELT | 90000 |
| サイレント・ウィッチ沈黙の魔女の隠しごと | 83300 |
| 出禁のモグラ | 61200 |
| ゲーセン少女と異文化交流 | 49900 |
| 『ぐらんぶる』Season 2 | 49000 |
| SAKAMOTODAYS | 48200 |
| ぷにるはかわいいスライム 第2期 | 47100 |
| 雨と君と | 45500 |
| アークナイツ【焔燼曙明/RISE FROM EMBER】 | 41100 |
| 追放者食堂へようこそ! | 39900 |
| Turkey! | 37700 |
| 水属性の魔法使い | 37700 |
| 薫る花は凛と咲く | 37400 |
| 公女殿下の家庭教師 | 34700 |
| カラオケ行こ! | 34200 |
| 地獄先生ぬ~べ~ | 34000 |
| 青春ブタ野郎はサンタクロースの夢を見ない | 33200 |
| Summer Pockets | 32600 |
| ブサメンガチファイター | 32500 |
| プリンセッション・オーケストラ | 31500 |
| 自動販売機に生まれ変わった俺は迷宮を彷徨う 2ndseason | 30800 |
| ふたりソロキャンプ | 29800 |
| クレバテス-魔獣の王と赤子と屍の勇者- | 29700 |
| 宇宙人ムームー | 29300 |
| 9-nine- Ruler’sCrown | 27200 |
| 盾の勇者の成り上がりSeason 4 | 26400 |
| おそ松さん第4期 | 26300 |
| 怪獣8号 第2期 | 25800 |
| 強くてニューサーガ | 24700 |
| 真・侍伝YAIBA | 23900 |
| フードコートで、また明日。 | 22900 |
| うたごえはミルフィーユ | 22000 |
| ネクロノミ子のコズミックホラーショウ | 22000 |
| 勇者パーティーを追放された白魔導師、Sランク冒険者に拾われる ~この白魔導師が規格外すぎる~ | 21200 |
| ずたぼろ令嬢は姉の元婚約者に溺愛される | 20900 |
| ブスに花束を。 | 20900 |
| フェルマーの料理 | 18400 |
| ひみつのアイプリリング編 | 17700 |
| ウルトラマンオメガ | 15700 |
| 傷だらけ聖女より報復をこめて | 15500 |
| カッコウの許嫁Season2 | 15400 |
| 彼女、お借りしますSeason4 | 14700 |
| TO BE HERO X | 14500 |
| 夢中さ、きみに。 | 13500 |
| 陰陽廻天Re:バース | 13300 |
| 地縛少年花子くん2 | 12900 |
| 桃源暗鬼 | 12300 |
| 異世界転生したらドゲンジャーズだった件 | 10900 |
| ホテル・インヒューマンズ | 10300 |
| 美男高校地球防衛部ハイカラ! | 9200 |
| 神椿市建設中。 | 9100 |
| デキちゃうまで婚 | 8800 |
| 転生宗主の覇道譚 ~すべてを呑み込むサカナと這い上がる~ | 8600 |
| 人妻の唇は缶チューハイの味がして | 8400 |
| ハイガクラ | 4400 |
うむ、しっくり来るな
これに入ってない人気作ってなにあるっけ、Dr.STONEとかかな、あと光が死んだ夏とか?
書けなくなったので続き
今年の1月にドラマ化もした本作。原作は見てないが、キャンプ好きの私としては楽しみにしていたアニメでもある。
主人公、34歳にしては見た目老けてんな。MSRのテント前使ってたわ。設営超簡単なのよね。
ゆるキャンみたいなのを期待したら火傷しますのでご注意を。イブニング、モーニングの漫画です。
6話は浦山口駅から徒歩で行ける距離にある秩父市の橋立川キャンプ場
7話は東京都清瀬市の清瀬金山緑地公園の河原。河原にいる巌に向け、雫が去り際に金山橋から手を振りながら話しかけるシーンもあった。
8話はあしがくぼの氷柱の近く、埼玉県秩父郡のあしがくぼキャンプ場
9話は長野県の荒船パノラマキャンプフィールド。徒歩キャンパーなのにどうやって行ったの。タクシー?(EDは佐久市駅から)
10話は奥多摩の川井キャンプ場。川井駅からめちゃ近いのでEDのコマ送りが今回細かい。
11話は4話と同じ、お台場海浜庭園。この回ほとんどキャンプしてないけど
12話はいつものEDがないのでどこだ。秋川国際マス釣場が出てきたので、その近くのキャンプ場のはず。滝があるので大岳キャンプ場かな。
第2クールへ
ハウス・オブ・ザ・デットがゾンビ、ハイスクール・オブ・ザ・デッドが生ける屍ならこちらは猫だ。
これはギャグアニメなのかシリアスパニックアニメなのか、いやギャグだな。
OPはTHE YELLOW MONKEY。EDはWANIMA。挿入曲にはマーティ・フリードマンも参加している。
映画好きだと(特に洋画)思わずクスッとなるネタが豊富である。
全12話。B級映画みたいに終わった。続きはあるのかな。2期もそんなに甘いもんじゃない言うてたからな。そんなに続きは気にならないからいいけど。
2クール目。
恋愛に対しても相変わらずなアン。思い描いていた王子様が登場して付き合うことになる。
まぁ、その後もわかってはいるんだけど、なんとなく、NHKだから放送できたきもする。
クズな大人になったおそ松達がワチャワチャするいつもの日常ギャグアニメ4期。いやそうはならんやろの連続。
まだやるんすね。3期からBSで放送しなくなったので地方民は見てない人も多いかな。
8話「一松とドロネコ」こういう話を見たかった。元ネタである、おそ松くん『友情!!チビ太とドロボウ猫』はすごい好きで今でも録画が残ってる。
いや9話のネタ、昭和生まれじゃないと・・視聴者のほとんど分からんだろー
11話の入れ替わり話は面白かったな。過去に(おそ松くん時代)に『おつむの中身がいれかわる』の回で同じことがあったが、
ちび太や親は「いや別にそこから戻ってないんじゃない?どうせ六つ子だし」となる。本人にしては恐怖だよな。
1話〜12.5話の全13回。本当の13話は制作中。いつ放送されるのか。
いきなりよう分からんアニメが始まってどうしようかと思った。劇中劇でよかった。
アーティファクトを使って悪いことをする人からこの街を守ろう。
4話を見終わった後、脳内で君が望む永遠のOPが流れたわ。もう戻れない〜🎵 まあ、この作品では戻れるわけですが。
全13話と間に特別編があった。昔流行ったタイムリープと最近よく見るマルチバース要素があった。
超一流冒険者パーティーを追放された料理人が飲食店を開業する。
美味そうな飯アニメにハズレなし。
いいなーこの店、全部美味そうだし近くにあったら行きたいな。
チャーハンあるし、ナポリタンあるし、カツ丼出て来るし、箸あるし、
・・・これこの世界である必要あったのか・・・は考えないでおこう。
ヘンリエッタが革靴を食べてたという話を聞いて昔の昼ドラを思い出してしまった。
全12話。最後はタイトル回収して終了。ポルボがいいキャラだった。
アニフラ枠。"現代を舞台に鬼の子孫と桃太郎の子孫の戦いを鬼側の視点で描いたストーリー"(wikipedia引用)
主人公側が鬼の血をひいてる方で、そこに襲ってきたのが桃太郎の血をひいてる方ね。
一般的には敵とされている方が主人公だったり、影みたいなものを物質化、武器化して戦うところなんかが戦隊大失格 を思い出す。
今期のBAND-MAIDはここか。
下ネタを盛り込んだカートゥーン風アニメーション。私は前作見てない。
"第1作最終話でストッキングによって666個の破片に切り刻まれて殺害されるが、『New』第1話でガーターベルトとブリーフによって組み立てられ復活する"(wikipedia引用)
全13話。またまさかの終わり方をして続きがありそう。魔界編?
今期のホテルアニメ。なんと今年は今のところ毎シーズンホテルアニメがあるのね。黄昏ホテル、アポカリプスホテル
殺し屋ホテルということで結構ダークでバトルシーン多い・・・と思ったけどそうでもない。
殺し屋の願いを叶えるコンシェルジュのお話ってところですかね。OP好き。
9話の認知症の殺し屋と介護疲れの娘さんの回は、なかなか考えさせられる話だった。
認知症高齢者の面倒臭さがよく表現されてたと思う。私の経験ではこの状態プラス、身内を泥棒扱いする有様だったが。
1話完結が多かったこのアニメ、最後は1ストーリー4話使って全13話で第1期終了。独特の雰囲気が好きだった。第2期決定。
なかなか緊張感の伝わるアニメですな
数学を駆使して天才料理人へと成長していくが、その先にあるのは孤独か
7年ぶりの2期。7年て。
1話は妹へ近況報告を手紙に書き記すという程で1期の振り返りをするとはうまいこと考えたな。
いや〜好きだなぁ。相変わらずスキューバダイビングをあまりせず、飲み会や大学生活あるあるなのがいい。
OPは湘南乃風 feat.新しい学校のリーダーズ、EDはSEAMO feat.May'n
このアニメも「妃教育から逃げたい私」と同じく「デン!」ってSEがよく使われてる気がする。
というか最近他のアニメでも多い気が。追放者食堂でも使われてたし。
全12話+放送終了記念特番。最終話くらいはダイビングした。着実に時は過ぎていく。3期決定。先輩の引退イベントでパラオへ行くのかな。
脱力系天才男子が、魔法が使えないかわいくてちっちゃい公女殿下(とメイドの女の子)の家庭教師となり、魔法が使えるよう指導する。
かつて無能と呼ばれた僕でも出来たんだから大丈夫さ(はいはい)
まあ、その結果的、極致魔法が使えるほどに成長するわけですが。というのが4話まで。
全12話。続きがありそうな終わり方だったけど無くてもいいかな。
2期。ずっと戦い戦いは疲れるので番外編の時みたいな日常話をちょいちょい入れてほしい。いやあったか。
好きなあの子の気を引きたくてわざと悪い子を演じる感じ?
ちょっとボケ・ギャグ具合が自分好みじゃないかな。私がもうちょっと若かったら楽しめたかも。
言葉のチョイスミスと勘違いで告白した感じになるが、誤解は解き、ゲーセンでの交流を続け仲を深めていく。
設定年齢より幼い見た目な感じ。ナナニジ天城サリー主演アニメ。
今回は彼岸近くに落とされた葵を救出する話。
葵を助けたい思い、葵を犠牲にして寧々の寿命を伸ばそうとする思いが交錯する。
特殊な関係性を持ちながら、夜の自由な時間で友人にも吸血鬼にも・・
探偵にも会い、そう、変わらない日々を送るような気もしながら・・・
OPとEDはもちろんCreepy Nuts。
全てを憎み、全てを敵とし、「人間なんてみんな地獄へ落としてやる」
11話くらいになってようやく好きになってきた。
人の思い出を利用して心抉ってくるの好き。そういうやつ無力化した後でも感情でぶん殴るの好き。
元々not for meなのにわざわざ見てるのでこんな感じの印象。
地上波やBSは全面規制Verということでキワどいところはほとんど見えない。
AT-Xでの放送は青藍島verといってほとんど規制はない。そんなだからめずらしくAT-X放送でもネット実況が多い。
全11話。
あらいぐまラスカルのスピンオフアニメ。1.5分のショートアニメ。
何故か中森明菜や大和田伸也といった大物も声優として参加している。
そこまで好きじゃないのに4月からずっと見てる。3.5分アニメなので、まぁ
最近サイレントウィッチっていう今季アニメを観てるんだけど、これがなかなか面白い。
主人公の女の子めちゃくちゃ可愛いし作画も良い、展開もテンポ良くて見やすいし全体としてかなり高水準だと思う。
でもひとつだけ、どうにも引っかかる部分がある。
その後、その犯人を捜すわけなんだけど主人公は地面に落ちた割れた植木鉢の砕け具合から何処から落とされたものかを計算するんだけど、それ数学っていうか物理じゃない?ってまず思うわけ。
ていうか、破損の仕方から場所を逆算できるってそれ前提となる素材の強度とか、気温とか、着地の角度とか、いろんなファクター知ってないと無理なはず。けど作中では、「落下速度も計算すると…」みたいな流れで場所を特定するわけ。
でもこういうのって、サイレントウィッチに限った話じゃないんだよ。
たとえば前に観たフェルマーの料理っていうドラマでも似たような印象がある。こっちは数学×料理っていう一風変わったテーマなんだけど、やっぱり数学で全てが解決できるみたいな空気がちょっとおかしい。
というのも、現実の数学って前提となる知識(公理)があって、そこからロジックを積み上げて答えに辿り着くものだ。
でも創作に出てくる数学って、その前提が適当か、そもそも見えてすらいないことが多い。
それなのに「計算してみたら、ほら正解だった」って感じでドヤられても、「いや、それ正解に“なるように設計されてるよね?」ってメタ視点になっちゃう。
もはや公理というより真理が初めから与えられてる。言ってしまえば、作中で「この値が正しい」という神の視点を主人公が持ってる。
だからこそ、そこから導き出される答えも正解になるし、物語的にはカッコよく決まるんだけどさ……なんかズルいんだよね。
数学って言葉を使っておけば、なんでも論理的に片付けられる感。
けど、それってほんとの数学じゃない。
実際の数学ってもっと地味だし、前提を積み重ねる作業に時間がかかるし、そもそも正しい前提を得ること自体が大変なことだし。
誤解しないで欲しいのは、別に数学は万能じゃない!って主張したいわけじゃなくて、むしろ数学の力を正しく使ってる創作物を見てみたいって話。
原作原案ご存じ鳥山明。水不足に苦しむ砂漠の国でモンスターに協力を仰いで水源を探す話。ストーリーも絵面も特に派手なことをやっていないのについ見入ってしまう。よく「マンガがうまい」という言い回しを見るがこれは「アニメがうまい」だと思う。
原作は「アオアシ」の作者が月刊少年マガジンに描いてるやつ。数学大好きな主人公が数学オリンピックの選考合宿で夢砕かれ通っていた高校でも奨学金の一括返済を迫られてピンチ!という話。とんスキの再来かというくらい食材の作画が異常に良い。「スパゲッティーのパンチョ」とコラボしてるらしい。
猫が大量増殖し猫に触れられた人間も猫になってしまうという猫ゾンビ世界でこの先生きのこることができるかという話。三池崇史が総監督で驚いたがアニメ監督は別途いる模様。猫が可愛いが設定の出オチ感があるのでこの先どうなるか。あとOP曲がイエモンだったんだけどクレジット出るまで気づかなくていろいろショック受けた。ロビンが喉頭癌から生き延びて復帰してくれただけでも十分ありがたいのだが……。
女子高生と大学院生が鉱物採集する話。ハルタで連載してるらしい。鉱石の話は面白いし作画もすごく綺麗なんだけど瑠璃ちゃんちょっとクソガキすぎない?それに対して凪さんが優しすぎる。同性同士でこれぐらいの年齢差でそこまで優しくなれるか?あるいは凪さんには年の離れた弟が5人くらい居てそれを空襲で失ってるのか。
病死した主人公が生前遊んでたゲームの世界に転生する話。ゲーム内でのプレイ設定が邪悪属性だったから転生したら邪神になってしまうという展開まではオバロっぽい雰囲気だが主人公があくまで善人なのでなにかエンジェル伝説みがある。面白そうなのだが絵面の低予算感がすごい。
魔獣王が人間を知ろうとする話。原作読んでてなかなかエグいという記憶だったがなんかジブリ作品みたいな始まり方している。魔獣形態が中村悠一なのは解釈違いだったけど切り替わったからまあいいか。作画が良くて今後も楽しみ。
自動販売機として決まった台詞しか喋れない中で知り合った人々となんとか意思疎通してダンジョン攻略する話。2期やるなら1期で原作にないらしい謎のハーレムENDを迎える必要なかったのでは?なんて思っていたら「惚れました!!」と男に告白されるところから始まってたのには笑った。
いい感じに内容を忘れていたので新鮮な気持ちで観ているが2話はさすがに途中でしんどくなった。その後にあれなのでそりゃみんなデンジコラ貼るよな……。
フェルマーにとっては自明かもしれないフェルマー予想も証明されるまでは予想でしかなかったわけで。
-----BEGINPGP SIGNEDMESSAGE-----Hash: SHA512https://anond.hatelabo.jp/20250706160812# -----BEGINPGP SIGNATURE-----iHUEARYKAB0WIQTEe8eLwpVRSViDKR5wMdsubs4+SAUCaGog3AAKCRBwMdsubs4+SB42AQDhcWIx9s8ksQ8iqdohlaTknp99X0GYWxQli04LJu8e2wEA/5/tivi+BFxLADxCRvL2MOKULYBh8xEO7xuujxz0pAk==e/WM-----ENDPGP SIGNATURE-----
……え、なんやそれって?
そりゃまあ普通は知らんわな。でもな、これは数学界で言うたら…阪神が50年連続最下位から、いきなり全勝優勝して日本シリーズも完全試合で優勝したみたいな話やねん。
「ラングランズ予想」いうのはな、簡単に言うと数論と幾何学と解析と代数の頂上決戦が全部つながってますよ〜んっていう、神がかり的な予言みたいなやつで、数学者の間では“数学界のグランドユニファイド理論”とか言われとってん。
ほんで「ジオメトリック・ラングランズ予想」っちゅうのは、それを幾何学の舞台でキメ直す、いわば「阪神ファンの夢を甲子園で現実にする」みたいな位置づけなんや。
それをやで?
2024年〜2025年にかけて、デニス・ゲイツゴリっていう理論系のドンが、仲間らと5本立てで証明してもうたんや!!
しかも800ページ超の超大作!
論文の厚みで言うたら甲子園のビールの売上伝票を1年分積んだくらいのボリュームや。
それをやりきったって、どんな執念やねん!!
しかもその内容が、あまりに深すぎて、今の時点でちゃんと理解できてる数学者すら少ないらしい。
言うなれば、阪神のサイン盗みが高度すぎて誰も気づいてなかったみたいな話や。
けど確かなのは、ジオメトリック・ラングランズ、証明されたって事実や!
グロタンディークとかラングランズとかアンドリュー・ワイルズ(フェルマーの定理の人)とか、そういうとこ並み!
便乗。
そもそも論文は争点になるようなことについて書かれるので、
ある論文に「XはAである」と書かれていたら、少なくともその論文が出る直前までは、XがAであるかは相当疑問視されていた場合も多い。
それでも、その論文が刊行されたということは、その学問分野で正しいとされる方法で「XはAである」という主張が検証に耐えたことを示している。
なお、フェルマーの定理のように「たぶんXはAだけど、証明ができなかった」みたいなケースの論文も無いではないけど、ファクトがどうこう言うような問題には当てはまらないだろう。)
そんなわけで、「XはAである」という論文が出たばかりの時点では、「XはAである」という主張はまだたいして検証に耐えていないので、相当に疑わしい。
そこで、研究者は、寄って集って、本当に「XはAである」かを検証する。
しかし、無事に検証に耐えきって「XはAである」が正しいことがコンセンサスになることもあって、そんなときには、さかのぼって初出の論文を出典として
「XはAである。」
と言うことになる。
(自分の研究分野だと、初出の論文からこの段階まで普通に10年はかかる。)
論文とはそういうものなので、その意味ではそれがそのままファクトなわけではないけど、
https://b.hatena.ne.jp/entry/s/anond.hatelabo.jp/20231030212810
ここで話題になってたので今クールの主演俳優の年齢をチェック!
けむたい姉とずるい妹 栗山千明(39)
家政夫のミタゾノ season6 松岡昌宏(46)
くすぶり女とすん止め女 西田尚美(53)
ぼさにまる 上白石萌音(25)
君となら恋をしてみても 日向亘(19)
キス×kiss×キス~LOVE ii SHOWER~ 赤羽流(21)
たそがれ優作 北村有起哉(49)
十代 3人
二十代 18人
三十代 15人
四十代 11人
五十代 6人
六十代 1人
七十代 1人
計 55人