Inter-universal geometry と ABC予想 (応援スレ) 52

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プライムオンライン つづく 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 質問したのお前だろ。バカなの？ 512 名前：Schlecht mailto:sage [2021/03/01(月) 17:17:41.52 ID:Rz6p2V3E.net] >>473 何いらいらしてるんだろう？ やっぱりハッタリが通用しなかったからかな？ 513 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 17:18:44.58 ID:v7ayOauM.net] >>476 笑 お前イライラしてるんやな。 514 名前：１３２人目の素数さん [2021/03/01(月) 17:19:10.78 ID:15xwKeEW.net] >>393 ド素人が なにをガタガタ言っているの？ みっともないよ 515 名前：１３２人目の素数さん [2021/03/01(月) 17:19:39.05 ID:15xwKeEW.net] 　　 つかな 証明出来てないなら諦めろよ猿 別に証明に失敗したら処刑されるわけじゃ無いだろ あー残念だったねってだけのことだろ 証明の穴があるなら穴を塞ぐか、出来ないなら諦める 最初からそういう全世界共通のルールだろ なんで望月だけ例外なんだよカス野郎 　 516 名前：Schlecht mailto:sage [2021/03/01(月) 17:19:55.78 ID:Rz6p2V3E.net] 何怒ってるんだろう？ 知らないなら知らないって言えばいいだけなのに 知らないって言いたくないのかな？ でもそれじゃＩＵＴ君と同じだよね… 517 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 17:21:52.65 ID:capdN0d4.net] 補数表現がまずグロタンディーク構成 518 名前：Schlecht mailto:sage [2021/03/01(月) 17:22:09.87 ID:Rz6p2V3E.net] >>477 あ、イライラしてる 今日はもう書き込みやめときなよ 明日になればID変わるから ああ、そうそう、安定ホモトピーの話はもうしないほうがいいよ 同じことやると「またおまえか」っていわれるからさ 今度は違うネタで書いたほうがいいね 519 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 17:25:32.31 ID:v7ayOauM.net] >>482 いや、今お前がイライラしてる間に HoTT 読んでるから、またマウントよろ。 520 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 17:26:02.88 ID:v7ayOauM.net] お前のカスみたいなマウントでも気づきがあるんでね。 521 名前：Schlecht mailto:sage [2021/03/01(月) 17:28:14.15 ID:Rz6p2V3E.net] >>483 ＞HoTT 読んでるから 早く球面の安定ホモトピー群の計算プログラムが書けるといいね 待ってるからさ 522 名前：Schlecht mailto:sage [2021/03/01(月) 17:30:14.08 ID:Rz6p2V3E.net] マウントじゃないんだけどな むしろ花を持たせようとおもったら 肝心の花がなかった、という… 523 名前：１３２人目の素数さん [2021/03/01(月) 17:31:48.77 ID:15xwKeEW.net] 　　　 つかな 証明出来てないなら諦めろよ猿 別に証明に失敗したら処刑されるわけじゃ無いだろ あー残念だったねってだけのことだろ 証明の穴があるなら穴を塞ぐか、出来ないなら諦める 最初からそういう全世界共通のルールだろ なんで望月だけ例外なんだよカス野郎 　 524 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 18:44:58.52 ID:capdN0d4.net] なんか二人とも飽きちゃったの？ 安定ホモトピーでイチャイチャやってくださいよ。 525 名前：Schlecht mailto:sage [2021/03/01(月) 18:58:46.33 ID:Rz6p2V3E.net] ちょっとHoTT君をこすりすぎました 526 名前：１３２人目の素数さん [2021/03/01(月) 19:11:33.86 ID:15xwKeEW.net] 　　　　 つかな 証明出来てないなら諦めろよ猿 別に証明に失敗したら処刑されるわけじゃ無いだろ あー残念だったねってだけのことだろ 証明の穴があるなら穴を塞ぐか、出来ないなら諦める 最初からそういう全世界共通のルールだろ なんで望月だけ例外なんだよカス野郎 　 527 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 19:15:52.07 ID:v7ayOauM.net] >>489 シコンナ、キモチワルイ 528 名前：Schlecht mailto:sage [2021/03/01(月) 19:25:48.00 ID:Rz6p2V3E.net] ゴメン、●虚だって気づかなくて https://ja.wikipedia.org/wiki/%E8%85%8E%E8%99%9A 529 名前：１３２人目の素数さん mailto:sage [2021/03/01(月) 19:26:51.83 ID:v7ayOauM.net] ww 530 名前：１３２人目の素数さん [2021/03/01(月) 23:25:40.43 ID:bnXR1ess.net] >>2 追加 www.kurims.kyoto-u.ac.jp/~bcollas/IUT/IUT-participants.html Promenade in IUT List of Participants (抜粋) Yu Yasufuku, Nihon University, JP; Shigetoshi Yokoyama, Gunma University, JP; https://researchmap.jp/read0156051?lang=ja 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月ハーバード大学 ＊＊ 数学科 https://researchmap.jp/yokoyamashigetoshi 横山 重俊 ヨコヤマ シゲトシ (Shigetoshi Yokoyama) 所属群馬大学 総合情報メディアセンター 教授 国立情報学研究所 客員教授 学歴 3 2005年4月 - 2011年3月総合研究大学院大学 複合科学研究科 情報学専攻 1979年4月 - 1981年3月大阪大学 理学研究科 数学専攻 1975年4月 - 1979年3月大阪大学 理学部 数学科 531 名前：Schlecht mailto:sage [2021/03/02(火) 07:03:03.80 ID:ozN2NqQb.net] 球面の安定ホモトピー群の計算は今でも大変難しそうだ https://en.wikipedia.org/wiki/Homotopy_groups_of_spheres#Computational_methods 532 名前：１３２人目の素数さん [2021/03/02(火) 07:45:10.58 ID:8q8Y/BcG.net] >>421-423 >ベルヌーイ数の記述どこよ。 ベルヌーイ数 関孝和も研究したのか（下記） 元々は、べき乗和の計算のためだったんだ 古代ギリシャ、Pythagoras、Archimedes も登場するんだね、へー 知らなかったね （参考） https://en.wikipedia.org/wiki/Bernoulli_number 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), https://upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Seki_Kowa_Katsuyo_Sampo_Bernoulli_numbers.png/330px-Seki_Kowa_Katsuyo_Sampo_Bernoulli_numbers.png A page from Seki Takakazu's Katsuyō Sanpō (1712), tabulati 533 名前：ng binomial coefficients and Bernoulli numbers [] [ここ壊れてます] 534 名前：１３２人目の素数さん [2021/03/02(火) 07:59:11.76 ID:8q8Y/BcG.net] >>444 >>壁の内側がなんでできてるのか知って家に住んでるんか？ >>飛行機の材料と設計図列挙して飛行機乗ってるんかいな。 >IUT完全勝利君と同じようなこと言い出したなぁ… >IUT君に「分かってないんなら黙れ」っていうんなら >君も安定ホモトピーなんていわないほうがよかったんじゃないか？ 維新さん、完全にノックアウトだな この人は、”安定ホモトピー”について 維新さんが、「答えられない」って見抜いて、追求しているんだね。すごい眼力だな まあ、おれは、自分で飛行機の安全性を確かめたわけじゃないけど、経験則をもとに飛行機乗りますけどね 自分の乗る飛行機に、「安全証明」がついていても、それって多分意味ない 飛行機の機体自身は、安全としても、アクシデント（離陸or着陸のときとか、操縦士の腕前とか）の可能性はゼロではないからね 日常、証明以外の判断を求められること多いよね そういう意味で、IUTはOKと思いますけどね IUTは、墜落しないだろうってｗｗ（＾＾； 535 名前：Schlecht mailto:sage [2021/03/02(火) 08:01:50.53 ID:ozN2NqQb.net] >>496　 ＞知らなかったね 以前も全く同じ書き込みしてなかった？　覚えてない？ 536 名前：Schlecht mailto:sage [2021/03/02(火) 08:04:10.37 ID:ozN2NqQb.net] >>497 ID:v7ayOauMさんて維新さんって名前なんだ… 倒幕志士好きなのかな？ 537 名前：Schlecht mailto:sage [2021/03/02(火) 08:06:03.24 ID:ozN2NqQb.net] >>497 >おれは、自分で飛行機の安全性を確かめたわけじゃないけど、 >経験則をもとに飛行機乗りますけどね 何の話？ 538 名前：１３２人目の素数さん mailto:sage [2021/03/02(火) 08:08:32.75 ID:XFYUadOB.net] >>497 アタマ… 539 名前：Schlecht mailto:sage [2021/03/02(火) 08:08:37.88 ID:ozN2NqQb.net] >>497 >日常、証明以外の判断を求められること多いよね 「IUTを正当化したい」というあなたの行為は 論理的判断でなく感情的衝動によるものですけどね 540 名前：１３２人目の素数さん mailto:sage [2021/03/02(火) 08:10:13.23 ID:XFYUadOB.net] アタマなんかちょっとやばいやついつもあとから湧いてくるけど、蛆虫かなんかなのかな…？ 541 名前：Schlecht mailto:sage [2021/03/02(火) 08:11:15.15 ID:ozN2NqQb.net] >>501 IUT氏は頭より心に問題を抱えてますね 国家を誇りたくなる人って不遇な人なんですね 幸せな人はそういうことはしませんからね 542 名前：Schlecht mailto:sage [2021/03/02(火) 08:13:44.37 ID:ozN2NqQb.net] >>503 ＞なんかちょっとやばいやつ そういう人をいじりに来る人もいますね 543 名前：１３２人目の素数さん [2021/03/02(火) 08:15:26.46 ID:8q8Y/BcG.net] >>496 >元々は、べき乗和の計算のためだったんだ 余談だが、下記の「ベルヌーイ数 Bn は下に示すマクローリン展開 (テイラー展開) の展開係数として定義される」 という現代的な定義から入ると いろんなところに、”ベルヌーイ数 Bn ”が登場することが不思議だけど ”元々は、べき乗和の計算のため”という視点にたつと、同じような組み合わせ計算の場面では、これが出てきても不思議はないのかもね https://ja.wikipedia.org/wiki/%E3%83%99%E3%83%AB%E3%83%8C%E3%83%BC%E3%82%A4%E6%95%B0 ベルヌーイ数 定義 ベルヌーイ数 Bn は下に示すマクローリン展開 (テイラー展開) の展開係数として定義される。 f(x)=x/(e^x-1)=Σ{n=0}〜{∞} {B_{n}}/（{n!}}x^{n}） 544 名前：Schlecht mailto:sage [2021/03/02(火) 08:17:01.70 ID:ozN2NqQb.net] そういえばIUT氏が別のスレッドで 「射影幾何は無限大無限小の理論」 としたり顔で語ってるのを見ましたが 何か根本的に勘違いしてますね 545 名前：Schlecht mailto:sage [2021/03/02(火) 08:19:36.86 ID:ozN2NqQb.net] >>506 >･･･という視点にたつと、 >同じような組み合わせ計算の場面では、 >これが出てきても不思議はないのかもね 中身を全く見ずに「同じような」と言い切る粗雑な感覚の人にとっては、 世の中には何一つ不思議なことは無いんでしょうね 546 名前：１３２人目の素数さん [2021/03/02(火) 08:23:11.05 ID:8q8Y/BcG.net] >>499 >ID:v7ayOauMさんて維新さんって名前なんだ… >倒幕志士好きなのかな？ 維新さんの由来は下記 （>>4より） なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然"維新〜！"と絶叫したりするからです (引用終り) この維新は、「大阪維新」です 維新さんは、大阪というとすぐ「維新支持者！！」と� 547 名前：�めつけるので こう揶揄されますｗｗ [] [ここ壊れてます] 548 名前：Schlecht mailto:sage [2021/03/02(火) 08:23:56.79 ID:ozN2NqQb.net] 射影直線の無限遠点は１／０にあたるものでしかありません 「平面上の原点を通る直線を点とみなす」という定義なら 無限遠すら出てきません あくまで座標系において出てくるだけです （正確にいえば、座標系にない点が「無限遠点」とされる） つまり、恒久的な無限遠点があるわけではなく、 あくまで座標系に依存したものです さらにいえば、０でない「無限小」は出てきません 549 名前：Schlecht mailto:sage [2021/03/02(火) 08:26:55.65 ID:ozN2NqQb.net] >>509 ＞この維新は、「大阪維新」です ふーん、 じゃ、あなたは「IUTファースト」君？ 550 名前：１３２人目の素数さん mailto:sage [2021/03/02(火) 08:27:00.09 ID:XFYUadOB.net] >>509 あなた維新さんなんだね… 551 名前：Schlecht mailto:sage [2021/03/02(火) 08:28:49.58 ID:ozN2NqQb.net] >>512 ファーストさんだそうですよ 552 名前：１３２人目の素数さん mailto:sage [2021/03/02(火) 08:29:19.96 ID:XFYUadOB.net] なんか脈絡のない文書書く蛆虫って見てて気持ち悪い…

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef