[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
401: 2021/03/01(月)07:51 ID:v7ayOauM(1/52) AAS
>>398
ん？だからタイヒミュラーのタの字理解してから返信してくださいと言いましたよね。
頭おかしいのはあなたですけど。
私は、数理解析研究所落ちぶれたと思ってますし、日本の大学の世界ランク知ってます？
世界の数学者と話したことあります？
英語できませんもんね。
402: 2021/03/01(月)07:52 ID:v7ayOauM(2/52) AAS
しまった、クソスレだった。
403(1): 2021/03/01(月)07:56 ID:v7ayOauM(3/52) AAS
ショルツなどのまともな人間に、説明できない、事の方がむしろ異常だと思うんですが。
なんで、そもそもIUTは、宇宙の果て勝手に定めちゃってるんですか？
なんか安定ホモトピー理論とか背景にあるんですか？ないですよね。公理として不十分な選択公理使って遊んでるだけですよね？
404: 2021/03/01(月)07:58 ID:v7ayOauM(4/52) AAS
モデルの専門家でもない素人が勝手にモデル作っちゃって、それ説明するの選択公理って理論として破綻してませんかね？
って世界の数学者言ってるの聞いてないの誰なんでしょうか？
405: 2021/03/01(月)08:01 ID:v7ayOauM(5/52) AAS
別に望月さんは、自分の理論を作り上げて素晴らしいと思うんですけど、タイヒミュラーのタの字を知らないアタナが信仰している宗教を他人に押し付けるのは人としてどうなんでしょうか？
間違ってますよね？
406: 2021/03/01(月)08:03 ID:v7ayOauM(6/52) AAS
私は、望月さんは、自分の考えを世に示しました。それは素晴らしいです。しかし私はこうこう言う理由で、ちょっと受け付けることができません。
あなたの場合、完全に信者ですよね？
408: 2021/03/01(月)11:40 ID:v7ayOauM(7/52) AAS
>>407
えっあなた、そこに集う方がどうこうって私何か言いました？
409: 2021/03/01(月)11:44 ID:v7ayOauM(8/52) AAS
あなた明らかに日本語喋れてませんよね？
数学者って、そこに集う人だけなんですね。
あなたの数学者の定義よくわかりました。
笑
そもそも公開的に質問するための場であって、出席==賛成とも反対ともならないですよね。
あなたすべての数学やってる人のこと勝手に決めつけて失礼なの自覚してます？
してないですよね？
411: 2021/03/01(月)12:09 ID:v7ayOauM(9/52) AAS
>>410
どうも自演おつです。
アニオタ研究員さんですね。
NG登録しました。
414(1): 2021/03/01(月)14:55 ID:v7ayOauM(10/52) AAS
>>412
ちょっと待ってくれ。
HoTT 8章では、安定ホモトピーがつくれることまでは書いてあるが、ベルヌーイ数について記述はないぞ。
俺はタダ乗りしてるから、むしろ教えろ（下さい）。
415(3): 2021/03/01(月)14:57 ID:v7ayOauM(11/52) AAS
ベルヌーイ数って、スピンの行列計算（ルジャンドル多項式かなんかで出てこんかったっけ？）こんなとこでも出てくるかこら？下さい
417: 2021/03/01(月)15:05 ID:v7ayOauM(12/52) AAS
ん、30とか60はあるが、
しかし、24 ってベルヌーイ数の分母なん？
418: 2021/03/01(月)15:08 ID:v7ayOauM(13/52) AAS
>>416
何が面白いかって、
私は、それはそれほど複雑なものである理論をカラクリに落とし込んだ天才の simplification だと思う。
419: 2021/03/01(月)15:12 ID:v7ayOauM(14/52) AAS
ホモトピーの本質を抜き出さなければ、ここまで出来んと思うが、
私はまだ本質を説明するまで理解していない。
しかし言えることがあるなら、複素幾何という装置を使わなくとも、
依存型の関数型で、同じ本質の議論が出来、複素幾何の本質のみを抜き出し安定ホモトピーの議論をそのままできる。
420: 2021/03/01(月)15:13 ID:v7ayOauM(15/52) AAS
>>416
まだ試していないが、
その装置をHoTT は提供している。
安定ホモトピーはもちろん計算できる。
421(2): 2021/03/01(月)15:15 ID:v7ayOauM(16/52) AAS
いや、ベルヌーイ数の記述どこよ。
422(1): 2021/03/01(月)15:19 ID:v7ayOauM(17/52) AAS
外部ﾘﾝｸ:ncatlab.org
ほんとや（下さい）
424(2): 2021/03/01(月)15:24 ID:v7ayOauM(18/52) AAS
>>415
あそっか。
スピンは四元数やから、関わっとってもなんら不思議はない。
425: 2021/03/01(月)15:24 ID:v7ayOauM(19/52) AAS
>>423
どうも（すみません、見つけました）
427: 2021/03/01(月)15:29 ID:v7ayOauM(20/52) AAS
適当なことをいけど、
一元体の話はなんかわかるかもしれん。
Cisinski がたしか言うように、
ホモトピーは、一元体上の導来圏。
428: 2021/03/01(月)15:32 ID:v7ayOauM(21/52) AAS
導来圏は、局所化して関数空間をみるなど、コホモロジーなどではするやろうが、
無限圏はただのホモロジーやから、一元体上の導来圏として、局所化されている。
430: 2021/03/01(月)15:35 ID:v7ayOauM(22/52) AAS
は？ただ同値関係定義して割るだけ。
433(1): 2021/03/01(月)15:40 ID:v7ayOauM(23/52) AAS
コホモロジーで消耗しすぎじゃないのおっさん（お疲れ様です）
悪いが、Cisinki の1.5 か1.6 を参照してくれ。
導来圏は、Cisinski 2.3。
外部ﾘﾝｸ[pdf]:www.mathematik.uni-regensburg.de
434(1): 2021/03/01(月)15:47 ID:v7ayOauM(24/52) AAS
>>432
いやスペクトル系列は使わんでしょ。
437(1): 2021/03/01(月)15:53 ID:v7ayOauM(25/52) AAS
know of ではあるが、know ではない。
全部理解した上で安定ホモトピーとまで言ってない。
IUT と異なり、HoTT に欠陥が見当たらないからべんきょうしているだけ。
439(1): 2021/03/01(月)15:55 ID:v7ayOauM(26/52) AAS
>>436
かんたんとは、よく言ったものやな、おっさん。
計算可能性の話とか、コンパイラの理論とか全部すっ飛ばしたら、理解するのはかんたんやろけど、
あとは想像しろ下さい
440(1): 2021/03/01(月)15:56 ID:v7ayOauM(27/52) AAS
>>438
おまえ壁の内側がなんでできてるのか知って家に住んでるんか？
飛行機の材料と設計図列挙して飛行機乗ってるんかいな。
442: 2021/03/01(月)15:57 ID:v7ayOauM(28/52) AAS
信用、という言葉シランなら、ちょっと2ちゃんねるやめたほうがええで。
443(1): 2021/03/01(月)15:59 ID:v7ayOauM(29/52) AAS
>>441
んッ？程度の差はあれど、相手が納得できるかできんかでしょう。あんたを納得させるほど俺は知らんとなんべんも言うてる。
445(1): 2021/03/01(月)16:02 ID:v7ayOauM(30/52) AAS
>>444
HoTT ってプログラミング言語だよ。
446(1): 2021/03/01(月)16:04 ID:v7ayOauM(31/52) AAS
>>444
いや、無知を知らん奴らと一緒にされては困る。知ってることはすべて言うてる。
言うてることが一つ同じなら、同類とはならん。
450(1): 2021/03/01(月)16:10 ID:v7ayOauM(32/52) AAS
>>448
型理論。
MLTT 型理論にUnivalence Axiom を足したもん。
何が嬉しいかって、プログラミング言語なの。この理論。
451(1): 2021/03/01(月)16:11 ID:v7ayOauM(33/52) AAS
>>449
頭大丈夫？
「無知」って言ってるけど。
453: 2021/03/01(月)16:11 ID:v7ayOauM(34/52) AAS
>>450
あとHIT もやけど。
455: 2021/03/01(月)16:13 ID:v7ayOauM(35/52) AAS
>>452
そんなに気になるんなら、ちょっと数年待ってて。
というか、coq/ hott で検索したら出来たやつがある。
456(1): 2021/03/01(月)16:15 ID:v7ayOauM(36/52) AAS
>>454
お前と違って何でも知ってるとは思っていないんで。
こっちこそ、
全く質問に答えられてないんやけど。
導来圏もしらんアホは黙っといたほうがええんちゃうか？
458: 2021/03/01(月)16:16 ID:v7ayOauM(37/52) AAS
コホモロジーいうてて恥ずかしないんか？
460(1): 2021/03/01(月)16:19 ID:v7ayOauM(38/52) AAS
自分で調べて自分でかけ。coq/ hott 使えば、何も中身の仕組みしらんくてもアホでもできる。
悪いが、機械より上のことは、
そこまで興味ない。
461(1): 2021/03/01(月)16:20 ID:v7ayOauM(39/52) AAS
お前こそ、IUT みたいに同じこと言うてるな。IUT 君と同じこと言ってて恥ずかしくないの？
464: 2021/03/01(月)16:22 ID:v7ayOauM(40/52) AAS
>>462
んっだから日本語よめてる？
IUT はこっちが矛盾に指摘してるのに対して、あんたはなんの矛盾を指摘してんですか？
465: 2021/03/01(月)16:23 ID:v7ayOauM(41/52) AAS
>>463
俺が、いつcoq/hott 書いたって言ったの？
馬鹿なの？
言葉よめないの？
466: 2021/03/01(月)16:23 ID:v7ayOauM(42/52) AAS
知りたきゃ勝手にしろ。
お前は何も矛盾指摘できてない。
468(1): 2021/03/01(月)16:25 ID:v7ayOauM(43/52) AAS
中身知らなくても OK なんていうてないけど。
そもそも導来圏も知らずにどうしてコホモロジーができるんですか？
469: 2021/03/01(月)16:26 ID:v7ayOauM(44/52) AAS
バカなの？墓穴掘りたいの？だから棺桶用意しておけとあれほど口酸っぱく言ったのに。
472: 2021/03/01(月)17:12 ID:v7ayOauM(45/52) AAS
>>470
日本語読め。
必要とは言ってない。
導来圏なしで、コホモロジー論語ってればいいんじゃないの？
473(1): 2021/03/01(月)17:13 ID:v7ayOauM(46/52) AAS
「なんかちぐはぐだなあ」は草
お前が日本語読めてないだけ。
475: 2021/03/01(月)17:16 ID:v7ayOauM(47/52) AAS
>>474
質問したのお前だろ。バカなの？
477(1): 2021/03/01(月)17:18 ID:v7ayOauM(48/52) AAS
>>476
笑
お前イライラしてるんやな。
483(1): 2021/03/01(月)17:25 ID:v7ayOauM(49/52) AAS
>>482
いや、今お前がイライラしてる間に HoTT 読んでるから、またマウントよろ。
484: 2021/03/01(月)17:26 ID:v7ayOauM(50/52) AAS
お前のカスみたいなマウントでも気づきがあるんでね。
491: 2021/03/01(月)19:15 ID:v7ayOauM(51/52) AAS
>>489
シコンナ、キモチワルイ
493: 2021/03/01(月)19:26 ID:v7ayOauM(52/52) AAS
ww
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.878s*