21/02/28 17:17:32.55 WcNkl4SB.net
ﾌﾟﾌﾟ…
404:１３２人目の素数さん
21/02/28 18:30:10.52 xU85chhw.net
>>371
和の精神とは
自己欺瞞のこと
精神的自殺のこと
土人の思想
405:１３２人目の素数さん
21/02/28 18:32:55.92 ba03IeOv.net
♪わ、わ、わ～、わがみっつ
406:１３２人目の素数さん
21/02/28 19:41:15.67 c9K39yvS.net
age
407:１３２人目の素数さん
21/02/28 19:48:30.06 xU85chhw.net
和の精神とは
自己欺瞞のこと
精神的自殺のこと
土人の思想
408:１３２人目の素数さん
21/02/28 19:53:08.93 xU85chhw.net
数学の権威は
先人たちが血の滲むような努力の果てに
築き上げてきたものだぞ
望月一人の我儘でそれを破壊する権利がどこにあるか
ふざけるな
409:１３２人目の素数さん
21/02/28 19:54:20.48 c9K39yvS.net
>>344
1．そもそも、まともな数学者なら（意図して間違った）「論文ねつ造」とか、あるわけない
2．望月先生は、学会賞の受賞歴もあり、IUTの準備論文だけでも、その成果を誇るのに、十分な量と質があるよ
3．黙っていても、RIMSの定年までは安泰だわ
4．そもそも、なんでRIMS自身や、京大が、なぜ片棒を担ぐ？ なぜを見抜けないわけ？
5．それに、RIMS自身や京大のみならず、京大や阪大や名古屋大もあるけど、なんで見抜けないわけ？
（ここらの教員は、東大京大出身者が圧倒的多数。他の日本の大学も同様ですよ）
410:１３２人目の素数さん
21/02/28 20:00:51.00 xU85chhw.net
つかな
証明出来てないなら諦めろよ猿
別に証明に失敗したら処刑されるわけじゃ無いだろ
あー残念だったねってだけのことだろ
証明の穴があるなら穴を塞ぐか、出来ないなら諦める
最初からそういう全世界共通のルールだろ
カス野郎かよｗ
411:１３２人目の素数さん
21/02/28 20:00:54.27 c9K39yvS.net
>>378
(引用開始)
1．そもそも、まともな数学者なら（意図して間違った）「論文ねつ造」とか、あるわけない
2．望月先生は、学会賞の受賞歴もあり、IUTの準備論文だけでも、その成果を誇るのに、十分な量と質があるよ
3．黙っていても、RIMSの定年までは安泰だわ
(引用終り)
動機がないってことね
望月先生には、「論文ねつ造」する動機なし！
「論文ねつ造」で、得られる利益なし！
逆に、「論文ねつ造」など、失うもの大杉～！
412:１３２人目の素数さん
21/02/28 20:04:51.86 c9K39yvS.net
>>379
>つかな
>証明出来てないなら諦めろよ猿
意味分からん
IUTの4編の論文の査読は終わって、アクセプトされ、今年の春（もうすぐ）出版されるという
それ以上に何かすることがあるのか？
IUTの検証に国際会議が4つ計画されている
それ以上に何かすることがあるのか？
そもそも、IUTの成否を決めるのは5ｃｈではないよね
勘違いも、ほどほどに
413:１３２人目の素数さん
21/02/28 20:27:16.86 ba03IeOv.net
>>378
京大RIMSは望月の「借りアクセプト」で迷惑をこうむってるね
玉川の「査読過程は墓場までもっていく」というコメントから明らか
414:１３２人目の素数さん
21/02/28 20:28:36.92 ba03IeOv.net
>>380
望月新一は焦ってるね
今回の「借りアクセプト」で全ての信用を失ったよ
415:１３２人目の素数さん
21/02/28 20:30:20.34 ba03IeOv.net
>>381
IUTの検証はしてないね
望月の不等式の証明への挑戦をしてるだけ
望月の不等式＝IUTではないよ
IUTは望月の不等式の証明に失敗した失敗理論
416:１３２人目の素数さん
21/02/28 20:31:05.34 ba03IeOv.net
線型代数も分からん阿多岡には代数幾何は到底無理 諦めろ
417:１３２人目の素数さん
21/02/28 20:31:28.98 ba03IeOv.net
阿多岡への宿題１．線型空間の定義は？
418:１３２人目の素数さん
21/02/28 20:31:48.42 ba03IeOv.net
阿多岡への宿題２．線型写像の定義は？
419:１３２人目の素数さん
21/02/28 20:32:07.48 ba03IeOv.net
阿多岡への宿題３．線型独立の定義は？
420:１３２人目の素数さん
21/02/28 20:32:38.48 ba03IeOv.net
阿多岡への宿題４．線型写像が同型写像となる必要十分条件は？
421:１３２人目の素数さん
21/02/28 20:33:14.77 ba03IeOv.net
以上 これ出来るまでコピペ禁止、他の書き込み禁止な 阿呆の阿多岡ｗｗｗ
422:１３２人目の素数さん
21/02/28 21:23:04.03 xU85chhw.net
つかな
証明出来てないなら諦めろよ猿
別に証明に失敗したら処刑されるわけじゃ無いだろ
あー残念だったねってだけのことだろ
証明の穴があるなら穴を塞ぐか、出来ないなら諦める
最初からそういう全世界共通のルールだろ
なんで望月だけ例外なんだよカス野郎
423:１３２人目の素数さん
21/02/28 21:58:32.21 c9K39yvS.net
>>313
>ドイツ oberwolfach
(参考)
URLﾘﾝｸ(www.mext.go.jp)
トップ > 科学技術・学術 > 研究環境・基盤整備、研究拠点形成 > 数学・数理科学と諸科学・産業との連携による数学イノベーションの推進
文部科学省 委託調査
平成27年度「数学・数理科学を活用した異分野融合研究の動向調査」（目次、第1～3章） （PDF:4439KB） PDF
平成27年度「数学・数理科学を活用した異分野融合研究の動向調査」（第4～5章） （PDF:3914KB） PDF
平成27年度「数学・数理科学を活用した異分野融合研究の動向調査」（第6章） （PDF:3303KB） PDF
平成27年度「数学・数理科学を活用した異分野融合研究の動向調査」（第7章、参考） （PDF:2819KB） PDF
URLﾘﾝｸ(www.mext.go.jp)
平成27年度「数学・数理科学を活用した異分野融合研究の動向調査」（第6章）
P192
2.3. オーバーボルファッハ数学研究所（Mathematisches Forschungsinstitut
Oberwolfach:MFO）・ドイツ （タイプ : 短期滞在型研究所）
回答者 :Gerhard Huisken 所長
回答日 :2015.12.1
P195
3） 数学者は研究所や大きな施設がなくても研究できるという人もいる。数学の訪問滞
在型研究所の長所、短所は ?
訪問滞在型数学研究所は次の点で重要である。数学の成果は高度に圧縮されて発表
される。重要な概念やアイディアをより効果的に伝えることは訪問型研究所の役割で
ある、そこで人々は非公式に1対1で向き合うことができる。孤立した研究所は、深
く抽象的な問題に完全に集中する機会を与えてくれる。
424:１３２人目の素数さん
21/02/28 22:00:38.26 c9K39yvS.net
>>391
ド素人が
なにをガタガタ言っているの？
みっともないよ
425:１３２人目の素数さん
21/02/28 22:02:23.06 afYZA9r+.net
足掛け１０年にわたる「Inter-universal geometry と ABC予想」ｽﾚも荒れて終了か。
感慨無量だな。
426:１３２人目の素数さん
21/02/28 23:08:42.05 c9K39yvS.net
>>394
IUTはハッピーエンド
世界に認められ
日本の誇りです
荒れる？
この程度は
春のそよ風ですよ
427:１３２人目の素数さん
21/02/28 23:29:05.82 EqgzNmIJ.net
>>325
（複素）タイヒミュラー理論の「タ」の字をしってから返信してくれるかな。
428:１３２人目の素数さん
21/02/28 23:35:18.59 EqgzNmIJ.net
「数理解析研究所が認めるなら俺も認める。」
ならわかるが、意味もわからんのに「これは重要だ」は、IUT のアンチ行為と大半は取るよ、「また馬鹿がなんか言っとる、また信者か」と。
俺はそれで構わんが、
矛盾してるよね。
あっ…
ここ頭おかしいスレだった…
429:１３２人目の素数さん
21/03/01 07:09:13.83 bnXR1ess.net
>>397
1．頭おかしいのはあなたです
2．ここは、ただの5ｃｈ。数学板は素人向け。書き手の多くは素人（プロ数学者ではないという意味）
3．それを前提すれば、あんたの主張は、全く的外れw
4．現段階では、IUTを真に理解できている人は、プロ数学者でも遠アーベルの専門家の一部にすぎないだろう
5．大部分の専門外のプロ数学者は、これからでしょうね
6．ここでIUTの議論は、所詮外野の観客席から、ヤジ�
430:ﾎす程度の話だよ 頭おかしいのはあなたです 自分、賢いつもり？ｗｗ
431:Schlecht
21/03/01 07:09:33.99 Rz6p2V3E.net
>>395
>IUTはハッピーエンド
>日本の誇りです
「ニッポンの埃」の誤りかと
432:Schlecht
21/03/01 07:13:48.29 Rz6p2V3E.net
>>398
>ここは、ただの5ｃｈ。素人向け。書き手の多くは素人。
>議論は、所詮外野の観客席から、ヤジ飛ばす程度
トンデモが ネタでホラふく ５ちゃんねる
５ちゃんねるでも試合の進行妨げる客は退場ってことで
433:１３２人目の素数さん
21/03/01 07:51:44.56 v7ayOauM.net
>>398
ん？だからタイヒミュラーのタの字理解してから返信してくださいと言いましたよね。
頭おかしいのはあなたですけど。
私は、数理解析研究所落ちぶれたと思ってますし、日本の大学の世界ランク知ってます？
世界の数学者と話したことあります？
英語できませんもんね。
434:１３２人目の素数さん
21/03/01 07:52:32.35 v7ayOauM.net
しまった、クソスレだった。
435:１３２人目の素数さん
21/03/01 07:56:44.91 v7ayOauM.net
ショルツなどのまともな人間に、説明できない、事の方がむしろ異常だと思うんですが。
なんで、そもそもIUTは、宇宙の果て勝手に定めちゃってるんですか？
なんか安定ホモトピー理論とか背景にあるんですか？ないですよね。公理として不十分な選択公理使って遊んでるだけですよね？
436:１３２人目の素数さん
21/03/01 07:58:39.90 v7ayOauM.net
モデルの専門家でもない素人が勝手にモデル作っちゃって、それ説明するの選択公理って理論として破綻してませんかね？
って世界の数学者言ってるの聞いてないの誰なんでしょうか？
437:１３２人目の素数さん
21/03/01 08:01:05.61 v7ayOauM.net
別に望月さんは、自分の理論を作り上げて素晴らしいと思うんですけど、タイヒミュラーのタの字を知らないアタナが信仰している宗教を他人に押し付けるのは人としてどうなんでしょうか？
間違ってますよね？
438:１３２人目の素数さん
21/03/01 08:03:03.40 v7ayOauM.net
私は、望月さんは、自分の考えを世に示しました。それは素晴らしいです。しかし私はこうこう言う理由で、ちょっと受け付けることができません。
あなたの場合、完全に信者ですよね？
439:１３２人目の素数さん
21/03/01 11:37:17.95 I36Fpb6O.net
>>399-406
やれやれ
たかが５ｃｈの数学板で、学会ごっこですか？
で、「おれ、アカポスならぬアカボスだぁ～！」とでも？ｗｗ
１．ショルツェ氏が議論して、SS文書を出したのは2018年
で、査読は2020年。査読者は、SS文書もそれへの反論も、全部読んでの上で、「査読OK」としている。複数のプロ数学者の査読でね
２．2020年から始まったPromenade in IUTに集うプロ数学者多数
彼らは、当然SS文書もそれへの反論も両方見て、Promenade in IUTに参加しているよね
３．ショルツェ氏は、woitブログでは、自分の主張はSS文書の通りだという
そもそも、「Cor3.12までは自明で、Cor3.12の証明が分からない」という話だったのが、Dupuy氏とのwoitブログでは、「ホッジシアターが、超難しい」と前言を翻す
Dupuy氏の意見に対して「それは解釈の問題」だとか、はぐらかし、あとはメールと逃げた
（多分、これもPromenade in IUTに集うプロ数学者たちは見ているでしょう）
４．「数理解析研究所落ちぶれた」？ あんた、アカボスのつもり？ それとも、文科省のお役人？
IUTと直接は関係ないよね。個人的には「数理解析研究所落ちぶれた」とは思わないし、関係ない話で誤魔化そうとしているとしか
５．「ショルツなどのまともな人間に、説明できない」と言われるが
人間だれでも勘違いあるよ（「人間だもの」by 相田みつを）
３項に書いた通りです。「ホッジシアターが、超難しい」とか、いまさら何を
６．逆に、Promenade in IUTに集うプロ数学者多数
彼らが、全員間違っているとでも？
そんなわけないよねｗ
440:１３２人目の素数さん
21/03/01 11:40:52.35 v7ayOauM.net
>>407 えっあなた、そこに集う方がどうこうって私何か言いました？
442:１３２人目の素数さん
21/03/01 11:44:06.14 v7ayOauM.net
あなた明らかに日本語喋れてませんよね？
数学者って、そこに集う人だけなんですね。
あなたの数学者の定義よくわかりました。
笑
そもそも公開的に質問するための場であって、出席==賛成とも反対ともならないですよね。
あなたすべての数学やってる人のこと勝手に決めつけて失礼なの自覚してます？
してないですよね？
443:１３２人目の素数さん
21/03/01 12:08:12.52 CfVuBQyt.net
5回以上書き込みしてるやつをNGにするとすっきり
444:１３２人目の素数さん
21/03/01 12:09:39.74 v7ayOauM.net
>>410
どうも自演おつです。
アニオタ研究員さんですね。
NG登録しました。
445:Schlecht
21/03/01 13:01:22.20 Rz6p2V3E.net
>>403
>安定ホモトピー理論
横レスだが
Q. 球面の安定ホモトピー群の計算方法を教えてほしい
特にベルヌーイ数の分母がどうして出てくるのか教えてほしい
不思議だと思わないか？
446:Schlecht
21/03/01 13:08:26.51 Rz6p2V3E.net
>>407
>５ｃｈの数学板で、学会ごっこですか？
数学がオリンピック競技だと思ってる人もいるようだ
ICMのフィールズメダル授与式では、国旗掲揚も国歌演奏もないのだが
447:１３２人目の素数さん
21/03/01 14:55:45.66 v7ayOauM.net
>>412
ちょっと待ってくれ。
HoTT 8章では、安定ホモトピーがつくれることまでは書いてあるが、ベルヌーイ数について記述はないぞ。
俺はタダ乗りしてるから、むしろ教えろ（下さい）。
448:１３２人目の素数さん
21/03/01 14:57:48.16 v7ayOauM.net
ベルヌーイ数って、スピンの行列計算（ルジャンドル多項式かなんかで出てこんかったっけ？）こんなとこでも出てくるかこら？下さい
449:Schlecht
21/03/01 15:05:39.05 Rz6p2V3E.net
>>414
HoTTという本は読んだことはないが、
球面の安定ホモトピー群の計算は出てこないのかね？
もしそうだとすると、いったい何が面白いのかね？
URLﾘﾝｸ(en.wikipedia.org)
トポロジーの最大の成果といえば、
球面の安定ホモトピー群と異種球面
が双璧だと思ってるが、
前者はベルヌーイ数の分母、後者はベルヌーイ数の分子
が出てくる その深い理由が知りたい
なんか知らんけど出てきた、とかいうのではつまらない
450:１３２人目の素数さん
21/03/01 15:05:51.67 v7ayOauM.net
ん、30とか60はあるが、
しかし、24 ってベルヌーイ数の分母なん？
451:１３２人目の素数さん
21/03/01 15:08:07.10 v7ayOauM.net
>>416
何が面白いかって、
私は、それはそれほど複雑なものである理論をカラクリに落とし込んだ天才の simplification だと思う。
452:１３２人目の素数さん
21/03/01 15:12:09.01 v7ayOauM.net
ホモトピーの本質を抜き出さなければ、ここまで出来んと思うが、
私はまだ本質を説明するまで理解していない。
しかし言えることがあるなら、複素幾何という装置を使わなくとも、
依存型の関数型で、同じ本質の議論が出来、複素幾何の本質のみを抜き出し安定ホモトピーの議論をそのままできる。
453:１３２人目の素数さん
21/03/01 15:13:59.95 v7ayOauM.net
>>416
まだ試していないが、
その装置をHoTT は提供している。
安定ホモトピーはもちろん計算できる。
454:１３２人目の素数さん
21/03/01 15:15:03.16 v7ayOauM.net
いや、ベルヌーイ数の記述どこよ。
455:１３２人目の素数さん
21/03/01 15:19:55.73 v7ayOauM.net
URLﾘﾝｸ(ncatlab.org)
ほんとや（下さい）
456:Schlecht
21/03/01 15:23:38.49 Rz6p2V3E.net
>>421
>ベルヌーイ数の記述どこよ。
The J-homomorphism のとこ
”a cyclic group of order equal to the denominator of B2m/4m,
where B2m is a Bernoulli number, if k = 4m - 1 ≡ 3 (mod 4).”
J-homomorphism
URLﾘﾝｸ(en.wikipedia.org)
457:１３２人目の素数さん
21/03/01 15:24:28.92 v7ayOauM.net
>>415 あそっか。 スピンは四元数やから、関わっとってもなんら不思議はない。
459:１３２人目の素数さん
21/03/01 15:24:57.73 v7ayOauM.net
>>423
どうも（すみません、見つけました）
460:Schlecht
21/03/01 15:27:09.14 Rz6p2V3E.net
一元体についても気になる記述がある
URLﾘﾝｸ(ja.wikipedia.org)
「一元体F1 の m-次の K-群 K(F1) は
球スペクトルの m-次安定ホモトピー群でなければならない。」
461:１３２人目の素数さん
21/03/01 15:29:50.51 v7ayOauM.net
適当なことをいけど、
一元体の話はなんかわかるかもしれん。
Cisinski がたしか言うように、
ホモトピーは、一元体上の導来圏。
462:１３２人目の素数さん
21/03/01 15:32:26.73 v7ayOauM.net
導来圏は、局所化して関数空間をみるなど、コホモロジーなどではするやろうが、
無限圏はただのホモロジーやから、一元体上の導来圏として、局所化されている。
463:Schlecht
21/03/01 15:34:42.06 Rz6p2V3E.net
言葉の羅列は要らない
具体的に計算を示してくれ
464:１３２人目の素数さん
21/03/01 15:35:55.97 v7ayOauM.net
は？ただ同値関係定義して割るだけ。
465:Schlecht
21/03/01 15:37:49.26 Rz6p2V3E.net
は、じゃなく具体的に計算をここでやってみせてくれ
そうしないと理解できないから
466:Schlecht
21/03/01 15:39:37.00 Rz6p2V3E.net
球面の安定ホモトピー群の計算には
スペクトル系列を使うんだろう？
HoTTでも当然出てくるんだよな？
さあここでやってみせてくれ
467:１３２人目の素数さん
21/03/01 15:40:49.50 v7ayOauM.net
コホモロジーで消耗しすぎじゃないのおっさん（お疲れ様です）
悪いが、Cisinki の1.5 か1.6 を参照してくれ。
導来圏は、Cisinski 2.3。
URLﾘﾝｸ(www.mathematik.uni-regensburg.de)
468:１３２人目の素数さん
21/03/01 15:47:35.81 v7ayOauM.net
>>432
いやスペクトル系列は使わんでしょ。
469:Schlecht
21/03/01 15:48:08.57 Rz6p2V3E.net
>>433
君、全部読み切って理解した上で安定ホモトピーといってるんだろう？
悪いがここで、その計算をやり切ってみせてくれ
簡単だろう？
470:Schlecht
21/03/01 15:50:20.31 Rz6p2V3E.net
>>434
使わない？
それは新しいな
スペクトル系列は知ってるかい？
知った上で要らないと言い切ってる？
じゃ、ここで計算しきってみせてくれ
それが一番簡単だろう
471:１３２人目の素数さん
21/03/01 15:53:11.92 v7ayOauM.net
know of ではあるが、know ではない。
全部理解した上で安定ホモトピーとまで言ってない。
IUT と異なり、HoTT に欠陥が見当たらないからべんきょうしているだけ。
472:Schlecht
21/03/01 15:53:36.98 Rz6p2V3E.net
まさか安定ホモトピーが何なのかも全く知らずに
ただ安定ホモトピーって云いたかったから云っただけ
なんていわないよな
それってタイヒミュラーの業績も知らずに
IUT完全勝利って言ってる人とどこが違うんだ？
473:１３２人目の素数さん
21/03/01 15:55:14.06 v7ayOauM.net
>>436
かんたんとは、よく言ったものやな、おっさん。
計算可能性の話とか、コンパイラの理論とか全部すっ飛ばしたら、理解するのはかんたんやろけど、
あとは想像しろ下さい
474:１３２人目の素数さん
21/03/01 15:56:30.67 v7ayOauM.net
>>438
おまえ壁の内側がなんでできてるのか知って家に住んでるんか？
飛行機の材料と設計図列挙して飛行機乗ってるんかいな。
475:Schlecht
21/03/01 15:57:12.98 Rz6p2V3E.net
>>437
know ofとは
URLﾘﾝｸ(eow.alc.co.jp)
つまり
「安定ホモトピーという言葉は知ってるが
それがどういうものかは知らない」
ってこと？
それ
「ＩＵＴって言葉は知ってるが
それがどういうものかは知らない」
っていうのと、どこが違うんだ？
476:１３２人目の素数さん
21/03/01 15:57:16.31 v7ayOauM.net
信用、という言葉シランなら、ちょっと2ちゃんねるやめたほうがええで。
477:１３２人目の素数さん
21/03/01 15:59:06.06 v7ayOauM.net
>>441
んッ？程度の差はあれど、相手が納得できるかできんかでしょう。あんたを納得させるほど俺は知らんとなんべんも言うてる。
478:Schlecht
21/03/01 16:01:36.96 Rz6p2V3E.net
>>439
HoTTで計算可能性とかコンパイラとか出てくるの？
479:>>440 >壁の内側がなんでできてるのか知って家に住んでるんか？ >飛行機の材料と設計図列挙して飛行機乗ってるんかいな。 IUT完全勝利君と同じようなこと言い出したなぁ… IUT君に「分かってないんなら黙れ」っていうんなら 君も安定ホモトピーなんていわないほうがよかったんじゃないか？ まるで自分は旧姓使ってるのに「夫婦別姓反対」っていってる人みたい https://news.yahoo.co.jp/articles/f026225e8d56018d604338b7a0f751ea36000b16
480:１３２人目の素数さん
21/03/01 16:02:45.67 v7ayOauM.net
>>444
HoTT ってプログラミング言語だよ。
481:１３２人目の素数さん
21/03/01 16:04:42.70 v7ayOauM.net
>>444
いや、無知を知らん奴らと一緒にされては困る。知ってることはすべて言うてる。
言うてることが一つ同じなら、同類とはならん。
482:Schlecht
21/03/01 16:05:59.91 Rz6p2V3E.net
>>443
HoTTがIUTより信頼できるかどうかは全く関係なく
君がHoTTの中身を知らんのならやっぱり
口にしないほうがよかったんじゃないかい？
ところで君は独学？
もしいっしょに学習してる友達がいるならその人に聞いてみて
どんどん手繰っていけばそのうち球面の安定ホモトピー群を
知ってる人に行きつく筈だから
483:Schlecht
21/03/01 16:07:19.15 Rz6p2V3E.net
>>445
HoTTってHomotopy Type Theoryの略じゃないの？理論じゃないの？
484:Schlecht
21/03/01 16:09:30.07 Rz6p2V3E.net
>>446
んー、IUT君とは違うといいたいみたいだけど、
具体的な違いって何？
IUT君が知らないだろうけど自分は知ってるってこと、例えば何？
485:１３２人目の素数さん
21/03/01 16:10:24.37 v7ayOauM.net
>>448
型理論。
MLTT 型理論にUnivalence Axiom を足したもん。
何が嬉しいかって、プログラミング言語なの。この理論。
486:１３２人目の素数さん
21/03/01 16:11:08.77 v7ayOauM.net
>>449
頭大丈夫？
「無知」って言ってるけど。
487:Schlecht
21/03/01 16:11:25.26 Rz6p2V3E.net
HoTTがプログラミング言語だというならそれでいいので
球面の安定ホモトピー群の計算を行うプログラムを書いてみせて
できるんでしょう？
488:１３２人目の素数さん
21/03/01 16:11:54.58 v7ayOauM.net
>>450
あとHIT もやけど。
489:Schlecht
21/03/01 16:12:58.72 Rz6p2V3E.net
>>451
いや、数学的な知見でなにかIUT君より余計に知ってること、ないの？
ないんなら…同類だよね
490:１３２人目の素数さん
21/03/01 16:13:25.70 v7ayOauM.net
>>452
そんなに気になるんなら、ちょっと数年待ってて。
というか、coq/ hott で検索したら出来たやつがある。
491:１３２人目の素数さん
21/03/01 16:15:25.91 v7ayOauM.net
>>454
お前と違って何でも知ってるとは思っていないんで。
こっちこそ、
全く質問に答えられてないんやけど。
導来圏もしらんアホは黙っといたほうがええんちゃうか？
492:Schlecht
21/03/01 16:15:59.57 Rz6p2V3E.net
情報科学的なハッタリは興味ないんで
数学的な結果（例えば球面の安定ホモトピー群）
を出せるプログラム、書いてみて
493:１３２人目の素数さん
21/03/01 16:16:59.90 v7ayOauM.net
コホモロジーいうてて恥ずかしないんか？
494:Schlecht
21/03/01 16:18:24.86 Rz6p2V3E.net
>>456
導来圏でもなんでもいいから
球面の安定ホモトピー群
計算してみて
で、その計算でBernoulli数がどこに出てくるのか教えて
495:１３２人目の素数さん
21/03/01 16:19:09.74 v7ayOauM.net
自分で調べて自分でかけ。coq/ hott 使えば、何も中身の仕組みしらんくてもアホでもできる。
悪いが、機械より上のことは、
そこまで興味ない。
496:１３２人目の素数さん
21/03/01 16:20:21.58 v7ayOauM.net
お前こそ、IUT みたいに同じこと言うてるな。IUT 君と同じこと言ってて恥ずかしくないの？
497:Schlecht
21/03/01 16:20:34.88 Rz6p2V3E.net
＞ちょっと数年待ってて。
「安定ホモトピー」って言葉、理解しきってから言うべきだったね
とくに、IUT君に黙れっていうんだったらさ
498:Schlecht
21/03/01 16:22:22.16 Rz6p2V3E.net
>>460
>coq/ hott 使えば、何も中身の仕組みしらんくてもアホでもできる。
中身の仕組み知らんでプログラミングしてるの？
いったいどんなプログラム書いてきたの？なんか怖いな･･･
499:１３２人目の素数さん
21/03/01 16:22:30.89 v7ayOauM.net
>>462
んっだから日本語よめてる？
IUT はこっちが矛盾に指摘してるのに対して、あんたはなんの矛盾を指摘して�
500:ﾅすか？
501:１３２人目の素数さん
21/03/01 16:23:20.04 v7ayOauM.net
>>463
俺が、いつcoq/hott 書いたって言ったの？
馬鹿なの？
言葉よめないの？
502:１３２人目の素数さん
21/03/01 16:23:45.14 v7ayOauM.net
知りたきゃ勝手にしろ。
お前は何も矛盾指摘できてない。
503:Schlecht
21/03/01 16:24:15.42 Rz6p2V3E.net
>>461
いやぁ、あなたのほうがIUT君そっくりだよ
特に中身知らなくてもOK、みたいな発言はそっくり
実はあなた、IUT君じゃないの？
504:１３２人目の素数さん
21/03/01 16:25:48.05 v7ayOauM.net
中身知らなくても OK なんていうてないけど。
そもそも導来圏も知らずにどうしてコホモロジーができるんですか？
505:１３２人目の素数さん
21/03/01 16:26:34.37 v7ayOauM.net
バカなの？墓穴掘りたいの？だから棺桶用意しておけとあれほど口酸っぱく言ったのに。
506:Schlecht
21/03/01 16:58:29.12 Rz6p2V3E.net
>>468
＞そもそも導来圏も知らずにどうしてコホモロジーができるんですか？
え？コホモロジーに導来圏って必須なの？
それは初耳なんだけど…
いつだれがどこでそんなこといったんですか？
とても興味があるので教えてください
507:Schlecht
21/03/01 17:06:16.95 Rz6p2V3E.net
なんか ID:v7ayOauM のいうことはちぐはぐだなあ
wikiには導来圏の導入でスペクトル系列を用いていたところは
劇的に簡素化されるなんて書いてあるから
球面の安定ホモトピー群の計算なんてまさにその典型例として
ドヤ顔で紹介できそうなもんだけど
URLﾘﾝｸ(ja.wikipedia.org)
中身を知らずに書き込みしちゃダメだね うん
508:１３２人目の素数さん
21/03/01 17:12:10.27 v7ayOauM.net
>>470
日本語読め。
必要とは言ってない。
導来圏なしで、コホモロジー論語ってればいいんじゃないの？
509:１３２人目の素数さん
21/03/01 17:13:03.54 v7ayOauM.net
「なんかちぐはぐだなあ」は草
お前が日本語読めてないだけ。
510:Schlecht
21/03/01 17:14:47.04 Rz6p2V3E.net
なんかグラグラだなぁ
単に「安定ホモトピー」とか「導来圏」とかいいたいだけなのかな？
それってＩＵＴ君とどこが違うのかな？
511:１３２人目の素数さん
21/03/01 17:16:58.53 v7ayOauM.net
>>474
質問したのお前だろ。バカなの？
512:Schlecht
21/03/01 17:17:41.52 Rz6p2V3E.net
>>473
何いらいらしてるんだろう？
やっぱりハッタリが通用しなかったからかな？
513:１３２人目の素数さん
21/03/01 17:18:44.58 v7ayOauM.net
>>476
笑
お前イライラしてるんやな。
514:１３２人目の素数さん
21/03/01 17:19:10.78 15xwKeEW.net
>>393
ド素人が
なにをガタガタ言っているの？
みっともないよ
515:１３２人目の素数さん
21/03/01 17:19:39.05 15xwKeEW.net
つかな
証明出来てないなら諦めろよ猿
別に証明に失敗したら処刑されるわけじゃ無いだろ
あー残念だったねってだけのことだろ
証明の穴があるなら穴を塞ぐか、出来ないなら諦める
最初からそういう全世界共通のルールだろ
なんで望月だけ例外なんだよカス野郎
516:Schlecht
21/03/01 17:19:55.78 Rz6p2V3E.net
何怒ってるんだろう？
知らないなら知らないって言えばいいだけなのに
知らないって言いたくないのかな？
でもそれじゃＩＵＴ君と同じだよね…
517:１３２人目の素数さん
21/03/01 17:21:52.65 capdN0d4.net
補数表現がまずグロタンディーク構成
518:Schlecht
21/03/01 17:22:09.87 Rz6p2V3E.net
>>477
あ、イライラしてる
今日はもう書き込みやめときなよ
明日になればID変わるから
ああ、そうそう、安定ホモトピーの話はもうしないほうがいいよ
同じことやると「またおまえか」っていわれるからさ
今度は違うネタで書いたほうがいいね
519:１３２人目の素数さん
21/03/01 17:25:32.31 v7ayOauM.net
>>482
いや、今お前がイライラしてる間に HoTT 読んでるから、またマウントよろ。
520:１３２人目の素数さん
21/03/01 17:26:02.88 v7ayOauM.net
お前のカスみたいなマウントでも気づきがあるんでね。
521:Schlecht
21/03/01 17:28:14.15 Rz6p2V3E.net
>>483
＞HoTT 読んでるから
早く球面の安定ホモトピー群の計算プログラムが書けるといいね
待ってるからさ
522:Schlecht
21/03/01 17:30:14.08 Rz6p2V3E.net
マウントじゃないんだけどな
むしろ花を持たせようとおもったら
肝心の花がなかった、という…
523:１３２人目の素数さん
21/03/01 17:31:48.77 15xwKeEW.net
つかな
証明出来てないなら諦めろよ猿
別に証明に失敗したら処刑されるわけじゃ無いだろ
あー残念だったねってだけのことだろ
証明の穴があるなら穴を塞ぐか、出来ないなら諦める
最初からそういう全世界共通のルールだろ
なんで望月だけ例外なんだよカス野郎
524:１３２人目の素数さん
21/03/01 18:44:58.52 capdN0d4.net
なんか二人とも飽きちゃったの？
安定ホモトピーでイチャイチャやってくださいよ。
525:Schlecht
21/03/01 18:58:46.33 Rz6p2V3E.net
ちょっとHoTT君をこすりすぎました
526:１３２人目の素数さん
21/03/01 19:11:33.86 15xwKeEW.net
つかな
証明出来てないなら諦めろよ猿
別に証明に失敗したら処刑されるわけじゃ無いだろ
あー残念だったねってだけのことだろ
証明の穴があるなら穴を塞ぐか、出来ないなら諦める
最初からそういう全世界共通のルールだろ
なんで望月だけ例外なんだよカス野郎
527:１３２人目の素数さん
21/03/01 19:15:52.07 v7ayOauM.net
>>489
シコンナ、キモチワルイ
528:Schlecht
21/03/01 19:25:48.00 Rz6p2V3E.net
ゴメン、●虚だって気づかなくて
URLﾘﾝｸ(ja.wikipedia.org)
529:１３２人目の素数さん
21/03/01 19:26:51.83 v7ayOauM.net
ww
530:１３２人目の素数さん
21/03/01 23:25:40.43 bnXR1ess.net
>>2
追加
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Promenade in IUT List of Participants
(抜粋)
Yu Yasufuku, Nihon University, JP;
Shigetoshi Yokoyama, Gunma University, JP;
URLﾘﾝｸ(researchmap.jp)
Yu Yasufuku
(安福 悠)
研究キーワード 16
数論的力学系
ボイタ予想
学位
最優秀学士(ハーバード大学)
A.B. summa cum laude(Harvard University)
理学博士(ブラウン大学)
Ph.D. in Mathematics(Brown University)
博士 (数理科学)(東京大学)
Ph.D. in Mathematical Sciences(The University of Tokyo)
受賞 4
2018年11月日本大学理工学部 日本大学理工学部学術賞 Vojta予想と数論的力学系の研究
2008年5月学位論文賞 (ブラウン大学) ボイタ予想とブローアップについて
学歴 3
2005年9月 - 2008年5月ブラウン大学 数学研究科 数学
2000年9月 - 2004年6月マサチューセッツ工科大学 数学研究科 数学
1996年9月 - 2000年6月ハーバード大学 ＊＊ 数学科
URLﾘﾝｸ(researchmap.jp)
横山 重俊
ヨコヤマ シゲトシ (Shigetoshi Yokoyama)
所属群馬大学 総合情報メディアセンター 教授
国立情報学研究所 客員教授
学歴 3
2005年4月 - 2011年3月総合研究大学院大学 複合科学研究科 情報学専攻
1979年4月 - 1981年3月大阪大学 理学研究科 数学専攻
1975年4月 - 1979年3月大阪大学 理学部 数学科
531:Schlecht
21/03/02 07:03:03.80 ozN2NqQb.net
球面の安定ホモトピー群の計算は今でも大変難しそうだ
URLﾘﾝｸ(en.wikipedia.org)
532:１３２人目の素数さん
21/03/02 07:45:10.58 8q8Y/BcG.net
>>421-423
>ベルヌーイ数の記述どこよ。
ベルヌーイ数
関孝和も研究したのか（下記）
元々は、べき乗和の計算のためだったんだ
古代ギリシャ、Pythagoras、Archimedes も登場するんだね、へー
知らなかったね
（参考）
URLﾘﾝｸ(en.wikipedia.org)
Bernoulli number
Contents
1 Notation
2 History
2.1 Early history
2.2 Reconstruction of "Summae Potestatum"
Early history
The Bernoulli numbers are rooted in the early history of the computation of sums of integer powers, which have been of interest to mathematicians since antiquity.
Among the great mathematicians of antiquity to consider this problem were Pythagoras (c. 572–497 BCE, Greece), Archimedes (287–212 BCE, Italy), Aryabhata (b. 476, India),
URLﾘﾝｸ(upload.wikimedia.org)
A page from Seki Takakazu's Katsuyō Sanpō (1712), tabulati
533:ng binomial coefficients and Bernoulli numbers
534:１３２人目の素数さん
21/03/02 07:59:11.76 8q8Y/BcG.net
>>444
>>壁の内側がなんでできてるのか知って家に住んでるんか？
>>飛行機の材料と設計図列挙して飛行機乗ってるんかいな。
>IUT完全勝利君と同じようなこと言い出したなぁ…
>IUT君に「分かってないんなら黙れ」っていうんなら
>君も安定ホモトピーなんていわないほうがよかったんじゃないか？
維新さん、完全にノックアウトだな
この人は、”安定ホモトピー”について
維新さんが、「答えられない」って見抜いて、追求しているんだね。すごい眼力だな
まあ、おれは、自分で飛行機の安全性を確かめたわけじゃないけど、経験則をもとに飛行機乗りますけどね
自分の乗る飛行機に、「安全証明」がついていても、それって多分意味ない
飛行機の機体自身は、安全としても、アクシデント（離陸or着陸のときとか、操縦士の腕前とか）の可能性はゼロではないからね
日常、証明以外の判断を求められること多いよね
そういう意味で、IUTはOKと思いますけどね
IUTは、墜落しないだろうってｗｗ（＾＾；
535:Schlecht
21/03/02 08:01:50.53 ozN2NqQb.net
>>496
＞知らなかったね
以前も全く同じ書き込みしてなかった？ 覚えてない？
536:Schlecht
21/03/02 08:04:10.37 ozN2NqQb.net
>>497
ID:v7ayOauMさんて維新さんって名前なんだ…
倒幕志士好きなのかな？
537:Schlecht
21/03/02 08:06:03.24 ozN2NqQb.net
>>497
>おれは、自分で飛行機の安全性を確かめたわけじゃないけど、
>経験則をもとに飛行機乗りますけどね
何の話？
538:１３２人目の素数さん
21/03/02 08:08:32.75 XFYUadOB.net
>>497
アタマ…
539:Schlecht
21/03/02 08:08:37.88 ozN2NqQb.net
>>497
>日常、証明以外の判断を求められること多いよね
「IUTを正当化したい」というあなたの行為は
論理的判断でなく感情的衝動によるものですけどね
540:１３２人目の素数さん
21/03/02 08:10:13.23 XFYUadOB.net
アタマなんかちょっとやばいやついつもあとから湧いてくるけど、蛆虫かなんかなのかな…？
541:Schlecht
21/03/02 08:11:15.15 ozN2NqQb.net
>>501
IUT氏は頭より心に問題を抱えてますね
国家を誇りたくなる人って不遇な人なんですね
幸せな人はそういうことはしませんからね
542:Schlecht
21/03/02 08:13:44.37 ozN2NqQb.net
>>503
＞なんかちょっとやばいやつ
そういう人をいじりに来る人もいますね
543:１３２人目の素数さん
21/03/02 08:15:26.46 8q8Y/BcG.net
>>496
>元々は、べき乗和の計算のためだったんだ
余談だが、下記の「ベルヌーイ数 Bn は下に示すマクローリン展開 (テイラー展開) の展開係数として定義される」
という現代的な定義から入ると
いろんなところに、”ベルヌーイ数 Bn ”が登場することが不思議だけど
”元々は、べき乗和の計算のため”という視点にたつと、同じような組み合わせ計算の場面では、これが出てきても不思議はないのかもね
URLﾘﾝｸ(ja.wikipedia.org)
ベルヌーイ数
定義
ベルヌーイ数 Bn は下に示すマクローリン展開 (テイラー展開) の展開係数として定義される。
f(x)=x/(e^x-1)=Σ{n=0}～{∞} {B_{n}}/（{n!}}x^{n}）
544:Schlecht
21/03/02 08:17:01.70 ozN2NqQb.net
そういえばIUT氏が別のスレッドで
「射影幾何は無限大無限小の理論」
としたり顔で語ってるのを見ましたが
何か根本的に勘違いしてますね
545:Schlecht
21/03/02 08:19:36.86 ozN2NqQb.net
>>506
>･･･という視点にたつと、
>同じような組み合わせ計算の場面では、
>これが出てきても不思議はないのかもね
中身を全く見ずに「同じような」と言い切る粗雑な感覚の人にとっては、
世の中には何一つ不思議なことは無いんでしょうね
546:１３２人目の素数さん
21/03/02 08:23:11.05 8q8Y/BcG.net
>>499
>ID:v7ayOauMさんて維新さんって名前なんだ…
>倒幕志士好きなのかな？
維新さんの由来は下記
（>>4より）
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然"維新～！"と絶叫したりするからです
(引用終り)
この維新は、「大阪維新」です
維新さんは、大阪というとすぐ「維新支持者！！」と�
547:�めつけるので こう揶揄されますｗｗ
548:Schlecht
21/03/02 08:23:56.79 ozN2NqQb.net
射影直線の無限遠点は１／０にあたるものでしかありません
「平面上の原点を通る直線を点とみなす」という定義なら
無限遠すら出てきません
あくまで座標系において出てくるだけです
（正確にいえば、座標系にない点が「無限遠点」とされる）
つまり、恒久的な無限遠点があるわけではなく、
あくまで座標系に依存したものです
さらにいえば、０でない「無限小」は出てきません
549:Schlecht
21/03/02 08:26:55.65 ozN2NqQb.net
>>509
＞この維新は、「大阪維新」です
ふーん、
じゃ、あなたは「IUTファースト」君？
550:１３２人目の素数さん
21/03/02 08:27:00.09 XFYUadOB.net
>>509
あなた維新さんなんだね…
551:Schlecht
21/03/02 08:28:49.58 ozN2NqQb.net
>>512
ファーストさんだそうですよ
552:１３２人目の素数さん
21/03/02 08:29:19.96 XFYUadOB.net
なんか脈絡のない文書書く蛆虫って見てて気持ち悪い…
553:１３２人目の素数さん
21/03/02 08:29:59.39 8q8Y/BcG.net
>>508
>中身を全く見ずに「同じような」と言い切る粗雑な感覚の人にとっては、
>世の中には何一つ不思議なことは無いんでしょうね
殿！、下記（”なんら不思議はない”）のご説明を
ｗｗｗ
(>>424 より）
>>415
あそっか。
スピンは四元数やから、関わっとってもなんら不思議はない。
(引用終り)
554:Schlecht
21/03/02 08:32:36.32 ozN2NqQb.net
>>515
＞スピンは四元数やから、関わっとってもなんら不思議はない。
確かにこれもよくわからないね
わからないことをわかったと嘘つくのって何か意味あるのかな？
555:１３２人目の素数さん
21/03/02 08:33:35.17 XFYUadOB.net
蛆虫…がまた変なこといってる…
556:１３２人目の素数さん
21/03/02 08:36:44.29 XFYUadOB.net
昨日の人また来ないかな…
557:Schlecht
21/03/02 08:37:53.33 ozN2NqQb.net
ファースト氏はあまりにもひねりがないからちょっと変えようかな
「フュルスト氏」 これってどうかな？
で、どうも昨日からいるっぽいID:XFYUadOB氏は
「ヘルツォーク氏」でどうですか？
え？私？私はキ族じゃない、只の平民ですから…
558:Schlecht
21/03/02 08:38:59.32 ozN2NqQb.net
HoTTの人はもう来ないんじゃないかな？
昨日こすられ過ぎたから
559:１３２人目の素数さん
21/03/02 08:41:06.97 AjExZI9o.net
>>497
…
560:Schlecht
21/03/02 08:41:39.81 ozN2NqQb.net
どこでもそうだけど
知らないことを知ってると云って
いいことって一つもないよね
561:Schlecht
21/03/02 08:45:58.13 ozN2NqQb.net
子供が真っ先に学ぶのって
「知らないことを知ってるというと炎上する」
ってことだと思う
562:Schlecht
21/03/02 08:49:31.79 ozN2NqQb.net
みんな塹壕掘って隠れてるから
飛び出したら一斉掃射されるよ
563:Schlecht
21/03/02 08:58:30.22 ozN2NqQb.net
もう何年も数学板で書いてるんなら
そんな初歩的なこといい加減覚えたほういいよ
564:１３２人目の素数さん
21/03/02 10:50:31.66 brRFu6nO.net
>>523
（>>516より）
>わからないことをわかったと嘘つくのって何か意味あるのかな？
（>>522より）
>どこでもそうだけど
>知らないことを知ってると云って
>いいことって一つもないよね
IUTに同じ
まったく同じですね
１）出来ていない証明を”出来た”と言っても、いいことって一つもない
一流数学者の望月先生が、そんかことをするわけない
２）出来ていない証明を”出来た”とウソの記者会見をしても、いいことって一つもない
一流数学者の柏原、玉川が、嘘つくわけない
３）出来ていない証明の研究集会に参加しても、いいことって一つもない
Promenade in IUTに参加している数学者たちは、当然IUTの証明にそれなりに納得している（つまりは、ショルツェ氏はアウト）
（>>523より）
>子供が真っ先に学ぶのって
>「知らないことを知ってるというと炎上する」
ショルツェ氏は、最初は「Cor3.12までは自明で、Cor3.12の証明（だけが）分からない」といった
だが、woitブログでのDupuy氏との討論では、「ホッジシアターが超難しい」と言った（前言と矛盾）
結果的に（前言は）ウソであり、”炎上”になりましたとさ
565:１３２人目の素数さん
21/03/02 10:58:05.93 dcDWWgNW.net
>>526
>woitブログでのDupuy氏との討論では、「ホッジシアターが超難しい」と言った（前言と矛盾）
これはトポス理論的フレームワーク
566:などで解釈するのが難しいという話で、ホッジ劇場そのものが難しいという話ではない
567:Schlecht
21/03/02 11:19:57.97 ozN2NqQb.net
>>526
>出来ていない証明を”出来た”と…
>一流数学者の望月先生が、そんなことをするわけない
それはフュルスト君の願望ですよね？
>出来ていない証明を”出来た”とウソの記者会見…
>一流数学者の柏原、玉川が、嘘つくわけない
それもフュルスト君の願望ですよね？
玉川氏が、つい
「査読過程は墓場まで持っていく」
と喋ったらしいけど
これがきっと本音
>Promenade in IUTに参加している数学者たちは、
>当然IUTの証明にそれなりに納得している
全然当然じゃないですけどね
納得なんて参加の条件じゃないですけどね
むしろ納得というか理解すらできてないから参加する、
という人もたくさんいるんじゃないですか？
568:Schlecht
21/03/02 11:22:51.84 ozN2NqQb.net
>ショルツェ氏は、最初は
>「Cor3.12までは自明で、Cor3.12の証明（だけが）分からない」
>といった
>だが、woitブログでのDupuy氏との討論では、
>「ホッジシアターが超難しい」
>と言った（前言と矛盾）
Thm3.11までの中でホッジシアターが出てくる場所を全部挙げてくれます？
当然あるから「前言と矛盾」と言い切ってみせたんですよね？
まさか、まったく読みもせずに、口先だけで脅してるわけじゃないですよね？
569:Schlecht
21/03/02 11:25:10.00 ozN2NqQb.net
フュルストさん
Thm3.11から簡単に証明できるといいはるなら
証明を示してくれますか？
理解しきったから正しいと言い切ったんですよね
まさかに理解もせずに正しいと博打うったわけじゃないですよね？
570:Schlecht
21/03/02 11:32:48.25 ozN2NqQb.net
フュルストさんのやってることって、BIGを買って
「これが６億円だ！」
と言っちゃう人みたいな感じかな
「２等」くらい当たってるといいんですけどね・・・
571:１３２人目の素数さん
21/03/02 12:27:39.47 brRFu6nO.net
>>515
（>>415）
ベルヌーイ数って、スピンの行列計算（ルジャンドル多項式かなんかで出てこんかったっけ？）こんなとこでも出てくるかこら？下さい
（>>424）
あそっか。
スピンは四元数やから、関わっとってもなんら不思議はない。
あれあれ？
ベルヌーイ数、ルジャンドル多項式、スピンの行列計算、スピンは四元数（＝多分スピノール行列のことか？）
これらは、下記を読む限り、ベルヌーイ数とは関係ないみたいだね
（参考）
URLﾘﾝｸ(www.wannyan.net)
Scientific Doggie 数理の楽しみ
URLﾘﾝｸ(www.wannyan.net)
特殊関数
全文PDFファイル
URLﾘﾝｸ(www.wannyan.net)
Nov 26, 2018 特殊関数の更新。訪問者からの質問に基づき第3.8.1項の数式変形の 説明を補足しました。
URLﾘﾝｸ(ja.wikipedia.org)
スピノール
一般のスピノルは、1913年にエリ・カルタン[4]によって発見され、後に電子や他のフェルミ粒子の内在する角運動量、即ちスピン角運動量の性質を研究するために、量子力学に適用された。量子力学においてスピノルは、半整数スピンを持つフェルミ粒子の波動関数を記述する際に不可欠な量であり、今日では物理学の様々な分野で用いられている。例を挙げると、古典論では三次元のスピノル（英語版）が非相対論的な電子のスピンを記述する際に、相対論的量子力学ではディラック・スピノルが相対論的な電子の量子状態を数学的に記述する際に、場の量子論では相対論的な多粒子系の状態を記述する際に、それぞれ必須の概念としてスピノルが活用されている。
572:１３２人目の素数さん
21/03/02 13:18:56.05 brRFu6nO.net
>>532
＜メモ＞
余談ですが
下記のBernoulli number ”6.5 Use in topology”
によれば、「ES_n ＝ 2^{2n-2} - 2^{4n-3}) Numerator (B_{4n}/{4n}).」という式があるらしいね
（参考）
URLﾘﾝｸ(en.wikipedia.org)
Bernoulli number
Contents
6 Applications of the Bernoulli numbers
6.5 Use in topology
Use in topology
The Kervaire–Milnor's formula for the order of the cyclic group of diffeomorphism classes of exotic (4n － 1)-spheres which bound parallelizable manifolds involves Bernoulli numbers. Let ESn be the number of such exotic spheres for n ＞＝ 2, then
ES_n ＝ 2^{2n-2} - 2^{4n-3}) Numerator (B_{4n}/{4n}).
The Hirzebruch signature theorem for the L genus of a smooth oriented closed manifold of dimension 4n also involves Bernoulli numbers.
573:１３２人目の素数さん
21/03/02 13:35:15.51 brRFu6nO.net
>>528
>玉川氏が、つい
>「査読過程は墓場まで持っていく」
>と喋ったらしいけど
>これがきっと本音
自分は、論文投稿の経験ないんか？
だれが査読したとかさ
査読過程とかさ
それ、基本的に公開しないぜ
そんなこともしらんのかな？
維新さんは、落ちこぼれて
査読のある論文書いたことないんでしょ？
そっから、
スカタンな議論になっているよね
（参考）
URLﾘﾝｸ(kotobank.jp)
コトバンク
すかたん（読み）スカタン
デジタル大辞泉の解説
１ 予想や期待を裏切られること。当てはずれ。「すかたんを食わされる」
２ 見当違いなこと、間の抜けたことをする人をののしっていう語。とんま。まぬけ。すこたん。「このすかたんめ」「すかたん野郎」
574:１３２人目の素数さん
21/03/02 13:54:20.80 brRFu6nO.net
>>530
>理解しきったから正しいと言い切ったんですよね
>まさかに理解もせずに正しいと博打うったわけじゃないですよね？
それ、正しい論文か、正しくない論文か？
その判断は、論文読む前にするのが、普通でしょ？ 大論文の場合は特に
いま、眼前に600ページの大部の論文がある
読むに値するかどうか？ せめて、チラ見はするよね。（正しくても、自分の仕事に無関係な場合もあり
「正しくない（と思われる あるいは 言われている）論文」など、読んでも、あまり意味ないでしょ
だから、正しい論文か、怪しそうか、その判断は、読む前にすべき
プロ数学者たちにとっては、当然でしょ
G先生の言では、IUTはプロ数学者でも数百時間というから、読んだ挙句にゴミ論文じゃねぇ、あなた
だから、「査読が終わった」って情報が必要になるのです
575:１３２人目の素数さん
21/03/02 15:39:31.78 T8orG7Ij.net
つかな
証明出来てないなら諦めろよ猿
別に証明に失敗したら処刑されるわけじゃ無いだろ
あー残念だったねってだけのことだろ
証明の穴があるなら穴を塞ぐか、出来ないなら諦める
最初からそういう全世界共通のルールだろ
なんで望月だけ例外なんだよカス野郎
576:Schlecht
21/03/02 17:51:22.87 ozN2NqQb.net
>>533
異種球面より球面の安定ホモトピー群の方が本質的だよ
URLﾘﾝｸ(en.wikipedia.org)
URLﾘﾝｸ(en.wikipedia.org)
Image of the J-homomorphism
If r=4n-1 is 3 mod 4 and positive the image is a cyclic group of order equal to the denominator of B_{2n}/4n, where B_{2n}} is a Bernoulli number.
577:Schlecht
21/03/02 17:56:22.46 ozN2NqQb.net
>>534
上ずってるね 落ち着こう
同じ分野の人が誰一人として理解できないのに、
査読が通ってるっておかしくないかい？
それこそ「すかたん」だよ
見事に期待を裏切ってる。当てはずれ。
そんなものを日本の誇りっていうのは恥ずかしいよね？
>>535
せっかくプレプリント出したんだから、
皆が理解したところで査読を通せばいいのになぜそうしないんだい？
何を焦っているんだい？落ち着こうよ
578:１３２人目の素数さん
21/03/02 20:50:05.76 1Nnlc+Ad.net
>>538
皆が理解するのを待っていたら俺は寿命が来るなw
皆が理解するなんて前提条件はいらないしナンセンスだ
579:１３２人目の素数さん
21/03/02 20:57:04.49 dcDWWgNW.net
人が理解することを前提にしないのであれば、リーマン予想は解決している
580:１３２人目の素数さん
21/03/02 21:09:22.52 2QlGlFWH.net
誰が解いたんですか？
581:１３２人目の素数さん
21/03/02 21:11:08.48 2QlGlFWH.net
dcWWgNW氏が…？
582:１３２人目の素数さん
21/03/02 21:1
583:2:09.45 ID:2QlGlFWH.net
584:１３２人目の素数さん
21/03/02 21:13:08.45 2QlGlFWH.net
誰が解決したんですか…？
ま、さ、か、、、？、、、
585:１３２人目の素数さん
21/03/02 21:20:59.87 6/6rJGrD.net
高木様…?…
586:１３２人目の素数さん
21/03/03 08:18:47.39 IHjOYfy9.net
>>538
>同じ分野の人が誰一人として理解できないのに、
>査読が通ってるっておかしくないかい？
・同じ分野をどう定義するかの問題はあるも
・反例が、多数あるよね
・同じ分野の人で、理解できたという人多数、具体名は揚げないけど
・もし、査読者が、同じ分野の人だとしたら？ｗｗｗ
・普通は査読者は同じ分野の人ｗｗｗ。矛盾！QEDｗｗｗ
587:Schlecht
21/03/03 09:04:12.19 IBGui4qx.net
>>546
>同じ分野をどう定義するかの問題はあるも
同じ分野＝数論幾何
同じ分野＝「ＩＵＴを理解できる人」では同語反復なので無意味
588:Schlecht
21/03/03 09:04:42.42 IBGui4qx.net
>>546
>反例が、多数あるよね
>同じ分野の人で、理解できたという人多数、具体名は揚げないけど
他人を理解させられない時点で無意味
星氏はショルツに何もいえませんでした
山下氏もフェセンコ氏も同じ
まったく理解してないから何もいえないんでしょう
589:Schlecht
21/03/03 09:05:53.74 IBGui4qx.net
>>546
>もし、査読者が、同じ分野の人だとしたら？
>普通は査読者は同じ分野の人
「査読者」が自分の理解を他人に説明できない時点で
まったく理解できていない
そもそも「査読者」がいたかどうかわからない
編集者自身の「自己査読」の可能性すら否定できない
>ｗｗｗ
World Wide Webがどうかしましたか？
590:Schlecht
21/03/03 09:07:22.67 IBGui4qx.net
>>546
>矛盾！QED
なぜ、そんなにむきになるんですか？
IUTが間違ってると、
日本が滅びるんですか？
貴方が滅びるんですか？
もしかして…「セカイ系」ですか？
591:Schlecht
21/03/03 09:08:32.33 IBGui4qx.net
フュルスト氏がなぜむきになるのかいまだにわからない
592:Schlecht
21/03/03 09:10:08.56 IBGui4qx.net
フュルスト氏がジャパンファーストに固執する理由も全然わからない
URLﾘﾝｸ(ja.wikipedia.org)
593:Schlecht
21/03/03 09:12:19.73 IBGui4qx.net
なんかやってることがこの人そっくり
URLﾘﾝｸ(ja.wikipedia.org)(%E6%B4%BB%E5%8B%95%E5%AE%B6)
594:Schlecht
21/03/03 09:39:40.71 IBGui4qx.net
そもそも根本的な問題を解決せずに、外国人攻撃しても意味ないよね…
595:Schlecht
21/03/03 09:41:54.86 IBGui4qx.net
ジャパンファースト党の人もフュルスト氏も自分を見つめなおしたほうがいいと思う
596:１３２人目の素数さん
21/03/03 09:50:02.87 +hWYKxQM.net
>>540
皆が、と
人が、は決定的に違う
皆が理解する必要は無いよ
そんな必要は永遠に無い
597:１３２人目の素数さん
21/03/03 10:24:54.71 lWynEZ55.net
>>556
同意です
数学的に「すべての人」なんて状態は、
現実の世界では実現できないよね
598:１３２人目の素数さん
21/03/03 10:27:51.95 lWynEZ55.net
>>550
IUTアンチの人
なにがなんでも、IUTは成立しないと言いたいみたいね
日本および日本人に恨みでもあるようにねｗｗ
極左アナーキストさん
現実にプロ数学界で起きていることが
全く見えない、見ようとしない。あなたの脳内妄想が根拠のすべてでしょ
(>>5より)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文
これで
１．いま、南出論文で、ABCの明示公式が導けるようになった
２．その応用も示されている。例えば、P53
Corollary 5.9. (Application to a generalized version of “Fermat’s Last Theorem”)
「rx^l + sy^m + tz^n = 0.」(拡張フェルマーのディオファントス)
（これはP5で ”We also obtain an application of the ABC inequality of Theorem B to
a generalized version of Fermat’s Last Theorem [cf. Corollary 5.9], which
does not appear to be accessible via the techniques involving modularity of
elliptic curves over Q and deformations of Galois representations that play
a central role in [Wls].”とアピールしています）
３．南出論文を読むと、elliptic curve ”Legendre form “y2 = x(x－1)(x－λ)””に
望月IUT理論を（ちょっと改良して）適用すると、定量評価ができて、いろいろなディオファントスの明示不等式がでる
４．だから、もし南出論文が本当なら（その可能性は非常に高い）ば、ディオファントスの分野に与える影響は大きい
かつ、望月IUT理論は、まだ改良の余地大と見ました
５．なので、プロ数学者の皆さん Promenade in IUT(>>2)とか、国際会議やって、メシのたね（論文ネタ）
みんなでIUTを突いて遊ぼうってことじゃんｗ
分かってないね。IUTを突いたらおいしいってね
まずいものを突いても仕方ないんだよ
599:１３２人目の素数さん
21/03/03 10:46:55.11 lWynEZ55.net
>>549
>そもそも「査読者」がいたかどうかわからない
>編集者自身の「自己査読」の可能性すら否定できない
１．妄想も、ここまで来たら病気でしょ
２．そのそも、「査読が通ってPRIMS掲載に決定」というのは、普通に考えて、RIMS内部の編集委員会とか会議で決めるもの
出席者は玉川先生以外にもいて、出席者の決をもって会議は進むもの
当然、議事録があるだろうし、望月IUTについて、だれが査読して（いつ頼んで、どんな査読結果だったか返信記録もあるはず）
内部には、全部記録があって、それが編集会議に出されて、出席者は査読結果を知って、OKを出すものですよ
３．いまどき、ゴマカシや隠し事はすぐばれる（余談ですが、どこかの国で首相の息子がお役人とメシ食ったって話も、隠し事すぐばれる時代
ブン春ですか？ 結構な値段で買ってくれるの？ｗ IUTスキャンダルねた？ さあ、いくらでしょうねｗ）
維新さん、良いネタ持っているなら、ブン春に持ち込みなさいよｗｗ
４．玉川先生の昨年４月の記者会見は、当然ちゃんと内部の会議の決定を経て、RIMSの長の（こんなプレス発表しますの）了解のもと
そんなん、社会人の常識ですよ。玉川先生の一存でもなんでもないよね
まあ、IUTアンチの妄想も、
やれやれですなｗｗｗ
600:Schlecht
21/03/03 10:51:56.05 IBGui4qx.net
>>558
>なにがなんでも、IUTは成立しないと言いたいみたいね
いえ そんなことは全くありませんよ
IUTについて専門家の理解が得られるなら、正しいと認めます
ただ何年たってもそういう状況にならないから、無理だろうと思ってるだけです
もちろん、ひっくり返る可能性はゼロではありませんが
601:Schlecht
21/03/03 10:55:06.13 IBGui4qx.net
>>588
>日本および日本人に恨みでもあるようにね
恨み？ないですよ
日本国政府には不信感はありますけどね
でもそれはどこの国でも同じでしょう
日本に来る中国人で
中国政府とその要人を良く言う人に
出会ったことがありませんから
602:Schlecht
21/03/03 10:58:46.55 IBGui4qx.net
>>558
＞現実にプロ数学界で起きていることが全く見えない、見ようとしない。
それはフュルストさん、あなたのほうではないですか？
数論幾何のコミュニティですらIUTは理解されず受け入れられていない
それが現実ですよ
RIMSの会議の参加者ですら、別にIUTを理解し受け入れてるわけではない
望月の不等式には関心があるが、IUTでそれが証明されたとは思っていない
それも現実ですよ
603:Schlecht
21/03/03 11:09:33.50 IBGui4qx.net
>>558
>いま、南出論文で、ABCの明示公式が導けるようになった
それはCor3.12を前提した上での結果なので、
その先の証明でIUT理論を使ったわけではないですよ
>その応用も示されている。
それもさらに先の話であって、Cor3.12の正当性とは無関係ですね
>望月IUT理論を（ちょっと改良して）適用すると、
>定量評価ができて、いろいろなディオファントスの明示不等式がでる
「望月IUT理論を（ちょっと改良して）適用すると」ではなく
「望月の不等式（Cor 3.12）を利用して、その先をちょっと改良すると」ですね
したがって、Cor3.12を導くまでのIUT理論についてはノータッチ
理解できてないものはいじれないですからね
南出氏だけでなく、星氏も山下氏も
>南出論文が本当ならば、（その可能性は非常に高い）
>ディオファントスの分野に与える影響は大きい
Cor3.12を前提した南出論文が正しくても、
肝心のCor3.12が不成立だと無意味ですけどね
つまり全ては「望月予想」である「望月の不等式」（Cor3.12）の正否にかかってる
また、仮に望月予想が正しいとしても、
その証明が望月とは別の人によってなされた場合
ABC予想の解決はその人によってなされたのであって
望月は単に有用な貢献としたという程度にしか見られないでしょうね
ABC予想をした人は、ABC予想を前提した上で解決される諸問題の
解決を行ったとは見られないのと全く同じく
それが評価として適切か否かは別の問題としてありますが
そういう難しいことはあなたは全く言及してないんでしょう？
604:Schlecht
21/03/03 11:11:56.68 IBGui4qx.net
>>558
>みんなでIUTを突いて遊ぼうってことじゃん
>分かってないね。IUTを突いたらおいしいってね
おいしいのは「IUT」ではなく「望月の不等式」です
皆さん「望月の不等式」を突いて遊んでるのであって
「IUT」についてはほったらかし、というのが現実です
605:Schlecht
21/03/03 11:18:20.30 IBGui4qx.net
>>559
>いまどき、ゴマカシや隠し事はすぐばれる
実際ばれてますね
この期に及んで、誰も理解できてないってことが
望月氏はいろいろと言い訳してますけど、無意味ですね
誰にも理解されない理論には価値がない
玉川氏が「査読過程は墓場まで持っていく」といったのは
暗に自分は本当は賛同していないといいたかったんじゃないかな
そうでなければわざわざいうことではないですから お気の毒です
606:Schlecht
21/03/03 11:33:17.51 IBGui4qx.net
もし、IUTの記載を全部すっ飛ばして
Cor3.12を「望月の不等式」として提示した上で
そこからABC予想が導ける、という論文を書いた
としても十分査読は通ったと思う
（有意義な予想の提示だから）
ただ、それではABC予想を解決したことにならない
望月氏はどうしてもABC予想を解決したといいたかったんでしょう
607:１３２人目の素数さん
21/03/03 12:09:09.05 ve5yflbx.net
つかな
証明出来てないなら諦めろよ猿
別に証明に失敗したら処刑されるわけじゃ無いだろ
あー残念だったねってだけのことだろ
証明の穴があるなら穴を塞ぐか、出来ないなら諦める
最初からそういう全世界共通のルールだろ
なんで望月だけ例外なんだよカス野郎
608:１３２人目の素数さん
21/03/03 14:01:58.41 lWynEZ55.net
>>566
（引用開始）
もし、IUTの記載を全部すっ飛ばして
Cor3.12を「望月の不等式」として提示した上で
そこからABC予想が導ける、という論文を書いた
としても十分査読は通ったと思う
（有意義な予想の提示だから）
（引用終り）
おじさん、笑える
あんた、Cor3.12を読まずに、妄想書いたでしょ？
Cor3.12の記述は下記の通りです
Theorem 3.11.を前提にした記述だし、”Θ-Pilot”を使った不等式だから、Cor3.12はそれ以前を読まないとダメですよ
（なお、ショルツェ氏は、ホッジシアターが超難しいと、白状しましたね）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-05-18)
P173
Corollary 3.12.
(Log-volume Estimates for Θ-Pilot Objects)
Suppose that we are in the situation of Theorem 3.11.
in the multiradial representation of Theorem 3.11, (i), which we regard as subject to
the indeterminacies (Ind1), (Ind2), (Ind3) described in Theorem 3.11, (i), (ii).
for the procession-normalized mono-analytic log-volume of the image of a
q-pilot object
- |log(Θ)| >= -|log(q)|
609:１３２人目の素数さん
21/03/03 14:18:29.89 du5lAlR5.net
>>556
俺の主張とは関係ないな
人が理解することを前提としないのであれば、リーマン予想はコンピュータで試したら正しかった、とか公理にしよう、とか何となく正しそうだから正しい、とか一個くらい外れてそうだから正しくない、とか、
個々人が思い思いの理由をつければ解決する
610:Schlecht
21/03/03 15:00:24.08 IBGui4qx.net
>>568
"予想"としてステートメントを語るだけなら、必要なのは"設定"だけ
つまりIUT理論の定理群は一切不要
611:Schlecht
21/03/03 15:01:37.51 IBGui4qx.net
IUT理論（宇宙際タイヒミューラー理論）ブームに沸く人たち
URLﾘﾝｸ(anond.hatelabo.jp)
実に興味深い
612:Schlecht
21/03/03 15:09:25.63 IBGui4qx.net
もう随分昔のことになるが
Adams予想の解決なんて
一般人は知りもしないだろう
URLﾘﾝｸ(pantodon.shinshu-u.ac.jp)
613:Schlecht
21/03/03 15:25:31.86 IBGui4qx.net
数学に興味のない人が自慢だけのために数学の話をするのは空しいよね
614:Schlecht
21/03/03 15:26:14.27 IBGui4qx.net
そもそも自慢って空しいよね しかもそれが本当でないならなおさら
615:１３２人目の素数さん
21/03/03 15:30:14.89 IBGui4qx.net
数学と「日本」は無関係
616:１３２人目の素数さん
21/03/03 15:31:05.70 IBGui4qx.net
数学と「国家」も無関係
617:Schlecht
21/03/03 15:32:30.49 IBGui4qx.net
スポーツに「国家」を持ち込むなら、オリンピックは有害無益
618:Schlecht
21/03/03 15:33:30.92 IBGui4qx.net
ICMはオリンピックではないし、そうなってはならない
619:Schlecht
21/03/03 15:39:10.22 IBGui4qx.net
>>569
定理の証明とは感情的理由ではなく
公理∧￢定理が矛盾する証拠である
620:１３２人目の素数さん
21/03/03 15:53:47.17 lWynEZ55.net
>>575-576
>数学と「国家」も無関係
>スポーツに「国家」を持ち込むなら、オリンピックは有害無益
１．オリンピックがプロ化したのはいつからだったかな？
２．TVの放映権が絡んでいるとか。米TVが巨額のお金で放映権を払う。視聴率を上げるためにプロ化されたらしい
３．真夏の暑いときにマラソンとかやる。米国の夏休みの放映に合わせるため
４．プロ化したから、マラソン日本新に１億円の懸賞金出るそうな
５．数学の似たようなもの。いまどき牧歌的に、個人が研究してもね。それフェルマーの時代でしょ？
６．数学も、プロ化して、お金が出る方へ。ロシアの数学者、ソ連崩壊により、高額報酬の数学研究所などへ移ったよね
７．日本でも、国立大学などは法人化されて、予算獲得に「ひーひー」言っているそうな
要するに、維新さんの極左”アナーキズム”など
夢のまた夢
現実とは合いません
「IUTの現状認識」に同じ
621:Schlecht
21/03/03 16:27:37.18 IBGui4qx.net
>>580
フュルストさんの国家第一"ファシズム"って、誰が得するんですか？
622:Schlecht
21/03/03 16:29:36.66 IBGui4qx.net
>>580
>数学も、プロ化して、お金が出る方へ。
誤解でしょう
お金でいいアイデアが出るなら苦労しませんよ
必要なのはお金ではなく時間
お金は自分の代わりに考えてくれませんから
623:Schlecht
21/03/03 16:34:57.41 IBGui4qx.net
フュルストさんは東京オリンピック開催を望んでます？
624:Schlecht
21/03/03 16:36:10.96 IBGui4qx.net
私はコロナが蔓延してる現状では無理だと思いますね
625:Schlecht
21/03/03 16:37:44.01 IBGui4qx.net
もし政府が開催を強行しようとすれば崩壊するでしょうね
626:Schlecht
21/03/03 16:39:40.08 IBGui4qx.net
去年からのコロナに対する政府の対応で
政府が国民のためにあるのではないことが
明らかになったとおもいますよ
627:Schlecht
21/03/03 16:40:27.96 IBGui4qx.net
議会制では民主主義は実現できなかった、ということでしょう
628:Schlecht
21/03/03 16:44:27.33 IBGui4qx.net
日本人は「自分のみファースト」という戦略が
最低最悪だということを理解しましょう
629:Schlecht
21/03/03 16:46:57.73 IBGui4qx.net
そもそもただのスポーツ競技会にすぎないオリンピックで
国のチームを作るとか国旗を掲揚するとか国歌を演奏するとか
全く必要ないです
630:Schlecht
21/03/03 16:48:12.90 IBGui4qx.net
単純に全世界一律で成績だけで出場者を決めればいいし
個人のみを表彰すればいい
団体競技も国家と全く無関係にチーム編成すればいい
なんでそうしないんですか？
631:１３２人目の素数さん
21/03/03 18:06:48.17 lWynEZ55.net
>>582
>お金でいいアイデアが出るなら苦労しませんよ
>必要なのはお金ではなく時間
下記「大坂なおみが約40億円で1位」ちょっと古いですけど
TV見ていたら、プロコーチ雇ってトレーニングしているとか
複数人のチームを作っているそうですね。コーチングスタッフに数億払っても、おつり
南出先生が、英国フェセンコ先生のところに留学して、IUTの明示公式論文をまとめた
いまどきなら、zoomとかで代用できそうにの思うが、やっぱ留学の方が良いのでしょうねぇ～、人間だもの
じゃ、その留学費用はだれが？
飛行機代に、英国での宿代や生活費、給料とか、推定ですが１千万円は軽く超えるかも？
いまどきの数学も、やっぱお金ないとね
良い共同研究相手をゲットしないと、一人では不利でしょうね、違いますかね？
まあ、望月先生にはK先生という焼肉仲間が、
個人ゼミやってくれたそうですけどねｗ
（参考）
URLﾘﾝｸ(www.thetennisdaily.jp)
テニスデイリー
2020.08.20 17:00
大坂なおみが約40億円で1位。女子アスリート年収 テニス選手が上位独占
URLﾘﾝｸ(image.thetennisdaily.jp)
632:１３２人目の素数さん
21/03/03 18:19:16.70 lWynEZ55.net
>>568
>（なお、ショルツェ氏は、ホッジシアターが超難しいと、白状しましたね）
（追加）
"Hodge theater"は、Theorem 3.11にさんざん出てきますよ
「ホッジシアターが超難しい」なら、Theorem 3.11から無理じゃね？
（参考）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[3] Inter-universal Teichmuller Theory III: Canonical Splittings of the Log-theta-lattice. PDF NEW !! (2020-05-18)
P153
Theorem 3.11. (Multiradial Algorithms via LGP-Monoids/Frobenioids)
Fix a collection of initial Θ-data
be a collection of distinct Θ±ellNF-Hodge theaters [relative to the given initial
Θ-data] — which we think of as arising from an LGP-Gaussian log-theta-lattice
[cf. Definition 3.8, (iii)].
for the D-Θ±ellNF-Hodge theater determined, up to isomorphism, by the various
n,mHT Θ±ellNF, where m ∈ Z, via the vertical coricity of Theorem 1.5, (i) [cf.
Remark 3.8.2]
P155
as data which has not yet been subjected
to the indeterminacies (Ind1), (Ind2) discussed in (i)] and the corresponding data
arising from each Θ±ellNF-Hodge theater n,mHT Θ±ellNF, i.e.:
P159
Proof. The various assertions of Theorem 3.11 follow immediately from the definitions and the references quoted in the statements of these assertions — cf. also
the various related observations of Remarks 3.11.1, 3.11.2, 3.11.3, 3.11.4 below.
633:Schlecht
21/03/03 18:19:22.22 IBGui4qx.net
>>591
>留学費用はだれが？
自分で稼いでください
634:Schlecht
21/03/03 18:21:34.69 IBGui4qx.net
>>591
数学はスポーツではないですよ
635:Schlecht
21/03/03 18:22:16.83 IBGui4qx.net
お金で数学はできませんよ
636:Schlecht
21/03/03 18:24:22.57 IBGui4qx.net
アインシュタインは贅沢は嫌いで、質素な生活をとくに好んだ。
アインシュタインお気に入りの哲学者スピノザがレンズ職人として生活したように、
鉛管工にでもなって世�
637:翌驍ｱとが夢であった。
638:Schlecht
21/03/03 18:26:28.50 IBGui4qx.net
「（ガウスは）数学の教授になったことはなく、教師となることも嫌った」
数学は教わるものじゃない、と思っていたんだろう 間違ってない
639:１３２人目の素数さん
21/03/03 18:26:35.66 lWynEZ55.net
>>593
>>留学費用はだれが？
>自分で稼いでください
ご心配なく
数学エリートには、手厚い資金の保護があります
テニス同様にね（下記の通りです）
多分ショルツェ氏の同様でしょう
参考(>>5より)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Explicit Estimates in Inter-universal Teichmuller Theory. PDF NEW!! (2020-11-30) いわゆる南出論文
P8
Acknowledgements
The third author was supported by JSPS KAKENHI Grant Number 18K03239; the fourth author was supported by JSPS
KAKENHI Grant Number 20K14285. This research was supported by the
Research Institute for Mathematical Sciences, an International Joint Usage/Research Center located in Kyoto University, as well as by the Center
for Next Generation Geometry [a research center affiliated with the Research
Institute for Mathematical Sciences].
640:１３２人目の素数さん
21/03/03 18:27:27.97 nsvzTfKt.net
>>592
ホッジ劇場そのものが難しいとは言ってない
>>262を読めば分かる
641:Schlecht
21/03/03 19:05:15.23 IBGui4qx.net
Reading the IUT papers, however, you are presented with some extremely difficult notion of a Hodge theater,
together with a highly non-obvious notion of isomorphisms of such
しかし、IUTの論文を読むと、ホッジ劇場の非常に難しい概念と、
そのような同型性についての非常に自明ではない概念が提示されます。
I find it hard to take a Hodge theater and produce some interesting set that is functorial in isomorphisms of Hodge theaters,
the problem being the very lax notion of isomorphisms of Hodge theaters.
ホッジ劇場の同型性の概念が非常に甘いことが問題なのですが、
私はホッジ劇場の同型性の中でファンクショナルな面白い集合を作るのは難しいと思っています
---
フュルスト氏は数学だけでなく英語も苦手なので、
読める単語だけ拾って「ホッジ劇場は難しい」と誤読したが
正しく読めば、ショルツェは、
「ホッジ劇場の概念自体に根本的な問題がある」
と指摘してることが分かる
642:Schlecht
21/03/03 19:12:50.34 IBGui4qx.net
lax
意味
厳しくない、手ぬるい、だらしのない、ゆるい、目のつんでない、
力の弱い、正確でない、あいまいな、ゆるんでいる
つまり
”the problem being the very lax notion of isomorphisms of Hodge theaters.”
は、分かりやすくいえば
「問題は、ホッジ劇場の同型性の”実にいいかげんな考え”によるものだが」
ということ
643:１３２人目の素数さん
21/03/04 00:28:26.00 CBK1HCBx.net
結局set theoryをロクに理解してない人達が安易な操作を許容して破綻してるっていうオチなんだろうね。
ちなみにショルツさんはその手の話のプロでもあります。
644:１３２人目の素数さん
21/03/04 01:07:55.47 3dZXhybh.net
否定派の人、特に数学のプロの人は、
望月本人に何がだめなのか教えて差し上げて下さい。
望月ブログに
相手の誤解という肝心な「入力データ」
＝「誤解学の研究対象」
という表現があったように、
そもそも何がだめなのかの情報がないと、建設的な議論は見込めません。
忙しいとか、めんどくさいとかで、それすらしないのは学問の放棄ではないでしょうか。
でなければ、否定する根拠はないけどとりあえず否定しているということにほかなりません。
�
645:{来査読が通ったというは、学問的な決着がついたと見るとこですが、 ショルツというビッグネームの異議について表だって解決はしておらず、今回査読を通したのは、 単に明示的な記録に残すためであったという側面が否めないため、 IUTの正否はまだ保留された状態に見受けられます。 IUTは荒唐無稽の空論なのか、ブレークスルーになり得る革新的な理論なのか、 何かしらの決着がつくことを願います。
646:１３２人目の素数さん
21/03/04 04:24:42.49 mWCz6m4r.net
学問が解らないバカこそが査読査読と連呼する
査読論文撤回世界一は日本の理系研究者
647:１３２人目の素数さん
21/03/04 04:26:17.37 mWCz6m4r.net
査読者以外で論文の裏書きが出来る人間を呼んで下さい＾＾
648:Schlecht
21/03/04 07:31:09.79 Mt/3lOIw.net
>>603
>否定派の人
･･･ではなく非肯定派ですね
非肯定 「正しいとはいえない」
否定 「間違ってる」
全く違いますね
まず違いを理解しましょう
649:Schlecht
21/03/04 07:31:34.32 Mt/3lOIw.net
>>603
>望月本人に何がだめなのか教えて差し上げて下さい。
「だめ」＝「間違ってる」ではなく
「だめ」＝「分からない」とした場合
ショルツはモノドロミーと明確に教えた筈です
モノドロミー 望月には理解できませんか？
望月、数学者ですよね？
650:Schlecht
21/03/04 07:32:17.25 Mt/3lOIw.net
>>603
>望月ブログに
>相手の誤解という肝心な「入力データ」
> ＝「誤解学の研究対象」
>という表現があったように、
>そもそも何がだめなのかの情報がないと、
>建設的な議論は見込めません。
議論したいなら、まず望月がIUTを建設してくださいね
なにも建設できていない、というのが
望月以外の数学者の意見ですから
なにが「できていない」のか
ショルツはモノドロミーという言葉で
何のあいまいさもなく的確に指摘しました
デュピュイがなんかいってるようですが
モノドロミーは一切考えなくていい
と言い切るのならその証拠を何のあいまいさもなく
的確に示してくださいね
それが理論の建設です
651:Schlecht
21/03/04 07:32:58.33 Mt/3lOIw.net
>>603
>忙しいとか、めんどくさいとかで、
>それすらしないのは学問の放棄ではないでしょうか。
そうですね
望月はモノドロミーに対して何も対応していない
学問の放棄ですね
あなたから直接メールで望月にそういったらいかがですか？
652:Schlecht
21/03/04 07:33:43.45 Mt/3lOIw.net
>>603
>でなければ、否定する根拠はないけど
>とりあえず否定しているということにほかなりません。
フュルスト氏は、そもそも非肯定を否定と誤解してますね
肯定する根拠がなければ肯定しません
ただそれだけのことです
肯定してほしいなら望月自身が根拠を示してください
仕事する必要があるのは望月であってショルツではありません
653:Schlecht
21/03/04 07:34:17.89 Mt/3lOIw.net
>>603
>本来査読が通ったというは、学問的な決着がついたと見るとこですが、
査読＝学問的な決着、としたいのであれば
プレプリントの段階で、同業者の理解を取り付ける
根回しをしましょうね
根回しができない段階で、編集長の独断で査読を通しても
学問的な決着にはならないことを理解しましょうね
654:Schlecht
21/03/04 07:35:19.56 Mt/3lOIw.net
>>603
>ショルツというビッグネームの異議について
>表だって解決はしておらず、
ショルツを呼びだしたのは森重文ってことは理解してますか？
森重文は問題の解決にはショルツというビッグネームの理解が必要だ
と考えたからわざわざ呼び出したわけですね
で、結局、望月は、ショルツにIUTを理解させることに失敗した
誰のせいですか？ショルツのせいですか？
違いますよ 望月自身のせいですよ
都合の悪いことを他人に押し付ける「外部化」は
問題を全く解決しないのでやめてくださいね
サクライマコトの韓国・朝鮮人排撃と全く同じですから
655:Schlecht
21/03/04 07:35:56.27 Mt/3lOIw.net
>>603
>今回査読を通したのは、
>単に明示的な記録に残すためであった
>という側面が否めないため、
記録はすでにプレプリントとして残ってます
査読を通したのは、文科省に
「ABC予想は解決しました！」
といいたいためだけでしょう
つまりお金のためですよ
お金は人間を狂わせる麻薬ですね
656:Schlecht
21/03/04 07:36:58.90 Mt/3lOIw.net
>>603
>IUTの正否はまだ保留された状態に見受けられます。
保留＝「正しいとは認められていない」＝非肯定、という意味なら
全く正しいです
だれも「否定」＝「間違ってる」とはいってません
ショルツの指摘は
「ホッジ劇場の同型の考えが緩すぎて、なんでもありになってしまう
それではモノドロミーのせいで、望月の不等式は導けず
何の意味もない自明な不等式しかでない
望月の不等式を導くには考えを明確にする必要があるが
個人的には、まあ無理だと思うが、できるというならやってみて」
というものですね
挑発？かもしれませんね
で？だったら、逃げるの？
何も対抗する手段がないなら、逃げるしかないですね
逃げたら？
657:Schlecht
21/03/04 07:38:50.53 Mt/3lOIw.net
>>603
>IUTは荒唐無稽の空論なのか、
>ブレークスルーになり得る革新的な理論なのか、
>何かしらの決着がつくことを願います。
眞子様の件に関する天皇陛下の発言とそっくりですね
フュルスト氏が天皇陛下なら望月は小室圭ですか
じゃ、フュルスト氏は望月にメール書いたら如何ですか？
「日本の誇りを取り戻すために
ショルツからの疑義を晴らしてください
ドイツに勝利してください！！！」
実に上ずってますね
何時から数学はサッカーのワールドカップになったんですか？
658:１３２人目の素数さん
21/03/04 09:33:22.75 DY2TmcDc.net
否定でなく非肯定ということであれば、何も言うことはありません。
新しいレポートも執筆中ということなので、
望月側の布教活動とやらに期待します。
IUTの正否または意義は歴史が評価することになるでしょう。
それが、１年後なのか、100年後なのかは分かりませんが。
659:１３２人目の素数さん
21/03/04 10:11:55.56 GswT501p.net
>>616
>否定でなく非肯定ということであれば、何も言うことはありません。
同意です。私には、言うべきことはありますがｗ
>IUTの正否または意義は歴史が評価することになるでしょう。
>それが、１年後なのか、100年後なのかは分かりませんが。
同意です
個人的には１年と見ています
”望月側の布教活動”と書かれていますが、”望月側”の人数増加しています