- 1 名前：１３２人目の素数さん [2021/02/20(土) 10:22:32.50 ID:Z8PgJDTw.net]
- 20200403の記者会見により、望月Inter-universal Teichmuller theory (abbreviated as IUT) （下記）は、新しい局面に入りました。
査読が終り、IUTが正しいことは、99％確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！（＾＾；）
（旧"応援"スレが、1000又は1000近くになったので、新スレ立てた。）
（参考）
https://mainichi.jp/articles/20200403/k00/00m/040/295000c
望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
https://cdn.mainichi.jp/vol1/2020/04/03/20200403k0000m040296000p/6.jpg
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、（ショルツ教授からの）再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。
https://www.youtube.com/watch?v=7BnxK_NMwaQ
数学の難問ABC予想 京大教授が証明 30年以上未解決 2020/04/03 FNNプライムオンライン
つづく
- 411 名前：１３２人目の素数さん [2021/02/28(日) 20:00:54.27 ID:c9K39yvS.net]
- >>378
(引用開始)
1．そもそも、まともな数学者なら（意図して間違った）「論文ねつ造」とか、あるわけない
2．望月先生は、学会賞の受賞歴もあり、IUTの準備論文だけでも、その成果を誇るのに、十分な量と質があるよ
3．黙っていても、RIMSの定年までは安泰だわ
(引用終り)
動機がないってことね
望月先生には、「論文ねつ造」する動機なし！
「論文ねつ造」で、得られる利益なし！
逆に、「論文ねつ造」など、失うもの大杉～！
- 412 名前：１３２人目の素数さん [2021/02/28(日) 20:04:51.86 ID:c9K39yvS.net]
- >>379
>つかな
>証明出来てないなら諦めろよ猿
意味分からん
IUTの4編の論文の査読は終わって、アクセプトされ、今年の春（もうすぐ）出版されるという
それ以上に何かすることがあるのか？
IUTの検証に国際会議が4つ計画されている
それ以上に何かすることがあるのか？
そもそも、IUTの成否を決めるのは5ｃｈではないよね
勘違いも、ほどほどに
- 413 名前：１３２人目の素数さん mailto:sage [2021/02/28(日) 20:27:16.86 ID:ba03IeOv.net]
- >>378
京大RIMSは望月の「借りアクセプト」で迷惑をこうむってるね
玉川の「査読過程は墓場までもっていく」というコメントから明らか
- 414 名前：１３２人目の素数さん mailto:sage [2021/02/28(日) 20:28:36.92 ID:ba03IeOv.net]
- >>380
望月新一は焦ってるね
今回の「借りアクセプト」で全ての信用を失ったよ
- 415 名前：１３２人目の素数さん mailto:sage [2021/02/28(日) 20:30:20.34 ID:ba03IeOv.net]
- >>381
IUTの検証はしてないね
望月の不等式の証明への挑戦をしてるだけ
望月の不等式＝IUTではないよ
IUTは望月の不等式の証明に失敗した失敗理論
- 416 名前：１３２人目の素数さん mailto:sage [2021/02/28(日) 20:31:05.34 ID:ba03IeOv.net]
- 線型代数も分からん阿多岡には代数幾何は到底無理 諦めろ
- 417 名前：１３２人目の素数さん mailto:sage [2021/02/28(日) 20:31:28.98 ID:ba03IeOv.net]
- 阿多岡への宿題１．線型空間の定義は？
- 418 名前：１３２人目の素数さん mailto:sage [2021/02/28(日) 20:31:48.42 ID:ba03IeOv.net]
- 阿多岡への宿題２．線型写像の定義は？
- 419 名前：１３２人目の素数さん mailto:sage [2021/02/28(日) 20:32:07.48 ID:ba03IeOv.net]
- 阿多岡への宿題３．線型独立の定義は？
- 420 名前：１３２人目の素数さん mailto:sage [2021/02/28(日) 20:32:38.48 ID:ba03IeOv.net]
- 阿多岡への宿題４．線型写像が同型写像となる必要十分条件は？
- 421 名前：１３２人目の素数さん mailto:sage [2021/02/28(日) 20:33:14.77 ID:ba03IeOv.net]
- 以上 これ出来るまでコピペ禁止、他の書き込み禁止な 阿呆の阿多岡ｗｗｗ
- 422 名前：１３２人目の素数さん [2021/02/28(日) 21:23:04.03 ID:xU85chhw.net]
-
つかな
証明出来てないなら諦めろよ猿
別に証明に失敗したら処刑されるわけじゃ無いだろ
あー残念だったねってだけのことだろ
証明の穴があるなら穴を塞ぐか、出来ないなら諦める
最初からそういう全世界共通のルールだろ
なんで望月だけ例外なんだよカス野郎
- 423 名前：１３２人目の素数さん [2021/02/28(日) 21:58:32.21 ID:c9K39yvS.net]
- >>313
>ドイツ oberwolfach
(参考)
https://www.mext.go.jp/a_menu/math/index.htm
トップ > 科学技術・学術 > 研究環境・基盤整備、研究拠点形成 > 数学・数理科学と諸科学・産業との連携による数学イノベーションの推進
文部科学省 委託調査
平成27年度「数学・数理科学を活用した異分野融合研究の動向調査」（目次、第1～3章） （PDF:4439KB） PDF
平成27年度「数学・数理科学を活用した異分野融合研究の動向調査」（第4～5章） （PDF:3914KB） PDF
平成27年度「数学・数理科学を活用した異分野融合研究の動向調査」（第6章） （PDF:3303KB） PDF
平成27年度「数学・数理科学を活用した異分野融合研究の動向調査」（第7章、参考） （PDF:2819KB） PDF
https://www.mext.go.jp/component/a_menu/science/detail/__icsFiles/afieldfile/2016/04/06/1362851_09.pdf
平成27年度「数学・数理科学を活用した異分野融合研究の動向調査」（第6章）
P192
2.3. オーバーボルファッハ数学研究所（Mathematisches Forschungsinstitut
Oberwolfach:MFO）・ドイツ （タイプ : 短期滞在型研究所）
回答者 :Gerhard Huisken 所長
回答日 :2015.12.1
P195
3） 数学者は研究所や大きな施設がなくても研究できるという人もいる。数学の訪問滞
在型研究所の長所、短所は ?
訪問滞在型数学研究所は次の点で重要である。数学の成果は高度に圧縮されて発表
される。重要な概念やアイディアをより効果的に伝えることは訪問型研究所の役割で
ある、そこで人々は非公式に1対1で向き合うことができる。孤立した研究所は、深
く抽象的な問題に完全に集中する機会を与えてくれる。
- 424 名前：１３２人目の素数さん [2021/02/28(日) 22:00:38.26 ID:c9K39yvS.net]
- >>391
ド素人が
なにをガタガタ言っているの？
みっともないよ
- 425 名前：１３２人目の素数さん mailto:sage [2021/02/28(日) 22:02:23.06 ID:afYZA9r+.net]
- 足掛け１０年にわたる「Inter-universal geometry と ABC予想」ｽﾚも荒れて終了か。
感慨無量だな。
- 426 名前：１３２人目の素数さん [2021/02/28(日) 23:08:42.05 ID:c9K39yvS.net]
- >>394
IUTはハッピーエンド
世界に認められ
日本の誇りです
荒れる？
この程度は
春のそよ風ですよ
- 427 名前：１３２人目の素数さん mailto:sage [2021/02/28(日) 23:29:05.82 ID:EqgzNmIJ.net]
- >>325
（複素）タイヒミュラー理論の「タ」の字をしってから返信してくれるかな。
- 428 名前：１３２人目の素数さん mailto:sage [2021/02/28(日) 23:35:18.59 ID:EqgzNmIJ.net]
- 「数理解析研究所が認めるなら俺も認める。」
ならわかるが、意味もわからんのに「これは重要だ」は、IUT のアンチ行為と大半は取るよ、「また馬鹿がなんか言っとる、また信者か」と。
俺はそれで構わんが、
矛盾してるよね。
あっ…
ここ頭おかしいスレだった…
- 429 名前：１３２人目の素数さん [2021/03/01(月) 07:09:13.83 ID:bnXR1ess.net]
- >>397
1．頭おかしいのはあなたです
2．ここは、ただの5ｃｈ。数学板は素人向け。書き手の多くは素人（プロ数学者ではないという意味）
3．それを前提すれば、あんたの主張は、全く的外れw
4．現段階では、IUTを真に理解できている人は、プロ数学者でも遠アーベルの専門家の一部にすぎないだろう
5．大部分の専門外のプロ数学者は、これからでしょうね
6．ここでIUTの議論は、所詮外野の観客席から、ヤジ�
- 430 名前：ﾎす程度の話だよ
頭おかしいのはあなたです
自分、賢いつもり？ｗｗ [] - [ここ壊れてます]
- 431 名前：Schlecht mailto:sage [2021/03/01(月) 07:09:33.99 ID:Rz6p2V3E.net]
- >>395
>IUTはハッピーエンド
>日本の誇りです
「ニッポンの埃」の誤りかと
- 432 名前：Schlecht mailto:sage [2021/03/01(月) 07:13:48.29 ID:Rz6p2V3E.net]
- >>398
>ここは、ただの5ｃｈ。素人向け。書き手の多くは素人。
>議論は、所詮外野の観客席から、ヤジ飛ばす程度
トンデモが ネタでホラふく ５ちゃんねる
５ちゃんねるでも試合の進行妨げる客は退場ってことで
- 433 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 07:51:44.56 ID:v7ayOauM.net]
- >>398
ん？だからタイヒミュラーのタの字理解してから返信してくださいと言いましたよね。
頭おかしいのはあなたですけど。
私は、数理解析研究所落ちぶれたと思ってますし、日本の大学の世界ランク知ってます？
世界の数学者と話したことあります？
英語できませんもんね。
- 434 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 07:52:32.35 ID:v7ayOauM.net]
- しまった、クソスレだった。
- 435 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 07:56:44.91 ID:v7ayOauM.net]
- ショルツなどのまともな人間に、説明できない、事の方がむしろ異常だと思うんですが。
なんで、そもそもIUTは、宇宙の果て勝手に定めちゃってるんですか？
なんか安定ホモトピー理論とか背景にあるんですか？ないですよね。公理として不十分な選択公理使って遊んでるだけですよね？
- 436 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 07:58:39.90 ID:v7ayOauM.net]
- モデルの専門家でもない素人が勝手にモデル作っちゃって、それ説明するの選択公理って理論として破綻してませんかね？
って世界の数学者言ってるの聞いてないの誰なんでしょうか？
- 437 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 08:01:05.61 ID:v7ayOauM.net]
- 別に望月さんは、自分の理論を作り上げて素晴らしいと思うんですけど、タイヒミュラーのタの字を知らないアタナが信仰している宗教を他人に押し付けるのは人としてどうなんでしょうか？
間違ってますよね？
- 438 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 08:03:03.40 ID:v7ayOauM.net]
- 私は、望月さんは、自分の考えを世に示しました。それは素晴らしいです。しかし私はこうこう言う理由で、ちょっと受け付けることができません。
あなたの場合、完全に信者ですよね？
- 439 名前：１３２人目の素数さん [2021/03/01(月) 11:37:17.95 ID: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 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 11:40:52.35 ID:v7ayOauM.net]
- >>407
えっあなた、そこに集う方がどうこうって私何か言いました？ []- [ここ壊れてます]
- 442 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 11:44:06.14 ID:v7ayOauM.net]
- あなた明らかに日本語喋れてませんよね？
数学者って、そこに集う人だけなんですね。
あなたの数学者の定義よくわかりました。
笑
そもそも公開的に質問するための場であって、出席==賛成とも反対ともならないですよね。
あなたすべての数学やってる人のこと勝手に決めつけて失礼なの自覚してます？
してないですよね？
- 443 名前：１３２人目の素数さん [2021/03/01(月) 12:08:12.52 ID:CfVuBQyt.net]
- 5回以上書き込みしてるやつをNGにするとすっきり
- 444 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 12:09:39.74 ID:v7ayOauM.net]
- >>410
どうも自演おつです。
アニオタ研究員さんですね。
NG登録しました。
- 445 名前：Schlecht mailto:sage [2021/03/01(月) 13:01:22.20 ID:Rz6p2V3E.net]
- >>403
>安定ホモトピー理論
横レスだが
Q. 球面の安定ホモトピー群の計算方法を教えてほしい
特にベルヌーイ数の分母がどうして出てくるのか教えてほしい
不思議だと思わないか？
- 446 名前：Schlecht mailto:sage [2021/03/01(月) 13:08:26.51 ID:Rz6p2V3E.net]
- >>407
>５ｃｈの数学板で、学会ごっこですか？
数学がオリンピック競技だと思ってる人もいるようだ
ICMのフィールズメダル授与式では、国旗掲揚も国歌演奏もないのだが
- 447 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 14:55:45.66 ID:v7ayOauM.net]
- >>412
ちょっと待ってくれ。
HoTT 8章では、安定ホモトピーがつくれることまでは書いてあるが、ベルヌーイ数について記述はないぞ。
俺はタダ乗りしてるから、むしろ教えろ（下さい）。
- 448 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 14:57:48.16 ID:v7ayOauM.net]
- ベルヌーイ数って、スピンの行列計算（ルジャンドル多項式かなんかで出てこんかったっけ？）こんなとこでも出てくるかこら？下さい
- 449 名前：Schlecht mailto:sage [2021/03/01(月) 15:05:39.05 ID:Rz6p2V3E.net]
- >>414
HoTTという本は読んだことはないが、
球面の安定ホモトピー群の計算は出てこないのかね？
もしそうだとすると、いったい何が面白いのかね？
https://en.wikipedia.org/wiki/Homotopy_groups_of_spheres
トポロジーの最大の成果といえば、
球面の安定ホモトピー群と異種球面
が双璧だと思ってるが、
前者はベルヌーイ数の分母、後者はベルヌーイ数の分子
が出てくる その深い理由が知りたい
なんか知らんけど出てきた、とかいうのではつまらない
- 450 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:05:51.67 ID:v7ayOauM.net]
- ん、30とか60はあるが、
しかし、24 ってベルヌーイ数の分母なん？
- 451 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:08:07.10 ID:v7ayOauM.net]
- >>416
何が面白いかって、
私は、それはそれほど複雑なものである理論をカラクリに落とし込んだ天才の simplification だと思う。
- 452 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:12:09.01 ID:v7ayOauM.net]
- ホモトピーの本質を抜き出さなければ、ここまで出来んと思うが、
私はまだ本質を説明するまで理解していない。
しかし言えることがあるなら、複素幾何という装置を使わなくとも、
依存型の関数型で、同じ本質の議論が出来、複素幾何の本質のみを抜き出し安定ホモトピーの議論をそのままできる。
- 453 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:13:59.95 ID:v7ayOauM.net]
- >>416
まだ試していないが、
その装置をHoTT は提供している。
安定ホモトピーはもちろん計算できる。
- 454 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:15:03.16 ID:v7ayOauM.net]
- いや、ベルヌーイ数の記述どこよ。
- 455 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:19:55.73 ID:v7ayOauM.net]
- https://ncatlab.org/nlab/show/homotopy+groups+of+spheres
ほんとや（下さい）
- 456 名前：Schlecht mailto:sage [2021/03/01(月) 15:23:38.49 ID: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
https://en.wikipedia.org/wiki/J-homomorphism
- 457 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:24:28.92 ID:v7ayOauM.net]
- >>415
あそっか。
スピンは四元数やから、関わっとってもなんら不思議はない。 []- [ここ壊れてます]
- 459 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:24:57.73 ID:v7ayOauM.net]
- >>423
どうも（すみません、見つけました）
- 460 名前：Schlecht mailto:sage [2021/03/01(月) 15:27:09.14 ID:Rz6p2V3E.net]
- 一元体についても気になる記述がある
https://ja.wikipedia.org/wiki/%E4%B8%80%E5%85%83%E4%BD%93
「一元体F1 の m-次の K-群 K(F1) は
球スペクトルの m-次安定ホモトピー群でなければならない。」
- 461 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:29:50.51 ID:v7ayOauM.net]
- 適当なことをいけど、
一元体の話はなんかわかるかもしれん。
Cisinski がたしか言うように、
ホモトピーは、一元体上の導来圏。
- 462 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:32:26.73 ID:v7ayOauM.net]
- 導来圏は、局所化して関数空間をみるなど、コホモロジーなどではするやろうが、
無限圏はただのホモロジーやから、一元体上の導来圏として、局所化されている。
- 463 名前：Schlecht mailto:sage [2021/03/01(月) 15:34:42.06 ID:Rz6p2V3E.net]
- 言葉の羅列は要らない
具体的に計算を示してくれ
- 464 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:35:55.97 ID:v7ayOauM.net]
- は？ただ同値関係定義して割るだけ。
- 465 名前：Schlecht mailto:sage [2021/03/01(月) 15:37:49.26 ID:Rz6p2V3E.net]
- は、じゃなく具体的に計算をここでやってみせてくれ
そうしないと理解できないから
- 466 名前：Schlecht mailto:sage [2021/03/01(月) 15:39:37.00 ID:Rz6p2V3E.net]
- 球面の安定ホモトピー群の計算には
スペクトル系列を使うんだろう？
HoTTでも当然出てくるんだよな？
さあここでやってみせてくれ
- 467 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:40:49.50 ID:v7ayOauM.net]
- コホモロジーで消耗しすぎじゃないのおっさん（お疲れ様です）
悪いが、Cisinki の1.5 か1.6 を参照してくれ。
導来圏は、Cisinski 2.3。
www.mathematik.uni-regensburg.de/cisinski/CatLR.pdf
- 468 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:47:35.81 ID:v7ayOauM.net]
- >>432
いやスペクトル系列は使わんでしょ。
- 469 名前：Schlecht mailto:sage [2021/03/01(月) 15:48:08.57 ID:Rz6p2V3E.net]
- >>433
君、全部読み切って理解した上で安定ホモトピーといってるんだろう？
悪いがここで、その計算をやり切ってみせてくれ
簡単だろう？
- 470 名前：Schlecht mailto:sage [2021/03/01(月) 15:50:20.31 ID:Rz6p2V3E.net]
- >>434
使わない？
それは新しいな
スペクトル系列は知ってるかい？
知った上で要らないと言い切ってる？
じゃ、ここで計算しきってみせてくれ
それが一番簡単だろう
- 471 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:53:11.92 ID:v7ayOauM.net]
- know of ではあるが、know ではない。
全部理解した上で安定ホモトピーとまで言ってない。
IUT と異なり、HoTT に欠陥が見当たらないからべんきょうしているだけ。
- 472 名前：Schlecht mailto:sage [2021/03/01(月) 15:53:36.98 ID:Rz6p2V3E.net]
- まさか安定ホモトピーが何なのかも全く知らずに
ただ安定ホモトピーって云いたかったから云っただけ
なんていわないよな
それってタイヒミュラーの業績も知らずに
IUT完全勝利って言ってる人とどこが違うんだ？
- 473 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:55:14.06 ID:v7ayOauM.net]
- >>436
かんたんとは、よく言ったものやな、おっさん。
計算可能性の話とか、コンパイラの理論とか全部すっ飛ばしたら、理解するのはかんたんやろけど、
あとは想像しろ下さい
- 474 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:56:30.67 ID:v7ayOauM.net]
- >>438
おまえ壁の内側がなんでできてるのか知って家に住んでるんか？
飛行機の材料と設計図列挙して飛行機乗ってるんかいな。
- 475 名前：Schlecht mailto:sage [2021/03/01(月) 15:57:12.98 ID:Rz6p2V3E.net]
- >>437
know ofとは
https://eow.alc.co.jp/search?q=know%20of
つまり
「安定ホモトピーという言葉は知ってるが
それがどういうものかは知らない」
ってこと？
それ
「ＩＵＴって言葉は知ってるが
それがどういうものかは知らない」
っていうのと、どこが違うんだ？
- 476 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:57:16.31 ID:v7ayOauM.net]
- 信用、という言葉シランなら、ちょっと2ちゃんねるやめたほうがええで。
- 477 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 15:59:06.06 ID:v7ayOauM.net]
- >>441
んッ？程度の差はあれど、相手が納得できるかできんかでしょう。あんたを納得させるほど俺は知らんとなんべんも言うてる。
- 478 名前：Schlecht mailto:sage [2021/03/01(月) 16:01:36.96 ID:Rz6p2V3E.net]
- >>439
HoTTで計算可能性とかコンパイラとか出てくるの？
- 479 名前：>>440
>壁の内側がなんでできてるのか知って家に住んでるんか？
>飛行機の材料と設計図列挙して飛行機乗ってるんかいな。
IUT完全勝利君と同じようなこと言い出したなぁ…
IUT君に「分かってないんなら黙れ」っていうんなら
君も安定ホモトピーなんていわないほうがよかったんじゃないか？
まるで自分は旧姓使ってるのに「夫婦別姓反対」っていってる人みたい
https://news.yahoo.co.jp/articles/f026225e8d56018d604338b7a0f751ea36000b16 [] - [ここ壊れてます]
- 480 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 16:02:45.67 ID:v7ayOauM.net]
- >>444
HoTT ってプログラミング言語だよ。
- 481 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 16:04:42.70 ID:v7ayOauM.net]
- >>444
いや、無知を知らん奴らと一緒にされては困る。知ってることはすべて言うてる。
言うてることが一つ同じなら、同類とはならん。
- 482 名前：Schlecht mailto:sage [2021/03/01(月) 16:05:59.91 ID:Rz6p2V3E.net]
- >>443
HoTTがIUTより信頼できるかどうかは全く関係なく
君がHoTTの中身を知らんのならやっぱり
口にしないほうがよかったんじゃないかい？
ところで君は独学？
もしいっしょに学習してる友達がいるならその人に聞いてみて
どんどん手繰っていけばそのうち球面の安定ホモトピー群を
知ってる人に行きつく筈だから
- 483 名前：Schlecht mailto:sage [2021/03/01(月) 16:07:19.15 ID:Rz6p2V3E.net]
- >>445
HoTTってHomotopy Type Theoryの略じゃないの？理論じゃないの？
- 484 名前：Schlecht mailto:sage [2021/03/01(月) 16:09:30.07 ID:Rz6p2V3E.net]
- >>446
んー、IUT君とは違うといいたいみたいだけど、
具体的な違いって何？
IUT君が知らないだろうけど自分は知ってるってこと、例えば何？
- 485 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 16:10:24.37 ID:v7ayOauM.net]
- >>448
型理論。
MLTT 型理論にUnivalence Axiom を足したもん。
何が嬉しいかって、プログラミング言語なの。この理論。
- 486 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 16:11:08.77 ID:v7ayOauM.net]
- >>449
頭大丈夫？
「無知」って言ってるけど。
- 487 名前：Schlecht mailto:sage [2021/03/01(月) 16:11:25.26 ID:Rz6p2V3E.net]
- HoTTがプログラミング言語だというならそれでいいので
球面の安定ホモトピー群の計算を行うプログラムを書いてみせて
できるんでしょう？
- 488 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 16:11:54.58 ID:v7ayOauM.net]
- >>450
あとHIT もやけど。
- 489 名前：Schlecht mailto:sage [2021/03/01(月) 16:12:58.72 ID:Rz6p2V3E.net]
- >>451
いや、数学的な知見でなにかIUT君より余計に知ってること、ないの？
ないんなら…同類だよね
- 490 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 16:13:25.70 ID:v7ayOauM.net]
- >>452
そんなに気になるんなら、ちょっと数年待ってて。
というか、coq/ hott で検索したら出来たやつがある。
- 491 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 16:15:25.91 ID:v7ayOauM.net]
- >>454
お前と違って何でも知ってるとは思っていないんで。
こっちこそ、
全く質問に答えられてないんやけど。
導来圏もしらんアホは黙っといたほうがええんちゃうか？
- 492 名前：Schlecht mailto:sage [2021/03/01(月) 16:15:59.57 ID:Rz6p2V3E.net]
- 情報科学的なハッタリは興味ないんで
数学的な結果（例えば球面の安定ホモトピー群）
を出せるプログラム、書いてみて
- 493 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 16:16:59.90 ID:v7ayOauM.net]
- コホモロジーいうてて恥ずかしないんか？
- 494 名前：Schlecht mailto:sage [2021/03/01(月) 16:18:24.86 ID:Rz6p2V3E.net]
- >>456
導来圏でもなんでもいいから
球面の安定ホモトピー群
計算してみて
で、その計算でBernoulli数がどこに出てくるのか教えて
- 495 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 16:19:09.74 ID:v7ayOauM.net]
- 自分で調べて自分でかけ。coq/ hott 使えば、何も中身の仕組みしらんくてもアホでもできる。
悪いが、機械より上のことは、
そこまで興味ない。
- 496 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 16:20:21.58 ID:v7ayOauM.net]
- お前こそ、IUT みたいに同じこと言うてるな。IUT 君と同じこと言ってて恥ずかしくないの？
- 497 名前：Schlecht mailto:sage [2021/03/01(月) 16:20:34.88 ID:Rz6p2V3E.net]
- ＞ちょっと数年待ってて。
「安定ホモトピー」って言葉、理解しきってから言うべきだったね
とくに、IUT君に黙れっていうんだったらさ
- 498 名前：Schlecht mailto:sage [2021/03/01(月) 16:22:22.16 ID:Rz6p2V3E.net]
- >>460
>coq/ hott 使えば、何も中身の仕組みしらんくてもアホでもできる。
中身の仕組み知らんでプログラミングしてるの？
いったいどんなプログラム書いてきたの？なんか怖いな･･･
- 499 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 16:22:30.89 ID:v7ayOauM.net]
- >>462
んっだから日本語よめてる？
IUT はこっちが矛盾に指摘してるのに対して、あんたはなんの矛盾を指摘して�
- 500 名前：ﾅすか？ []
- [ここ壊れてます]
- 501 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 16:23:20.04 ID:v7ayOauM.net]
- >>463
俺が、いつcoq/hott 書いたって言ったの？
馬鹿なの？
言葉よめないの？
- 502 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 16:23:45.14 ID:v7ayOauM.net]
- 知りたきゃ勝手にしろ。
お前は何も矛盾指摘できてない。
- 503 名前：Schlecht mailto:sage [2021/03/01(月) 16:24:15.42 ID:Rz6p2V3E.net]
- >>461
いやぁ、あなたのほうがIUT君そっくりだよ
特に中身知らなくてもOK、みたいな発言はそっくり
実はあなた、IUT君じゃないの？
- 504 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 16:25:48.05 ID:v7ayOauM.net]
- 中身知らなくても OK なんていうてないけど。
そもそも導来圏も知らずにどうしてコホモロジーができるんですか？
- 505 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 16:26:34.37 ID:v7ayOauM.net]
- バカなの？墓穴掘りたいの？だから棺桶用意しておけとあれほど口酸っぱく言ったのに。
- 506 名前：Schlecht mailto:sage [2021/03/01(月) 16:58:29.12 ID:Rz6p2V3E.net]
- >>468
＞そもそも導来圏も知らずにどうしてコホモロジーができるんですか？
え？コホモロジーに導来圏って必須なの？
それは初耳なんだけど…
いつだれがどこでそんなこといったんですか？
とても興味があるので教えてください
- 507 名前：Schlecht mailto:sage [2021/03/01(月) 17:06:16.95 ID:Rz6p2V3E.net]
- なんか ID:v7ayOauM のいうことはちぐはぐだなあ
wikiには導来圏の導入でスペクトル系列を用いていたところは
劇的に簡素化されるなんて書いてあるから
球面の安定ホモトピー群の計算なんてまさにその典型例として
ドヤ顔で紹介できそうなもんだけど
https://ja.wikipedia.org/wiki/%E5%B0%8E%E6%9D%A5%E5%9C%8F
中身を知らずに書き込みしちゃダメだね うん
- 508 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 17:12:10.27 ID:v7ayOauM.net]
- >>470
日本語読め。
必要とは言ってない。
導来圏なしで、コホモロジー論語ってればいいんじゃないの？
- 509 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 17:13:03.54 ID:v7ayOauM.net]
- 「なんかちぐはぐだなあ」は草
お前が日本語読めてないだけ。
- 510 名前：Schlecht mailto:sage [2021/03/01(月) 17:14:47.04 ID:Rz6p2V3E.net]
- なんかグラグラだなぁ
単に「安定ホモトピー」とか「導来圏」とかいいたいだけなのかな？
それってＩＵＴ君とどこが違うのかな？
- 511 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 17:16:58.53 ID:v7ayOauM.net]
- >>474
質問したのお前だろ。バカなの？
|
 |
