18/11/07 08:51:26.38 efIW+DGN.net
博論書いてから理三受験を現役で出来るぐらいいろいろと明らかな奴ならいいけど
そうじゃないなら別に
301:１３２人目の素数さん
18/11/07 09:00:50.01 QMcAHRWj.net
5chだって長文は嫌われるんだし
500ページの論文てどうなんだ？
302:１３２人目の素数さん
18/11/07 09:01:40.28 HVV2TiGT.net
>>287
妥当な批判ではないな
日本には飛び級の慣行が無いんだよ
だから導入するにはコンセンサスが得られにくい
おまえは簡単だと言うが簡単では無い
一方、推薦入学は長年の慣行があり制度的に導入が容易だ
すでにフォーマットがあるからな
飛び級は大学改革だけでは実施できないのは分かるか？
高校や中学まで広範囲に影響を及ぼすんだよ
議論は拡散するし関わる関係者は多岐に渡るし、その分反対も格段に多くなる
教育の基本ポリシーの根幹にも触れる問題だ
おまえはそんなことも分からないんだな
頭悪過ぎだよ
303:１３２人目の素数さん
18/11/07 09:17:46.09 /adT+tk5.net
500ページの論文は、分野によってはちょこちょこあるけど、代数や数論だとかなり珍しいね
304:１３２人目の素数さん
18/11/07 09:44:35.32 UtzEx+pS.net
千葉大なんかが飛び入学有名だけど、やっぱケアが大変でコストかかるみたいね
しかし東大京大が飛び入学認めたら浪人生が絶望しちゃうだろうな、たかが学部入試で浪人なんてバカバカしい慣行が無くなるならウェルカムだけどね
305:１３２人目の素数さん
18/11/07 09:48:05.73 UtzEx+pS.net
>>292
代数だけどもう一人のMさんの出世作も500ページくらいあったけど、力作だって話題になった
インパクトは強いけど、ネガティブなイメージはないな
306:１３２人目の素数さん
18/11/07 10:12:37.43 fjfrHs9F.net
>>291
でたでたｗ
こういうのが典型的な守旧的な意見。理屈へったくれもない。
僕が独裁者なら即>>291を刑務所にぶち込んでその意見を抹殺する
なぜならこれですべてが解決するからｗ
>>288
君の意見は一理あるよ。
だから数学専攻に限り１５歳からの飛び級を認めてもいい。
ただ実際に機能するのはある程度以上の大学だけだろう。
千葉大と名城大学の飛び級が成功しなかったのは両方ともぱっとしない大学だから
東大と京大でやれば事態は一挙に変わる
反対する者は銃殺すればよいｗ
307:１３２人目の素数さん
18/11/07 10:41:02.92 QMcAHRWj.net
二十歳過ぎればただの人も多いんじゃ・・
308:１３２人目の素数さん
18/11/07 10:50:03.09 uNVdLRvX.net
20過ぎてただの人になるやつは10代でも別にそこまでぶっ飛んでないだろ実際
309:１３２人目の素数さん
18/11/07 11:08:26.02 7BFERanq.net
むしろ10代でぶっとんでて20過ぎ以降に偉大な発見を
310:してるやつのほうが少ないよ。
311:１３２人目の素数さん
18/11/07 11:10:19.82 jcNwfZP8.net
URLﾘﾝｸ(motls.blogspot.com)
チェコにも猛烈な望月支持者がいる。
312:１３２人目の素数さん
18/11/07 12:04:12.59 uOuK0skK.net
海外にも教えてやったら → >>35
313:１３２人目の素数さん
18/11/07 12:06:56.26 uOuK0skK.net
>>300
これ、
>望月新一による「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC
予想の解決は、特筆すべき出来事である。←
>当該論文は現在査読中であるが、
314:１３２人目の素数さん
18/11/07 12:22:45.87 QMcAHRWj.net
加藤さんや黒川さんが匙投げるてるようじゃもうダメかもわからんね
315:１３２人目の素数さん
18/11/07 13:36:12.09 Lk3vyyVx.net
入試については東工大が数学に特化した入試をやめたな
黒川さんがラマヌジャンとか、受験勉強の経験から推してて、特に解析を重視した構成だった
316:１３２人目の素数さん
18/11/07 13:49:13.50 Lk3vyyVx.net
>>286
それは同意しない
才能があるなら自分で方針転換するか、最初から理学部に行くだろう
そこで直観と意欲を発揮しない人間を最高の天才とかいうのは同意しない
317:１３２人目の素数さん
18/11/07 13:50:49.94 ddG885CI.net
ページ数はなんかメディアに取り上げられてるけど本当に500ページ読んで分かるならぶっちゃけ大した労力じゃないよね
318:１３２人目の素数さん
18/11/07 15:14:16.03 v6Yd2NG+.net
ブログね、
量子通信は物理の量子力学 quantum mechanics分野のEPR現象(量子的もつれ)だもんね、
数学の証明とは無関係だわ。
319:１３２人目の素数さん
18/11/07 16:34:08.55 nUqlKGJk.net
誰かがabc予想証明してM氏より先に査読通過したらその人の栄誉なるのか
320:１３２人目の素数さん
18/11/07 17:00:10.82 Lk3vyyVx.net
まあ別証明が可能なのは間違いないからな
IUTには一切触れずに遠アーベルと宇宙際を経由せずに証明するのはどのみち大事だしニーズあるわ
321:１３２人目の素数さん
18/11/07 17:40:31.32 1dDCP132.net
遠アーベル幾何学にも色々あり、
IUT=遠アーベル幾何学ではないね。
322:１３２人目の素数さん
18/11/07 23:42:09.27 D4eTNF+z.net
そもそも遠アーベルが主流だけど他の分野からのアプローチもできるわけだしね
323:１３２人目の素数さん
18/11/07 23:53:00.63 Lk3vyyVx.net
「ホモロジー的対称性を用いた宇宙際シンプレクティック幾何学へのアプローチ」と題して講演したらいいよ
一躍世界トップクラスのキチガイとして有名になれる
324:１３２人目の素数さん
18/11/07 23:55:37.26 xSnmscSO.net
>>299
サンクス。一応読みました（なんか色々疲れた・・・）
ブログ主(Lubo? Motl)はフリーの弦理論家のようだけど、フェセンコ以上にアレだね（世界は広いｗ）
Lubo? Motl 「テメエ(dcomplex氏)はロバーツを誤解して引用しているじゃんか！」
ロバーツ 「いや、彼は間違ったこと言ってはいないよ」
Lubo? Mot 「dcomplexみたいな野郎は俺に考え（IUTT礼讃）に反対するからブロックしてやる！」
dcomplex氏はIUTTを否定しておらず、ただPS・JSの充満多重同型に対する見解に賛同しているだけなのに
325:１３２人目の素数さん
18/11/08 00:43:51.07 oOPYnqiL.net
>>304 そうやって簡単に切り捨てても何も生み出さないよ。非生産的な考え。
326:１３２人目の素数さん
18/11/08 01:23:57.71 V5JPTQ47.net
やりたいことが出来るならネットはいらん
327:１３２人目の素数さん
18/11/08 01:56:45.95 Qt8pNJEy.net
いや、古典
328:的な圏論っていうのは基本的には集合論に基づいてるからね こういう非常に大きなスケールで考えた理論の中で同型と非同型を一緒に考える場合に 本当にショルツらの理解でいいのかどうかっていうのは非常に難しいよ 「宇宙際幾何学らしさ」そのものの問題だからね 大幅に抽象化して出てきた差異について古典的な立場で捨象するっていうのは凄く引っかかる 上の擁護の人はめっちゃ適当に非可換幾何学と非可換図式を結び付けてるけどｗ 確かに一般的にはそういう違いについての問題とも言えなくないんだよね
329:１３２人目の素数さん
18/11/08 02:23:56.66 k2qOmROn.net
量子通信の類似が 出て来た時点で、
>>299はトンデモ、と分かるわ。
論調が曖昧でペテン
330:１３２人目の素数さん
18/11/08 04:45:23.73 qu7aY++a.net
IUTではいつも楕円曲線の話が基本的なわけだけれども
楕円曲線を一般のアーベル多様体にするとどうなるのか？
331:１３２人目の素数さん
18/11/08 08:45:16.52 6s9wlf+J.net
>>304
まったく同意
332:１３２人目の素数さん
18/11/08 12:36:34.91 DW95vRI5.net
集中講義はどうなった？
333:１３２人目の素数さん
18/11/08 13:06:07.47 f8hqOR/M.net
京大医医の特色入試は国際科学オリンピック出場者なら飛び入学できる(まだ入った人はいないようだが)
だから理学部でもやろうと思えばできるのでは？
334:１３２人目の素数さん
18/11/08 13:18:15.68 pyBfsXju.net
そうした前提条件を付けるならいい
誰でも飛び級入学可能となれば話は別なんだよ
間口が極端に広がる話なんだからね
前提条件付きは例外として処理できる
誰でも可能なら制度変更だ。例外扱いは無理
そして、誰でも可能なら特定大学だけに認めるのは公的差別で許されない
335:１３２人目の素数さん
18/11/08 13:20:08.63 pyBfsXju.net
なんかここ世間知らずで常識の無いやつが掬ってるな
頭でっかちの典型だな
336:１３２人目の素数さん
18/11/08 14:41:53.58 oOPYnqiL.net
頭でっかちってか2ch脳
337:１３２人目の素数さん
18/11/08 16:55:14.87 qu7aY++a.net
このまま査読終わらないでオワコンなるの？
338:１３２人目の素数さん
18/11/08 17:02:10.74 irR6Soqs.net
>>323
例：高偏差値大学話 超先端研究に対して査読話 ｗｗｗ
339:１３２人目の素数さん
18/11/08 17:11:14.79 DW95vRI5.net
>>315
なに妄想しているの、
IUT= バイオハザード予想まであと一歩だね
340:１３２人目の素数さん
18/11/08 17:34:42.45 gHPMcX4y.net
原始人みたいにキリスト教に執着してるやつらにスレ乗っ取られてるねｗ
馬鹿だから政治屋みたいな能書きたれることしか能がない
政治運動でもやってろあほども
341:１３２人目の素数さん
18/11/08 17:42:02.76 c5dabGRj.net
ガロアの論文は、理解されるまで何十年も掛かっている。
IUTも、理解されるまで、或いは間違っていることがハッキリするまで、何十年も掛かるかもしれん。
342:１３２人目の素数さん
18/11/08 17:58:03.74 cxyHjdgM.net
>>318
天才を神聖視し過ぎ
数学の天才は数学ができるだけの存在でしかない
その他もろもろの判断能力まで優れているとは限らない（もちろん相関はあるだろうが）
「万能型」の天才と呼ばれるノイマンですら趣味のチェスが上達せずに
ゲーム理論の研究を創始したといわれている
天才というのは待っていればでてくるものじゃなくて
ちゃんと出てくる土壌をつくらないと出てこないものだよ
343:１３２人目の素数さん
18/11/08 20:49:54.06 mIkzOpOx.net
誰か>>327の意味を翻訳してくれ
344:１３２人目の素数さん
18/11/08 21:07:04.25 6s9wlf+J.net
Schulze万歳な馬鹿はこのスレから出て行け、ってことでは
345:１３２人目の素数さん
18/11/08 21:08:13.56 6s9wlf+J.net
訂正。
346:Scholzeだった
347:１３２人目の素数さん
18/11/08 21:29:25.45 qrq+dgLx.net
なんで馬鹿さ加減晒して平気なの？あ、馬鹿か。
348:１３２人目の素数さん
18/11/08 21:35:07.83 Jiliap8T.net
動物園も閉園時間
チンパンジーのアイちゃんは檻に入る時間
349:１３２人目の素数さん
18/11/08 21:51:23.45 mIkzOpOx.net
こういう誰に言ってるのかも立ち位置もわからん煽りが頭の程度云々言ってもなw
何が目的なんだかさっぱりわからん
350:１３２人目の素数さん
18/11/08 22:27:39.18 tz+YNRZM.net
Gokunの集中講義、明日がラスト
351:１３２人目の素数さん
18/11/08 22:30:01.94 iQRq+QnY.net
論文の論評すか？
352:１３２人目の素数さん
18/11/08 23:14:35.97 dbZczupO.net
>>283 >>315
最終節のIU形式主義と種の言語をざっくり読み返したんだけど（何年振りだろう）、
要するに遺伝的有限集合に突然変異を入れ、遺伝的アルゴリズムにも突然変異を入れて作ったのが、
リンクによるアプローチによる多輻的アルゴリズムだったように見える
だから、普通の数学者からすれば同型で済むものを多重同型と言いたくなるし、同一な構造を異質な構造と言いたくなる
従来の圏論も解体し、種の言語で再構成しようとしているように見える
IUTTを一言で言えば、数論幾何ではなく、量子的数論幾何、数論的量子幾何学と言えるのではないか？
353:１３２人目の素数さん
18/11/08 23:22:34.34 dbZczupO.net
この手の進化的アルゴリズムをやりたければ、最初にその基礎・形式・論理を詳しく明確に定義し証明し、
それから本題に取りかかる必要がある。
いたずらに数学用語と造語を混ぜて混乱させるのは愚の骨頂である
現時点において（望月が根本から書き変えない限り）、PS・JSの反論の正当性は揺るぎないものと私は思う
354:１３２人目の素数さん
18/11/08 23:58:00.76 PmL9GIHW.net
>>338
どういう部分が量子的なの？なにかを量子化したことによって得られるということ？
355:１３２人目の素数さん
18/11/09 00:01:30.18 Y6gcf0S7.net
いやあ、普段は罵倒だらけの場所で面白い話ですねえw
そんな深い事は言えないと思うけど、まずは少し寝かしとこう
356:１３２人目の素数さん
18/11/09 00:39:30.12 +J6AYMvF.net
量子と書いたが、正確には“量子論的”だね
あと、クレクレする人には絶対に答えない。自分で読んで「お前の解釈と俺のとでは違う」ぐらいは書いてほしい
望月の言いたいことを理解するためには、やはりトポスやグロタンディーク宇宙の理解と、
彼による解釈、拡張を理解する必要があるね
個人的にはもうIUTTに飽きつつあり（ネタとしても）、LurieやDurovに関心が向かいつつある
どちらも専門ではないし息抜きなんだけどね（笑）
357:１３２人目の素数さん
18/11/09 00:49:01.48 oBXI40on.net
こういう何も理解してないひとの頓珍漢が事態を悪化させているんだよなぁ
358:１３２人目の素数さん
18/11/09 00:59:00.44 lb/G4nC6.net
>>343
数学コミュニティとしてIUTは終わってるわけだし、
５ちゃんの書き込みが影響を与えることはないから、
悪化することはないと思う。
359:１３２人目の素数さん
18/11/09 01:10:48.87 Zms+VzqO.net
仮に正しいとしても、六年以上たって、応用はキャッチーなだけで割とどうでもいいABC予想だけだからなあ。
豊かな数学が広がっているとは言い難い。
柏原さんや中島さんの数学と比較すると大きく見劣りするよね。
360:１３２人目の素数さん
18/11/09 01:23:58.55 Kgw4Wiar.net
割とどうでもいい←？？？
361:１３２人目の素数さん
18/11/09 02:02:09.22 uVf+0Jrk.net
>>345
本人は質問対応だけでともかく若手が
362:何人か飛び込んでいるのに いまだに解説がお仕事で先が見えてこないね 将来の道をつけることが大切なのに
363:１３２人目の素数さん
18/11/09 02:25:29.64 dA99rb5M.net
本当にわかってるなら使い道もわかるだろ
364:１３２人目の素数さん
18/11/09 02:52:12.70 +J6AYMvF.net
>>343
＞こういう何も理解してないひとの頓珍漢が事態を悪化させているんだよなぁ
何も理解していない私に対して、あなたは何らかを理解しているのだよね。だからそういう判断ができる
あなたが理解していることを出来るだけ具体的に書いてほしい
私のような何も理解していない頓珍漢に事態を悪化させてほしくないのだろう？
あなたは今すぐIUTTについてスレ住人を納得させることを書くべきだ思う
本日24時まで待つ。あなたがIUTTにどれくらい精通しているか知りたい
私のような頓珍漢の蒙を啓いてほしい
あと、IDを変えず ID:oBXI40onで書き込んでほしい
365:１３２人目の素数さん
18/11/09 03:20:33.11 Y6gcf0S7.net
どうせまともな反応はありゃしないよw
この手の上から目線野郎ができることは、馬鹿げた質問返しかダンマリか煽り抜いて逃げるか
アンチ擁護関係なくそんなもの
366:１３２人目の素数さん
18/11/09 04:05:01.18 qpn5oU5W.net
分かってなさ加減は大して変わらんとはいえ、>>342はひどすぎるな
まったく数学を勉強したことのない文学部の科学哲学かぶれの1年みたいのが数学を語っているレベルだ
367:１３２人目の素数さん
18/11/09 04:25:59.09 Zms+VzqO.net
確かにこいつはキモいな。具体的に何をもって量子とか言ってんだろう。
368:１３２人目の素数さん
18/11/09 05:29:26.03 q0869/2f.net
勿論俺は>>342じゃないけど、打っても響かない人間には響かないってことだな
ホントここは自分の言葉で言及する人間を貶すほうが偉いみたいになってるのがおかしいんだよ
ある程度のレベルになると、誰かの発言から自分なりに引き出して語るんであって
貶してるだけの奴ってのはロクなもんじゃない
下らん知識クイズで悦に浸ってるのとかもどうしようもない、ただの偏った数学マニアだろ
ちなみに、「量子論的」という言い方にピンとこない奴はアホｗ まあ彼もわざわざ語りたくないだろうが
せっかくいい話してんのに勿体ないよ。こんなん言うと自演扱いされそうだけど
369:１３２人目の素数さん
18/11/09 05:32:49.41 CVBUUVxM.net
チェコのトンデモブログはネタが
せいぜい「IUT主定理の解釈」で
あとは罵倒だけ。
評価 才能なし。
↓
解釈；「狭いパイプ」でしか繋がっていない状況(=例えば、宇宙船にいる宇宙飛行士や
地下の鉱山で働く作業員等)において
限られた情報を賢く利用することに
よって「向こう側」の状況を復元し、
把握することができる
豆知識
物理 量子力学 通信技術→数学証明はない。
物理分野の量子通信は現在も研究中の
弱測定. 量子論理に基づく。
量子化は 古典.解析力学からの正準量子化
が基本だ。
場の量子論≠量子力学は朝永量子力学でも
強調している。
370:１３２人目の素数さん
18/11/09 06:18:32.37 TrTkrx/q.net
>>349
何もわかっていないという自覚があるから>>343に反応するんだろう
371:１３２人目の素数さん
18/11/09 06:49:56.67 1yjdF4Ag.net
j
372:１３２人目の素数さん
18/11/09 09:25:33.60 +J6AYMvF.net
>>353
最終節について軽く触れると、“mutation”“observable(s)”という語が何十回出てくるか分からないし、
露骨に遺伝子工学や進化的アルゴリズム、量子力学の数学的問題を意識しているよね
圏論を乗り越えるというより、換骨奪胎してIUTTのために都合よく作り変えようとしている感じが否
373:めないのだが、どうだろう？ この辺をしっかり理論構築しておかないと、現行のIUTTはトンデモ扱いを免れないと思う 弟子・支持者・信者はそういうことを考えるべきなんだよ >>354 ハーバードの准教授を4年で止めてチェコに帰った不満屋さんはフェセンコ以上にアレだね この人、まともな業績あるのかな、海外の大学は厳しいからね 彼がIUTTに魅かれた理由が最終節を読んではっきり分かったよ 不定性、絶対ガロア群、エタール輸送、他にもいろいろありそうだね
374:１３２人目の素数さん
18/11/09 09:25:51.11 ZOARx2PF.net
>>353 素直に聞いたことあるそれっぽい単語並べただけです、っていえよw
375:１３２人目の素数さん
18/11/09 09:32:43.15 +J6AYMvF.net
俺のレスに単発でゴチャゴチャ言うのは構わないが、何でもいいからIUTTについて積極的に語ってみてよ
間違いを恐れるな。親切な人や俺も何度も間違い、その都度訂正している
物理屋もおかしな文体ながらも必ず重要な語を混ぜてくる
今のままではあなた（たち）は卑怯・下劣・無能なスレ荒らしにすぎん
あなた（たち）何ぞより猫氏に来てほしいぐらいだよ（笑）
376:１３２人目の素数さん
18/11/09 10:21:15.60 O6lq68Fq.net
トンデモってむりやり「議論しよう」って言ってくるよね。
ガロアスレもそうだけど。
多分議論がされている（ふうに装っている）あいだは間違いと言う烙印を押されない、と思ってるんだろうが、
それはただのネットバトルのルール（？）であってアカデミックな場のルールじゃないから。
377:１３２人目の素数さん
18/11/09 10:37:52.29 dA99rb5M.net
>91
非明示的な定数が現れない完全に明示的な不等式を得ることが出来るようになるので
証明できてませんでした、て自白してるじゃん
378:１３２人目の素数さん
18/11/09 11:00:37.72 qzairv3d.net
今回の南出さんの話は、例えるならファルティングスのモーデル予想の証明に対する、
エフェクティブモーデル予想の解決って事でしょ？
モッチーがABC予想を証明し、今度はエフェクティブABC予想（フェルマー予想）を証明したと。
379:１３２人目の素数さん
18/11/09 11:02:33.37 We7j61rP.net
例えにもなってない
トンデモミスリード
380:１３２人目の素数さん
18/11/09 11:09:25.78 L5yGVkyg.net
下剋上造反計画
381:１３２人目の素数さん
18/11/09 11:56:40.78 RiCBR6KG.net
>>357
知らないが、素粒子分野かな？
プロガーレベルでは？
数学と関係ないが、
LHC実験で重要な発見はヒッグス粒子発見
のみで 超弦理論は予言能力に欠けている。
京大名誉教授で元RIMS教授の中西襄先生
の場の量子論や超弦理論批判の業績を
読むことを勧めます。
382:１３２人目の素数さん
18/11/09 13:55:48.40 SYR8jsGs.net
ヒッグス粒子なんか存在しないし
ノーベル物理学賞など無意味だよ
383:１３２人目の素数さん
18/11/09 14:26:13.80 GbGdNm8e.net
SSペーパー公開から約2ヶ月
まともな人はいなくなった感はあるな
384:１３２人目の素数さん
18/11/09 14:28:35.74 hKUKJjkR.net
ばれたからな
385:１３２人目の素数さん
18/11/09 14:45:51.52 nJDB5XE/.net
こんなんもし本当に正しければフィールズ賞確定やん（最後のスライド
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(in%20progress).pdf
386:１３２人目の素数さん
18/11/09 14:49:07.
387:06 ID:s5ISLVrR.net
388:１３２人目の素数さん
18/11/09 14:51:39.21 x8JcSk1B.net
二軍がやってる時点で察して
389:１３２人目の素数さん
18/11/09 15:42:40.82 /GNTRZJ+.net
>>357
進化的アルゴリズムとはまた違う気がしますけどね。それよりは普通の分子生物学かなと
ついでに再初期化とかの表現も結構iPSを意識してそうな気もする
衒学的な見方ができなくはないというのは同意だけど、しかし実際にはある程度納得できる使い方だとは
思っている
もし擁護するとすれば、単なる擁護ではなくて誰かが何か本格的なものを他に持ってきて位置付けるしか
ないのかもしれない。そういう意味でヘルプをしたのは正しいかな
390:１３２人目の素数さん
18/11/09 15:43:35.81 /GNTRZJ+.net
ヘルプって例の募集の事ね
391:１３２人目の素数さん
18/11/09 16:06:53.95 LHEbD2j2.net
ID:kac0nyl0
こういう気持ち悪い文章を書く人って何なんだろう？
392:１３２人目の素数さん
18/11/09 16:09:19.35 /GNTRZJ+.net
・十分単純化、洗練された表現が足りなく、色々新語をぶっこみすぎている
・社会性に著しい問題がある
・この状態で短期的にコミュニティの承認を得るのは無理
この三点は間違いなく問題としてある
にも関わらず、単なるインチキとはやはり言えない。普通に数学的な意味があるにはある。厄介
393:１３２人目の素数さん
18/11/09 16:28:43.62 6qNljpDj.net
>>369
(in progress)
expected main results
expected theorem
expected corollary
394:１３２人目の素数さん
18/11/09 16:31:10.88 /GNTRZJ+.net
あと何で忘却関手と呼ばないかだが、理論では系列全体を問題にしているから、むしろ誤解を招かないように
あえて区別してるのであって、別に格好つけてるからだとは思わない
395:１３２人目の素数さん
18/11/09 16:35:32.42 uVf+0Jrk.net
>>371
Wilesを助けたTaylorは数学者として一流だったが
FLTに関してはTは一歩引いてWを立てた
そしてTはその後大きな問題を解決していった
Tのような人はなかなかいないだろう
396:１３２人目の素数さん
18/11/09 16:47:51.49 x+CGzr8H.net
>>376
こんなんあかんやん。
397:１３２人目の素数さん
18/11/09 18:11:46.67 Efx7XWzu.net
中島さんが京大での集中講義で扱ったマヤ図形ってどんな図形なの？
398:１３２人目の素数さん
18/11/09 18:31:52.01 +J6AYMvF.net
>>372
言い方が甚だしく悪いのだけど、現時点では衒学的というよりスノビズムとすら感じている
IUTTを救う方法については、松本氏や他に圏論に詳しい人物が精力的に協力すれば
可能性はないとは言えないかな（断定はできないが）
>>377
望月の意図はそうだよね。区別したいわけだよ。だけどそうはならないよというのが「普通の見方」
その辺は>>339や>>357が俺の見解
399:１３２人目の素数さん
18/11/09 18:45:31.76 +J6AYMvF.net
>>365
Lubos Motl
URLﾘﾝｸ(disqus.com)
URLﾘﾝｸ(en.wikipedia.org)
4年ほどハーバードで准教授をやった後、チェコに帰ってフリーの弦理論家として科学と政治のブログを書いているようだ
LGOの実験結果を1ヵ月前にリークしたそうだから、そういうことには長けているのだろうね
400:１３２人目の素数さん
18/11/09 18:51:34.74 +J6AYMvF.net
すまん
×LGO → LIGO
401:１３２人目の素数さん
18/11/09 19:13:05.54 /GNTRZJ+.net
>>381
大体同意だが（悪ノリ的な側面という評も含め）
ただ宇宙際幾何学そのものについて、IUTの再整理を含めた基礎論文を書いた方がいいにしても
もう読まれない可能性が懸念されるので、何か別に成功できる理論で改めて位置付けるという
面倒な手続きを取らないと厳しいかもなって感じ
で、そういうものはご関心を持たれてるDurovとかLurieとも無関係ではないだろうと
しかしその辺を整理するならやはり相当の実力者を必要とする、と
中長期的に見たらもっと見やすい一般化の理論が出てきて、奇形扱いになってしまう危険が50%くらいかな
402:１３２人目の素数さん
18/11/09 19:39:56.45 uVf+0Jrk.net
誰かが別の普通に理解しやすいルートでABC証明したら忘れ去られそう
岡の不定域イデアルはH. Cartanのおかげで「正しい先駆的な理論」として
数学史には残っている
ただ岡の論文から何かを汲み取ろうとする人は現代ではほぼいない
403:１３２人目の素数さん
18/11/09 20:35:39.46 MUpnYwnu.net
数学王国フランスではグランゼコールがエリート養成機関として知られているが、
その選抜方法は客観テストの得点がすべてで、面接とか推薦書とかないらしい。
それでも人口比で世界で一番すぐれた数学者を輩出しているし、エリートの養成にもまったくこまっていない。
推薦入試だのAO入試だのは私立が学生を確保したり、何らかの意味で「ずる入試」をするためだけに意味のある方法であって、
優秀な人間を選抜するという意味では全く無意味と断定できる。
日本の国立大学が推薦入試をする意味は全くない。
東大・京大の推薦入試など即刻廃止すべきである。
米英だけが世界の常識ではない。
404:１３２人目の素数さん
18/11/09 20:46:20.42 L+1ZDasz.net
>>386
日本はエリート教育を放棄したから無理なんだよ
国の基本ポリシーの土台から変わらないと無理だ
405:１３２人目の素数さん
18/11/09 21:05:45.31 diPTTNuP.net
トンデモでももっとそれっぽいホラをふく
ここにいつのは憧れのｗ用語を並べて悦に浸るオナニーチンパンジー
406:１３２人目の素数さん
18/11/09 21:16:06.89 OFWSJIyJ.net
世界教師マＹトレーヤが現れる前兆である星のようにみえるＵＦＯの目撃が世界規模で急増しつつあります
407:１３２人目の素数さん
18/11/09 22:04:38.14 MUpnYwnu.net
推薦入試、AO入試なるものは、主としてアメリカで
私学における学生や寄付金の確保・ユダヤ人の排除を目的として始まった入試制度で、
優秀な人間の選抜には役に立たない。
私立が歩留まりを確保したり、医者の地域枠などは意味があるが、
科学や数学の発展のために客観テスト入試が最善である。
旧帝大以上では推薦入試は全廃すべきだろう。
世界で最も優れた数学者を輩出するフランスの客観主義入試に学ぶべきである。
408:１３２人目の素数さん
18/11/09 22:09:00.36 CVBUUVxM.net
>>380
ヒント. ソリトンの解法
演習 .マヤ図形との関係は？
>>385
不定域イデアルは代数で、
岡の連接定理 連接層があればこそ
多変数複素解析 代数解析 代数幾何でしょ。
409:１３２人目の素数さん
18/11/09 22:09:17.12 P6+hr2Nt.net
客観って言ってるがフランスの高等専門学校は論文入試じゃなかったっけ？
まあ或る意味本人の言質取れてるんならいいけど。
410:１３２人目の素数さん
18/11/09 22:10:42.25 CVBUUVxM.net
>>391
マヤ図形との関係は？
→マヤ図形とヤング図形の関係は？
411:１３２人目の素数さん
18/11/09 22:11:25.62 1CoCVoGE.net
括弧使って話す人が本当に気持ち悪い
かっこつけてるつもりか？括弧だけに
412:１３２人目の素数さん
18/11/09 23:33:32.57 2YOW5elU.net
いや、そもそも科学史において入試制度なんてなんの役割も果たしてないやろ。
あれは役人の養成が前提だよ。
413:１３２人目の素数さん
18/11/10 02:49:17.14 NIAoPWkE.net
>>313
飛び級は院入試からでよい。
414:１３２人目の素数さん
18/11/10 06:18:08.11 hWpbPli0.net
>>395
正解。必死こくだけ無駄
だけど才能を潰さない制度ではあって欲しいね
その意味では改善の余地が大なのは確か
別に数学者を養成する為なんかじゃなくてもね
415:１３２人目の素数さん
18/11/10 06:26:29.69 V1srhBoe.net
トンデモ たかりの友
416:１３２人目の素数さん
18/11/10 12:22:11.89 iGnPVCHj.net
現行の日本の入試制度で数学の才能が潰されることはまずないだろ
数学だけ飛び抜けてできる生徒でもどっか旧帝大くらいは入れる
英語や理科が全部零点とかなら知らんがそれなら数学やるのもいずれ困るよ
「大学入試が大変」という幻想に踊らされて潰れてる学生はいるかもしれん
大学院に至ってはザルだから研究のためならどっか液便数学科に入ってロンダすりゃいい
本人に本当に才能があればこれで十分
ろくに才能ないのが入試で潰れたとかほざいてるだけ
417:１３２人目の素数さん
18/11/10 14:19:46.58 xOG6NEtX.net
>>399
わかる
駅弁行ってロンダしたらいいってアドバイスされたのに、高校が合格実績にするために現役にこだわってるだけ！浪人して合格するんだ！って3浪して結局受からずに高卒フリーターやってるやつが知り合いにいる
418:１３２人目の素数さん
18/11/10 15:56:37.24 4eOtTl/r.net
これからは、情報の環境的にはアカデミズムに関わらず業績を挙げる人間がいても全然おかしくないけどね
特に数学は
海外だと10代やアマで論文を書いて認められて私営の研究所に行く奴とかがたまにいる
419:１３２人目の素数さん
18/11/10 19:43:29.77 nNtJCzug.net
擁護派が静かになったな
Kimによる検証も暗礁に乗り上げたか
420:１３２人目の素数さん
18/11/10 20:02:21.23 4SBFzh6Q.net
>>391 >>393
横からお邪魔虫だけど、IU形式主義とソリトンの話題を比較するのはさすが物理屋さんというところか（笑）
（物理屋というより実は佐○スクールの人なのかな？）
＞ヒント. ソリトンの解法
＞演習 .マヤ図形とヤング図形の関係は？
ソリトン方程式の解はτ函数で表せて、フェルミオンが箱を占めることを示すのにマヤ図式を使い、
そのマヤ図式はヤング図形と一対一対応する
これでいいかな？
421:１３２人目の素数さん
18/11/10 20:41:29.31 y/M1zJM0.net
>>403
京大のマヤ図形でしょ。
422:１３２人目の素数さん
18/11/10 20:54:04.89 iGnPVCHj.net
神戸大の裏のマヤ山でしょ
423:１３２人目の素数さん
18/11/10 21:00:53.95 iGnPVCHj.net
>>377
そしてIUTそのものが忘却される
424:１３２人目の素数さん
18/11/10 21:21:37.75 ycZZJsHy.net
どこの馬の骨ともわからんフィールズ賞受賞者が
なんぼのもんじゃ
IUTTは正しいわ
複数人の兆時間の検証と議論の上で結論でてる
425:１３２人目の素数さん
18/11/10 21:27:20.71 rB28d/w/.net
自演乙
426:１３２人目の素数さん
18/11/10 21:43:46.69 Sp3mV7gY.net
>>407
批判的能力の欠けた検証をどれだけやろうと無駄。
タイプミスの精査くらいしかできない。
もう負けを認めようよｗ
427:１３２人目の素数さん
18/11/10 22:13:17.27 4SBFzh6Q.net
>>409
本当にその通りだよね
テイラー以前にニック・カッツがいない（こんな大物がゴロゴロいるわけないが）
カッツはワイルズとのニセ講義でワイルズを支えたが（聴講者ということで甘くなったことを後に反省している）、
査読者としては鬼だった
この際はっきり言うけど、IUTT周辺の人物に大したヤツはいない（しかも、検証チーム4人＝査読者全員の可能性あり）
ワイルズの周りには大物や人情味溢れる
428:数学者が多かった 宮○氏の時だって残念な結果に終わったが、助け船を出す人はたくさんいたし、興味深い研究ではあった 現状では、IUTTには何もない
429:１３２人目の素数さん
18/11/10 22:22:34.50 IIMs5ahO.net
いいわけを模索中です。
しばらくお待ちください。
↓↓↓↓↓
430:１３２人目の素数さん
18/11/10 22:53:13.23 3gEsNXEl.net
>>410
>この際はっきり言うけど、IUTT周辺の人物に大したヤツはいない
で、君は大した奴なの？
ていうか、君、ガロア理論は理解できた？www
431:１３２人目の素数さん
18/11/10 23:04:12.35 4eOtTl/r.net
個人的には一つ話に加わりたい気持ちもあるんだけど、今下手に関わると面倒だな、と正直に思う
つまりは、ある程度のレベルで学派ができてない事を論じられるか、自分にしかできないことがあるか、
なんだけど、それがもしかしたらできそうでもコストどころか短期的なリスクまで考えざるをえない
全面救済するくらいの自信と意気込みがないと、今やなかなか関われない状況だよ
432:１３２人目の素数さん
18/11/10 23:08:15.59 4eOtTl/r.net
>>412
ガロア理論がどうとかあんたが煽ってたのは俺じゃないかな？
あんたが仮に研究者だとしても、どうせ中途半端な所のラングランズかディオファントスの人だからなあ
どうでもいいけど、まさかSilvermanとかに関わってないよね？
433:１３２人目の素数さん
18/11/10 23:29:17.34 4eOtTl/r.net
しかし
ガロア理論とは、○○○の本質を○と見て○○や○○○のシステムとして捉えるものである、とか
類体論の心は○○（○○○○）である
モチーフ理論では○○○と○○○○○の関係を解明することが重要である
みたいに要約して本質を理解するほうが大事だと思うけどね、下手なクイズよりも俺は
それよりあんたがSilverman関係の人なのかが気になるw
434:１３２人目の素数さん
18/11/10 23:48:59.43 pQBZUPeP.net
まーたガイジが湧いてる
435:１３２人目の素数さん
18/11/11 00:17:09.89 D/xlRAoH.net
ひどいのがひとり湧いてるな
436:１３２人目の素数さん
18/11/11 00:30:45.70 029TOQH3.net
自分の言葉で語らずにこんなとこで煽ってる奴がどうこう言ってもなw
ホント、面白い煽りが欲しいわ
○○○○？二つ○が足りないわアホ、とか言って欲しい
437:１３２人目の素数さん
18/11/11 00:34:02.02 BALVwz+x.net
＞＞ガロア理論とは、○○○の本質を○と見て○○や○○○のシステムとして捉えるものである、とか
類体論の心は○○（○○○○）である
モチーフ理論では○○○と○○○○○の関係を解明することが重要である
みたいに要約して本質を理解するほうが大事だと思うけどね、下手なクイズよりも俺は
チンパンジーもええかげんにせんや
どこから沸いてきたんや
438:１３２人目の素数さん
18/11/11 00:52:05.93 029TOQH3.net
>>419
あんたもチンパンチンパン言う割には煽るだけだよな
チンパンにはわからない人間様の言葉で何か語ってみたらいいのにな
ちょっと何か言うだけで騒ぐ辺り、数学に憧れてたけど挫折してひねくれたって感じだな君らは
439:１３２人目の素数さん
18/11/11 00:58:30.92 029TOQH3.net
あのさー、本当にわかってる人って他人を煽ったり馬鹿にしないんだよね。素人でも馬鹿にしない
その代わり自分で語りたいことを語る
ここは自分なりに語ってる人間を除いて、煽るしか能がないまさに挫折したチンパンしかいない
ま、別にいいけどつまんねーよな
自称類体論やホッジ理論を勉強したクイズの人も、IUTが何故正しいか、間違いか語れないんじゃ
勉強しても結局わからなかったんですねえwとしか言い様がない
440:１３２人目の素数さん
18/11/11 01:01:47.76 BALVwz+x.net
チンパンジーに語りかける数学者からの言葉はない 煽るだけｗ
441:１３２人目の素数さん
18/11/11 01:19:06.78 EYSIMZyo.net
ID:029TOQH3
何やこれ
442:１３２人目の素数さん
18/11/11 01:23:49.56 oesnv/Xe.net
>>422
煽るだけなら君はただの荒らしだよ
君は数学者なんだよね。なら、ここはIUTTスレだからIUTTについて書いてくれないかな？
チンパンジーではないROMしてる人も大勢いるだろうし、君の数学者としての見識をIUTTについて語ることで見せてほしい
443:１３２人目の素数さん
18/11/11 01:24:07.32 029TOQH3.net
444:>>422 いや、あんたは絶対数学者じゃないよ ならIUTの何処がホッジ理論的なのか1レスで要約してみなよ できないのはわかってる
445:１３２人目の素数さん
18/11/11 01:24:51.31 029TOQH3.net
ちなみに俺はできる
雑でもいいから示唆してみな？
446:１３２人目の素数さん
18/11/11 01:46:41.45 BALVwz+x.net
なんか活動的やな ホッジ理論的でよかったなｗｗ
数学者は相手が馬鹿と気付いた時点でまともな相手は数学的にはしない
例外は自分の院生を面倒みるくらい
447:１３２人目の素数さん
18/11/11 02:25:17.22 rdK8QVKj.net
>>427
言い訳ありがとう
ちなみに三つの「○○」のうち二つは、まともな数学者同士の会話で出てきたものだ。少し言い換えてるけどな。二つ目は呑みの席、三つ目は外人だ
それで馬鹿と気付いた君は素晴らしい頭してるな
448:１３２人目の素数さん
18/11/11 02:42:21.75 BALVwz+x.net
わからんけどバカだとおもうよキミID:rdK8QVKj
ガロア理論も類体論もモチーフもわからんとおもうけど
449:１３２人目の素数さん
18/11/11 03:01:07.97 rdK8QVKj.net
蛇足だが>>428の呑みの場ってのは、数論の人とそうじゃない解析の人の会話で
「類体論なんて○○とか○○○○○○でわかるんですよ」っていう言い方で出てきたんだな
三番目のはその分野のトップの人が、未解決問題の核心として挙げたものだ。別に信じなくてもいいが
そんなことはどうでもいいんだが、IUTとホッジ理論の動機付けにまつわる関連性くらい
擁護もアンチも知っておいたほうがいいだろう
その方がゴシップを楽しめるのにな。わからんなら仕方ないが
450:１３２人目の素数さん
18/11/11 03:05:03.66 oesnv/Xe.net
>>429
望月の言葉を借りて言わせてもらえば、君は
「間違いなく不適格＝数学界にとっては事実上、ゴミ」以下だから、
望月に弟子入りして、
「実態からして一般的な基準よりも遥かに実質的な基準において立派な水準の人材」
に育ててもらえばいい、誰かさんのようにｗ
（最近NG入れまくって「あぼ～ん」が多くなってきた。IDコロコロ変えるのは止めて欲しいよｗ）
451:１３２人目の素数さん
18/11/11 03:15:25.55 oesnv/Xe.net
>>430
それ、望月がレクチャーノート版で分かり易く日本語で書いているものまであるのにね
それすら読んでいないんだろうね
IUTTに触れず、飛び級制度の話になると饒舌になる人たちもいる
どうでもいいと思うんだけどね。中高で余裕があれば独学や伝手を頼って専門家に教えてもらえばいいし、
他にもリベラルアーツを深めることもできる。飛び級制を考えるならその点も考慮に入れた方がいい
しかし、いずれにせよここはIUTTとABC予想のスレということをお忘れなく・・・
452:１３２人目の素数さん
18/11/11 03:22:10.67 BALVwz+x.net
ところでなんで○○○ばっかなんだ
脳みそが○○○じゃねーか
中身のあることいえない？だから理解できない伝聞を空っぽのオツムから出したんだね
偉い！
453:１３２人目の素数さん
18/11/11 09:10:39.42 3rqzlPlG.net
>>421
＞あのさー、本当にわかってる人って他人を煽ったり馬鹿にしないんだよね。素人でも馬鹿にしない
つまり自分はわかってないですって告白か
454:１３２人目の素数さん
18/11/11 10:04:56.08 HOOpqhcK.net
>>430
ちくしょう！！
分かりたいけど何一つ分からないぜ！！
俺を蚊帳の外にするんじゃねえ！！！
455:１３２人目の素数さん
18/11/11 11:06:05.30 Tdm61e6B.net
宇宙際メリン変換ってどこかしら熱核と関係あるのん？
456:１３２人目の素数さん
18/11/11 11:56:39.93 qR92Pm5S.net
久しぶりにきて追ってみたが
自分の見方を、概ね>>432の人が以前に書いてしまってたｗ
457:１３２人目の素数さん
18/11/11 12:33:41.98 eXza7L5L.net
そ
458:いつも荒らしだぞ
459:１３２人目の素数さん
18/11/11 13:24:29.41 bC/kvd6J.net
てか分かったふりの荒らしって結局jinだろ
460:１３２人目の素数さん
18/11/11 15:22:20.00 EYSIMZyo.net
京都賞講演の客席に佐藤幹夫先生の姿を発見して感激した。
jinは見つけられたかな？
461:１３２人目の素数さん
18/11/11 17:54:42.87 8RxXit5u.net
>>429
おいおい、自称数学者ならもっと上手くやれよw
ガロア理論やコホモロジーも専門家の間だと、時としてたった単一の数式だけで表現されるの知らないだろ
ややこしい術語で堅苦しい証明を重ねるだけが全てじゃないんだよ
462:１３２人目の素数さん
18/11/11 18:31:59.53 8RxXit5u.net
>>424
しかしセミナーの概要が回ってきたとか言ってるような人は研究者なんだろうけど
ゴシップの話しかしてないのか普段はROMなのかどっちなんだろうか。他人を煽ってはいないと思うけどw
進展に触れる以上はどちらかと言ったら擁護寄りのはずなんだけど、事態をどう捉えてるのか一言くらい
レスして欲しいものだ
463:１３２人目の素数さん
18/11/11 18:37:04.56 R3xmFt0p.net
量子重力論屋がIUTに好意的なのは何故なのか？
量子論的宇宙と相対論的宇宙という、異なる物理法則が支配する二つの宇宙を数学的に
相互接続する為の道具に使えるかもしれないと期待しているからなのか？
464:１３２人目の素数さん
18/11/11 19:44:53.79 oesnv/Xe.net
>>442
ショルツらの指摘はどこ吹く風という感じなんだろうね。IUTTは何と言われようと正しいというスタンスなんだろう
望月のHPにポスドクのスライドがアップされているのだけど、>>376氏が書いている通り、俺の理解を超えているよ
彼らはもう世界中の数学者のことなんか歯牙にも掛けていないのだろう
だからIUTTにケチつける人がいれば罵倒しかしない、できない。望月本人がそうだしね
465:１３２人目の素数さん
18/11/11 19:58:06.11 oesnv/Xe.net
>>443
物理屋さんが>>354で書いている通りだと思うのだけど、この不満屋チェコ人の我田引水はヒドすぎるね
数学界・科学界の政治問題にすり替えて論じている。また、
IUTTの宇宙（異質な環構造）たちは同型だけど微妙な差異を持つ宇宙(poly-isomorphism)なので、
量子論対相対論のような大きな対立ではない。エタール的対象の性質に興味を持ったという程度ではないかな
それにしてもフェセンコ顔負けの狂信者だよｗ
466:１３２人目の素数さん
18/11/11 20:51:43.72 4DvLC3dq.net
>>440
京都の外の人だとご存知ないでしょうが
今でも年に何度か談話会とか研究会に顔は出してる
467:１３２人目の素数さん
18/11/11 22:23:07.62 8RxXit5u.net
>>445
でも、明示化やら観測やら不定性やら不確定性というのは、類似とまでは言いにくいにしても
やはり似てますよね
宇宙際というネーミングもかなり強烈にマルチバースを想起させるしね。明らかに意識してる
468:１３２人目の素数さん
18/11/11 22:43:02.17 oesnv/Xe.net
>>447
遠アーベル的な群論的枠組みで円分剛性同型から構成したものだから、真似したわけではないのでしょうけど、
確かに似てはいますね。実際、最終節ではその方面に寄せた記述も見られますし。
私は望月と同世代なので、80年代初頭のホーキング、佐藤勝彦、ビレンキン、B・ジョセフソンなどのブームの中で育ったんですよ
だから何となく望月の気持ちも分かる。ホーキングや佐藤はそうではないけど、この手の科学者たちは当時、
神秘主義に傾倒し�
469:ｪちだったんですよ 私自身、スレチを覚悟で哲学、文学、宗教、言語学のことをこのスレで書いたりしましたが、 それは哲学書や宗教書を読むのは、それらに対する免疫、抵抗力を持つためという思いを込めてでした 飛び級についても、数学さえできればいいのではなくリベラルアーツもしっかりやらなければね、という思いもありました
470:１３２人目の素数さん
18/11/11 23:20:02.36 oesnv/Xe.net
>>415
誰も答えないから非専門家の俺が恥を忍んで答えてみます（笑）。間違ってたら訂正してください
＞ガロア理論とは、○○○の本質を○と見て○○や○○○のシステムとして捉えるものである
（解答）「ガロア理論とは、対称性の本質を群と見て分解や可解性のシステムとして捉えるものである」
＞類体論の心は○○（○○○○）である
（解答）これははっきり特定できないので、候補として分岐理論、高次元化、七五三の行事ｗ、高次元類体論、非可換類体論
＞モチーフ理論では○○○と○○○○○の関係を解明することが重要である
（解答）「モチーフ理論ではL関数（の特殊値）と代数多様体の関係を解明することが重要である」
こんなもんだけど、どうですかね？ｗ
471:１３２人目の素数さん
18/11/11 23:33:57.40 3rqzlPlG.net
まーたガイジが湧いてる
472:１３２人目の素数さん
18/11/11 23:34:54.80 8bZgq7/S.net
見てて恥ずかしくなるレベルの自演なのでやめろ
473:１３２人目の素数さん
18/11/11 23:59:41.43 IqJQ9kWB.net
おまえもなー
474:１３２人目の素数さん
18/11/12 00:10:04.23 j4UW8sEW.net
幼稚な罵声で煽ってばかりのゴミ以下がいるけど、研究やってれば文体は似てくるんだよ
それに５ｃｈで文体に凝ろうとも思わない。物理屋さんはわざと「てにをは」を外したりしてるけどね
文体は似てても考えや関心が違えば別人とすぐ分かる
俺でもjinみたいな狂信者とjinレベルのIUTT批判者の違いぐらいは分かるよｗ
475:449
18/11/12 00:29:23.54 j4UW8sEW.net
L関数（の特殊値）と限定しなくても「不変量」と言うだけでいいかｗ
望月も書いているよね
モチーフ --- 代数多様体の数論的骨格
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
このスレのIUTT擁護の煽り屋どもは望月の和文論文すら読まず、彼を貶め腐らす根腐線虫みたいなもんだな（笑）
476:１３２人目の素数さん
18/11/12 09:28:00.43 uRQF7l1k.net
読んでもモチーフの何たるかがまったく分からない駄文
477:１３２人目の素数さん
18/11/12 10:15:27.83 BIBbyTnz.net
こんなオカルト韜晦的な書き方が日本における数学のスタイルなら、
国はもう資金引き上げでいいと思うけどね。
それで学問が衰退するとも思えないな。
478:１３２人目の素数さん
18/11/12 10:37:10.75 HcHpeSYZ.net
>>456
考え方が間違ってる
諸外国はオカルト(と呼ばれる)にも資金を突っ込んできているのを理解しよう
未知なもの、理解し難いものだからこそ資金を入れるんだよ
確実性のあるものにだけ金を入れてどうする？
人類史を前進させるかもしれないものに金を入れることにクレーム付けるのはかなり脳みそが狂ってるよ
しかも物理など他分野と比較して大した金額じゃない
仮に捨て金になったとしてもいいんだよ
それは結果論でしかない
479:１３２人目の素数さん
18/11/12 11:06:14.48 BIBbyTnz.net
>>457
じゃあRIMSから引き揚げても問題ないでしょ。
オカルトな研究なら他にもたくさんある。EM菌にでも突っ込むか？
残念ながらオカルトも大事という主張と【自分たちの】オカルト【こそ】大事は違うんだよ。
480:１３２人目の素数さん
18/11/12 11:06:50.28 URsVweyq.net
IUTはオカルトです、と宣言したね。
まずIUT関連の予算獲得ありきで
査読中に IUTよりABC予想が解決した
と文科省へ報告したからな。
481:１３２人目の素数さん
18/11/12 17:42:14.28 EHHx0lbs.net
>>449
違いますね。更に突っ込んでないと埋まらないです。別にその穴埋めが悪いわけではないけど
モチーフの特徴付けだけではなくて、研究指針のポイントの話だったので
まあゼータコホモロジーとか言われるくらいだからそういう表現も良いでしょう
482:１３２人目の素数さん
18/11/12 17:54:49.26 8ik+vS3J.net
>>454
擁護派だが批判派だが知らんが、
客観的な情報を少しでも得ようと思って
ここに来た人間の多くは、立場を明示してる
数学者に対して、憶測含めて批判しまくってる
ここのダブスタお猿さんマウンティング劇場に
辟易としてるだろうね。
自称「俺はわかってる」な奴が匿名性に守られて
王様のように振る舞ってるだけで、
けっきょく十分には読めてないんだから。
（そういうことを自分自身で言ってるだろ）
勝手に始めたマウンティング合戦という馬鹿げた
争いの自称勝者でしかなく、その愚かしさを
指摘すると擁護派というレッテルをはられる始末。
批判の本質を何もわかってない。
だから動物園という比喩がしっくりくる。
483:１３２人目の素数さん
18/11/12 19:28:25.07 7I460S3o.net
>けっきょく十分には読めてないんだから
聡明なPS JSはともかく
オカルト文書を十分に読む必要はないし
危険な行為だ。
484:１３２人目の素数さん
18/11/12 19:59:49.93 j4UW8sEW.net
>>460
サンクス。その辺は飯のタネなので秘匿ということでいいのかな
意味不明のレスがあるのだが、誰がマウンティング合戦（嫌な言葉だ）をやっているのかね
IUTTの内容についてお互いの見解を述べあっているだけなのに、勝手にマウンティングされたと被害妄想しているとしか思えん
充分に読めてるんだったら、ゴタゴタ言う前にIUTTの内容について語ってくれよ。間違っていたら訂正すればいいだけの話だ
さらに、間違った見解に対してできるだけ具体的に訂正してあげればよい
それすらしようとせず、猿だの動物園だのしか言えないのはIUTTを全く読んでいないと疑われても仕方がない
そんなに俺のレスが不快ならNGを入れろ。俺も最近はNGをたくさん入れてるし（IDコロコロ変えてくるからめんどくさいが）
あとな、数学者に限らず研究者というのは読んだ上で立場を表明するものなんだよ（これは研究者に限らんが）
485:１３２人目の素数さん
18/11/12 20:51:13.99 EHHx0lbs.net
>>461
数学者の見解とは思えませんな。中身について言及している人間はわかってるアピールなんかしていない
一部が勝手にそう捉えてるだけ
このスレの誰が上か下かという話は無駄でしかないし、そういう中でただメタポジから誰が馬鹿だの猿だの
言ってること自体が無駄
あなたがIUTが間違いではないと思うなら、その理由を含めて書いたら済む話
それをとやかく叩く馬鹿は無視すればいい
もう一度言うが、自分が正しいと思う見解を各々勝手にレスするのが数学者としては正しい態度
486:１３２人目の素数さん
18/11/12 21:01:50.45 EHHx0lbs.net
>>462
ただ勿体ぶるのもあれなんで、混合モチーフの候補がいくらかある中でどうやって調べるべきかって文脈
そうして見ていけば正解はそのうち見いだせる
487:１３２人目の素数さん
18/11/12 21:33:04.99 ZXdjgg5L.net
>>463
読み方にはノートを取る、流し読み、
要旨のみ、チラ見と色々とある。
PSJSレポートはノートを取って読みたいね
488:１３２人目の素数さん
18/11/12 21:4
489:9:27.03 ID:sYl1o0en.net
490:１３２人目の素数さん
18/11/12 21:50:16.91 sYl1o0en.net
リニアコライダーまで日高見川流域に持ってかれると。
491:１３２人目の素数さん
18/11/12 21:52:30.48 RDHTWPUk.net
自演バレてないとでも思ってるのかな
492:１３２人目の素数さん
18/11/12 21:58:03.79 j4UW8sEW.net
>>466
S・Sレポートですけど、見事だとは思いますが個人的には学術的な価値は感じないんですよ
つまり、S・Sからすれば望月は屁理屈をこねているにすぎない、という感じです
このレポートの面白い所はソフィスティケートされた皮肉がちりばめられている所ですね。例えば、
“identifying identical copies of objects along the identity”(p.9の脚注)
完全に言葉遊びでからかっています。誰かが書いていましたけど舐めプしているんですよ（笑）
S・Sからすれば望月こそが学部・修士レベルのミスをしていることになる
望月があれだけ怒ったのも無理もないと思います
493:１３２人目の素数さん
18/11/12 21:58:03.84 sFDOY7GA.net
やめたれｗ
494:１３２人目の素数さん
18/11/12 23:08:41.53 EHHx0lbs.net
擁護というか、何か数学的な内容があると思うのは全然おかしくないんだけど、
さすがに六年以上経って、ショルツの件がニュースにまでなって正式に出版されている中で
専門家から公に擁護の声が挙がらないっていうのは相当な異常事態じゃないかな、と
だからこそ匿名を利用して、見解を好き勝手に言えば面白い
何でいつもスレ内の罵倒合戦になるのかわからないですけども
495:１３２人目の素数さん
18/11/12 23:10:55.46 lM77uLJV.net
基礎的な定理が証明できないものに数学的な内容があると考えるのは非常におかしいと思うけどね。
496:１３２人目の素数さん
18/11/12 23:29:55.89 vvsnmgKe.net
数日見てなかったらまともな書き込みの方が少なくなってて草
もう終わりやね
497:１３２人目の素数さん
18/11/12 23:36:30.11 j4UW8sEW.net
>>472
まあでも、望月-S・S論争自体がそういうものだから（笑）
望月の罵倒のほうばかり強調されるけど、S・Sの論調も相当望月をコケにしたもんだよ
それに対して望月は顔を真っ赤にして怒っている様子が瞼に浮かぶ
昨日も書いたけど、望月としては最終節で書いたIU形式主義と種の言語を整備して、
新たな圏の幾何学を「明確に」提示しないと理解されないのではないかな
現行のIUTTで「典型的な」数学者に理解してもらおうとするのは無理があるよ
通常の数学用語に造語を混ぜ、「独自の（勝手な）」論理でやられたら、そりゃトンデモ扱いされても不思議じゃないよ
498:１３２人目の素数さん
18/11/12 23:56:39.44 v7gzez66.net
かたや京都賞の講演をやっているというのにな
妙な語り口で逃げないで水準の高い論文を安定して50年間出してきて
今なお最先端をリードしているのは化け物ですよ
499:１３２人目の素数さん
18/11/13 00:18:14.93 c/h+BuvC.net
>>475
まあ我々もあんまグダグダ同じ話をしても仕方ないので合意できそうな形を一つ明らかにすると
歩み寄りが足りない、に尽きますね
ただ、俺はそれが悪意とか意固地というのではなく、ある種のアスペルガー的な特異さのせいではないかと
思っているので、批判する気にもなれないというか、切ない、残念な気持ちがある
今のところ、もうそろそろ特に言うべきことは�
500:ﾈい。進展には気を払いますけども
501:１３２人目の素数さん
18/11/13 00:39:12.33 8CSqvco7.net
>>477
望月・星、ショルツ・スティックスの議論に立ち会うことができたら、そこで本当は何が話し合われていたか分かるんですけどね
正直言って双方のレポートの内容に齟齬がありすぎて不信感すらあります（特に望月側に対して）
毎回2時間も4人で和やかにランチを取りｗ、その後、5時間にわたる議論を5～6日間行ったそうです
望月に至っては何色ものマーカーを使ってボードに図を書いて説明までしている
ここまでして何で伝わらなかったのか？S・Sを納得させられなかったのか？
私はアスペ的なものではなく、やはり“blurring”が過剰だったのではないかと思っているんですけどね
あと、いつか機会があれば書くかもしれませんが、望月の奇行は「フリ」だと思っています
502:１３２人目の素数さん
18/11/13 01:50:07.92 uvSmcAPH.net
動画配信しなかった理由は何
今時こう言うの全部公開するぞ
503:１３２人目の素数さん
18/11/13 07:01:05.40 i8Uog/yJ.net
>>479
こいつxxか？
504:１３２人目の素数さん
18/11/13 07:49:51.72 2IRaZj4v.net
2012年にIUTが公開されてからのこれまでのIUT界隈の変遷を辿るのも一興なり
結局IUTについて一言で述べるなら早すぎたという言葉が最も適切なんだろう
全て完成させるにはリソースがなさすぎる
505:１３２人目の素数さん
18/11/13 08:35:12.15 3SsRak9E.net
PS.JSレポにも書いてあるとおり
IUT論文は中身空っぽ 自明 ですね。
日本の数学者は無批判でIUT論文を拝んで
読んでいたんだなあ～
個人的に PS.JSレポの主張とアインシュタイン
1905年論文「運動物体と電気力学」= 法則.
測定とは何か、の関連に興味がある。
506:１３２人目の素数さん
18/11/13 11:46:47.21 N27iKJDS.net
>>481
妥当な考察ですね
まさに天才の仕事ならではの現象
世に埋没してないわけだからまだ恵まれてますね
世が世なら何十年も放置されて気付かれなかったかも
現にこのスレにも放置したがってる蒙昧な輩に溢れてる
そういう奴らに限って俺こそ正常であり真っ当な判断力があると思ってる
非常に面白いなと
将来的にドラマが制作できそうなネタ満載です
それがリアルタイムで目の前に。幸運ですね。そうしたタイミングに遭遇できたのは
507:１３２人目の素数さん
18/11/13 12:19:15.79 0HGclOXe.net
>>478
京都のワークショップでは100時間近くかけて説明したけどダメだったからね。
508:１３２人目の素数さん
18/11/13 13:29:33.10 KL/hiwDR.net
あってる
509:１３２人目の素数さん
18/11/13 15:50:13.15 WLvkQeQW.net
IUT論文の検証者は 身内 取り巻きが中心で
査読にならないね、
森重文RIMS名誉教授に依頼された
「査読者」PS.JSに拒否された。
それだけだな、
510:１３２人目の素数さん
18/11/13 16:11:49.72 QPA9amyp.net
>>482 >日本の数学者は無批判でIUT論文を拝んで
>読んでいたんだなあ～
別に擁護者じゃないけど、こういう適当なこと言うアンチもどうなのかね
取り巻き以外で無批判で拝んでいた日本の数学者って具体的に誰よ
511:１３２人目の素数さん
18/11/13 17:07:01.97 +u3eq51a.net
長い物には巻かれろ
512:１３２人目の素数さん
18/11/13 20:33:58.51 SZR1G6YL.net
あれだけ紙数費やして一応微妙な取り巻きもいて、理解されない天才はちょっと無理があると思うなあ
抽象代数すら未発達だった時代に短いノートを遺して
513:本人が死んじゃったガロアとは全然事情が違う
514:１３２人目の素数さん
18/11/13 20:53:56.27 N7KAxXca.net
ガロアが「認められなかった」とかいうけど、コーシーも認めてたみたいだし、
「ナンセンスな理論」と言われたわけじゃないでしょ。
ポワッソンが「説明不足」という指摘をしたのに対し、ガロアはちゃんと詳しい文章を用意して、これでポワッソンは説得できると思っていたし。
望月一派の開き直りとはわけが違う。
ガロアが埋もれたのは、今よりも情報の伝達が遅く、
その理論を研究、宣伝すべき当の本人が死んでしまった点が大きい。
515:１３２人目の素数さん
18/11/13 21:18:43.05 lQBjdQ/O.net
>>486
雑誌の編集として中立を保つなら査読レポートに対して
本当に真っ当な返事を返さなければそれで終わり
>>489-490
ガロアの場合は死んだのが1832年でリウヴィルによる論文掲載が1846年
さてIUTは14年間で出版されるかどうか
もっちー還暦で論文掲載とか
ガロアの論文は眺めたことがあるがあれだけからガロアの理論を読み取った人は偉いよ
516:test1
18/11/13 21:20:56.09 pw/JhmX8.net
the reference frame
Scholze, Stix don't have the magic power to veto arbitrary proofs
517:test1
18/11/13 21:22:09.89 pw/JhmX8.net
the reference frame
Scholze, Stix don't have the magic power to veto arbitrary proofs
518:１３２人目の素数さん
18/11/13 21:40:51.96 ifJqKWr4.net
ガロアなど語っているチンパンジーはありあえずガロア理論くらい理解したまえ
啓蒙書は読めても数学の理解は無理か
すまんすまんｗ
519:１３２人目の素数さん
18/11/13 21:47:20.86 pw/JhmX8.net
Let me admit that my guess is that Močizuki is a far deeper mathematician than Scholze. So are the Europeans' criticisms valid?
520:１３２人目の素数さん
18/11/13 22:04:34.97 ohTInrqh.net
ウィ○ペディアからガロア群の問題を丸パクった自称数学者がまた他人を煽ってるのか
あと、普通プロは式に=0を付けんぞ
521:１３２人目の素数さん
18/11/13 22:13:54.43 JO40n8DZ.net
本人降臨？
522:１３２人目の素数さん
18/11/13 22:36:46.24 ohTInrqh.net
>>497
同じ煽りばかり繰り返してるから一種の発達だろうけど、さすがに本人はここまで酷くないでしょ
523:１３２人目の素数さん
18/11/13 23:03:00.77 UK94lA2R.net
チンパンの人は本人ではないと思うけど
本人も書き込みしてるかも？
524:１３２人目の素数さん
18/11/14 01:43:01.59 vjnDTvCJ.net
jinのしったかぶりもこの６年でかなりレベルアップした。
525:１３２人目の素数さん
18/11/14 08:41:30.82 6LU2Vx2k.net
IMU 国際 数学 連合
IUT 国際 ウソ たかり
526:１３２人目の素数さん
18/11/14 09:17:37.99 H1GYFlI5.net
宇宙際数学連合爆誕
527:１３２人目の素数さん
18/11/14 09:19:20.01 6LU2Vx2k.net
>>502
たかり屋
528:１３２人目の素数さん
18/11/14 10:05:22.14 7G9cy6sF.net
南出新氏による、IUTeichにおける明示的な不等式に関する講演のスライド
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(in%20progress).pdf
529:１３２人目の素数さん
18/11/14 10:25:39.74 ywEM7J7L.net
>>504
おお！すげー！
全然分からんけど。
530:１３２人目の素数さん
18/11/14 14:15:16.84 Cv7UOakp.net
|/|
|/|
|/|
/""`､
/ `､
_,,-''''''''"""""''''''-,,,,
／ ＼
〈 :/
＼__,,,,-''''"""""''''-,,,_:/
/oﾟ（＞） （＜）ﾟo ヽ 芸能人が吹き替えに
ｒ-i./ ｀⌒,(･･)⌒´ ヽ.l-､ 挑戦というのは許せない
| | | .|r┬-| | | ﾉ という気持ちが分かるので
｀| |ヽ `ー'Ｕ ﾉ|.|| 私の顔が思い浮かばないように
| | | |＼ ｀ｰ-‐'' ／| || ||-､ナチュラルな吹き替えを心がけた
r―~ここここここここ)''々i
! ﾒ ￣｀. ´ ￣｀ .ﾉ
.'- .ｨ 嘘つき 「 , '
. | :｡:: ﾒ :｡:: ! i
ノ # ﾒ ヽ、
, ' ヽζζζ , ' ヽ
（（ .{ _.ト、 Yl｜iY # ,イ .} ））
'､ >.ト. ' ｜. ' イノ .ﾉ
' .,,_ ___ ノ-^-`､ ___.... - '
,lﾞ:.:.'i ﾌﾞﾘｭﾌﾞﾘｭｯ
__. ,-'''"::;::;;:‘----,,,,、
,i´ :.:o｡。;ﾟ;ё;ﾟ;.:.:.ｏ｡ﾟ｡.:.`'． ｵｷﾞｬｰ
ﾞ''￢---―''''''ﾞﾞﾞ''―-┘
531:１３２人目の素数さん
18/11/14 16:19:29.12 nvTW8Jt+.net
ショルツとスティクスを呼んだ経緯について、さすがに政治的意図はないだろうと思ったけど、
事実上の外部審査だったんじゃないかと言われるとそんな気もしてくるんだよな。
対外的にはこれでトドメだったわけだし。
となると内部審査では手がつけられなくなっていたということになるが。
532:１３２人目の素数さん
18/11/14 16:43:56.25 IePKq+TS.net
てか内部審査って何って感じだよな。
論文誌の査読を関係者に依頼してどうすんねんて話。
どこまでを内部の人と言うのか知らんけど。
533:１３２人目の素数さん
18/11/14 17:10:10.31 eZ/c9KM9.net
>>508
近年は高度に専門的な話だと「部外者がいない」場合も本当にあるから難しいよな
逆に応用系だと論文投稿の時に「査読を頼みたくない人（＝ライバル）」を
指定できる雑誌もある
嫌な時代だ
534:１３２人目の素数さん
18/11/14 18:00:24.77 bs7WWKvO.net
逆に恵まれてる時代だろ。ネットで公開して読者を気軽に増やせるんだから
普通ならもうFrobenioidとかの段階でフォロワーがいて、アナウンスから二年三年で理解者が増えて
FrobとかAnabを使った論文が少なくとも今頃いくつかarxivには出てきてる段階。これが普通の時間感覚だろ
正しい論文の
535:１３２人目の素数さん
18/11/14 20:39:12.10 TI1Jdnrh.net
>>507
そりゃそうだよ。望月論文は外部審査をクリアできなかったってこと。
それ以上でもそれ以下でもない。
SSの疑念を解くことができなかった時点で論文は不合格で、擁護論が成り立つ余地はない。
内部検証はまるで検証になんかなっていない。
>>510
それも言える。ネットに論文を公開したという事は、世界中に査読を求めたってこと。
正しければ必ず理解者が現れ、しかもそれがどんどん増えていくはず。
536:１３２人目の素数さん
18/11/14 20:46:06.78 G0kJEgNU.net
最先端で難解かつ高度なテクニックを駆使した論文の場合、査読者は限られてくるよね
ワイルズの時だってカッツ、テイラー、リベット、イリュジー（？）らが査読者だったわけだし
同僚、教え子
537:、親友がいたって不思議ではない IUTTの件で問題なのは、おそらく査読者であろう検証チーム4人がワークショップを複数回行っているに、 世界中の多くの数学者に不信感しか持たれていなかったということ その流れの中でS・Sレポートが世に出て多くの数学者が完全にIUTTを見限った フレンケルのツイートは難癖だと思うけど、結果的に正当な批判になってしまった 悪しき前例を作ってしまったと思うよ
538:１３２人目の素数さん
18/11/14 20:49:40.71 TmhEQl4i.net
ZFCはZFの中でモデルが作れるので、
ZFにおいて選択公理を考える場合、
ZFの中に作ったZFCでは選択公理が成り立つので、
もともとのZFでも選択公理が使える、
みたいな変なことをIUTでやってる可能性ってない？
さすがにない？
539:１３２人目の素数さん
18/11/14 20:53:18.41 eZ/c9KM9.net
2020のプロジェクト研究がなければとっくにrejectで終わってるだろ
金がないと将来が苦しい取り巻き連中は力不足だった
仕方ないんじゃないの
540:１３２人目の素数さん
18/11/14 21:00:44.88 zj/LoJoA.net
問題とすべきはaccept/rejectではなく、正否の問題のはずだ。疑念がある以上徹底的に検証してほしい。
541:１３２人目の素数さん
18/11/14 21:06:34.80 nvTW8Jt+.net
たしかに数学は最終的には正否の問題だけど、
当事者が説明責任を果たさないときに周囲には検証する義務はない（つまり偽とみなしてよい）、
というのが限られたリソースの使い方だよね、と思う。
相手がトリッキーならこっちもトリッキーになっていいだろうっていうジョークはそういう意味なのでは。
542:１３２人目の素数さん
18/11/14 21:23:25.94 bs7WWKvO.net
普通の感覚なら「仕方あるめえ、飛行機は嫌いだけどショルツが理解しないならアメリカに行ってみるか」
「プロジェクトとかは少し待って下さい」
ってなる。そうならない以上バッドエンドでも仕方ない
543:１３２人目の素数さん
18/11/14 21:50:17.21 dvX24pAB.net
まだやってんのか
数学的証明の正当性なんて論理式の変形を省略せずに書けば機械でも検証できるだろ
544:１３２人目の素数さん
18/11/14 22:02:42.86 eZ/c9KM9.net
>>515
rejectの場合はそれで終わりではなく
修正して再投稿すれば良い
そうやって出版された論文もある
acceptの場合は雑誌が責任を持つことになるので
簡単にはできない
プロジェクトは延期でも構わない
修正されて正しいと判断されて雑誌に掲載されプロジェクト再開なら
めでたい話
545:１３２人目の素数さん
18/11/14 22:02:45.31 K0MF6lvp.net
仮にグダグダの状態で2020年まで行くとしても
それ以降はどうなるの
546:１３２人目の素数さん
18/11/14 22:34:55.54 q27PUa1r.net
希望的推測ってのは外れるためにあるからねえ
547:１３２人目の素数さん
18/11/14 23:19:26.62 zj/LoJoA.net
>>518
機械で証明の検証できるように書くのは、百倍くらいの労力いるから無理。
548:１３２人目の素数さん
18/11/14 23:23:30.52 G0kJEgNU.net
ABC予想の証明もIUTT主論文も取り下げて、IU形式主義を構築し新しい圏の幾何学を標榜し顕揚することから始めるしかない、
なんて俺は思うわけよ。それぐらいしか彼を救う道はないような気がする
このままでは日本のマスコミと華麗な学歴に幻惑された狂信者にしか支持されない（マスコミはあっさり切り捨てるだろうが）
現代数学を根本から刷新したかったのだろうから、宇宙際基礎論、宇宙際論理学、宇宙際認識論、宇宙際存在論、
みたいなことをやればいいんじゃないかな（もう俺もどーでもよくなってきているのだが）
549:１３２人目の素数さん
18/11/14 23:24:44.16 Wlr6MtWb.net
>>518
ヘイルズによるケプラー予想の証明では形式化してコンピュータでチェックする
まで12年もかかってる。めっちゃ大変な作業
550:なんだよ。誰もやらんだろうけど。
551:１３２人目の素数さん
18/11/14 23:32:28.00 bs7WWKvO.net
間違ってたら地獄だもんなw
552:１３２人目の素数さん
18/11/14 23:41:35.22 G0kJEgNU.net
数論界隈では日本人はないがしろにされているとか誰かがほざいていたけど、
今日、肥田晴三氏がデカイ賞を授与されることが決まったんだが。
URLﾘﾝｸ(www.ams.org)
スティール賞の独創的研究部門だね。日本人では生涯の業績部門で志村先生が受賞しているだけだった
日本人・東洋人差別があるとかほざいていた大学教授や研究者はどう言い訳するつもりなのかね？
志村先生も外国の研究者のことをいろいろ言っていたけど、あれは良くも悪しくも貪欲だったという意味だったと思う
553:１３２人目の素数さん
18/11/14 23:57:18.82 bs7WWKvO.net
それも何だかよくわかんね
少なくとも俺は差別されたと感じた事一回もない、数論には片足くらいしか関わってないけど
世界的なジャーナルにも日本人の編集者いるしねえ
554:１３２人目の素数さん
18/11/15 03:10:16.10 SjhWGnFn.net
日本人が海外で評価されるまでに時間がかかることが多いのは確かで
海外でも高い評価を受けるようになり始めると苦労しないから気がつかない
また外国の若手は日本人の論文を読まずに身近な先生の論文（そこには
日本人の論文はちゃんと引いてある）だけを引用したりもする
まあ日本でも逆に同じことやってんだろうけどなあ
俺の論文を使った外人の論文が引用されて俺の元論文は引用されてなくて
なのに使っているのは元の俺の定理だけって経験は何度かある
555:１３２人目の素数さん
18/11/15 04:32:03.94 tXZS9S1z.net
森重文「はい論破ｗ」
556:１３２人目の素数さん
18/11/15 07:33:08.90 ct0hOoEF.net
>>524
ケプラー予想は、途中の計算部分の検証が容易でないんだと思う。四色問題と同じ。
論理の部分は正しいと検証されてるよ
まあ、何度も言われてるけど、証明が正しければ必ず人を説得できる。
なぜなら正しい証明は最終的には三段論法の段階まで詳しく展開できるから。
SSが証明に疑問を持ち、望月がかれらに理解されるまで詳しい証明を与えられなかった時点で、
望月は正しい証明を得ていないとわかる。
557:１３２人目の素数さん
18/11/15 08:09:44.50 3f4MbABC.net
>>530
その議論は説明にかかる時間を考慮してないね
558:１３２人目の素数さん
18/11/15 09:03:13.17 cYNHCAEs.net
>>530
>>ケプラー予想は、途中の計算部分の検証が容易でないんだと思う。四色問題と同じ。
>>論理の部分は正しいと検証されてるよ
そう思うんだけど、ところが2012年の時点(終ったのが2014年)で
"text part"(普通の証明部分) が "is being done" って報告してるか
ら、その頃やっと終ったっぽいんだよね。他の部分と並行だけど10
年以上かかってる計算になる。
どちらにしろ定理証明支援器にかけられる様に翻訳するのは大変で、
公理系からやってかなくちゃならないから、とてもじゃないって事で。
559:１３２人目の素数さん
18/11/15 11:41:24.98 w92HI9Jx.net
>>530
＞証明が正しければ必ず人を説得できる。
木村俊一「天才数学者はこう解いた、こう生きた」P.262より引用。
「「論理的に説明すれば、必ず人を説得することができる」
数学者はいいかげん、この迷妄から足を洗ってはどうか…（中略）
論理は人の反論を封じ込める術としては優れたものであるが、
人を納得させる力は乏しい」
論理なんて、理解できなきゃ説得できんし、
理解できてもライバルだったら、容易に認めようとはしないだろ。
560:１３２人目の素数さん
18/11/15 12:57:25.31 VirHi9lZ.net
というかIUTの場合は論理的かどうか以前に説明を果たしていないのだから、
そういうレベルの話にすらなってないわけで。
561:１３２人目の素数さん
18/11/15 15:07:02.67 XdkkSflU.net
>>526
なんでその論旨でアメで活躍してる人ばっかりあげるのか。不適切な例ばかりあげるタイプか
562:１３２人目の素数さん
18/11/15 15:55:01.36 D0/wfEMB.net
. ／ ￣｀Y ￣ ヽ
. / / ヽ
. ,i / // / i i l ヽ
. | // / l | | | | ﾄ､ | また紅白落選？
,＿_ | || i／ ノ ヽ､ | | ／
_＿｀ （Ｓ|| | oﾟ（＞） （＜）ﾟo /￣／ 辞退だおおおおお(´；ω；`)
, ＼(⌒ | || | .ﾉ ）| .⌒) rへ,ノ
＿＿＞‐へヽ. | || |ヽ､＿. ～'_／|ﾉ / :.＼＿
.:／＼ ／rーﾍ＿
＿::ノ ::ﾉ:｀:⌒Y⌒´:::. ＼
.:::┘: ::│ ::. ﾟ
. ／ ￣｀Y ￣ ヽ
. / / ヽ
. ,i / // / i i l ヽ
. | // / l | | | | ﾄ､ | ,＿
￣＼_／＼| || i／ ノ ヽ､ | |/￣ ゴゴゴゴゴゴ・・・
＿＿＿／ ｀￣へ√⌒l⌒´￣￣´＼＿
´ / ＼
_＿＿＿/￣￣
／ │￣＼＿＿ ゴゴゴ・・・
/
563:１３２人目の素数さん
18/11/15 17:14:03.68 w92HI9Jx.net
>>535 人種的に日本人かどうかというより、アメリカにコネがあるかどうかが重要なんだよね。
564:１３２人目の素数さん
18/11/15 17:33:17.50 MtpPt7Xq.net
日本人が認められにくいとか読まれにくいのはたまにあるだろうけど、それは差別というよりは
文化圏が離れてるだけだと思ってたけどな。学派で見ても同じだもん
日本人同士でも対象は近いのにアプローチが少し違うからってお互いあまり言及しないとか普通にある
それに、そういうギャップがあると却って得をする場合もある
良い研究なのに世界にはあまり知られていない、みたいな
565:１３２人目の素数さん
18/11/15 17:40:57.31 yisv0c6P.net
>>522 >>524
証明の全体を機械で検証する必要はないんだよ
「なんでこれが成り立つんですか？」って言われたらその部分だけ論理式を書いて説明すればいい
それでも理解できないやつは人間じゃない
566:１３２人目の素数さん
18/11/15 17:53:32.35 MtpPt7Xq.net
むしろこの件については「IUTが認められない理由は？」と、ディオファントス界隈の人間に
アンケート取った方が問題がはっきりする。京都の連中は調査したほうがいい
英語のネイティブが正しいアイデアのプレゼンに失敗するというのは普通はありえないことだ
567:１３２人目の素数さん
18/11/15 18:35:44.44 cYNHCAEs.net
>>539
う〜ん、でも Corollary 3.12 のステートメントを述べるだけでも大概の概念を
定義しなけりゃいけないだろうし、どこまで端折るかって話になるとほら、
仮定して置いて「自明です。」と言うのも論理(式)としては正しい訳だから。
ギャップを説明の外側に置けちゃうんだよね。それにill-definedじゃないか
とかなってくるともうどんどん遡らざるを得ない。
568:１３２人目の素数さん
18/11/15 19:05:12.70 TaEwyANZ.net
>>541
横からゴメンだけど、それを遡ってやったのがS・Sレポートなんだよね
話は変わるけど、先日親切な人（次からはゼータ界隈の人と呼んでいい？）が「IUTとホッジ理論の動機付けにまつわる関連性」（>>430）
について書いていたけど、これなんかはIUTT初期構想の、
・数論的log schemeの圏論的表示から見た楕円曲線
569:の数論 （北海道大学 2003年11月） ttp://www.kurims.kyoto-u.ac.jp/~motizuki/Suuronteki%20log%20scheme%20no%20kenrontekihyouji%20kara%20mita%20daen%20kyokusen%20no%20suuron%20(Hokudai%202003-11).pdf を読めばいい。望月の熱い思い、IUTTに賭ける情熱が伝わってくる。こんなことを書くのも、 親切な人や俺なども立場や考え方こそ違え、望月を救いたいという気持ちは少しぐらいはあるわけだ（笑） 望月を援護するつもりで背後から撃ってる奴らを見てるとイライラしてくる（NG入れるのがめんどくさいよ）
570:542
18/11/15 19:12:19.52 TaEwyANZ.net
ああ、リンクできなかったね
・数論的log schemeの圏論的表示から見た楕円曲線の数論 （北海道大学 2003年11月）
は、「望月新一の出張・講演」の[10]だよ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
ちなみに俺は望月とメール交換しようとは思わない。今の彼の態度を見てるととてもそんな気すら起こらない
イエスマンに取り囲まれて○気を失っているとしか思えない
571:１３２人目の素数さん
18/11/15 20:00:28.70 cYNHCAEs.net
>>542
いやまあ、元々は機械で検証するのが現実的かっていう話なので、そういうのは
結局全部入力しなきゃならないハメになるよって事です。
572:１３２人目の素数さん
18/11/16 04:52:57.77 cMeMKe8y.net
というか、論理関係を入力する時点でその本質を明らかにしなければならないんだから循環論
その意味が明確になればそれで十分検証できるわけだから
しばしば証明は難しいにしても、組合せを尽くすだけの単純な離散数学とは違うんだよ
それよりも一般に何処が読めないのか調べたほうが早い
573:１３２人目の素数さん
18/11/16 10:08:30.60 3fj2avs/.net
論理矛盾ではないよ。
その論理が単に数学的な文章としては成立しているのと論理的に整合しているのかを調べるのでは意味が違う。
でなければ何年もかけて過去の数学論文をcoqで検証してむるプロジェクトやってる意味ないでしょ？
574:１３２人目の素数さん
18/11/16 12:39:23.54 jORjrxEl.net
さっさとやってハッキリさせればいいじゃん
逃げてるようにしか感じられん
575:１３２人目の素数さん
18/11/16 16:24:07.38 R9Dow91b.net
何か進展ないの？
576:１３２人目の素数さん
18/11/16 18:35:54.22 TFe1cOp+.net
>>546
単純に難しい。フィールズ賞と殆ど変わらないくらいの学術的ブレークスルーが必要
577:１３２人目の素数さん
18/11/16 19:16:39.69 zh6xt31o.net
コンピューターで検証することについてショルツはこう言ってる
実際自明だって言い張ってるんだから機械的な検証に落とし込む以前の問題なんだろう
>One final point: I get very annoyed by all references to computer-verification (that came up not on this blog, but elsewhere on the internet in discussions of Mochizuki’s work).
>The computer will not be able to make sense of this step either. The comparison to the Kepler conjecture, say, is entirely misguided: In that case, the general strategy was clear,
>but it was unclear whether every single case had been taken care of. Here, there is no case at all, just the claim “And now the result follows”.
URLﾘﾝｸ(galoisrepresentations.wordpress.com)
578:conjecture-has-still-not-been-proved/ SSが極端な単純化をして否定するような説明をしたのは、論理が明示されてないからそうでもしないと話が進まないのもあるけど 書かれていない理論的背景があるなら否定を覆す説明中に出てくることを期待していたという面もあると思う 結果今の状況ってことは何も出てこなかったってことなんじゃない？
579:１３２人目の素数さん
18/11/16 19:34:48.21 TFe1cOp+.net
自明だから無駄というか、どうやったらいいのか全然判明でないと言ってるね
実際一定以上の性質を持つ正しい数学ですらそういう困難があるのに、訳のわからない理論は論外って話だ
580:１３２人目の素数さん
18/11/16 20:14:12.59 WDGOkGAX.net
望月理論が進展がないのは今に始まったことではない。
2012年から一貫して進展がない。
これは正しい数学の理論としては到底ありえないことだ。
ショルツは証明の機械化以前の問題だというが、望月や取り巻きも、
自分らが何をやっているかわかっていないので理論を進展させることができないのだろう。
581:１３２人目の素数さん
18/11/16 20:44:37.75 pAUuS5BN.net
望月先生含め、実力がある数学者が集まってそれってあり得るの？
俺はど素人だからでかい口は叩けないが、ここに書かれてることは憶測が多いとは感じる
582:１３２人目の素数さん
18/11/16 21:23:09.78 9yytF1zH.net
権威主義なら新聞でも眺めてればいい
583:１３２人目の素数さん
18/11/16 21:27:24.38 iYBPZXQM.net
権威主義とか勘違いが酷いやつだなw
553の言う通りだろ
臆測ばかりにみえてるよ
584:１３２人目の素数さん
18/11/16 21:35:37.19 zh6xt31o.net
望月教授とその周辺の人が勘違いしている可能性と
IUTは読めばすんなり分かる内容だけど周りの多数の数学者が全く理解出来てない可能性
天秤にかけたらどう考えてもIUTが説明不足な可能性の方が高いんじゃない？
権威主義がどうとかいう問題なのか？
585:１３２人目の素数さん
18/11/16 21:39:39.17 pAUuS5BN.net
>>554
権威主義に陥ることは良くないし
数学の素人が判断出来る要素は限りなく少ないということも自覚してるよ
ただここに書かれてることもどうも憶測に憶測を重ねてることが多いと感じてね
まあ掲示板だから良いんだけどさ
権威主義に陥ることは良くないけど
それなりに数学に関して判断出来る人がずっと誤りに気付かないってあるのかなって
でもこれもまさに憶測だよね
586:１３２人目の素数さん
18/11/16 21:40:18.61 NRkY2h0K.net
>>555 カバなの？
587:１３２人目の素数さん
18/11/16 21:43:06.84 pAUuS5BN.net
>>556
その理屈は分かるし
まだまだ説明出来る余地があるならした方が良いとは思うな
588:１３２人目の素数さん
18/11/16 21:43:50.54 9yytF1zH.net
モンティホール問題
589:１３２人目の素数さん
18/11/16 21:44:41.45 WDGOkGAX.net
>>555
現実に証明がないのは確か。
これは憶測でも何でもない。
もめているのは日本（というか、日本の外野）だけ。
身びいきの感情がない諸外国ではとっくに「望月、証明に失敗」で決着している。
590:１３２人目の素数さん
18/11/16 22:02:09.10 2HWK5lFT.net
結局、独逸のショートストップはIUTをアウトにできたの？
IUTの監督は激しく抗議しているけど、肝心の審判が
いない。
いるのは遠くから眺めている観客だけ。
観客の声援の大きさで決まるルールだったっけｗ
591:１３２人目の素数さん
18/11/16 22:05:02.64 zh6xt31o.net
少なくとも望月教授が書いたSSペーパーに対する反論レポートの中には
SSが指摘した問題点が起こらない理由についての直接的な説明はないのよね
592:１３２人目の素数さん
18/11/16 22:06:46.88 ZaV4jHcs.net
憶測に憶測に重ねてるってのは事実で、
IUTは世界にまったく受け入れられていないというところで話は実際に終わってるからね。
そのあとのなにかじつは意味があるんじゃないかみたいな与太
593:話も。 RIMS内部でどういう政治力学が働いてるのかもただの憶測に過ぎない。
594:１３２人目の素数さん
18/11/16 22:37:15.02 DJx5KPAy.net
>>553
わざわざ言うまでもないとは思うけど
ここのやりとりを間に受けちゃダメだよ
595:１３２人目の素数さん
18/11/16 22:42:33.48 zh6xt31o.net
>>564
なおGCOEでメディアで高評価だという説明をしたのも、査読完了前に新センター作ったのも
飛ばし記事を朝日新聞が書いてPRIMSに未だに掲載されないのも事実な模様
596:１３２人目の素数さん
18/11/16 23:56:01.21 x6iydg19.net
>>542
それ、読んだこと無かったな。後にもうちょい言い方が違ってた気がするし、あと本人の解説に関わらず
ホッジ理論とIUTを両方ある程度意味把握してれば類似が言えるというのもある
個別の極限対象をmultiplicative subspaceなんて呼んでたんだ
597:１３２人目の素数さん
18/11/16 23:59:41.00 RsN2T9/+.net
物理屋さんがわざわざ調べて報告したものに関しては、憶測ではなく資料に基づく事実
何でも憶測にしたがるのは後ろめたいことでもあるからなのか？ｗ
はっきり言ってIUTT関係者やRIMSのやっていることは胡散臭い
これはIUTTの正否に関わらず言えることだ
598:１３２人目の素数さん
18/11/17 00:03:26.85 KIDCw85v.net
前にも書いているけど
・IUTの正否は、かなりハイコンテクストで簡単に断言できる話ではない
しかし、社会学的な意味で遠目に見ていた数学者がショルツらの評価を真に受けて終わる可能性が高い
・IUTが正しい理論だとしても、理論を理解するのは恐らく平均的なスキームの保型表現論や
p進ホッジ理論よりも難易度が高い
この二つの要素が絡んでいて、現段階でコミュニティにおける位置付けを断言できる人間は
どんな立場の数学者にもいないと思われる
だからこそ面白いという事もできるんだけど（勿論飽きてきた側面もあるにせよ）
599:１３２人目の素数さん
18/11/17 00:20:29.68 2/gEGGgK.net
>>565
どうもです
少し離れた距離から見てます
>>568
何でもかんでも憶測とは思ってません
胡散臭いというのも分かるけど
やっぱり第三者から見て憶測が多いと感じるのは確か
でもそう考えるのはよく分かります
同じことばっかり言ってもあれだからこのくらいにします
600:１３２人目の素数さん
18/11/17 00:27:27.57 uLcqN9OR.net
なんで569みたいにひいき目で物事を考えられるんだろう
601:１３２人目の素数さん
18/11/17 00:28:11.52 KIDCw85v.net
>>570
数学は高尚なものだから馬鹿は口を出すな、と言いつつ自分も何も言わないセコい人がこのスレにもいる
数学者は基本的に慎重とは言え、馬鹿だと思われるのを恐れて黙っていても仕方ない
今は、臆病な数学者達と望月さん達の媒体になれる人材が必要な段階でしょうな
あなたは擁護したいのかもしれないが、実際に状況はかなり曖昧なまま、多くの数学者にも
よくわからん感じで来てしまっているのです
602:１３２人目の素数さん
18/11/17 00:32:30.50 KIDCw85v.net
>>571
全然ひいきじゃないよ
IUTが間違いだとしても、ショルツの件だけでは葬るに足らないと思うだけ
もう少し公に議論する必要がある
603:１３２人目の素数さん
18/11/17 00:41:04.28 2/gEGGgK.net
>>572
そう見える要素があったかもしれないけど擁護したい訳でもないです
ただ気になるからこのスレを覗いてるけど確定的なことは出てきてないなと
>>569さんの分析が正しそうな気はしてます
あなたの言う通りで結局はよく分からないってことですよね