21/09/26 11:41:46.21 /hejQo8M.net
>>673
>こうこうこういう理由で
君、どんな理由も受け入れたくないだろ？
君が反知性主義者だよ 知性があるふりすんのやめなって
微分積分も三角関数もわからん中卒なんだからさｗｗｗｗｗｗｗ
742:１３２人目の素数さん
21/09/26 11:44:08.40 1mppEVXS.net
>>674
知らんよそりゃ説明聞かなきゃ…
説明求めても「お前はどうせ説明してもわからん！」って奴どう相手すりゃいいのさ
普通は逃げてるって思うよね
まあある意味IUTスレらしいのかもしれんけど
743:１３２人目の素数さん
21/09/26 11:44:08.48 /hejQo8M.net
1mppEVXS がもし知性を有しているなら
もっとも賢明な態度は「何も書かないこと」だと
気づけるんだがね
何か言い返さないと負けたと思う時点で馬鹿なんだよｗ
744:１３２人目の素数さん
21/09/26 11:46:23.15 1mppEVXS.net
>>676
望月「君の批判は間違ってるよ。君にできる最も賢明な態度は『何も書かないこと』だ」
もしこんなん言ったとしたら何言ってんだコイツって思わない？
自分を客観視するの苦手なのかなぁ
745:１３２人目の素数さん
21/09/26 11:47:12.78 /hejQo8M.net
>>675
>知らんよそりゃ説明聞かなきゃ…
そこが馬鹿ｗ
自分の発言が愛国的動機によるものでない、と思うなら
相手の発言は只の誤りだとわかるから、
「ああ、また●違いがわけのわからんこといってるな ほっとこ」
と思って黙る
何か言い返すというのは、自分の発言が愛国的であると自覚した上で
それを隠蔽したいという気持ちがあるから
どうだ？図星だろ？ｗ
746:１３２人目の素数さん
21/09/26 11:49:07.61 1mppEVXS.net
>>678
「誤りなら相手は反論しないはずだ」には全く同意しません
反知性的な考えですね
747:１３２人目の素数さん
21/09/26 11:52:41.09 /hejQo8M.net
>>677
さて本題にはいろうか (￣ー￣)ﾆﾔﾘ
Scholzeは、別に自分が正しいと云ってるわけではない
自分が読んで、肝心な定義が書いてないと思った
自然に解釈するとこうなると思うが、それではCor3.12は成り立たない
Cor3.12が成り立つような定義が、そう簡単にできるとは思えない
といった
望月新一が、正しい定義を持ち合わせているなら示せばいい
できなければ、正しい定義を持ち合わせてないってことになる
実際は後者だったね、ってこと
RIMSは「望月新一の回答に対して、さらなる問いがなかったから終わった」
としたいようだけど、それは数学では通用しないね
残念だったねｗ
748:１３２人目の素数さん
21/09/26 11:56:22.39 /hejQo8M.net
>>679
>「誤りなら相手は反論しないはずだ」には全く同意しません
あまりにも自明な誤りに関しては、そういう対応も普通に行われる
ゲーデルの不完全性定理に対するツェルメロの反駁は
証明可能性と真偽の定義を混同する初歩的な誤りによるものだったので
749: ゲーデルは一度は対応したが二度目以降は対応しなかった そして数学界はゲーデルのほうを正しいと認めた 今回の件で、望月新一がゲーデルでショルツがツェルメロだというには IUTはあまりに混沌としすぎていて不透明である
750:１３２人目の素数さん
21/09/26 11:56:50.43 1mppEVXS.net
>>680
さて本題にはいろうか (￣ー￣)ﾆﾔﾘ
俺は、別に自分が正しいと云ってるわけではない
自分が読んで、根拠が書いてないと思った
キミが、正しい根拠を持ち合わせているなら示せばいい
できなければ、正しい根拠を持ち合わせてないってことになる
実際は後者だったね、ってこと
キミは「ボクの反論に対して、さらなる反論がなかったから終わった」
としたいようだけど、それは数学では通用しないね
残念だったねｗ
751:１３２人目の素数さん
21/09/26 11:59:42.70 1mppEVXS.net
>>681
望月「あまりにも自明な誤りに関しては、そういう対応も普通に行われる」
みたいな感じか
752:１３２人目の素数さん
21/09/26 12:02:39.74 /hejQo8M.net
>>682
＞自分が読んで、根拠が書いてないと思った
で、いかなる根拠であれ、自分の意図が愛国でないなら、それは誤りだろ？
だったら問うだけ無駄だから無視すればいいｗ
逆に問うから、自分の気持ちを隠蔽したいんだな、と露見する
ま、どうしても>>655に返答するなら、ボクならこういうね
「まったくです、愛国なんて馬鹿ですよね」
どうしてこの一言がいえないんだろうね 馬鹿なのかな？ｗ
753:１３２人目の素数さん
21/09/26 12:04:27.79 1mppEVXS.net
>>684
望月「誤りなら問うだけ無駄だから無視すればいい」
と言ったとしても全くそんなことはないよね
754:１３２人目の素数さん
21/09/26 12:04:50.44 /hejQo8M.net
>>683
望月新一がScholzeの発言を「自明な誤り」と思うなら何もいわないという手もある
しかし、他の人がそう思わないなら大失敗だけどなｗ
結局のところ、望月新一自身が他人にわかるように説明する必要がある
できない時点で、ＩＵＴは認められない 当然のこと
残念だったなｗ
755:１３２人目の素数さん
21/09/26 12:05:23.45 1mppEVXS.net
結局自分で言っちゃってる通り、
「できなければ、正しい根拠を持ち合わせてないってことになる」
こんだけなんじゃないの？
もう本当に後に引けないから粘ってるだけだよね
756:１３２人目の素数さん
21/09/26 12:06:13.21 1mppEVXS.net
>>686
結局のところ、キミ自身が他人にわかるように説明する必要がある
できない時点で、キミの主張は認められない 当然のこと
残念だったなｗ
757:１３２人目の素数さん
21/09/26 12:08:03.14 /hejQo8M.net
ＩＵＴに関していえば
・望月新一が他人にわかるように論文を書けなかった時点で１アウト
・理解したといってる山下や星も他人にわかる説明ができなかった時点で２アウト
・望月論文の有用性を認める人ですらCor3.12を定理ではなく
「予想」として扱っている時点で３アウト
チェンジだな
758:１３２人目の素数さん
21/09/26 12:10:22.57 1mppEVXS.net
キミに関していえば
・他人にわかるようにレスを書けなかった時点で１アウト
・わからないという指摘に説明できなかった時点で２アウト
・キミを認める人さえいない時点で３アウト
チェンジだな
759:１３２人目の素数さん
21/09/26 12:10:28.14 /hejQo8M.net
>>688
>結局のところ、キミ自身が他人にわかるように説明する必要が
ないなｗ
ブラフだとわかっていて、それが当たってないなら無視するのが唯一無二の方策
どういう形であれ反応してしまえば、それが当たっていると認めることになる
君が理性的でないんだな 感情が先に立つから反論するという馬鹿な行為をやるｗ
760:１３２人目の素数さん
21/09/26 12:15:57.51 /hejQo8M.net
>>690
1mppEVXSは
・挑発に乗った時点で１アウト
・感情丸出しなのに理性的であるフリを演じた時点で２アウト
・とにかく自分が終わりのコメントを書くのが勝ちだと思った時点で３アウト
だからさ俺が負けてやるっていってんのにわざわざ負けようとすんなよ
中卒のお前に花持たせてやろうって俺の気持ちが分からんかｗｗｗｗｗｗｗ
761:１３２人目の素数さん
21/09/26 12:16:04.00 1mppEVXS.net
>>691
＞どういう形であれ反応してしまえば、それが当たっていると認めることになる
これの根拠聞いてもきっとだんまりなんだろうなぁ
結局「○○ならこういう反応する、つまりこういう反応したから○○なんだ！」みたいな思考回路なんだろうね
1bit脳ってやつか
762:１３２人目の素数さん
21/09/26 12:17:42.48 /hejQo8M.net
な、俺がお前のケツ拭いてやっから
さっさと利口ぶって立ち去れ
いいな、わかったな 1mppEVXS
763:１３２人目の素数さん
21/09/26 12:17:45.43 1mppEVXS.net
>>692
正直負けてやるも何も普通に負けてね？
いやまあ逃げ続けてれば負けは確定しないのかもしれんけどさあ
764:１３２人目の素数さん
21/09/26 12:19:08.77 1mppEVXS.net
>>694
まあぶっちゃけ後に引けなくなった人がどうなるか見たいだけなんで続けられる続けるかも
765:１３２人目の素数さん
21/09/26 12:19:26.25 1mppEVXS.net
続けられる
766:だけ続けるかも、ね
767:１３２人目の素数さん
21/09/26 12:26:43.71 1mppEVXS.net
ショルツェもこんな気分だったのかなあ
768:１３２人目の素数さん
21/09/26 12:30:05.66 87Td3mCZ.net
まあ反論対応なんてやりたくないよな。。
文句言われまくる割に自分の功績に全くならんし。
それでもめちゃくちゃな基準がまかり通ると数学自体の信頼がなくなるから誰かがやらなきゃならんけど。
769:１３２人目の素数さん
21/09/26 13:31:27.36 BiaEQwYA.net
>>648氏の顔を丸潰れにしよったなSetA坊
しかもSetA坊は未だに此の場での的を射たコピペ引用、確からしい自説、である事を自負しゆうとしないばかりか
既に判ってる的ハズレ引用や誤った自説、要するに多種多様なミスリードに関し、詫びるでも訂正するでも釈明するでも無く､
日頃から「うるせー、ここ5ちゃんねるは2ちゃんねる時代から続く便所の落書き。責任なんて知ったこっちゃ無い、俺に指図するな」的な物言いし続けるばかりか
「新参や次代を担う子供たちにミスリードしていようが俺の知ったこっちゃない」と､
責任放棄した事ばかり言っている（その上、親のスネかじりである事まで開き直っている）｡
これらの行為、立件は万が一にも無いだろうが、細かい事を厳しく言えば、この場もまたローカル中のローカルとは言えネット上につき公衆の場には違いないので風説の流布になる｡
今ここでSetA坊に罵詈雑言を浴びせている、2〜3年前に第六天魔王Mayapapiyasを自称していた、猿石と通称される無頼者でさえ真っ青の妖怪腐れ外道であると言わざるを得ない｡
770:１３２人目の素数さん
21/09/26 13:45:40.00 BiaEQwYA.net
近年代数学板極悪四天王
4.各質問スレをプログラム計算数値解で汚し廻りつつER医を自称してる割には非番が無い矛盾初老
3.罵詈雑言型数学板無頼派の猿石
2.見咎める相手には獄門話を聞かす、猿石より阿漕な儂
1.SetA坊
今は去ったにも関わらず永久0位認定、KingOfUniverse
同率既存不在永久0位認定、徳島大学講演来訪中痴漢逮捕につき筑波大学数学准教授職解雇の方
771:現代数学の系譜 雑談
21/09/26 13:45:46.62 4AZ2wKQ6.net
>>700
蕎麦屋さんか
大きな釣り針ですな
まあ、釣られてやるかね
> 2〜3年前に第六天魔王Mayapapiyasを自称していた、猿石と通称される無頼者
猿は、あんたと同類だから、ボコボコにされているのを救いに来たのかねｗ
>>>648氏の顔を丸潰れにしよったなSetA坊
おれは名前の議論はしない。だれか第三者に迷惑をかける可能性があるから
ところで、「>>648氏の顔を丸潰れに」というけれど、別に>>648氏の投稿の前にも多数の投稿をしているし
また、>>648の後は、殆ど投稿していないので、その判断は不当だろう
彼は、>>648より以前の投稿を読んで、自分で判断をしているよ
>既に判ってる的ハズレ引用や誤った自説、要するに多種多様なミスリードに関し、詫びるでも訂正するでも釈明するでも無く､
おれのカキコは、的中しているでしょ？ IUTは認められつつあるよ
>（その上、親のスネかじりである事まで開き直っている）
そりゃ、あなた 自分のことでしょうよ？ｗ
772:１３２人目の素数さん
21/09/26 13:49:20.66 BiaEQwYA.net
ぐわっ
「自負しゆうとしないばかりか」違う「自負しようとしないばかりか」じゃ
773:１３２人目の素数さん
21/09/26 14:22:17.27 /hejQo8M.net
>>699
>反論対応なんてやりたくないよな。
なら最初から反論の余地なく完璧に書けって話
774:１３２人目の素数さん
21/09/26 14:23:53.96 /hejQo8M.net
>>700
SET A君は�
775:Wコチュウド素人だからねえ
776:１３２人目の素数さん
21/09/26 14:24:05.77 G1Uuxw31.net
セタはようやく覚えたがセタに構ってる奴も半コテなのか
知らん間に知らん半コテが増えたな
777:１３２人目の素数さん
21/09/26 14:30:19.37 /hejQo8M.net
>>702
>おれは名前の議論はしない。
ブルってるブルってるｗ
日本姓氏語源時点
URLﾘﾝｸ(name-power.net)
によると、瀬田・勢田・勢多・世多等の姓は滋賀県大津市発祥らしいよ
778:１３２人目の素数さん
21/09/26 14:33:21.49 TwZh4eKk.net
お、doxxingか？
779:１３２人目の素数さん
21/09/26 14:33:34.68 /hejQo8M.net
>>706
「半コテ
半コテ(はんこて)とは、匿名掲示板に書き込むユーザーのうち、
デフォルトの名前(名無しさん)を使用しながらも、
その思想・主張・言葉遣いなどで半ばコテハンのように特定されてしまう
ユーザーのことである。」
なるほど
780:１３２人目の素数さん
21/09/26 14:35:12.04 /hejQo8M.net
>>708
個人情報ではない
781:１３２人目の素数さん
21/09/26 14:36:04.11 Ox9J/A3x.net
姓が？
782:１３２人目の素数さん
21/09/26 14:39:16.76 /hejQo8M.net
>>711
左様、特定個人のものではないからな
783:１３２人目の素数さん
21/09/26 14:41:45.40 y2pKNC5e.net
セタってSetAとか書いてるから何か集合論絡みの発言を論われてるのかと思ったらリア苗なのか
猿石の方の由来は何なん？そっちもリア苗？
784:１３２人目の素数さん
21/09/26 14:44:21.77 /hejQo8M.net
猿石・・・ほんとにあったよｗ
URLﾘﾝｸ(name-power.net)
785:１３２人目の素数さん
21/09/26 14:46:54.15 /hejQo8M.net
>>713
苗字だよ 広島県出身だって SU-METALの大ファンらしいから
786:１３２人目の素数さん
21/09/26 14:49:39.48 lCgKtliX.net
あれ？
猿石って人じゃないの？
なぜに伝聞系
787:１３２人目の素数さん
21/09/26 14:51:12.13 /hejQo8M.net
>>713
>セタってSetAとか書いてるから何か集合論絡みの発言を論われてるのか
集合論でも初歩的誤りを犯してたけどな
a∈b ∧ b∈c ⇔ a∈c
この発言以降、誰もSET Aのいうことを信頼しなくなった
ま、当然だなｗ
788:１３２人目の素数さん
21/09/26 14:56:29.43 /hejQo8M.net
>>716
猿石は人か・・・んー、考えたことなかったな
もしかしたら某国が開発したAIプログラムかもしれんな
え？私？もちろん違いますよ
ただ、猿石が「俺が猿石だ」と名乗ったところは
一度もみたことないですがね
789:１３２人目の素数さん
21/09/26 14:59:24.84 z2eF6jpj.net
なんかあんまり聞いちゃいけない感じかね
790:１３２人目の素数さん
21/09/26 15:04:12.19 /hejQo8M.net
>>719
もうみんな知らないんじゃないかな？
最初にそう呼んでた人、死んじゃったし
それもそもそも別人と勘違いだったっていう話だし
791:１３２人目の素数さん
21/09/26 15:07:24.26 /hejQo8M.net
聞いた話では物理板で一石とかいうＨＮで
反相対論者を駆除してるという暇人がいて
その人と同一人物だということで、
しかも相手をサルよばわりするんで
猿石と名付けられたらしいんだけど、
実は物理板には一石って人はいなかったんで
それ自体勘違いっつーか妄想らしい
792:１３２人目の素数さん
21/09/26 15:10:13.06 /hejQo8M.net
でも、最初に呼んでた「幼気な老人」伊達さんとかいう人も亡くなったんだよね
ま、書き込みが無くなったんで、ああ亡くなったんだなと思われてるだけなんだけど
793:１３２人目の素数さん
21/09/26 15:26:37.30 NHwi+Rx9.net
古参にちゃんねらーだ
それ何年くらい前の話なん？
十年前とか？
794:１３２人目の素数さん
21/09/26 15:41:30.49 /hejQo8M.net
>>723
そんなに昔ではないと思うけど 何時頃のことかは覚えてないな
いずれにしても大したことじゃないよ 猿石とかいう人も亡くなったし
多分コロナでコロリだな あっけないもんだよ
795:１３２人目の素数さん
21/09/26 15:51:24.18 PoQ+4LA7.net
居なくなって久しいなら同じ名前で呼んでも特に差し支え無さそうね
796:１３２人目の素数さん
21/09/26 15:51:44.86 /hejQo8M.net
SET Aも亡くなればいいのにね
亡くなるのは簡単だよ
１．固定HNとトリップやめる
２．コピペやめる
３．IUT礼賛とScholze非難をやめる
これだけ
試しに、明日から平日の間
一切数学板への書き込みやめてごらん
なんなら見るのもやめてみたらいい
すっきりするよ
797:１３２人目の素数さん
21/09/26 15:52:34.61 /hejQo8M.net
>>725
そもそも呼ぶ必要もないけどね
いないんだから
798:１３２人目の素数さん
21/09/26 15:56:32.32 E7WNLF+e.net
一般論で言えば荒らしはコテ付きのがNGしやすいから歓迎されるぞ
799:１３２人目の素数さん
21/09/26 16:08:37.23 VDegG7o3.net
M.SHIRAISHIを思い起こす俺は爺さま
800:１３２人目の素数さん
21/09/26 16:10:09.77 n7lqSZ5A.net
エムシラって今どうしてるん？
801:１３２人目の素数さん
21/09/26 16:13:26.99 /hejQo8M.net
卒業したよ
URLﾘﾝｸ(www.youtube.com)
802:１３２人目の素数さん
21/09/26 16:21:43.36 /hejQo8M.net
やっぱガールズルールだなあ
URLﾘﾝｸ(www.youtube.com)
803:１３２人目の素数さん
21/09/26 16:24:15.25 /hejQo8M.net
これも名曲だったけどｗ
コウモリよ
URLﾘﾝｸ(www.youtube.com)
804:１３２人目の素数さん
21/09/26 16:25:59.61 /hejQo8M.net
この曲もいいね
オフショアガール
URLﾘﾝｸ(www.youtube.com)
805:１３２人目の素数さん
21/09/26 16:27:10.17 /hejQo8M.net
しかしこれは酷い・・・
URLﾘﾝｸ(www.youtube.com)
806:１３２人目の素数さん
21/09/26 16:27:37.16 aLTfygdw.net
アイドル好きなん？
807:１３２人目の素数さん
21/09/26 16:28:52.52 /hejQo8M.net
なんだかんだいいつつ、まいやんはいいオンナｗ
808:１３２人目の素数さん
21/09/26 16:29:34.75 /hejQo8M.net
>>736
好きっすねｗ
809:１３２人目の素数さん
21/09/26 16:33:02.11 /hejQo8M.net
それにしてもこれはエロいなｗ
URLﾘﾝｸ(www.youtube.com)
810:１３２人目の素数さん
21/09/26 16:36:34.62 /hejQo8M.net
ま、でも個人的なツボはやっぱここっすか？ｗ
URLﾘﾝｸ(www.youtube.com)
811:１３２人目の素数さん
21/09/26 16:38:06.19 yb4H5cEd.net
望月も好きだったよな
お揃いだな
812:１３２人目の素数さん
21/09/26 16:44:03.58 VDegG7o3.net
確かケンブリッジに向けて出港したハズ
813:１３２人目の素数さん
21/09/26 16:47:43.44 /hejQo8M.net
>>741
もっちーは欅坂推し平手推しだよな
欅坂だったらやっぱ長濱ねるだなｗ
URLﾘﾝｸ(www.youtube.com)
814:１３２人目の素数さん
21/09/26 16:50:11.89 /hejQo8M.net
>>742
しかしながら着いたのはグラストンベリー
URLﾘﾝｸ(www.youtube.com)
815:１３２人目の素数さん
21/09/26 16:53:22.95 /hejQo8M.net
本題に戻るｗ
今は日向坂に注目 とくにこいつ↓
URLﾘﾝｸ(www.youtube.com)
816:１３２人目の素数さん
21/09/26 16:54:37.97 5viDT7Z1.net
>>702
> また、>>648の後は、殆ど投稿していないので、その判断は不当だろう
> 彼は、>>648より以前の投稿を読んで、自分で判断をしているよ
そういう甘い世間観念しとるから坊っつーんじゃ｡
昔はどうあれとし、近頃に限定した人に前評判を擁護して貰ったにも関わらず、1日も経たぬ間に暴言侮辱を述べ連ねたお前は
昔は悪かったが劇的に更生したとして仲人役を買って貰ったにも関わらず、半年も経たぬ間に離婚しよった元夫婦や
受刑暦は有るがこれまでに更生したとして弁護を引き受けて貰ったにも関わらず、数日も経たぬ間に同様再犯やらかした人間…
事前評価と事後結果は、因果を介在して傾向として見られ、結局は「恩人の顔に泥を塗る行為」と成る｡
人間性評価は論理や純粋数学のみならず、行動心理や傾向統計が照らし出す
817:特性推定で評価される｡ 具体的には善悪のファジィな変遷グラフはヒステリシス曲線とカスプ曲線により表される｡
818:１３２人目の素数さん
21/09/26 17:01:32.86 5viDT7Z1.net
>>702
> おれのカキコは、的中しているでしょ？ IUTは認められつつあるよ
歴史は、繰り返す…
> そりゃ、あなた 自分のことでしょうよ？ｗ
忘れたとは言わせんぞ。逆だ。儂は親の喰い物じゃ。何じゃ？そう〜に儂の親の肩を持つならオドレが儂の親に代わって金を返すか？
↑世間じゃこうに言って返されるんじゃぞ、坊。無責任人生一辺倒のオドレじゃ分からんじゃろ。のう？
819:１３２人目の素数さん
21/09/26 17:18:57.31 /hejQo8M.net
>>746
ま、SET Aは偽善者だからねｗ
その点ボクは口は悪いが、いつも蕎麦っちのことは気にかけてるよ（ほんまけ？）
820:１３２人目の素数さん
21/09/26 17:23:33.91 /hejQo8M.net
>>747
まあ、SET Aは本当は
「SET Aは認められつつあるよ」
といわれたいんだろうが、残念ながら認めてあげたいような進歩が何もないｗ
だから、マセマの参考書あたりで勉強しろっていってるんだが
こないだ本屋でみたけど、まるで高校の参考書のような感じだった
まあ、しかし、あれじゃ、大学の数学の本は読めるようにならんかもな
あくまで理工系の連中が、数学の計算の技法だけを習得する本
数学科の学生が読んじゃいかん、とはいわないが、
マセマの本を読んだ後、「線型代数」「微分積分」「集合と位相」の
数学書を読んで理論をしっかり理解しないと、数学科では生きていけない（マジ）
821:現代数学の系譜 雑談
21/09/26 17:24:29.62 4AZ2wKQ6.net
>>746-747
蕎麦屋さん、あんた、訳分からんよ
妄想出まくりじゃん
笑える
>> おれのカキコは、的中しているでしょ？ IUTは認められつつあるよ
>歴史は、繰り返す…
全く意味分からん
>> そりゃ、あなた 自分のことでしょうよ？ｗ
>忘れたとは言わせんぞ。逆だ。儂は親の喰い物じゃ。何じゃ？そう〜に儂の親の肩を持つならオドレが儂の親に代わって金を返すか？
覚えているよ
IUTスレで、散々言われていたじゃん
車関係の技術者というふれこみが、
その実、群馬の富士重工の期間工だってことだったよね
822:現代数学の系譜 雑談
21/09/26 17:25:57.14 4AZ2wKQ6.net
>>748
>その点ボクは口は悪いが、いつも蕎麦っちのことは気にかけてるよ（ほんまけ？）
わろた
それ、受けたよ、大受けだ
823:１３２人目の素数さん
21/09/26 17:26:10.19 /hejQo8M.net
今時の理工系学生向けの微分積分の教科書では
実数の構成（デデキント流の有理数の切断とか、カントル流の有理コーシー列とか）
について全く教えないそうだ
教えても理解できないから、ってことらしい
SET Aみたいなのは実は珍しくないのかもな
┐(´∀｀)┌ﾔﾚﾔﾚ
824:１３２人目の素数さん
21/09/26 17:30:48.50 /hejQo8M.net
微分積分で実数の構成を教えないんじゃ
線型代数でも正則行列の条件すら教えないかもと思ったが
いくらなんでもそこまで酷いことはないだろう
行列のランクくらいアホでもわかるし
線型方程式系の解法でクラメルの公式しか教えない
とかいうのは全然実用的でない
掃き出し法のほうが簡単でしかも早いｗ
別にクラメルの公式の導出も簡単だが、
行列式の計算を定義式の通りにやる馬鹿にとっては
実際の解の導出は難行苦行以外の何物でもないｗ
825:１３２人目の素数さん
21/09/26 17:35:02.09 /hejQo8M.net
>>751
ついでに、SET Aのことも、いつも気にかけている（マジ）
オヌシが本当の数学を、ちょっとでも理解してくれたらいいなと思ってる
だからしつこく線型代数の話をしてるんだが、どうも関心がないらしい
実に残念なことだ 線型代数こそ現代数学の典型的なモデルとなる理論なのに
（注：ここでいうモデルは数理論理学でいうところのモデルではない）
826:１３２人目の素数さん
21/09/26 17:37:03.09 /hejQo8M.net
>>750
＞群馬の富士重工の期間工
そういうSET Aも大阪の「ナショナル」（今、パナソニック）の工員だろｗ
827:現代数学の系譜 雑談
21/09/26 17:47:56.21 4AZ2wKQ6.net
>>718
>猿石は人か・・・んー、考えたことなかったな
>え？私？もちろん違いますよ
おいおい
サイコパスのおサルとは、あんたのことだよ>>6 ｗｗ
Yahoo!でのあだ名が、「一石」。自己紹介欄で、”one stone”と書いていたことによる
（なお、”one stone”＝独語 アインシュタイン は、有名だね）
旧ガロアすれで、哀れな素人から、「そいつは、”サル石”だ」と教えて貰ったのです
哀れな素人は、”サル石”と、いまはなきYahoo!掲示板時代からの付き合いらしい
(参考)
0.99999…は１ではない その23
ｽﾚﾘﾝｸ(math板:8番)
8 名前：哀れな素人[] 投稿日：2021/04/13(火) 08:30:07.56 ID:esDQ8ShC [2/2]
ID:0m7k3PSf
このバカがサル石（笑
こういうバカを定義厨という（ｹﾞﾗｹﾞﾗ
506 名前：哀れな素人の代理人[] 投稿日：2021/05/20(木) 20:34:58.15 ID:4FXubgBK
哀れな素人は「エラー: 余所でやってください。」
というエラーが出て投稿できなくなったらしい。
そこで、エラーが解除されるまでは、
「2ちゃんねる掲示板へようこそ」
の同タイトルのスレに投稿するから、そちらを見るように、とのことだ。
「ケーキの問題とサル石」に関しても同じ。
以上、哀れな素人の代理人より。
ケーキの問題とサル石 その２
ｽﾚﾘﾝｸ(math板:1番)
1 名前：哀れな素人[] 投稿日：2021/04/05(月) 08:37:20.66 ID:6/pTtpHE
(引用終り)
以上
828:１３２人目の素数さん
21/09/26 18:02:16.83 /hejQo8M.net
>>756
Yahooに掲示板なんかあったっけ？
"one stone"? 陳腐なHNだなｗ
「哀れな素人」？ あの人は耄碌してるからあてになんないよ
もう死んじゃったし
829:１３２人目の素数さん
21/09/26 18:04:28.33 /hejQo8M.net
>>756
>定義厨
定義を読まずに、自分勝手な俺様定義を作る人は、数学できないねｗ
ああ、それから、死んだ人の墓を掘るのは悪い趣味だよｗ
830:現代数学の系譜 雑談
21/09/26 18:10:46.66 4AZ2wKQ6.net
>>698-699
>ショルツェもこんな気分だったのかなあ
>まあ反論対応なんてやりたくないよな。。
>文句言われまくる割に自分の功績に全くならんし。
>それでもめちゃくちゃな基準がまかり通ると数学自体の信頼がなくなるから誰かがやらなきゃならんけど。
ここ、日本人的にはね、
議論はあまりしないよね
まず、おサルの>>681より下記引用
”ゲーデルの不完全性定理に対するツェルメロの反駁は
証明可能性と真偽の定義を混同する初歩的な誤りによるものだったので
ゲーデルは一度は対応したが二度目以降は対応しなかった
そして数学界はゲーデルのほうを正しいと認めた”
まあ、詳しい経緯は確認していないが、議論が1対1でなければ、例えば自分以外に反論する人が、沢山いれば、自分が反論する必要がない
多分、同様に、ショルツェ氏も、「おれが反論しなくとも、勝負はついた」と判断して反論しなかったと思われる
一方で、フランス人とかは、特に議論好きらしい
昔読んで覚えているのが、新しい語（名詞）が出てくると、「女性名詞か、男性名詞か、中性名詞か」で新聞紙上を含めて大論争になるらしい
（日本人的には、「どうでも よくね」だがｗ）
さて、フェセンコ先生からみて、IUTの明示公式の5名の共著論文で、名声を得るところ
（実際にABCを解決していれば、多分そうなるはず）
ショルツェ氏のzbmathレビューのおかげで、顔に泥を塗られたかっこうだ
さらに、仏リール大の先生方も同様。Promenade in Inter-Universal Teichmuller Theory>>4 をやったのに、
評価されないことになる（逆にアホだと言わ�
831:黷驍ｩも） こんな仕打ちで、黙っている方がおかしい。 当然反論があるでしょうね。さて、どうなることか
832:１３２人目の素数さん
21/09/26 18:14:26.61 /hejQo8M.net
今後、出てきたら褒めたい本
マセマ 集合と位相
マセマ 群と環
マセマ 加群
マセマ 体とガロア理論
マセマ 多様体
マセマ トポロジー
マセマ 微分形式
833:１３２人目の素数さん
21/09/26 18:19:18.61 /hejQo8M.net
>>759
相変わらず無意味なおしゃべりばかりだね
>ショルツェ氏「おれが反論しなくとも、勝負はついた」
いや、単に望月新一がわけのわからん「ご飯論法」で誤魔化したんで
「ああ、こいつ頭オカシイや」と思ってほっとくことにしたんでしょう
時間の無駄だからね あんな💩論文出版して恥かくのはRIMSだし
>フェセンコ
望月新一とグルなのかもな お互いにナアナアの関係
それじゃ頽廃するばかりだな
>仏リール大の先生方
名前くらい覚えてやれよ ヒドイ奴だなｗ
834:現代数学の系譜 雑談
21/09/26 18:23:47.70 4AZ2wKQ6.net
>>680
>Scholzeは、別に自分が正しいと云ってるわけではない
> 自分が読んで、肝心な定義が書いてないと思った
> 自然に解釈するとこうなると思うが、それではCor3.12は成り立たない
> Cor3.12が成り立つような定義が、そう簡単にできるとは思えない
>といった
>望月新一が、正しい定義を持ち合わせているなら示せばいい
>できなければ、正しい定義を持ち合わせてないってことになる
バカじゃね？
つーか、おサルはちょっと難しい文書になると、全く中身に入れないね
多分、数学科のゼミで絞られたトラウマで、
一歩一歩証明を確認しないと、数学の文書が
読めない体質になってしまったんだね、あわれだ
さて
1．Scholzeは、別に自分が正しいとは言っていないが、それ（自分が正しいと思っていること）は大前提だよ（公理同様）
2．Scholzeは、IUT全体がダメだと言っている。2018年のSS文書（のモノドロミー）を根拠にね
3．「ちょっと定義をいじったくらいでは、救いようがない」というのが、ショルツェ氏の主張です
(参考)（IUTに対する批判的レビュー）>>12
URLﾘﾝｸ(zbmath.org)
URLﾘﾝｸ(zbmath.org)
Mochizuki, Shinichi
Inter-universal Teichmuller theory. I: Construction of Hodge theaters. (English) Zbl 07317908
Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021).
Reviewer: Peter Scholze (Bonn)
(引用終り)
以上
835:１３２人目の素数さん
21/09/26 18:57:35.37 /hejQo8M.net
>>762
>バカじゃね？
SET A、君がなｗ
>おサルはちょっと難しい文書になると、全く中身に入れないね
中身に全く入れないおサルは、SET A、君だよ、キ・ミｗ
>1．Scholzeは、別に自分が正しいとは言っていないが、
>それ（自分が正しいと思っていること）は大前提だよ（公理同様）
いいやｗ
「自分が正しいと思っていること」なんか前提でもなんでもないｗ
SET Aって本当🐎🦌だよねｗ
>2．Scholzeは、IUT全体がダメだと言っている。
>2018年のSS文書（のモノドロミー）を根拠にね
SET Aの読み間違いねｗ
「もし、自然な解釈（単純化）をすれば」
モノドロミーが発生してCor3.12は言えなくなる
といっている
（「」内の仮定を割愛するSET Aは正真正銘の🐎🦌ｗ）
>3．「ちょっと定義をいじったくらいでは、救いようがない」というのが、
>ショルツェ氏の主張です
そこはその通り
だから、IUTが正しいというなら、モノドロミー問題を解決する
定義を示してごらん、といっている
望月新一がショルツに勝ちたいなら、定義を示す以外ない
しかし、望月新一は∧と∨の「ご飯論法」に逃げて
とうとう定義を示せなかった
つまりショルツに負けた ま・け・た
もう諦めろよ ニホンザルのSET A
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!
836:１３２人目の素数さん
21/09/26 19:05:45.27 /hejQo8M.net
>一歩一歩証明を確認しないと、数学の文書が読めない体質
証明読まずに公式だけつまみ食いすると
「任意の正方行列Aについて
A^(-1)=adj(A)/det(A)
で逆行列が求まる」（ドヤ顔）
みたいな大恥をかくｗ
で、「正則行列じゃない行列は逆行列が存在しないぞ」というと
公式見てdet(A)が
837:0のときは正則じゃないと素直に言えばいいのに なんか「零因子でない行列」とかもって回ったこといって さらに大恥かくｗｗ ついでにいうと、なんでdet(A)が0だと正則行列じゃないのか 全然わかってないのに、ドヤ顔しつづけるから最高に大恥かくｗｗｗ 線型独立も行列のランクも分からん馬鹿がドヤ顔すんなよ 💩くせえんだよｗ
838:１３２人目の素数さん
21/09/26 19:14:45.03 /hejQo8M.net
SET Aはとにかく勉強嫌いだから
行列式も定義式だけみて
「ああ、これで計算方法は”完全に”分かった」
といってオシマイにしてそうｗ
実は全然分かってないｗ
行列式は多重交代線型形式だと知ることが重要
そしてそこから定義式よりもはるかに簡単な計算方法が分かる
要するに行列を基本操作で階段化して対角要素だけ掛ければいい
掃き出し法と同じ
証明はただ論理的裏付けというだけではなく
実はより詳細な情報をもたらす
だから証明を読んで理解することは数学科の学生だけでなく
理学系工学系の学生にも価値がある
そういう必要な勉強をすっ飛ばすとSET Aのような
ツルッツルに上滑りしまくって何もひっかからない
正真正銘の大🐎🦌野郎になっちまうｗｗｗ
839:１３２人目の素数さん
21/09/26 19:32:23.49 ksMGrW32.net
相変わらずの線形代数スレ
840:１３２人目の素数さん
21/09/26 20:05:46.39 /hejQo8M.net
>>766
SET Aはマジで線型代数分かってないからねｗ
841:１３２人目の素数さん
21/09/26 21:39:45.31 qSS28sRK.net
線形代数どころかεδも集合論も何も分かってない
どうして何年も数学板に執着し続けるのか不思議
842:現代数学の系譜 雑談
21/09/26 22:35:42.13 4AZ2wKQ6.net
>>696-697
どうも
横だけど、例の「不等号＜による無限列論争（有限か無限か）」の人（おサルをボコボコにした人）（下記）かも
雰囲気が、似ている気がするな
おサルさんも、それを感じて、撤退したのな？ｗｗ
（>>122より）
Inter-universal geometry と ABC予想 (応援スレ) 56
ｽﾚﾘﾝｸ(math板:116番)
前スレ >>968 （ｽﾚﾘﾝｸ(math板:968番) ）
”もう議論としてあなたは詰んでしまってるんで
てか一週間経って俺がいなくなってそうな状態を見計らっての、突然の勝利宣言は流石に笑える
どんだけ悔しかったんだ”
843:現代数学の系譜 雑談
21/09/26 23:23:03.31 4AZ2wKQ6.net
>>763
>「もし、自然な解釈（単純化）をすれば」
>モノドロミーが発生してCor3.12は言えなくなる
単純化＝simplifications
が正当化されるためには、いくつかの条件がある
1．元の理論を正確に理解していること
2．”単純化＝simplifications”が、正確に元の理論の必要な要素を抽出していること
3．必要ならば、2について証明すること
ショルツェ氏の議論は、この3つの条件を満たしていない
だから、”単純化＝simplifications”は、非常に危険だってこと
そして、一般に、ある論文の証明について、対立する議論する場合、
”単純化＝simplifications”で証明の問題点を議論するならば、要求されれば上記の3項の証明をすべきところ
その証明は、元の論文を証明するくらいに手間だろう
だから、”単純化＝simplifications”で抽出した問題点を、元論文に戻して「ピンポイントでギャップを指摘」するべきなのです
しかし、ショルツェ氏の議論は、”単純化＝simplifications”だけで、”mono
844:dromy”を作って、”which leads to an empty inequality”で議論が終わってしまっている（下記の通り） これは、まずい。”単純化＝simplifications”が正しいことの証明がない。元論文に戻して「ピンポイントでギャップを指摘」すべきところ、それもない それを、やっていないから 彼は、自分が間違っていることに、気付かないのです つづく
845:現代数学の系譜 雑談
21/09/26 23:23:25.91 4AZ2wKQ6.net
>>770
つづき
(参考)
URLﾘﾝｸ(ncatlab.org)
Why abc is still a conjecture P SCHOLZE 著 Date: August 23, 2018.
P4
2. Hodge theaters and Frobenioid prime strips
2.1. Glossary: IUTT-terminology and how we may think of these objects.
This will
involve certain radical simplifications,
P10
Thus, Mochizuki wanted to introduce scalars of j^2 somewhere on the left part of thisdiagram (which strictly speaking leads to inconsistencies, i.e. monodromy, on the left part of thediagram alone, which arguably can be overcome by using averages). However, it is clear thatthis will result in the whole diagram having monodromy j^2, i.e., being inconsistent.The conclusion of this discussion is that with consistent identifications of copies of real num-bers, one must in (1.5) omit the scalars j^2 that appear, which leads to an empty inequality.
(引用終り)
以上
846:１３２人目の素数さん
21/09/26 23:44:47.20 VDegG7o3.net
>>770
君数学全然ダメやん
なんでそんな分かりきったような事言えるん？
847:１３２人目の素数さん
21/09/26 23:58:02.51 Qzbpo1vw.net
彼の妄想の中では彼は分かり切ってるんでしょう
848:現代数学の系譜 雑談
21/09/27 06:36:50.37 IUucGO2k.net
>>772
レスありがとうございます。
1．”単純化＝simplifications”の手法は、問題の論文を理解し、問題点を抽出する手法としては有効だが
具体的な問題点を指摘することができないならば、藁人形論法（ストローマン手法）>>425になってしまう危険がある
2．逆に、具体的な問題点を指摘することができるならば、論文の証明のギャップの指摘としてはそれだけで済む
”単純化＝simplifications”の手法は、あくまで問題点を探る一手法にすぎないので、表に出す必要もないのです
3．ショルツェ氏の2018年のSS文書の大きな問題は、”単純化＝simplifications”をして、（>>770）
”monodromy”を作って、”which leads to an empty inequality”で議論が終わってしまっているのです
4．”単純化＝simplifications”をしたら、確実に、原論文とは何かが変わってしまっているのです、当然ですが
だから、厳密（rigorous）な数学の議論には、なっていないのです
5．勿論、原論文中でも、”monodromy”を作ることができて、”which leads to an empty inequality”となる可能性はゼロでない
しかし、それは証明されては いないのです
6．そして、望月氏や、Dupuy氏や、さらに査読者と編集委員たちは、
ショルツェ氏の主張は不成立という判断なのですね
7．今後、欧州でフェセンコ先生やリール大の先生方が、SS文書について論争するならば
「”monodromy”を作ることができて、”which leads to an empty inequality”」は、IUTには当てはまらないという議論になるでしょうね
849:１３２人目の素数さん
21/09/27 06:52:59.41 HAEeQRGA.net
>>769
>無限列論争（有限か無限か）
ああ、SET Aが惨敗した無限シングルトンねｗ
{{{･･･}}}
まだ 上記の無限シングルトンが無限下降列を導くことが理解できないの？
🐎🦌だねえ…
850:１３２人目の素数さん
21/09/27 06:58:26.27 HAEeQRGA.net
>>770
>単純化＝simplificationsが正当化されるためには、
ああ、SET Aは相変わらずトンチンカンだねｗ
Scholzeは、simplificationsが正当だ、なんて一言も言ってない
「定義」が書かれてないから、その解釈の一つとして挙げただけ
その上で、「さすがに違うだろうけど、他にマシな定義も思いつかない
違うというなら、今ここで示してくれるかな？」といってるわけ
だから「定義」を示せばいいのに、望月新一は
全然関係ない∧と∨の「ご飯論法」で誤魔化したわけ
その時点で、IUTの命運は尽きたわけ
わかってないねえ だからSET Aは正則行列も理解できないんだよｗ
851:１３２人目の素数さん
21/09/27 07:03:53.55 HAEeQRGA.net
>>774
>具体的な問題点を指摘することができないならば、
具体的な問題点は指摘されている。「定義」がないこと。
それをsimplificationsで示している。
simplificationsが違うならば（違うに決まってるが）
それに代わる「定義」を示せばいいだけ
しかし望月新一はできなかった
望月新一の「ご飯論法」に対して、S
cholzeは「問いに答えてない」と
返すこともできたが、そうしなかった
なぜか？そんなの誰が見ても明らかだからｗ
だからRIMSが
「Scholze氏からの反論がなかった」
という理由でIUT論文の受理と出版を発表したとき
「マジ？」
といったわけ
852:１３２人目の素数さん
21/09/27 07:08:33.54 HAEeQRGA.net
>>774
>勿論、原論文中でも、”monodromy”を作ることができて、
>”which leads to an empty inequality”となる可能性はゼロでない
SET A、毎度恒例のオウンゴーーーーーーーーーーーーーーール！！！
ほんと、君って自爆大好きだよねｗ
あのね、
「IUT論文で、”monodromy”を作ることができて、
”which leads to an empty inequality”となる可能性がある」
ってことは
「Cor 3.12は定理じゃない」
って認めることだよｗ
だって、Cor 3.12が定義だったらan empty inequalityになる可能性ゼロだからｗ
ほんと、証明の意味すら分かってない論理盲のSET Aには驚き呆れるね
論理盲が大学数学を理解するなんて永遠に無理だから諦めろ（マジ）
853:１３２人目の素数さん
21/09/27 07:16:36.92 HAEeQRGA.net
>>774
>望月氏や、Dupuy氏や、さらに査読者と編集委員たちは、
>ショルツェ氏の主張は不成立という判断なのですね
Dupuyは
「いくらなんでも simplifications は酷すぎる
Cor 3.12が成立するような解釈が存在するかもしれないじゃないか」
という立場
これ、一見、望月新一を擁護してるように見えるけど実は違う
もし、IUTを理解しているなら、はっきりと
「かくかくしかじかの定義でCor 3.12が成立する！」
と説明する
要するに、Dupuyは、望月新一のいうCor 3.12の有用性は認めるものの
これが「定理」であるという点については留保してるんだな
査読者は誰だか知らんからコメントしない
おそらくフェセンコの可能性大だが、
フェセンコは説明に失敗してるから
分かってないんだろう
編集委員は正当性よりもRIMSという組織の防衛を優先させたと思われる
気持ちはわからなくもないが、国内事情を優先してRIMSの国際的信用を
落としたのは残念である
854:１３２人目の素数さん
21/09/27 07:19:21.44 HAEeQRGA.net
SET A 今日のオウンゴール >>774
「勿論、原論文中でも、”monodromy”を作ることができて、
”which leads to an empty inequality”となる可能性はゼロでない」
「Cor 3.12は定理ではない！」と宣言してしまった歴史的瞬間だなｗ
855:１３２人目の素数さん
21/09/27 07:49:55.17 HAEeQRGA.net
774の SET Aのオウンゴール はいつも実にスバラシイｗ
「勿論、原論文中でも、”monodromy”を作ることができて、
”which leads to an empty inequality”となる可能性はゼロでない」
「Cor 3.12は定理ではない！」と言い切っちゃったってスゴイなｗ
856:１３２人目の素数さん
21/09/27 07:52:58.08 HAEeQRGA.net
774>勿論、原論文中でも、”monodromy”を作ることができて、
作れちゃダメじゃね？ｗ
774>”which leads to an empty inequality”となる可能性はゼロでない
empty inequalityしか導けないんじゃダメじゃね？ｗ
全然分かってないド素人がIUT応援のつもりでIUTを完全否定とかマジワロスｗｗｗ
857:１３２人目の素数さん
21/09/27 07:55:17.34 HAEeQRGA.net
Cor 3.12が定理ってことは
「empty inequalityしか導けないことなんか絶対にない」
ってことだからね 分かる？論理盲のSET A
858:現代数学の系譜 雑談
21/09/27 08:32:57.86 IUucGO2k.net
>>783
だから
その判断を、IUTの査読者、RIMSの編集委員の先生方
含む 3億円の拓郎先生
及び、Promenade in Inter-Universal Teichmuller Theoryの講師たち
今年4回の国際会議の講師たち
それに、多分、Atsushi Shiho (Univ. Tokyo, Japan)先生>>321
が、「IUT OK！、ショルツェ氏はNG」という判断を下したのです
なお、定理の成立と、人が行う証明の軽微な瑕疵の有無とは、必ず
859:しも同値ではない 例えば、下記のクロネッカー・ウェーバーの定理は、1853年から Hilbert (1896) まで、43年 証明の軽微な瑕疵だって、数学では 見つけてそれを完全な証明にすれば、大きな成果ですよ だが、致命的な瑕疵は、多分ないでしょうね (参考) https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AD%E3%83%8D%E3%83%83%E3%82%AB%E3%83%BC%E3%83%BB%E3%82%A6%E3%82%A7%E3%83%BC%E3%83%90%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86 クロネッカー・ウェーバーの定理 歴史 定理は最初に Kronecker (1853) で述べられた。しかし、彼の議論は、次数が2のべきの拡大に対して不完全であった。 Weber (1886) が証明を出版したが、これはいくらかのギャップや誤りを含み、Neumann (1981) により指摘、修正されている。最初に完全な証明をしたのは Hilbert (1896) であった。
860:１３２人目の素数さん
21/09/27 09:10:53.31 HAEeQRGA.net
>>784
全然反駁できてないよｗ SET A
そもそも
「”単純化＝simplifications”をしたら、確実に、原論文とは何かが変わってしまっている」
とかいってるけど、君の
「具体的な問題点を指摘することができない限り（ダメ）」
という考え方に沿うなら、「何か」じゃダメだよ
「何が」変わったか具体的に指摘しないと
で、具体的に指摘できる？ できないだろ？だから
「勿論、原論文中でも、”monodromy”を作ることができて、
”which leads to an empty inequality”となる可能性はゼロでない」
って言っちゃったんだよな
それって「証明できてません」って認めてるってことじゃんｗ
オウンゴールじゃんｗ 自爆じゃんｗ
>IUTの査読者、RIMSの編集委員の先生方 含む 3億円の拓郎先生及び、
>Promenade in Inter-Universal Teichmuller Theoryの講師たち
>今年4回の国際会議の講師たち
>それに、多分、Atsushi Shiho (Univ. Tokyo, Japan)先生が、
>「IUT OK！、ショルツェ氏はNG」という判断を下したのです
ド素人の君の妄想はいいよ
IUTの査読者はともかく、RIMSの編集委員は中身理解してないね
拓郎氏は全然関与してないな 分野違うし
国際会議等の参加者は別にIUTを認めてるわけじゃない
別に踏み絵なんか踏まされないし
志甫淳氏がどう思ってるかは知らんけど、
IUTについて説明してない時点でどうでもいいな
御託を並べる前に、Scholzeの解釈を排除できるような明確な定義を示してごらん
できなきゃ望月新一の負け、そしてその支持者を称するSET Aの負けｗｗｗ
861:現代数学の系譜 雑談
21/09/27 10:18:49.51 sQYI2Lhm.net
>>785
>「”単純化＝simplifications”をしたら、確実に、原論文とは何かが変わってしまっている」
>とかいってるけど、君の
>「具体的な問題点を指摘することができない限り（ダメ）」
>という考え方に沿うなら、「何か」じゃダメだよ
>「何が」変わったか具体的に指摘しないと
背理法で証明できるよ
・”単純化＝simplifications”したにも関わらず、
原論文の記述すべてが”単純化＝simplifications”の後に残っているならば、
全く”単純化＝simplifications”されていない
QEDｗ
例えば、原論文100ページの要約を作るのに、
原論文100ページを、
そのままコピーしたら
要約にならんでしょｗｗ
どこが変わった？
それは、どこかでしょ（必ず存在する）
そして、”単純化＝simplifications”の是非を論じるのは（間違い探し）、おれじゃない
ショルツェ氏と、欧州のフェセンコ先生なり、リール大の先生方だよ
862:１３２人目の素数さん
21/09/27 10:23:07.26 HAEeQRGA.net
>>786
>背理法で証明できるよ
そう思ってるSET Aが頭オカシイ
いいかげん自分は無能って悟れよ
>”単純化＝simplifications”の是非を論じるのは（間違い探し）、おれじゃない
見つけられないなら黙れよ ド素人
SET Aのクソ背理法で否定されるのは
「IUTが完璧に定義しきっている」
っていう前提だろ
863:１３２人目の素数さん
21/09/27 10:25:38.92 HAEeQRGA.net
SET Aは「要約＝条件を落とすこと」と誤解してる
だから「正則行列全体の群」を「正方行列全体の群」と言い換えちゃうｗ
ま、マジで正則行列わかってなかったっぽいけどなｗｗｗ
もうね、線型代数、一からやりなおせって
線型代数もわからん🐎🦌に、群とか圏とかわかるわけないってｗ
864:１３２人目の素数さん
21/09/27 11:36:55.36 D1+DlXaa.net
むしろ群がわからずに線型代数がわかるんだろうか
865:１３２人目の素数さん
21/09/27 11:51:55.95 HAEeQRGA.net
>>789
実は制限が多いほうが分かり易いんだよ
いい性質が成立するからね これ豆な
知らないヤツはガチ素人
866:１３２人目の素数さん
21/09/27 11:56:32.66 7bntyE
867:Ip.net
868:現代数学の系譜 雑談
21/09/27 12:15:53.56 sQYI2Lhm.net
>>790
まさに、ごはん論法の典型じゃんかｗｗｗ
869:１３２人目の素数さん
21/09/27 12:43:11.23 CSw4lClZ.net
>>750
バカが。スバルほど内情だだ漏れの会社なんぞ有りゃせんぞ｡
儂にスバルの期間工であって欲しい、スバルの期間工じゃ！という意見が
お前と、あの時の他板から来た電通博報堂掛け持ち365.25日24h貧乏暇無しネット内職お先真っ暗くんの共通意見じゃ｡
ほう言やぁオドレはあの時の風説誘導内職請負と違って無頼で風説誘導しとるな｡
オドレもネット内職しか出来んか？
> 訳分からんよ
は？オドレの所業を『仲人の顔に泥塗るスピード離婚』や『担当弁護士の評判を地に落とすスピード再犯』に例えて
まぁだ分からん？世間知らずと違うなら自明じゃろ。それを分からん言うんか。根深い世間知らずじゃな｡
何じゃオドレ世間知らずじゃない素振りしといて、そうにまで根深い世間知らずを晒して｡
世間を知る為の根元的な素質さえ無い様に見えるが、口の聞き方からすると、素質が無いわけとは違う｡
世間を知るに際し当然体験していく物事を体験しとらんな。暮らしの中に体験する機会が無い様じゃな｡
機会を失う様な機序で暮らしとる様じゃな。いつから引き籠っとるんじゃオドレは？
870:１３２人目の素数さん
21/09/27 12:45:03.65 CSw4lClZ.net
やべ、SetA坊の世間知らずぶりが重度過ぎる
871:１３２人目の素数さん
21/09/27 12:48:10.01 CSw4lClZ.net
>>752
儂の時には既に無かった。学友会室に上がり込んで読んだ解析概論にはなんか金太郎飴みたいなFigが有ったのう｡
872:１３２人目の素数さん
21/09/27 12:49:21.19 oqoj2i7H.net
このスレはセタ、猿石、蕎麦の提供でお送りします
873:１３２人目の素数さん
21/09/27 12:54:34.79 CSw4lClZ.net
>>792
はい残念 >>791
SetA坊じゃ除数0も制限し忘れそうじゃな。正に、坊ん坊ん莫迦坊ん莫迦坊ん坊ん、じゃな｡
所でバカボンはバカに成る事故に遭う前はハジメちゃんを超える天才じゃったらしいが本当け、ポニョ爺
874:現代数学の系譜 雑談
21/09/27 12:55:36.81 sQYI2Lhm.net
>>791
>ほんとそれ
>マグマが一番ムズい
マグマには、マグマの役割があり
群には、群の役割があり
環には、環の役割がある
難しく考えれば、難しい
易しく考えれば、易しくなる
禅問答だがね
なんのために、マグマを学ぶのか？
その目的を忘れないようにしよう
そうすれが
かなり易しく考えられるだろうよ
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
マグマ (数学)
抽象代数学におけるマグマ（英語: magma）または亜群（あぐん、groupoid）は、演算によって定義される種類の基本的な代数的構造であり、集合 M とその上の二項演算 M × M → M からなる組をいう。マグマ M における二項演算は M において閉じていることは要求するが、それ以外の何らの公理も課すものではない。
このような構造に対して「マグマ」という呼称を導入したのはニコラ・ブルバキである[* 1]。旧来はオイステイン・オアによる用語で亜群（groupoid）と呼ばれていたもので、現在でもしばしばそのように呼ばれる。ただ�
875:ｵ、それとは別に圏論において「亜群（groupoid）」と呼ばれる概念があるので、それと混同してはならない。 https://ja.wikipedia.org/wiki/%E3%83%9E%E3%82%B0%E3%83%9E%E3%81%AE%E5%9C%8F マグマの圏 数学の一分野、圏論におけるマグマの圏（マグマのけん、英: category of magmas）Mag は、すべてのマグマ（一つの二項演算を備えた集合）を対象とし、（普遍代数学の意味での）演算の準同型（演算を保つ写像）を射とする圏を言う。 マグマの圏 Mag は圏論的直積を持つから、直積を持つ任意の圏におけると同様に、（圏の内部演算に関する）マグマ対象 (magma object) の概念が意味を持つ[1]。
876:１３２人目の素数さん
21/09/27 13:47:43.17 HAEeQRGA.net
>>798
>なんのために、マグマを学ぶのか？
>その目的を忘れないようにしよう
中身ゼロの精神論！
さすがド素人SET A！
Q1 なんのために、線型空間を定義するのか
Q2 なんのために、線型写像を定義するのか
Q3 なんのために、線型独立を定義するのか
Q4 なんのために、基底を定義するのか
Q5 なんのために、次元を定義するのか
Q6 なんのために、ランクを定義するのか
Q7 なんのために、行列式を定義するのか
上記７問 全部答えてもらおうか SET A
877:現代数学の系譜 雑談
21/09/27 14:48:20.65 sQYI2Lhm.net
>>796
＞このスレはセタ、猿石、蕎麦の提供でお送りします
おれは、名前の議論はしない、だれか第三者に迷惑をかける可能性があるからね
まあ、お説の通りと思ってもらって、結構だよ～んｗｗｗ
878:現代数学の系譜 雑談
21/09/27 14:55:07.06 sQYI2Lhm.net
>>799
全部同じ
答えは一つ
必要があるから
なぜ山に登るのか？
そこに、山があるからだ （名言ですねｗ）
なぜ山に登るのか？ そこに、山があるからだ
URLﾘﾝｸ(adachi.ed.jp)
「人はなぜ山に登るのか」 イギリスの登山家
イギリスの登山家、ジョージ・マロリーは「なぜ、山に登るのか。 そこに、山があ るからだ」と言ったそうだ。 この言葉を哲学的な意味で捉えれば、「山は、人生に似 ている。 目先の小さな目的に捉われず、その山の頂上を目指し、ただ一生懸命のぼれ ばいい。
URLﾘﾝｸ(ja.wikipedia.org)
ジョージ・マロリー
マロリーが「なぜ、あなたはエベレストに登りたかったのか？」と問われて「そこにエベレストがあるから（Because it's there. ）」と答えたという逸話は有名であるが、日本語では、しばしば「そこに山があるから」と誤訳されて流布している（後述「そこにエベレストがあるから」）。
URLﾘﾝｸ(news.1242.com)
ニッポン放送
「そこに山があるからだ」の本来の意味は？ 誤解されて伝わっている名言・格言
By - NEWS ONLINE 編集部
2021-02-01
■「そこに、山があるからだ」 イギリスの登山家 ジョージ・マロリー
「なぜ、山にのぼるのか。そこに、山があるからだ」イギリスの伝説的登山家、ジョージ・マロリーが口にしたという、余りにも有名な言葉です。この言葉、いまでは、非常に哲学的な意味で捉えられています。たとえば、こんな具合です。
「山は、人生に似ている。目先の小さな目的に捉われず、その山の頂上を目指し、ただ一生懸命のぼればいい。それが、充実した人生を過ごす秘訣なのだ」
でも、こうした見方は、間違っています。マロリーが言う「山」とは、観念的な意味ではなく、具体的な「実在する山」だからです。そして…その山とは、ズバリ、「エベレスト」のことなんです。
879:１３２人目の素数さん
21/09/27 15:44:46.33 HAEeQRGA.net
>>799
Q1 なんのために、線型空間を定義するのか
Q2 なんのために、線型写像を定義するのか
Q3 なんのために、線型独立を定義するのか
Q4 なんのために、基底を定義するのか
Q5 なんのために、次元を定義するのか
Q6 なんのために、ランクを定義するのか
Q7 なんのために、行列式を定義するのか
>>801
>全部同じ 答えは一つ 必要があるから
それぞれどういう必要があるか具体的に書けるかな？ SET Aくぅーん
880:１３２人目の素数さん
21/09/27 15:55:12.85 HAEeQRGA.net
SET Aのような具体🐎🦌 計算🐎🦌は
線型空間や線型写像の必要性なんかわからないだろう
線型空間はR^nのことだと思ってるし
線型写像は行列のことだと思ってるから
しかしそういう人は、
「行列の像となる集合」
「行列で０ベクトルに写るベクトル
881:全体のなす集合」 といわれると、とたんにパニクるｗ 上記の集合の性質として「線型空間」が必要になるし 「線型空間」の性質を保持する写像として「線型写像」が必要となる
882:１３２人目の素数さん
21/09/27 15:59:10.39 HAEeQRGA.net
SET Aのような具体🐎🦌 計算🐎🦌は
次元の定義の必要性なんかわからないだろう
R^nの次元はn、だけで十分と思ってるから
しかしそういう人は>>803でも上げた
「行列の像となる線型空間の次元」
「行列で０ベクトルに写るベクトル全体のなす線型空間の次元」
といわれると、とたんにパニクるｗ
上記の線型空間の「次元」を定義するのに「基底」が必要になるし
「基底」を定義するのに「線型独立」が必要になる
883:１３２人目の素数さん
21/09/27 16:05:01.98 HAEeQRGA.net
つまり数ベクトル空間の行列だけを考えたとしても
「行列の像となる集合」
「行列で０ベクトルに写るベクトル全体のなす集合」
の性質を考えるのに
「線型空間」「線型写像」「線型独立」「基底」「次元」
が必要になる
（上記の空間はある数ベクトル空間と「同型」になるだろうが、
そもそもそれを示すにも「同型」の定義も含め、
上記の概念の定義が必要）
884:１３２人目の素数さん
21/09/27 16:10:40.68 HAEeQRGA.net
で、ランクだが、行列と線型写像では定義が違う
・行列 ：基本変形で階段行列に直した場合の段数
・線型写像：像の空間の次元
しかし行列を線型写像とすれば、両者は実は同値
つまり具体的な計算結果と抽象的な性質がここでつながる
これこそ現代数学の醍醐味！！！
しかし、線型代数＝行列の計算、としか思わない工学🐎🦌どもは
一生このことに気づかないままクタバル ああもったいないｗ
885:１３２人目の素数さん
21/09/27 16:20:18.71 HAEeQRGA.net
ああ、いかんいかん
Q1からQ6まで、自分で答えてしもたｗ
ま、でもQ7だけは残しといたろｗ
答えられるもんなら答えてみいや！
886:１３２人目の素数さん
21/09/27 20:37:21.32 HAEeQRGA.net
実は行列式の歴史は行列より古い（ボソッ）
887:現代数学の系譜 雑談
21/09/27 21:46:07.67 IUucGO2k.net
>>808
おサルさんｗ
（>>671より）
(引用開始)
あとに引けなくなっちゃったんでしょ？
「ここがこうだからこの発言は愛国的だと思います」と説明すれば終わりなのに
プライドが高いと間違いを認められなくて大変だね
(引用終り)
必死で格好つけようと
連投しているね
分かっているよ
頑張って
ボコボコにされてつらいんだね
分かるよ
分かるよｗｗｗ
888:１３２人目の素数さん
21/09/28 06:39:51.49 goFwUqv3.net
>>809
SET A 線型代数に関する基本的な質問に何一つ答えられず
悔しさのあまり 歪んだ笑いの投稿か
御愁傷様
889:現代数学の系譜 雑談
21/09/28 07:59:07.99 M/bbwwus.net
>>786 補足
ショルツェ氏が、SS文書（2018）で示したのは
IUTを、”単純化＝simplifications”をしたら、
「”monodromy”を作ることができて、”which leads to an empty inequality”」>>774
だと言った
だけど、”単純化＝simplifications”を、しなかったらどうなるか？
これについては、何も語っていないのです
完全に、藁人形論法（ストローマン手法）>>425ですね、これだけではね
”単純化＝simplifications”は、重要な手法です
”単純化＝simplifications”で、IUTのギャップを見つけたならば
IUTのギャップを、きちんと、”単純化＝simplifications”無しで示さなければいけない
そうしないと、厳密（rigorous）な数学の議論には、なっていないのです
”単純化＝simplifications”は、あくまで、一つの手段に過ぎず、最終結論ではない
そして、IUT側の反論は、「”単純化＝simplifications”無しなら、SS文書の議論は不成立だ」ってこと
査読者、RIMS編集委員たち、Promenade in Inter-Universal Teichmuller Theory 及び
4回のIUT国際会議に集う数学者たちは、「SS文書（2018）にダメだし」なのです
普通は、藁人形論法（ストローマン手法）など無視ですが
zbmathレビューが出たので、これは欧州では議論になると予想されます
どうなるか
楽しみですね
890:１３２人目の素数さん
21/09/28 08:38:39.80 goFwUqv3.net
>>811
>”単純化＝simplifications”を、しなかったらどうなるか？
>これについては、何も語っていないのです
望月新一も語れてないｗ
IUTでは肝心なことが「定義」されてないから、
Cor3.12が導けない、といってる
「定義」されてないことを”単純化＝simplifications”で解釈したら
Cor 3.12の代わりに自明な不等式しか導けない、といっている
この指摘に対して、望月新一が成すべき唯一のことは以下
「明確な「定義」を示した上で、Cor 3.12を導くこと」
し・
891:か・し、望月新一にはできなかった ∧と∨の「ご飯論法」で誤魔化しただけ >IUT側の反論は、 >「”単純化＝simplifications”無しなら、SS文書の議論は不成立だ」 >ってこと しかしその証明はゼロｗ >査読者、 >RIMS編集委員たち、 >Promenade in Inter-Universal Teichmuller Theory 及び >4回のIUT国際会議に集う数学者たちは、 >「SS文書（2018）にダメだし」なのです 査読者 ：誰だか知らんが（おそらくフェセンコ）説明できず 編集委員 ：数論専攻以外は、部外者で中身も理解しておらず 会議参加者：参加しただけで、ＩＵＴを認めたわけでもない SS文書そのものは否定できない（否定したら数学出来ない馬鹿ｗ） SS文書がIUTとは無関係、といえるのがせいぜい Dupuyの発言はそういう主旨 しかし、そのDupuyですがIUTによるCor 3.12の証明は認めてない 理解できないんだから当然 つまり、望月新一の論文は 「Cor 3.12という”予想”からABC予想を導いた」 というだけで、IUTのところは現状では無価値ｗ もちろん、一つのアイデアとしては意味があるだろうが 成功するかどうかはまだ分かってない
892:１３２人目の素数さん
21/09/28 08:50:47.76 goFwUqv3.net
Q7については、ちょっと違った形で説明しよう
積分の変数変換って工学🐎🦌でも知ってるだろ？
多変数の場合はヤコビアンが出てくるな
ヤコビアンは行列式つかうだろ？
だから工学🐎🦌でも必要なのはわかるよな？（嘲）
あと陰関数定理って知ってるよな？
あれもヤコビアンが０でないって条件あるよな？
しかも陰関数の形を具体的に求めるけど、あれ、行列の変形だよな
もしかして、全然分かってない？ 証明全然読まないの？
どんだけ🐎🦌なの？ SET Aは（嘲）
893:１３２人目の素数さん
21/09/28 08:55:09.36 goFwUqv3.net
ｽﾚﾘﾝｸ(math板:184番)-190
SET Aもそろそろ望月新一のIUT応援なんて無駄なことはやめて
望月拓郎氏の柏原予想解決のスレでも立てたらどうだ？
ド素人の貴様にできるものならな！
ｷﾞｬﾊﾊﾊﾊﾊﾊ!!!
894:１３２人目の素数さん
21/09/28 08:59:03.69 goFwUqv3.net
＞藁人形論法（ストローマン手法）
上記は、SET Aには大変有効である
なぜなら、SET Aは本当に藁人形だからであるｗｗｗｗｗｗｗ
正則行列も知らんとか・・・🐎🦌か！
895:１３２人目の素数さん
21/09/28 09:11:47.70 3+tL7kXV.net
すっかり猿石とセタのカップルスレに
896:１３２人目の素数さん
21/09/28 10:33:38.68 goFwUqv3.net
このスレは、数学科卒で中学校および高等学校の教員免状をもつ私が
工学部で大学数学に落ちこぼれたSET A君に、実数論と線型代数を
教えるスレに変わりました
わけもわからず、他人の文章を剽窃するコピペは
犯罪行為として処罰しますよｗ
897:１３２人目の素数さん
21/09/28 11:08:38.48 BP6wSc+1.net
教師になってたら確率苦手な生徒量産されてそう
898:現代数学の系譜 雑談
21/09/28 11:28:35.05 JREy5YEX.net
>>818
>教師になってたら確率苦手な生徒量産されてそう
わろた～
吹いたわ
大うけです
座布団３枚です！ｗ
899:現代数学の系譜 雑談
21/09/28 11:44:14.95 JREy5YEX.net
Scholze氏 YouTube ３本
彼は、数学界のスーパースターですね
URLﾘﾝｸ(www.youtube.com)
#mathematician?????? #mathlife?????? #interview??????
Interview with Peter Scholze 56分もの
23,459 回視聴2021/05/22
Math-life balance
チャンネル登録者数 2890人
Peter Scholze is a professor in Bonn University, working in number theory and arithmetic geometry. In this interview, we chat about the pressure of the Fields medal, discuss the pain of writing math papers and argue about math.
Peter's homepage: URLﾘﾝｸ(www.math.uni-bonn.de)
900:ple/sc... Photo: Hausdorff Center for Mathematics / Barbara Frommann https://www.youtube.com/watch?v=7pmt_xra67k 2018 Fields Medal Peter Scholze - Professor, University of Bonn - ICM 2018 3分もの 32,799 回視聴2018/08/03 WebsEdge Science チャンネル登録者数 1.35万人 IMPA professor Roberto Oliveira sits down with Peter Scholze for ICM TV to hear about his game-changing work in perfectoid spaces and fractal structures, as well as new research using his techniques in p-adic geometry to work towards Local Langlands Correspondence for reductive groups. https://www.youtube.com/watch?v=J0QdTYZIfIM Interview at CIRM : Peter Scholze 10分もの 107,935 回視聴2015/06/29 Centre International de Rencontres Mathematiques チャンネル登録者数 2.04万人 Peter Scholze became known as a mathematician after finishing his Bachelor's degree in three semesters and his Master's degree in two further semesters. Scholze's subsequent PhD-thesis on Perfectoid spaces yields the solution to a special case of the weight-monodromy conjecture.
901:現代数学の系譜 雑談
21/09/28 12:03:16.18 JREy5YEX.net
>>4 関連
math_jin サイトより転載
この人の情報収集力はすごい
URLﾘﾝｸ(twitter.com)
math_jin
8時間
Inter-universal Teichmuller Theory (IUT) Summit 2021,
RIMS workshop, September 7 - September 10 2021
*Notes of the workshop
#IUTABC
URLﾘﾝｸ(kurims.kyoto-u.ac.jp)
講演資料リンク集
Notes of the workshop
Inter-universal Teichmuller Theory (IUT) Summit 2021,
RIMS workshop, September 7 - September 10 2021
math_jin
8時間
Invitation to Inter-universal Teichmuller theory (IUT),
RIMS workshop, August 31 - September 3 2021
*Notes of the workshop
#IUTABC
URLﾘﾝｸ(kurims.kyoto-u.ac.jp)
講演資料リンク集
Notes of the workshop
Invitation to Inter-universal Teichmuller theory (IUT),
RIMS workshop, August 31 - September 3 2021
(deleted an unsolicited ad)
902:現代数学の系譜 雑談
21/09/28 12:18:46.60 JREy5YEX.net
>>821
>URLﾘﾝｸ(kurims.kyoto-u.ac.jp)
抜粋
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Benjamin Collas Principles of Inter-universal Teichmuller Geometry
これ、注目していたけど・・
いまどき、古典的な黒板への手の板書の画像
山下先生の系譜かもねｗ
そのうち、タイプアップの文書が出るでしょうね
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Wojciech Porowski Overview of IUT theory
P3
Structure of the theory
How to briefly summarise the structure of IUT?
Roughly speaking, the main result of the theory is a construction of certain
group-theoretic algorithm and description of its properties. In particular,
this algorithm is compatible with Kummer-theories (up to certain
indeterminacies), which link Frobenius-like structures with its ´etale-like
counterparts and with the Θ-link.
We will try to discuss some of the expressions appearing above and explain
how they fit into the IUT theory.
面白そうですが、中身は、私にはありがたいお経ですｗ
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(WS4).pdf
Shinichi Mochizuki Q & A Session I [MS whiteboard] whiteboardでなく、黒板ですがｗ（単なる茶化し）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(WS4).pdf
Shinichi Mochizuki Q & A Session II [MS whiteboard] 上に同じ
(引用終り)
以上
903:現代数学の系譜 雑談
21/09/28 18:05:04.26 JREy5YEX.net
>>814
>ｽﾚﾘﾝｸ(math板:184番)-190
>望月拓郎氏の柏原予想解決のスレでも立てたらどうだ？
ご紹介ありがとう
いやね、3億円の＜柏原予想＞って、どんな予想かなと思ってねｗ
下記は、URLﾘﾝｸ(mathsoc.jp)
望月拓郎氏の日本学士院賞受賞に寄せて IPMU 主任研究員 斎藤恭司 数学通信第１５巻第２号（２０１０年度）
からですが
ｽﾚﾘﾝｸ(math板:189番)
＜柏原予想＞
ホッジ加群の場合には局所モノドロミーの固有値は１の冪根ですが，その制限を取り払い，更に一般の不確定特異点をも持つ場合も許して，1996 年に柏原正樹は射影多様体上の任意の半単純ホロノミック D-加群に対しても強 Lefschetz 定理，分解定理等の性質が成り立つであろうと予想しました [8]．勿論，この予想は，確定特異点をもつホロノミック D-加群の圏に制限すれば，標数ゼロの場合の半単純構成可能偏屈層に対して強 Lefschetz 定理，分解定理等の性質が成り立つ事を主張するものです．
(引用終り)
多分、物理数学とかに応用があるので、高く評価されるのでしょうね
”D-加群”は、本がありましたよね（下記）
”偏屈層”ね、なんか懐かしいね。昔読んだ気がするな
意味分からんかったけど、変な名前なので、記憶に残っているｗ
（参考）
URLﾘﾝｸ(www.kyoritsu-pub.co.jp)
D加群 共立
URLﾘﾝｸ(www.kinokuniya.co.jp)
現代数学シリーズ Ｄ加群と代数群 紀伊国屋
つづく
904:現代数学の系譜 雑談
21/09/28 18:05:44.15 JREy5YEX.net
>>823
つづき
URLﾘﾝｸ(ja.wikipedia.org)
D-加群(D-module)は、微分作用素の環 D 上の加群である。そのような D-加群への主要な興味は、線型偏微分方程式の理論へのアプローチとしてである。1970年ころ以来、D-加群の理論は、主要には代数解析上の佐藤幹夫のアイデアのまとめて、佐藤・ベルンシュタイン多項式（英語版）についての佐藤とヨゼフ・ベルンシュタイン(Joseph Bernstein)の仕事へと発展した。
初期の主要な結果は、柏原正樹の柏原の構成定理（英語版）と柏原の指数定理（英語版）である。
リーマン・ヒルベルト対応
リーマン・ヒルベルト対応（英語版）は、ある D-加群と構成層の間のリンクを確立した。これは、偏屈層（英語版）を導入する動機をもたらした。
URLﾘﾝｸ(en.wikipedia.org)
Perverse sheaf ＝”偏屈層”
the algebraic theory of differential equations (microlocal calculus and holonomic D-modules of Joseph Bernstein, Masaki Kashiwara and Takahiro Kawai).
The properties characterizing perverse sheaves already appeared in the 75's paper of Kashiwara on the constructibility of solutions of holonomic D-modules.
(引用終り)
以上
905:現代数学の系譜 雑談
21/09/28 18:38:48.03 JREy5YEX.net
>>823 追加
下記は、拓郎先生自身の説明です
URLﾘﾝｸ(www.ostec.or.jp)
第 30 回（平成 24 年度）大阪科学賞表彰式・記念講演 その２
大域解析学と代数解析学の交錯
京都大学数
906:理解析研究所 教授 望月 拓郎 氏 このたびは大阪科学賞をいただき、大変光栄 に存じます。これまで御世話になった全ての 方々に感謝の意を表します。 学問上の意義としては、超難問が解けたという のはわかりやすいのですが、それに伴う数学の 発展の方がはるかに重要です。私の研究で解決 された「柏原予想」は 21 世紀半ばまでは解け ないであろうと思われていた「難問」であり、 その証明のために書いた分量は 1000 ページを 超えますが、殊更に口にするのは恥ずかしいこ とです。そのような事情もあって研究の意義を 「わかりやすく」説明するのは難しく感じられ ます。 数学の面白い研究は、幾つかの分野や手法が うまく交錯したときになされます。調和バンド ルとツイスター D- 加群では、大域解析学、代 数解析学、代数幾何、トポロジーがうまく交錯 しています。以下では、大域解析学と代数解析 学という 2 つの分野とその交錯について説明し たいと思います。 つづく
907:現代数学の系譜 雑談
21/09/28 18:39:14.00 JREy5YEX.net
>>825
つづき
多くの自然法則が微分方程式として記述され
ていることもあって、微分方程式の研究は数学
における最も重要な課題の一つです。しかし、
一般の微分方程式は非常に難しい対象であり、
実際に解を求めてその性質を調べる、というよ
うな素朴な方法ではすぐに行き詰ってしまいま
す。そこで、目的、興味を持つ対象、用いる手
法などを絞ってアプローチすることになり、大
域解析学や代数解析学など様々な分野に細分化
されていきます。
線形偏微分方程式から「形」を取り去っ
た「実体」である D- 加群を研究するのが代数
解析学です。「形」を忘れることで、与えられ
た対象から別の対象をつくり出す一般論（関手
性）をかなり自由自在に使えるようになります。
D- 加群の中でも特に重要なのがホロノミック
D- 加群です。柏原や Mebkhout によって示さ
れた正則ホロノミック D- 加群と偏屈層の間の
Riemann-Hilbert 対応や、旗多様体上の同変
D- 加 群 と リ ー 群 の 表 現 の 間 の Beilinson Bernstein 対応などにみられるように、ホロノ
ミック D- 加群はいろいろな数学的対象の生ま
れ変わりになっています。そのため、線形偏微
分方程式の研究という枠を超えて、現代数学に
おける最も重要な研究対象の一つとなっています。
つづく
908:現代数学の系譜 雑談
21/09/28 18:39:38.71 JREy5YEX.net
>>826
つづき
D- 加群は単純ホロノミック D- 加群と呼ば
れる基本部品から作られます。単純ホロノミッ
ク D- 加群を寄せ集めただけでつくられる
D- 加群のことを半単純ホロノミック D- 加群
といいます。一般のＤ加群はより複雑なものと
なります。上で述べた関手性のうち、積
分や近傍サイクル関手を半単純ホロノ
ミック D- 加群に適用しても半単純性が
本質的には保たれるであろうというのが
柏原の予想です。これは代数解析において基礎
的な重要性を持つだけでなく現代数学の非常に
深い部分に連なる問題です。
Beilinson-Bernstein-Deligne-Gabber に よ る
研究（モチーフ的 D- 加群の場合）、齋藤盛彦
による研究（ホッジ加群の場合）がありますが、
それぞれがきわめて深い理論に基づくもので
す。そして、柏原の予想はこれらの結果の大き
な一般化を意味します。その柏原の予想が、大
域解析学と代数解析学の交錯、つまり大域解析
の強み（局所的な性質と大域的な性質を関連づ
ける）と代数解析の強み（関手性）が�
909:､まく組 み合わされることによって解決されたのでし た。 つづく
910:現代数学の系譜 雑談
21/09/28 18:40:01.44 JREy5YEX.net
>>827
つづき
調和バンドルというものが私の主要な研究対
象です。これはある非線形な楕円型偏微分方程
式の解です。非コンパクト空間上での調和バン
ドルの解析、特に無限遠における振舞い（漸近
挙動）が、パラボリック構造・ストークス構造・
極限混合ツイスター構造によってどのように制
御されるかを、私は詳しく調べました。その結
果を用いて射影多様体上の有理型平坦バンドル
と有理型ヒッグスバンドルと調和バンドルの間
の対応を確立しました。また有理型平坦バンド
ルの「変わり目点」という非常に悪い特異点を、
双有理射によって解消できることを示し、上で
述べた対応も用いることで半単純有理型平坦バ
ンドルと調和バンドルの間の対応を得ました。
これらの知見に基づいて、純ツイスター D- 加
群と調和バンドルの間の対応を確立し、純ツイ
スター D- 加群が大域解析学的な性質と代数解
析学的な性質をあわせ持つものであることを示
しました。そして純ツイスター D- 加群と半単
純ホロノミック D- 加群の対応を確立すること
で、半単純性が関手性を持つこと、すなわち柏
原の予想を解決できたのでした。
※本内容は、受賞記念講演を要約したものです。
(引用終り)
以上
911:現代数学の系譜 雑談
21/09/28 18:52:45.03 JREy5YEX.net
>>828
>双有理射によって解消できることを示し
双有理射で思い出すのが下記
双有理射（極小モデル）：小平→森先生
そして、これが、拓郎先生へとつながっている気がします
まさに、日本のお家芸ですね！ｗ
URLﾘﾝｸ(ja.wikipedia.org)
極小モデル
代数幾何学では極小モデルプログラム(minimal model program)が代数多様体の双有理分類の一部となっている。その目標は、任意の複素射影多様体のできるだけ単純な双有理モデルと構成することである。この主題の起源は、代数幾何学のイタリア学派（英語版）により研究された曲面の古典的双有理幾何学にあり、現在は代数幾何学の活発な研究領域となっている。
概要
理論の基本的アイデアは、各々の双有理同値類の中に、｢できるだけ単純な｣多様体を見つけることで多様体の双有理分類を単純化することである。この文の詳細な意味は、次のような問題を開発することへ発展した。すなわち、もともとは曲面に対して、任意の双有理な射(regular map) {\displaystyle f:X\rightarrow X'}{\displaystyle f:X\rightarrow X'} が同型であるような滑らかな多様体 {\displaystyle X}X を見つけることを意味していた。
曲面の極小モデル
詳細は「エンリケス・小平の分類」を参照
高次元極小モデル
最初の重要な結果は、森重文の円錐定理(Cone theorem)で、{\displaystyle X}X の曲線の円錐の構造を記述している。
この問題への予想された解決は、フリップ(flip)で、{\displaystyle X_{i}}X_{i} 上の余次元 2 の一種の手術操作である。求めているフリップが存在するか、それらの列が常に終端を持つかということが明らかではない。
（すなわち、有限回の操作で極小モデル {\displaystyle X'}X' に行きつけるのか。）
Mori (1988) では、フリップが 3 次元の場合は存在することを証明し、さらに最近の仕事ではより高次元の場合の極小モデルの存在と終端を持つという問題へ注力されている。
(引用終り）
以上
912:現代数学の系譜 雑談
21/09/28 20:37:41.67 M/bbwwus.net
>>823
>URLﾘﾝｸ(mathsoc.jp)
>望月拓郎氏の日本学士院賞受賞に寄せて IPMU 主任研究員 斎藤恭司 数学通信第１５巻第２号（２０１０年度）
この中に、小林-Hitchin 対応 が出てきます
これが、Fedor Bogomolov→he contributed a proof (among many proofs) of the geometric Szpiro's conjecture which appears to be the nearest to Shinichi Mochizuki's claimed proof of the arithmetic Szpiro conjecture.
と繋がっているのは、不思議ですね
URLﾘﾝｸ(ja.wikipedia.org)
小林・ヒッチン対応
小林・ヒッチン対応 (Kobayashi?Hitchin correspondence) は、複素多様体上の安定ベクトル束（英語版）をアインシュタイン・エルミットベクトル束（英語版）に関連付ける。対応の名前は小林昭七とNigel Hitchin（英語版）に因んでいる。彼らは1980年代に独立に次のことを予想した：複素多様体上のアインシュタイン・エルミットベクトル束と安定ベクトル束のモジュライ空間は本質的に同じである。これはDonaldsonによって代数曲面と後にalgebraic manifold（英語版）に対して証明され、Uhlenbeck と Yau によってケーラー多様体に対して証明され、Li と Yau によって複素多様体に対して証明された。
URLﾘﾝｸ(en.wikipedia.org)
Kobayashi?Hitchin correspondence
History
Inspired by the Narasimhan?Seshadri theorem, around this time a folklore conjecture formed that slope polystable vector bundles admit Hermitian Yang?Mills connections.
This is partially due to the argument of Fedor Bogomolov and the success of Yau's work on constructing global geometric structures in Kahler geometry.
This conjecture was first shared explicitly by Kobayashi and Hitchin independently in the early 1980s.[1][2]
つづく
913:現代数学の系譜 雑談
21/09/28 20:38:19.10 M/bbwwus.net
>>830
つづき
URLﾘﾝｸ(en.wikipedia.org)
Fedor Bogomolov
Other works in arithmetic geometry
Bogomolov has contributed to several aspects of arithmetic geometry. He posed the Bogomolov conjecture about small points. Twenty years ago[when?] he contributed a proof (among many proofs) of the geometric Szpiro's conjecture which appears to be the nearest to Shinichi Mochizuki's claimed proof of the arithmetic Szpiro conjecture.
(引用終り)
以上
914:現代数学の系譜 雑談
21/09/28 20:46:55.20 M/bbwwus.net
>>829
>>828
>有理型平坦バンド
>ルの「変わり目点」という非常に悪い特異点を、
>双有理射によって解消できることを示し
特異点解消なら、広中先生の系譜ですね
まさに、まさに、日本数学の成果を結集したのが、
拓郎先生の3億円ですねｗ
(参考)
URLﾘﾝｸ(watanabe-www.math.dis.titech.ac.jp)
特異点の解消
（余談）このページの作者が学生だったころ(1980年代）， 広中平祐先生は京都大学数理解析研究所の所長をされていました。 特異点解消定理の偉業(1964)は日本人なら誰でも（数学を専攻していなくても） よく知っていることでした。 京都大学北部キャンパスを歩いていらっしゃる広中先生のお姿が遠くに見えたとき， 『・・・あの人が広中先生なんだ・・・』と思ったことをよく覚えております。
代数幾何学は純粋数学の中でも格別に抽象度の高い分野です。代数幾何学を専攻していたのではない私も 「特異点解消定理」の名前を知っていましたが，定理のステートメントを 述べられるわけではなく，具体的な微分積分の計算をしている自分と関係があるとは 夢にも思っていませんでした。
時が流れて1998年ころ，産業に役立てるための積分計算を行う上で，特異点をこそ 考察しなければならないという必要に迫られて，M.F. Atiyah 先生が書かれた短い論文
M.F. Atiyah. Resolution of singularities and division of distributions. Communications of Pure and Applied Mathematics, Vol.13, pp.145-150, 1970.
を読みました。この論文は『広中の定理：特異点解消が微分方程式論においていかに大切であるかを 説明する』という論文です。この論文を読んで初めて特異点解消定理が何を主張しているかを 理解することができ，実務に応用することができ
915:るようになりました。
916:１３２人目の素数さん
21/09/29 19:49:24.27 RLKQcLLp.net
広中さん最近どうしてるのかな？
IUTに対する広中氏の見解ってどんなだろう？
917:現代数学の系譜 雑談
21/09/29 22:12:04.94 3eW4rYoQ.net
>>833
広中先生は、1931年（昭和6年）4月9日）生まれ
とすると、今年90歳ですよね
さあ、どうされているのか？
90歳でも、元気な方は元気です
ただ、新型コロナの影響はある（活動が阻害される）と思います
URLﾘﾝｸ(ja.wikipedia.org)
広中 平祐（ひろなか へいすけ、正字体：廣中 平?、1931年（昭和6年）4月9日 - ）は日本の数学者。ハーバード大学名誉教授。京都大学数理解析研究所元所長。山口大学元学長。日本人で2人目のフィールズ賞受賞者である。専門は代数幾何学で、フィールズ賞受賞対象の研究は「標数0の体上の代数多様体の特異点の解消および解析多様体の特異点の解消」。
1962年、ブランダイス大学の講師の職を得て各種の多様体上の特異点の解消に関する研究に打ち込む。1962年、自宅で構想中に得たひらめきを基に定理を構築し、1964年に論文を発表。この研究が認められ、1970年にフィールズ賞を受賞した。
1964年、コロンビア大学の教授に招聘される。1968年からはハーバード大学教授。
918:現代数学の系譜 雑談
21/09/29 23:31:43.23 3eW4rYoQ.net
>>832
>M.F. Atiyah. Resolution of singularities and division of distributions. Communications of Pure and Applied Mathematics, Vol.13, pp.145-150, 1970.
(参考)
URLﾘﾝｸ(onlinelibrary.wiley.com)
Wiley Online Library
Login / Register
Communications on Pure and Applied Mathematics
Resolution of Singularities and Division of Distributions
M. F. Atiyah,
First published: March 1970
最初の頁のみ無料、全文は有料ですね
919:現代数学の系譜 雑談
21/09/30 07:28:26.04 NODDLX7m.net
>>832
>この論文は『広中の定理：特異点解消が微分方程式論においていかに大切であるかを 説明する』という論文です。
スレ違いですが
また、話が合っているかどうか不明だが
ガウスの超幾何関数・微分方程式で、特異点の話があったなと思って検索すると、下記
リーマンのＰ関数・微分方程式（ガウスの超幾何関数の一般化？）も、思い出した
あと、リーマンの複素関数論 学位論文の訳がおちていたので貼る
（参考：文字化けあるので、原文ご参照ください）
URLﾘﾝｸ(ja.wikipedia.org)
ガウスの微分方程式（ガウスのびぶんほうていしき）あるいは超幾何微分方程式（ちょうきかびぶんほうていしき）とはガウスにその名をちなむ、以下の形をした常微分方程式である[1][2][3]。
{\displaystyle\displaystylex(1-x)y''+(\gamma-(\alpha+\beta+1)x)y'-\alpha\betay=0}{\displaystyle\displaystylex(1-x)y''+(\gamma-(\alpha+\beta+1)x)y'-\alpha\betay=0}
ここでα,β,γは複素定数である。
1 性質
1.1 特異点と厳密解
1.2 変数変換でガウスの微分方程式に帰着する方程式
特異点と厳密解
この微分方程式は{\displaystyle\displaystylex=0,1,\infty}{\displaystyle\displaystylex=0,1,\infty}において確定特異点を持ち、それ以外に特異点を持たない[1][2][3]。また各特異点での解はガウスの超幾何関数{\displaystyle\displaystyleF(\alpha,\beta,\gamma;x)}{\displaystyle\displaystyleF(\alpha,\beta,\gamma;x)}を使って以下の様に表せる事が知られている[1][2][3]。
変数変換でガウスの微分方程式に帰着する方程式
3点を確定特異点にもつフックス型微分方程式は変数変換でガウスの微分方程式に帰着する[1]。
URLﾘﾝｸ(ja.wikipedia.org)
超幾何関数
URLﾘﾝｸ(en.wikipedia.org)
Riemann'sdifferentialequation
Solutionsandrelationshipwiththehypergeometricfunction
ThesolutionsaredenotedbytheRiemannP-s