25/12/21 16:47:15.14 IMnp+6Hg.net
>>194 追加
URLﾘﾝｸ(pantodon.jp)
Algebraic Topology: A guide to literature 信州大学
Grothendieck のアイデアから発展した分野
代数幾何を近代化したのは, もちろん Grothendieck の業績である。代数幾何にとどまらず, 1970年に IHES を辞めてからも, Grothendieck の数学は様々な分野に影響を与え続けている。
Grothendieck については, 山下純一氏による伝記 [山下純03] を読むのがよいだろう。独自の調査により, 非常に詳しい情報が書いてある。Cartier による Bulletin of A.M.S. の記事 [Car01] もある。やはり Grothendieck の数学のファンは多いようで, Grothendieck Circle という website もある。 未出版のものも含めた Grothendieck の著作などのPDFファイルを download できる。 Mateo Carmona による site もある。
Grothendieck に関する website は, 他にも色々あり, この nLab のページからリンクが張られている。
略す
Riemann 面の moduli などに関係したこととして, dessins d’enfant という概念がある。曲面上に描かれた (埋め込まれた) quiver のことであるが。
dessins d’enfant
これは, 素朴な概念なので, 様々な分野で独立に登場し使われている。
214:１３２人目の素数さん
25/12/21 17:03:06.50 QKKEOyaG.net
>>201
コンピュータの視点で望月新一のIUによる証明をみると
プログラムのステートメントになってない（笑）
Scholzeはまさにコンピュータになった結果
「IU？ただのコメント文か 無視(ignore)しとこ」
何も間違ってない IU言語の処理系がないから
Kirty JoshiはIUから
「これがプログラムじゃね？知らんけど」
というものを抽出してみた
でもScholzeからは
「いやぁ、まだまだそれじゃダメじゃね？」
といわれてる
処理系が存在しないプログラム言語を書く望月新一こそ、数学的にマジで頭オカシイ
意味論ゼロのプログラム言語なんて無意味
望月新一は、この単純な事実を認めたがらない
自分の失敗を認めることになるから
やれやれ・・・
215:１３２人目の素数さん
25/12/21 17:07:55.35 IMnp+6Hg.net
>>203-207
>IUT論文を読んだことも無ければ数論幾何学の基本的な知識も無い人が「誰々が正しくて誰々が間違っている」と言う意味が分からない
>己の数学的信念からそう言っているのではなく、愛国心、数学者への英雄視、己の立場への固執から言っているだけではないか
ご苦労さまです
1）まず、こことは別に IUTアンチのスレがありますよね （下記）
ｽﾚﾘﾝｸ(math板)
2）で、このスレは 比較的公平に 望月IUTを応援しようというスレでして
これから IUT論文を読む人もいるだろうから その助けになるかもです
3）ところで、今年 日本ノーベル賞が二人
坂口さんと 北川さん
4）あなた 坂口さん 北川さんの ノーベル賞論文読んでますか？ ないでしょｗ
それと同じです。ところで IUT論文も きっと何かの賞を取るでしょうね。正しければね
5）私？ 坂口さん 北川さんの論文は読んでないが 解説は見ました
IUT論文？ 斜め読みしましたよ。ほとんど お経ですね
（加藤本は みたが 赤い燻製ニシン(red herring)>>14-15 ですね）
6）ところで、あきらかに間違っている議論があります
ショルツェ氏のSS文書の simplification 論です
”simplification”手法は、ディベート論法です
あきらかに ストローマン（藁人形論法）です
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
ストローマンは、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと
216:１３２人目の素数さん
25/12/21 17:08:57.80 QKKEOyaG.net
プログラム検証になぞらえて考えると、
系3.12はあくまで要求仕様でしかない
で、系3.12を満たすプログラムはまだ書けてない
これが現状
ちなみに選択公理も実は要求仕様
「こういう選択関数が存在しますよ」というだけ
で、公理だから別に選択関数を実現する必要はない
系3.12も公理だというなら、別にプログラムはなくてもいい
ただし、系3.12から矛盾が導かれないなら、という但し書きつき
系3.12から矛盾が導かれたら、The END
これまた現状
選択公理に関しては
「選択公理ありの集合論で矛盾するなら、なしでも矛盾する」
ということまでは分かってる
系3.12で同様の証明は・・・いまのところできそうもない
強制法で扱えるレベルを超えてるらしいので
217:１３２人目の素数さん
25/12/21 17:13:49.16 QjcNA50a.net
>>210
書かれていることから判断しても
あなたにscholzeさんの指摘を評価する資格はありません
卑怯極まりない人です
218:１３２人目の素数さん
25/12/21 17:14:26.95 QjcNA50a.net
>>210
>ストローマンは、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと
これを行っているのがあなたです
219:１３２人目の素数さん
25/12/21 17:17:45.25 QKKEOyaG.net
＞比較的公平に 望月IUTを応援しよう
そもそも「IUを応援する」という態度が公平性を欠いてる（笑）
＞今年 日本ノーベル賞が二人
そもそも日本人が賞をとったとかそんなことで喜ぶのがマジ狂ってる
自分と全然関係ない他人のことじゃん（笑）
＞あきらかに間違っている議論があります
＞ショルツェ氏のSS文書・・・
誤 あきらかに間違っている議論
正 間違いであってほしい議論
SS文書を読めば
「定理3.11から系3.12を導く証明 マジでわけわかんね
わけわかんない場所を無視すると 自明な不等式しか出てこねえ
系3.12を導ける、今の数学で正当化できる証明あんの？ないんじゃね？」
という否定的な問いかけと分かる
これに対して望月新一は
系3.12を導ける、今の数学で正当化できる証明を示せたか？
答えはNO
この時点で、IUは終わった
いまだに「まだだ、まだ終わらんよ」とかいってるのは
自己愛的自国愛に狂う人だけ
精神科で診てもらったほうがいいよ
マジ病んでるから みんなもそう思うだろ？
220:１３２人目の素数さん
25/12/21 17:21:41.60 QKKEOyaG.net
望月新一は系3.12という「予想」を提案しただけで
その予想については有用性を認める人が多々いるが
予想自体が数学的に正当化できると認められたわけではない
IUは残念ながら完全に失敗
別に失敗自体は構わんが
失敗を失敗と認めないのは残念
IU論文をPRIMSで無理矢理アクセプトしたのは日本数学界の黒歴史
こんなことを素晴らしいと誇るのは狂人だけ
221:１３２人目の素数さん
25/12/21 17:24:12.30 QKKEOyaG.net
IUを誇るのは特攻を誇るのと同じくらい狂ってる
特攻を自慢する人は、特攻が完全な自発的行為だと言い張るが、全くのウソ
完全に強制であり、軍によるパワーハラスメント
パワハラを賞賛するとかマジやべぇ そういう話よ
222:１３２人目の素数さん
25/12/21 17:38:54.27 ChrQHRiI.net
>>210
>”simplification”手法は、ディベート論法です
>あきらかに ストローマン（藁人形論法）です
問題は系3.12の証明が証明になってないことであって、simplificationはどうでもよい。それをあげつらってるセタこそがストローマン。
223:１３２人目の素数さん
25/12/21 17:40:00.32 QjcNA50a.net
>>69
>>３）つまりは、命題：leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆IUT論文が読める筈
>> の反例が Dennis Gaitsgoryの論文であって この論文に対してドリンフェルドが ギブアップ宣言だよと
ドリンフェルドが読めないと言ったことがこの命題の反例だと言いたいようです
>>72
> 命題：leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める筈
> と言い換えてみようね
> この命題で すぐ気づく二つの瑕疵がある
> 一つは、”数学者は皆”の部分だ。皆＝∀ の意味なら 当然この部分に反例が出るだろう（数学者だって皆人間だもの）
> もう一つは、時間について 触れていない。つまり、ある時点で読めない数学者がいるからと言って
> さらに十分時間を掛けたときに、それまで読めない数学者が IUT論文が読めるようになるかもね
> そうすると、時間の点でも この命題は成り立たないよね
いずれ理解できる数学者が出たとしてそれはその命題の反例にもなりません
p→qの形式の命題の反例とは何かを理解していないから
>>69,72のような呆れる他ないことを真顔で書いてしまうのです
224:１３２人目の素数さん
25/12/21 17:55:00.86 QKKEOyaG.net
>>217
自己愛的自国愛者は「自国民を誇りたい」という（●った）欲求が先にあって
その欲求を妨げるものをとにかく否定するという発想でしか思考できないので
まあ、●ってますね
まず、自国民を誇っても意味ないと気付く必要がある
さらに、（ウソをついてまで）自分を誇るという行為は
自分に何の利益をもたらさないどころか
損害を与えると気づく必要がある
これは病気であって正常な行動ではない
225:１３２人目の素数さん
25/12/21 18:42:03.42 ChrQHRiI.net
>>218
含意も分からない高卒ど素人ですから
226:１３２人目の素数さん
25/12/21 18:51:52.79 IMnp+6Hg.net
>>211-219
面白いやつらだ （＾＾
>そもそも日本人が賞をとったとかそんなことで喜ぶのがマジ狂ってる
>自分と全然関係ない他人のことじゃん（笑）
しかし
今年のノーベル賞 ダブル受賞を喜ぶ日本人は多いだろう
今年の10大ニュースに入ると思うぞ
>> 命題：leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める筈
>> と言い換えてみようね
命題：leanで形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める筈
↓
命題：コンピューター証明で形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める筈
と言い換えてみよう
そもそも 「数学者」の数学的定義がないｗ （＾＾
もし「コンピューター証明で形式化できるほど曖昧さなく記述されているなら、数学者は皆その論文が読める」
が成立するならば、コンピューター証明なぞ 必要性は薄いな
が 話は真逆で、現代数学の論文は 長大化していて
かつ IUT論文など 本体だけで700ページで
準備論文を入れると 数千ページだという
こんなものを 数学者といえど だれでも かれでも 「読め！」と言われても 実行できなよね
例えば 下記のフェイト・トンプソンの定理が有名で、1960年代初頭に出されて後 2012年9月に
227:> 完全に形式化された証明は、Rocq証明支援システムによって検証されという （＾＾ https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%82%A4%E3%83%88%E3%83%BB%E3%83%88%E3%83%B3%E3%83%97%E3%82%BD%E3%83%B3%E3%81%AE%E5%AE%9A%E7%90%86 フェイト・トンプソンの定理（奇数位数定理とも呼ばれる）は、奇数位数の有限群はすべて可解群であることを述べている。この定理は1960年代初頭にウォルター・フェイト（英語版）とジョン・グリッグス・トンプソンによって証明された[1]。 証明はCA定理やCN定理と同じ概要に従っているが、詳細ははるかに複雑である。最終的な論文は255ページで、パシフィック・ジャーナル・オブ・マスマティクスの第13巻第3号全体を占めた[7][8]。 証明の重要性 この証明の最も革新的な側面はその長さであった。フェイト・トンプソンの論文以前は、群論における議論は数ページを超えるものはほとんどなく、ほとんどが1日で読むことができた。群論の研究者たちがそのような長い議論が可能であることを認識すると、数百ページに及ぶ一連の論文が発表されるようになった。 証明の改訂 完全に形式化された証明は、Rocq証明支援システムによって検証され、2012年9月にジョルジュ・ゴンティエ（英語版）とマイクロソフトリサーチおよびINRIAの研究者によって発表された
228:１３２人目の素数さん
25/12/21 18:59:51.10 QjcNA50a.net
>>221
あなたは恥の上塗りが得意ですね
229:１３２人目の素数さん
25/12/21 19:01:16.74 QjcNA50a.net
>>220
彼の人には論理的な思考とりわけ数学の理解は無理のようです
230:１３２人目の素数さん
25/12/21 19:44:46.23 QjcNA50a.net
>>210
>IUT論文？ 斜め読みしましたよ。ほとんど お経ですね
おそらくそれは単に眺めただけでは？
もし斜め読みしているなら
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
>[9]
の冒頭の論理積と論理和（XOR？）の所の
A∧B=A∧(B1∀B2∀…)
＝＞A∧(B1∀B2∀…∀B'1∀B'2∀…)
＝＞A∧(B1∀B2∀…∀B'1∀B'2∀…∀B''1∀B''2∀…)
（∀はホントは∨に・でXORの記号らしい）
てのがとても重要なように書かれてるけれど
意味分かります？
231:１３２人目の素数さん
25/12/21 20:01:33.04 QKKEOyaG.net
>>221
＞今年のノーベル賞 ダブル受賞を喜ぶ日本人は多いだろう
●違いの妄想
＞「コンピューター証明で形式化できるほど曖昧さなく記述されているなら、
＞ 数学者は皆その論文が読める」
＞が成立するならば、コンピューター証明なぞ 必要性は薄いな
逆は真ではないので、コンピュータ証明があっても悪くない
232:１３２人目の素数さん
25/12/21 20:04:45.66 QKKEOyaG.net
>>224
元数学者でも今は●違いのいうことなど誰にもわからんね
233:１３２人目の素数さん
25/12/21 22:53:27.06 IMnp+6Hg.net
>>224
>もし斜め読みしているなら
>URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
>>[9]
>の冒頭の論理積と論理和（XOR？）の所の
>意味分かります？
斜め読みしているが、正確な意味は分らない
が 下記”ブログ読者向け解説”が、参考になるでしょう
(参考)
URLﾘﾝｸ(plaza.rakuten.co.jp)
新一 心の一票 2020.01.05
宇宙際タイヒミューラー理論（IUTeich）の論文を巡る現状報告： 「数学界に出現している悲惨なブラックホールの物語」
以下では、この大元誤解の内容について詳しく解説してみたいと思います。より詳細な技術的な説明は私が書いたIUTeichの解説原稿[Alien] §3.11 (iv) に書いてあります。
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
以下の説明は、まさにこの[Alien]のExample 3.11.4の内容の、ブログ読者向け解説ということになります。
一言で言ってしまいますと、「大元誤解」の本質は、よく知られている論理演算子
「∧」（＝「AND」＝「かつ」）と
「∨」（＝「OR」＝「または」）
の混乱によるものです。
IUTeichでは、以前のブログ記事（＝2017.01.06, 2017.05.06, 2017.11.14付けの記事を参照
234:）でも解説した通り、「Θ（テータ）リンク」という数学的対象は中心的な役割を果たします。実際のΘリンクの定義は非常に高度な数学の知識を必要とするものですが、ここでは上述の「大元誤解」の本質的な論理構造を解説するため、先ほどの4つの整数しか出てこない、高校数学レベルの議論で説明することにしたいと思います。そのようにしますと、Θリンクの定義に対応するものは (N=-2B) ∧ (N=-A) 理論では、Θリンクから出発して様々な操作を行ない、（Θパイロットと呼ばれる数学的対象の）「マルチラディアル表示」というものを構成します。その「マルチラディアル表示」に対応する内容をこちらの議論の整数で表現しますと、 (N=-2A+ε) ∧ (N=-A) という式になります。つまり、「ε」という、比較的小さい「誤差」を認めてあげますと、本来一致するかどうか分からない整数 A と B を、まるで一致するものかのように扱うことができるということです。 元々のΘリンクの定義における「∧」は、一致するとは限らない整数 A と B を用いたからこそ、整合性（＝「無矛盾性」）をもって定義することができました。
235:１３２人目の素数さん
25/12/21 23:03:38.61 IMnp+6Hg.net
>>227
>URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
蛇足だが
P7 the “redundant copies school” (RCS) は、「大元誤解」の人で ショルツェ氏です
多分、「∧」「∨」は望月IUTのラベルに関することです
IUTのラベルは、「∧」と解するべきところを
ショルツェ氏は、勘違いして 「∨」と思って 例のSS文書を書いていると
望月氏は 主張しているようです
236:１３２人目の素数さん
25/12/21 23:11:40.87 jRwEGu9r.net
斜め読みしているが、正確な意味は分らない
が 下記”ブログ読者向け解説”が、参考になるでしょう
この一文なんか完全に知能がこわれてしまってる査証
知性の部分が「わからない」と判断したなら、なんかの判断はふつうの精神をもってれば下さないのに
感情の部分が「ここでは引き下がれない」とネットで単語単位でヒットした文章を「参考になるでしょう」と意味もわからず貼り付ける
もちろん全然関係ない文章を張ったことも、それで赤っ恥かいたことも数え切れず、それでも「知性」よりも「感情」を優先してふつうの人間がおこなえる「知性に基づく判断」ができていない
完全に壊れてる
237:１３２人目の素数さん
25/12/21 23:28:07.70 IMnp+6Hg.net
>>229
面白いね
IUTアンチの人かな？
で？ あなたの望月氏 「∧」「∨」論について
何か書けますか？
書けないんでしょ？
だったら、すっこんでなよ おっさん
238:１３２人目の素数さん
25/12/21 23:30:09.30 IMnp+6Hg.net
>>230
で？ あなたの望月氏 「∧」「∨」論について
↓
で？ あなたは望月氏 「∧」「∨」論について
かな （＾＾
239:１３２人目の素数さん
25/12/21 23:42:35.12 jRwEGu9r.net
完全に知能の障害持ってる人間と議論するほど意味ないことはない
もうお前に人間らしい判断ができる能力はのこっていない
240:１３２人目の素数さん
25/12/21 23:44:12.85 IMnp+6Hg.net
>>229
余談ですが
(引用開始)
斜め読みしているが、正確な意味は分らない
が 下記”ブログ読者向け解説”が、参考になるでしょう
この一文なんか完全に知能がこわれてしまってる査証
知性の部分が「わからない」と判断したなら、なんかの判断はふつうの精神をもってれば下さないのに
感情の部分が「ここでは引き下がれない」とネットで単語単位でヒットした文章を「参考になるでしょう」と意味もわからず貼り付ける
もちろん全然関係ない文章を張ったことも、それで赤っ恥かいたことも数え切れず、それでも「知性」よりも「感情」を優先してふつうの人間がおこなえる「知性に基づく判断」ができていない
完全に壊れてる
(引用終り)
1）一文でなく 文は二つ
2）”正確な意味は分らない”→全く意味が分らない とねじ曲げている
3）”感情の部分が「ここでは引き下がれない」”→ 必死のエスパーさんか？ 超能力きどりｗ
4）”ネットで単語単位でヒットした文章”→ 望月氏がブログに書いていた 有名な文でそれを覚えていたから紹介しただけ
5）”全然関係ない文章を張ったことも、それで赤っ恥かいたことも数え切れず”→ 赤っ恥かいたことはあるが、全然関係ない文章を張ったことは 殆ど無いね
6）”「知性に基づく判断」ができていない”→ それあなた
7）”完全に壊れてる”→それあなた
5ｃｈの”名無しさん”に なんか人違いの決め付けされてもね
おっさん だれ？ 5ｃｈは ”名無しさん”が書く場所だから
玉石混交で 玉と石との見分けが付かない人は向かないよ
”完全に壊れてる”→それあなた
241:１３２人目の素数さん
25/12/21 23:46:45.87 jRwEGu9r.net
エスパーなどしない
お前の書いてる文章から理詰めでかいてる
もうお前が失ってしまった理性による判断だよ
お前は書きたい単語が最優先、文章全体がメチャクチャになっててももう自分でそうとわからない状態
完全にこわれてるよ
242:１３２人目の素数さん
25/12/21 23:49:30.27 IMnp+6Hg.net
>>232
>完全に知能の障害持ってる人間と議論するほど意味ないことはない
>もうお前に人間らしい判断ができる能力はのこっていない
ああ、おっさんの正体がわかったよ
”ヒキコモリ数学基礎論くん”か
ご苦労さまですｗ （＾＾
243:１３２人目の素数さん
25/12/21 23:53:50.81 jRwEGu9r.net
お前自分の書いた文章読み返してみろや
さっき俺が引用した部分だけじゃない
もう支離滅裂で全然理屈が通ってないやろ？
まぁそれも自分では分からなくなってるんやろけどな
その不自由になった知性で誰からも認められず、他人に迷惑掛け続けてそれで承認欲求満足させるだけのボロボロの余生を送れポンコツ
244:１３２人目の素数さん
25/12/22 07:13:34.39 kJFONjBh.net
>>236
(引用開始)
お前自分の書いた文章読み返してみろや
さっき俺が引用した部分だけじゃない
もう支離滅裂で全然理屈が通ってないやろ？
まぁそれも自分では分からなくなってるんやろけどな
その不自由になった知性で誰からも認められず、他人に迷惑掛け続けてそれで承認欲求満足させるだけのボロボロの余生を送れポンコツ
(引用終り)
ふっ
”ヒキコモリ数学基礎論くん”か
1）”お前自分の書いた文章読み返してみろや
さっき俺が引用した部分だけじゃない”
↓（反論）
君の書いた>>229からすると 私の >>227だね
それで これを引用すると
”>もし斜め読みしているなら
>URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
>>[9]
>の冒頭の論理積と論理和（XOR？）の所の
>意味分かります？
斜め読みしているが、正確な意味は分らない
が 下記”ブログ読者向け解説”が、参考になるでしょう
(参考)”
だ
私の文章はたった2行
”斜め読みしているが、正確な意味は分らない
が 下記”ブログ読者向け解説”が、参考になるでしょう”
だね。君が 229で引用しているとおりさ
で、「斜め読みしているが」は 彼の人の「もし斜め読みしているなら」を受けたもの
そして 望月氏の”ブログ読者向け解説”を 彼の人の参考に提供した
2）君の 229への反論は 233で細かく反論している
3）要するに、”ヒキコモリ数学基礎論くん”は
アンチIUTで、望月氏のIUTは基礎論から見て支離滅裂だと
それを擁護する私も”支離滅裂”だと 言いたいだけなんだ
ご苦労さまですｗ （＾＾
245:１３２人目の素数さん
25/12/22 07:15:57.09 kJFONjBh.net
>>237 タイポ訂正
2）君の 229への反論は 233で細かく反論している
↓
2）君の 229への反論は 233で細かく記載している
かな
246:１３２人目の素数さん
25/12/22 08:02:48.67 mEoGcjB8.net
数学者でもないお前が数学の世界のことなどわかるはずもない
この掲示板には数学の世界で身を立ててる人間も何人かはいる
お前がゴミなのはそんな人間の判断より自分の判断の方が上だと思ってる事だよ能無し
お前の口からでてくるのは「アホっていうやつがアホ」とかいう小学生レベルのセリフだけ、数学の議論ができる最低限の知能もない。学部の１回生はおろか高校生レベルの知能すらないポンコツ
自分がそのレベルのポンコツである事すらわからないゴミ
247:１３２人目の素数さん
25/12/22 08:40:05.29 RJkDyjC5.net
>斜め読みしているが、正確な意味は分らない
>が 下記”ブログ読者向け解説”が、参考になるでしょう
政治家や営業職などのように
君が有するその種の詭弁の技能が役立つ職種が現実にあるから
実際にストローマン君が知能の障害を持っているかどうかは分からないが、
ストローマン君、ここはね、理詰めでは
>斜め読みしているが、正確な意味は分らない
>下記”ブログ読者向け解説”が、参考になるかどうかも分からない
のように書くのがよいんだよ
そうすれば、国語として文章の意味が通っているだろ？
理詰めでは
>(ストローマン君)斜め読みしているが、正確な意味は分らない
>(>>229)何故、お前に下記”ブログ読者向け解説”が参考になるのが分かるんや？
のように会話は進んで行くだろ？
248:１３２人目の素数さん
25/12/22 09:05:41.97 mEoGcjB8.net
お前の文章は文法的に読めなくはないだけで意味がとおらない
そのレベルのことがわからない
もうそのレベルの機能がなくなってる
自分は病気じゃないといってる高木と一緒
お前の知能レベルはそのレベルに落ち込んでる
もうまともな人間の知能にはもどれないんやろ
数学以前に自分の書いてる文章の支離滅裂さすら理解できないレベルで壊れてる
249:１３２人目の素数さん
25/12/22 09:16:33.90 2d+lRjDC.net
どうも数学における成果の承認を
企業間の契約もしくは国家間の条約の締結と
全く同様の「戦争」だと考える野蛮人がいるようだが・・・
一遍、●んでくれ
数学は戦争じゃねえ
250:１３２人目の素数さん
25/12/22 09:16:57.66 2d+lRjDC.net
数学に国家はねえ
国家とか持ち込むな ●違い
251:１３２人目の素数さん
25/12/22 09:21:53.60 VkAvhrtd.net
そもそも自分が理解できないことに
口を出したがるのは●ってる
分かりもせんことは自分に関係がない
0.999…と1が等しいことが分からない奴に微分積分なんて関係ない
逆行列が存在しない正方行列の存在が分からない奴に線形代数なんて関係ない
計算方法の暗記しかできない奴に数学の理論なんて関係ない
数学と無関係の一般人が数学板に書き込む必要はない
囲碁将棋の話は専用の板で書いてくれ
数学は囲碁将棋のような勝負を競う遊戯ではない
252:１３２人目の素数さん
25/12/22 09:28:16.69 Vlu4+111.net
>数学と無関係の一般人が数学板に書き込む必要はない
出張旅費を使って観光をするのとは違う
253:１３２人目の素数さん
25/12/22 09:38:52.84 RJkDyjC5.net
>>241-243
テレビの政治討論の中継を見ていれば分かる筈だが、
日本の政治家の討論は詭弁がよう使われる
営業職の商品の売り込みをしている人は
売り込む商品のことを知らずに売り込みしている
仮に理詰めで
>(ストローマン君)斜め読みしているが、正確な意味は分らない
>(>>229)何故、お前に下記”ブログ読者向け解説”が参考になるのが分かるんや？
のように会話は進んで行くのが正しければ、
>斜め読みしているが、正確な意味は分らない
>(それだから)下記”ブログ読者向け解説”が、参考になるかどうかも分からない
のように書くのがよいといえる
必ずしも意味が通らない訳ではない
254:１３２人目の素数さん
25/12/22 09:48:13.46 Vlu4+111.net
記者の質問はほとんどがくだらない
255:１３２人目の素数さん
25/12/22 09:49:21.90 ABkSlUgB.net
>>246
数学者は政治家ではない
論文の公表は商品のセールスではない
とにかく相手を納得させさえすればいいとかいう
「暴力行為」を容赦すべきでない
すべては暴力だと思ってる野蛮人は
数学板に一切書き込まないでいただきたい
と思うばかりである
256:１３２人目の素数さん
25/12/22 09:59:47.72 RJkDyjC5.net
>>248
>すべては暴力だと思ってる野蛮人
そもそも、ストローマン君の文章を訂正しただけなのに、
一体どこでその趣旨のことを書いたと結論出来るのだ？
257:１３２人目の素数さん
25/12/22 10:00:14.86 RJkDyjC5.net
>>248
>すべては暴力だと思ってる野蛮人
そもそも、ストローマン君の文章を訂正しただけなのに、
一体どこでその趣旨のことを書いたと結論出来るのだ？
258:１３２人目の素数さん
25/12/22 10:04:22.49 GEuUYACX.net
/i/|ii!//|!/!i/´i/ .|i |/ﾉ i＼i!ﾞ､:iヽ|:::| ヽ 'i ! ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿! | │ 川 ヽﾞ:ii ﾞ'∨ | ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉ ﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ ﾙ |ﾉﾉヽヾ ノ ､,,,ﾉ,､ iヽ:::||:::::i'::::::::::::::::::::::::::::
/ ￣ ´~~ﾞ'''' ﾞ''‐- ..,, ,, ‐' `ﾞヾミｯ､,, ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ| i' i" `'‐＝' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ﾞ､ l 〃::::: i//::::ﾊ::::::::::::::::::i:::
i i ＼＼＼＼＼ヽ ） ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ｨﾉ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;､ ＼ /:::::/:::::/::::::::::::/:::::
ﾞi! | i /⌒' ､ Y:::::::::''::;;;;'.;.Y'⌒ﾞi /::::::/::::::/::::::::::::/::::/i
i i ﾞ! ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
ﾞ､ii! ﾞ| i ﾉ ゝ;;;:::::::::::::::::::;ﾉ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl ﾞi￤ i ｡ｌ '゛.. ‐ｰ:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ﾞ､ ／/::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ﾞ､! , ' |::: ::::ヽ ..} |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
!ヽヾi iﾞ､ ＿＿＿,,,／ }:: : ;;;::: ::::::::} ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::
259:１３２人目の素数さん
25/12/22 10:04:30.86 GEuUYACX.net
/i/|ii!//|!/!i/´i/ .|i |/ﾉ i＼i!ﾞ､:iヽ|:::| ヽ 'i ! ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿! | │ 川 ヽﾞ:ii ﾞ'∨ | ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉ ﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ ﾙ |ﾉﾉヽヾ ノ ､,,,ﾉ,､ iヽ:::||:::::i'::::::::::::::::::::::::::::
/ ￣ ´~~ﾞ'''' ﾞ''‐- ..,, ,, ‐' `ﾞヾミｯ､,, ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ| i' i" `'‐＝' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ﾞ､ l 〃::::: i//::::ﾊ::::::::::::::::::i:::
i i ＼＼＼＼＼ヽ ） ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ｨﾉ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;､ ＼ /:::::/:::::/::::::::::::/:::::
ﾞi! | i /⌒' ､ Y:::::::::''::;;;;'.;.Y'⌒ﾞi /::::::/::::::/::::::::::::/::::/i
i i ﾞ! ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
ﾞ､ii! ﾞ| i ﾉ ゝ;;;:::::::::::::::::::;ﾉ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl ﾞi￤ i ｡ｌ '゛.. ‐ｰ:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ﾞ､ ／/::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ﾞ､! , ' |::: ::::ヽ ..} |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
!ヽヾi iﾞ､ ＿＿＿,,,／ }:: : ;;;::: ::::::::} ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::
260:１３２人目の素数さん
25/12/22 10:04:39.97 GEuUYACX.net
/i/|ii!//|!/!i/´i/ .|i |/ﾉ i＼i!ﾞ､:iヽ|:::| ヽ 'i ! ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿! | │ 川 ヽﾞ:ii ﾞ'∨ | ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉ ﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ ﾙ |ﾉﾉヽヾ ノ ､,,,ﾉ,､ iヽ:::||:::::i'::::::::::::::::::::::::::::
/ ￣ ´~~ﾞ'''' ﾞ''‐- ..,, ,, ‐' `ﾞヾミｯ､,, ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ| i' i" `'‐＝' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ﾞ､ l 〃::::: i//::::ﾊ::::::::::::::::::i:::
i i ＼＼＼＼＼ヽ ） ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ｨﾉ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;､ ＼ /:::::/:::::/::::::::::::/:::::
ﾞi! | i /⌒' ､ Y:::::::::''::;;;;'.;.Y'⌒ﾞi /::::::/::::::/::::::::::::/::::/i
i i ﾞ! ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
ﾞ､ii! ﾞ| i ﾉ ゝ;;;:::::::::::::::::::;ﾉ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl ﾞi￤ i ｡ｌ '゛.. ‐ｰ:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ﾞ､ ／/::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ﾞ､! , ' |::: ::::ヽ ..} |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
!ヽヾi iﾞ､ ＿＿＿,,,／ }:: : ;;;::: ::::::::} ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::
261:１３２人目の素数さん
25/12/22 10:44:58.52 Vlu4+111.net
納得しない者を
無理やり排除するのは
暴力によってではないか
262:１３２人目の素数さん
25/12/22 11:23:00.05 9F0h1duP.net
>>239-250
>記者の質問はほとんどがくだらない
ID:Vlu4+111 は、御大か
巡回ご苦労様です
ご多忙ですね。ご健勝なによりです
普通は、記者さんは 文系ですからね
ホ・ジュニさん、サイエンスのライターを目指していたとか
実現していたら、良い質問してくれたかもです （＾＾
URLﾘﾝｸ(ja.wikipedia.org)
許 埈珥（ホ・ジュニ、韓国語: 허 준이, 英語: June Huh, 1983年6月9日 - ）は韓国出身のアメリカの数学者。プリンストン大学教授、プリンストン高等研究所Fernholz冠特別招聘教授。元スタンフォード大学教授。
フィールズ賞受賞 受賞年： 2022年
受賞理由： 『ホッジ理論の枠組みを組合せ論へ導入し、幾何格子に対するダウリング–ウィルソン予想の証明、マトロイドに関するヘロン–ロタ–ウェルシュ予想の証明、ローレンツ多項式理論の構築、および強形式メイソン予想の証明を通じた、離散構造に対する深い幾何的・代数的理解の促進。』
許の研究対象は、ある種の離散構造と連続構造の関係に関するものであり、代数幾何学と組み合わせ論の接点における第一人者として知られる。
URLﾘﾝｸ(dept.tus.ac.jp)
数理科学科 東京理科大学 創域理工学部
2025.10.22 談話会
講演者 大沢 健夫氏（名古屋大学）
題目 関数論の妙所と最近の展開について
日時 2025年10月22日（水）16:30–17:30
場所 東京理科大学野田キャンパス4号館3階数理科学科セミナー室
概要 複素数の導入によって数学の世界は大きく広がり、１９世紀には数と図形の間に成立する対称性の関係が複素数を用いることによって明確に記述できるようになった。コーシーが拓いた複素関数論の中で、アーベルは楕円関数を発見した。リーマンにより1851年に導入されたリーマン面の概念により複素一変数代数関数論が基礎付けられ、整数論の大問題であったフェルマー予想の解決もその延長上にある。リーマン面の概念を一般化した高次元の図形が複素多様体である。その理論の重要性は２０世紀初頭には認識され、基本的な問題が岡潔によって解決されたあと、２０世紀後半には小平邦彦たちによって完成度の高い理論へとまとめられた。その展開の中で、岡潔が著書「紫の火花」の中で「解けなかった二題」と記した問題がある。それに関連する今世紀に入ってからの展開について述べたい。
URLﾘﾝｸ(www.gensu.jp)
等角不変量 幾何学的関数論の話題
\3,190 （税込）
L.V. アールフォルス 著 訳
A5判（並製）／200ページ 2020/7/22
263:
25/12/22 11:25:08.87 eWywYGEL.net
>>241
「数学世界一だ。」と言われ、「〇〇賞(世界的数学賞)だ。」と40回以上言われている私
を馬鹿にするな。
264:１３２人目の素数さん
25/12/22 11:36:56.84 9F0h1duP.net
>>255 余談
>リーマンにより1851年に導入されたリーマン面の概念により複素一変数代数関数論が基礎付けられ、整数論の大問題であったフェルマー予想の解決もその延長上にある
なるほど
あと５年経つと
『整数論の大問題であったフェルマー予想と”abc予想”の解決もその延長上にある』となりますので
準備を よろしくお願いいたします （＾＾
265:１３２人目の素数さん
25/12/22 11:39:43.15 dZOKqce9.net
>>255
> ID:Vlu4+111 は、御大か
誰が誰とかどうでもいい
> 巡回ご苦労様です
今後一切こういう文章書くな 変態
266:１３２人目の素数さん
25/12/22 11:42:25.46 uJ/GV8fI.net
>>255
> 普通は、記者さんは 文系ですからね
工学部は理系らしいが、数学の理解度は文系と大して変わらん
大学１年の微積と線形代数の理屈も理解できない素人
267:１３２人目の素数さん
25/12/22 11:43:30.53 uJ/GV8fI.net
>>255
リンクはいいが、コピペは不要
なんどいったら分かるんだ ●違い
268:１３２人目の素数さん
25/12/22 11:46:03.35 pnwDcKu/.net
/i/|ii!//|!/!i/´i/ .|i |/ﾉ i＼i!ﾞ､:iヽ|:::| ヽ 'i ! ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿! | │ 川 ヽﾞ:ii ﾞ'∨ | ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉ ﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ ﾙ |ﾉﾉヽヾ ノ ､,,,ﾉ,､ iヽ:::||:::::i'::::::::::::::::::::::::::::
/ ￣ ´~~ﾞ'''' ﾞ''‐- ..,, ,, ‐' `ﾞヾミｯ､,, ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ| i' i" `'‐＝' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ﾞ､ l 〃::::: i//::::ﾊ::::::::::::::::::i:::
i i ＼＼＼＼＼ヽ ） ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ｨﾉ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;､ ＼ /:::::/:::::/::::::::::::/:::::
ﾞi! | i /⌒' ､ Y:::::::::''::;;;;'.;.Y'⌒ﾞi /::::::/::::::/::::::::::::/::::/i
i i ﾞ! ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
ﾞ､ii! ﾞ| i ﾉ ゝ;;;:::::::::::::::::::;ﾉ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl ﾞi￤ i ｡ｌ '゛.. ‐ｰ:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ﾞ､ ／/::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ﾞ､! , ' |::: ::::ヽ ..} |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
!ヽヾi iﾞ､ ＿＿＿,,,／ }:: : ;;;::: ::::::::} ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::
269:１３２人目の素数さん
25/12/22 11:46:15.13 pnwDcKu/.net
/i/|ii!//|!/!i/´i/ .|i |/ﾉ i＼i!ﾞ､:iヽ|:::| ヽ 'i ! ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿! | │ 川 ヽﾞ:ii ﾞ'∨ | ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉ ﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ ﾙ |ﾉﾉヽヾ ノ ､,,,ﾉ,､ iヽ:::||:::::i'::::::::::::::::::::::::::::
/ ￣ ´~~ﾞ'''' ﾞ''‐- ..,, ,, ‐' `ﾞヾミｯ､,, ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ| i' i" `'‐＝' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ﾞ､ l 〃::::: i//::::ﾊ::::::::::::::::::i:::
i i ＼＼＼＼＼ヽ ） ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ｨﾉ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;､ ＼ /:::::/:::::/::::::::::::/:::::
ﾞi! | i /⌒' ､ Y:::::::::''::;;;;'.;.Y'⌒ﾞi /::::::/::::::/::::::::::::/::::/i
i i ﾞ! ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
ﾞ､ii! ﾞ| i ﾉ ゝ;;;:::::::::::::::::::;ﾉ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl ﾞi￤ i ｡ｌ '゛.. ‐ｰ:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ﾞ､ ／/::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ﾞ､! , ' |::: ::::ヽ ..} |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
!ヽヾi iﾞ､ ＿＿＿,,,／ }:: : ;;;::: ::::::::} ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::
270:１３２人目の素数さん
25/12/22 11:46:22.68 pnwDcKu/.net
/i/|ii!//|!/!i/´i/ .|i |/ﾉ i＼i!ﾞ､:iヽ|:::| ヽ 'i ! ヾi |'!ヽ::::||::::::/:::::::::::::::::::::ヽ
i i 川i!ハ/" ＿! | │ 川 ヽﾞ:ii ﾞ'∨ | ﾞヾiヽヽ;||:::::i':::::::::::::::::::::::::
ﾉ ﾉ/ﾘ,,,,,,二三ﾃ=''" ヽﾉ ﾙ |ﾉﾉヽヾ ノ ､,,,ﾉ,､ iヽ:::||:::::i'::::::::::::::::::::::::::::
/ ￣ ´~~ﾞ'''' ﾞ''‐- ..,, ,, ‐' `ﾞヾミｯ､,, ヽ::|::::/::::::::::::::::::::::::::::
,,ｲ| i' i" `'‐＝' `'|/i!:::::i::::::::::::::::::::::::
i | :::::::ヽ::::ヽ::::::ヾ:: ﾞ､ l 〃::::: i//::::ﾊ::::::::::::::::::i:::
i i ＼＼＼＼＼ヽ ） ヽ ′′′ / /:::::/:::::::::::::::::::|::::
! | i ,,ｨﾉ < :::: : /:::::/:::::::::::::::::::/::::
i! i i! /i/ ,r''''‐y'''.;､ ＼ /:::::/:::::/::::::::::::/:::::
ﾞi! | i /⌒' ､ Y:::::::::''::;;;;'.;.Y'⌒ﾞi /::::::/::::::/::::::::::::/::::/i
i i ﾞ! ん､,,__ヽﾉ:::::::::::::::::::;;;;;{,__,,,r'' /:::::::/::::::/::::::::::::/:::://
ﾞ､ii! ﾞ| i ﾉ ゝ;;;:::::::::::::::::::;ﾉ 。 `i //:::::/:::::/::::::::::::/::::::/:::
ヾ!ﾄl ﾞi￤ i ｡ｌ '゛.. ‐ｰ:::::i | //::::::/::::::/::::::/:::/:::::i!::::::
iiミ! ハ i l ,,,,::: :::;;;;;...{ ° ﾞ､ ／/::::://::::/::::::/:::::/::::i::::ii::
i!ヾ!i ﾞ､! , ' |::: ::::ヽ ..} |ﾞヽ......,.,.,.,,,／//:／/::://::::/::::://::::i::::ﾘ::
!ヽヾi iﾞ､ ＿＿＿,,,／ }:: : ;;;::: ::::::::} ﾚWノ'レi／､/／::/::／/:／:::/::/:::ハ:i |::
271:１３２人目の素数さん
25/12/22 12:23:15.97 9F0h1duP.net
>>255 補足
>数理科学科 東京理科大学 創域理工学部
理学部第一部 数学科
理学部第二部 数学科
創域理工学部 数理科学科
の3系統あるのか・・・
URLﾘﾝｸ(ja.wikipedia.org)
東京理科大学
学部
理学部第一部
数学科[注釈 3]（S科）
応用数学科（OS科）
理学部第二部
数学科[注釈 8] （ⅡS科）
創域理工学部
数理科学科[注釈 22]（MA科）
272:１３２人目の素数さん
25/12/22 12:35:50.14 sAbAF49q.net
コピペで誤魔化すな
273:１３２人目の素数さん
25/12/22 12:40:32.56 xPA+NYDH.net
神楽坂出身の東北大の院生が
九大での研究集会に出ていた
274:１３２人目の素数さん
25/12/22 13:12:41.89 VkAvhrtd.net
>>266
どうでもええ
275:１３２人目の素数さん
25/12/22 13:32:39.37 9F0h1duP.net
>>266
>神楽坂出身の東北大の院生が
>九大での研究集会に出ていた
ご苦労様です
下記の 12月17–18日と12月19–21日か （＾＾
URLﾘﾝｸ(masataka123.github.io)
岩井雅崇
専門: 複素幾何学, 代数幾何学, 多変数複素解析
所属: 大阪大学大学院理学研究科数学専攻
出張予定
2025年12月17–18日: 九州大学で岡多様体の勉強会を開催します.
URLﾘﾝｸ(masataka123.github.io)
2025年12月19–21日: 九州大学で開催される2025年度 多変数函数論冬セミナーに参加する予定です.
URLﾘﾝｸ(kusakabe.github.io)
（ついでに）
2026年1月26–30日: 大阪大学でWorkshop on Algebraic Geometry and Complex Geometry in Osakaを開催します.
URLﾘﾝｸ(masataka123.github.io)
＜余禄＞
URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
第12回福岡複素解析シンポジウム期日 2025年3月15日（土）
会場 九州大学伊都キャンパス IMIオーディトリアム(ウエスト1号館D棟4階413号室)
14:00–14:20 内本 諒 （九州大学 新M1）秋月・小平・中野の消滅定理
16:15–17:25 西原 賢（福岡工業大学）Bergman 核関数列の一様収束について
276:１３２人目の素数さん
25/12/22 13:56:20.71 uJ/GV8fI.net
>>268
書き込み無用 高卒
277:１３２人目の素数さん
25/12/22 13:59:23.95 9F0h1duP.net
ホイヨ
URLﾘﾝｸ(www.asahi.com)
朝日新聞
石倉徹也
コンテンツ編成本部次長
URLﾘﾝｸ(www.asahi.com)
AIは数学者になれるか 数学界に衝撃、証明検証ソフトLean登場
■《前編》AIは数学者になれるか AIが数学の定理を理解し、証明し、自分で正しさをチェックする―。そんな時代が近づいている。これまで人間が担っていたひらめきや証明、検証にAIなどのコンピューター...
12月14日
URLﾘﾝｸ(www.asahi.com)
AIがひらめき、証明し、検証する時代 数学者の役割はどう変わるか
■《後編》AIは数学者になれるか 「AIもついにここまで来たか」と数学者も驚くほどだった。 米グーグル・ディープマインドが開発したAI「アルファ幾何学」は2024年、国際数学オリンピックの幾何...
12月14日
URLﾘﾝｸ(www.asahi.com)
ABC予想証明の正否、コンピューターで決着か 望月氏が打開策示す
数学の超難問「ABC予想」をめぐる論争に、決着がつくかもしれない。コンピューターの力を借りて、証明の正否を検証する動きが出てきた。京都大の望月新一教授（56）も、この試みに肯定的だ。証明が正しいかど...
ABC予想証明の正否、コンピューターで決着か 望月氏が打開策示す
12月6日
278:１３２人目の素数さん
25/12/22 14:00:52.58 uJ/GV8fI.net
>>270
黙って●ね 小卒
279:１３２人目の素数さん
25/12/22 14:01:04.79 9F0h1duP.net
>>269
>書き込み無用 高卒
オチコボレさん
人外のおサルが
なにか言っているな
がんばれよｗｗｗ
280:１３２人目の素数さん
25/12/22 14:02:47.26 VkAvhrtd.net
>>272
無能は頑張るな 園児
281:１３２人目の素数さん
25/12/22 14:08:31.15 uJ/GV8fI.net
無能が囲碁将棋でもやってな
282:１３２人目の素数さん
25/12/22 14:08:51.43 uJ/GV8fI.net
無能は囲碁将棋でもやってな
283:１３２人目の素数さん
25/12/22 15:32:17.43 0luPxL7k.net
このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。
アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。
京都大学霊長類研究所
284:１３２人目の素数さん
25/12/22 15:57:59.63 jDWUIyzV.net
「アイちゃん」＝9F0h1duP＝kJFONjBh
キモHNがやめられないチンパンジー
285:１３２人目の素数さん
25/12/22 20:10:26.50 3wWC8Rwz.net
今、Xで面白いネタ拾ってきたので、早速ここで試す
「３の次に大きい自然数は何？」
286:１３２人目の素数さん
25/12/22 20:11:14.80 3wWC8Rwz.net
ちなみにＡＩは正解できなかったことを付記しておきます
287:１３２人目の素数さん
25/12/22 20:31:26.70 5bpEMQ3w.net
>>254
納得までの材料出せねえオッサンが科学ヅラすんなゴミ
288:１３２人目の素数さん
25/12/22 20:32:58.36 5bpEMQ3w.net
>>254
あ、だったら税金抜いてんなって話なw
わかってるよな？w
289:１３２人目の素数さん
25/12/22 20:58:16.83 kJFONjBh.net
まあ
もう
勝負は
ついている
望月新一氏の圧勝
290:１３２人目の素数さん
25/12/22 21:06:05.57 3wWC8Rwz.net
>>282
「勝ち組」の方ですか
勝ち組
URLﾘﾝｸ(ja.wikipedia.org)
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
勝ち組（かちぐみ）とは、第二次世界大戦の日本の降伏後も、日本の敗北を信じず、
「日本は戦争に勝った」と信じていた在外日本人のグループのこと。
1945年8月に日本がポツダム宣言を受諾して太平洋戦争が終結した後も、
ブラジルを主とした南米諸国や米国ハワイ州などの日系人社会および
外国で抑留されていた日本人の中には、敗戦という現実を受け入れられずに、
「日本が連合国に勝った」と信じていた人々がいた。
こうした人々は「勝ち組」、戦勝派などと呼ばれた。
一方で、敗戦の事実を認識し、戦勝派を納得させようとした人たちは、
認識派、負け組などと呼ばれた。
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
291:１３２人目の素数さん
25/12/22 21:10:54.68 3wWC8Rwz.net
勝ち組の人々の基本思想には、
異郷に孤立し、戦争時は迫害された移民の心の支えとして存在していた、
大和民族を最も優秀な民族とする考えや信念があった。
勝ち組の中には、実際には敗戦により値打ちを失った
日本の旧円紙幣を騙して売りつけることを狙った者もいて、
そういった者が認識派への殺害・テロに及んだ。
勝ち組が生まれた原因として、
終戦の頃、上海方面から、主としてユダヤ人が日本紙幣の売込みに来て、
日本紙幣を買わせるために当時の大本営発表を誇張して日本が勝利するかのように伝え、
日本の軍艦が日系人を迎えにやって来るなど吹聴したことを挙げている。
勝ち組の人々は、紀元節を祝い教育勅語を読むなど
戦前のままの思想・教育を続けており、
外国政府から懸念されていたという。
292:１３２人目の素数さん
25/12/22 22:49:28.62 kJFONjBh.net
Nobushige Kurokawa 先生も IUTを認めて応援している
”express their expectations about the possibility of applying inter-universal Teichm¨uller theory to other unsolved problems in number theory”
か
なるほど・・・
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
ON THE ESSENTIAL LOGICAL STRUCTURE OF INTER-UNIVERSAL TEICHM¨ ULLER THEORY IN TERMS OF LOGICAL AND “∧”/LOGICAL OR “∨” RELATIONS: REPORT ON THE OCCASION OF THE PUBLICATION OF THE FOUR MAIN PAPERS ON INTER-UNIVERSAL TEICHM¨ ULLER THEORY
Shinichi Mochizuki March 2024
Section 1: Summary of non-mathematical aspects for non-specialists
§1.1. Publication of [IUTchI-IV]
Ｐ7
In another article in the Asahi Shimbun [also published shortly after the announcement of April 3, 2020], Professors Shigefumi Mori, a professor emeritus at RIMS, Kyoto University, and Nobushige Kurokawa, a professor emeritus at the Tokyo Institute of Technology, express their expectations about the possibility of applying inter-universal Teichm¨uller theory to other unsolved problems in number theory.
293:１３２人目の素数さん
25/12/22 22:50:11.00 kJFONjBh.net
勝った
294:１３２人目の素数さん
25/12/22 22:55:34.93 kJFONjBh.net
>>285-286
>Nobushige Kurokawa 先生も IUTを認めて応援している
>”express their expectations about the possibility of applying inter-universal Teichm¨uller theory to other unsolved problems in number theory”
事実、2025年5月、中国の若手数学者の周忠鵬の論文が出た（下記）
勝ったな
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際タイヒミュラー理論
2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した[79][80][81]。
295:１３２人目の素数さん
25/12/22 22:58:35.75 cFa81PIQ.net
矛盾した理論からは何でも出るよ
296:１３２人目の素数さん
25/12/22 23:16:13.57 kJFONjBh.net
矛盾した理論からは何でも出るよ
↓
ショルツェ氏のことだな
297:１３２人目の素数さん
25/12/22 23:43:49.18 Hzon9YZR.net
高校数学レベルすら理解できてない
298:１３２人目の素数さん
25/12/23 06:00:41.31 8V3gI1w/.net
>>286-287
>勝った
>勝ったな
自分の無能と狂気に負けたか
299:１３２人目の素数さん
25/12/23 06:22:25.87 nqJwJd4Q.net
どーもー、ウンコ製造機でございます。
ご無沙汰しております。
さあ、賽の目を振って出た数だけウンコをさせて頂きます。それでは参ります。
💩💩💩💩💩💩💩 召し上がれ♩
300:１３２人目の素数さん
25/12/23 06:23:07.66 nqJwJd4Q.net
>>292
おっ、意外とイケるじゃん。
3コもペロリですよ。
良い仕事してますね〜。
💩💩💩💩
301:１３２人目の素数さん
25/12/23 06:34:00.18 uqvKp/xo.net
“'Alien's language' problem that stumped mathematicians for decades may finally be close to a solution By Joanna Thompson published June 4, 2025 livescience.com” (2025年6月4日).
302:１３２人目の素数さん
25/12/23 07:40:30.73 YKW7PlXk.net
>>294
ありがとう
URL：
URLﾘﾝｸ(www.livescience.com)
(google訳)
ジョアンナ・トンプソン
ライブサイエンス寄稿者
ジョアンナ・トンプソンは、ニューヨークを拠点とする科学ジャーナリスト兼ランナーです。ノースカロライナ州立大学で動物学の学士号とクリエイティブライティングの学士号を取得し、ニューヨーク大学科学・健康・環境報道プログラムで科学ジャーナリズムの修士号も取得しています。彼女の作品は、Scientific American、The Daily Beast、Atlas Obscura、Audubon Magazineなどでご覧いただけます。
303:１３２人目の素数さん
25/12/23 09:36:40.21 JZobF322.net
数学の博士号を放棄し、元教授まで招き入れた少女の珍しい旅。
URLﾘﾝｸ(www.vietnam.vn)
米国 - カリーナ・ホンはスタンフォード大学の数学博士課程を中退した後、
かつての教授さえも採用できるほどの地位を急速に確立し、多くの人を驚かせた。
304:１３２人目の素数さん
25/12/23 11:30:12.67 PnEsXQRJ.net
>>282
ワラタ
創価在日みてーな無意味な勝利宣言w
305:１３２人目の素数さん
25/12/23 15:52:30.17 n7MgDd44.net
>>296
>数学の博士号を放棄し、元教授まで招き入れた少女の珍しい旅。
>URLﾘﾝｸ(www.vietnam.vn)
ありがとう
数学者 ケン・オノ教授は、数学者小野孝の次男だね
”Ph.D. in 1958 at Nagoya University”となっている
(参考)
URLﾘﾝｸ(www.vietnam.vn)
数学の博士号を放棄し、元教授まで招き入れた少女の珍しい旅。
米国 - カリーナ・ホンはスタンフォード大学の数学博士課程を中退した後、かつての教授さえも採用できるほどの地位を急速に確立し、多くの人を驚かせた。
VietNamNet
20/12/2025
アメリカ数学会（AMS）によると、カリーナ・ホンの旅は中国の広州から始まり、そこで彼女は省のオリンピック数学チームで正式なトレーニングを受け、ロスプログラムやスタンフォード数学キャンプなど数多くの国際数学プログラムに参加した。
創業当初、アクシオムには折りたたみテーブルと借り物のソファしかありませんでしたが、その使命と長期的なビジョンのおかげで、ホン氏はかつての指導者であるケン・オノ教授をはじめ、学界と産業界の両方から研究者を採用することができました。
URLﾘﾝｸ(ja.wikipedia.org)
ケン・オノ（Ken Ono、1968年3月20日 - ）は日系アメリカ人の数学者。数論、特に自然数の分割、モジュラー形式が専門。また、インドの数学者シュリニヴァーサ・ラマヌジャンの研究を行う。現在エモリー大学教授。
略歴
第二次大戦後アメリカ合衆国へ移民した数学者小野孝の次男としてフィラデルフィアに生まれる
URLﾘﾝｸ(en.wikipedia.org)
Ken Ono (born March 20, 1968) is an American mathematician with fields of study in number theory.
URLﾘﾝｸ(en.wikipedia.org)(mathematician)
Takashi Ono (小野 孝, Ono Takashi; born 18 December 1928) is a retired Japanese-born American mathematician, specializing in number theory and algebraic groups.
Early life and education
Ono was born in Nishinomiya, Japan. He received his Ph.D. in 1958 at Nagoya University.[1]
306:１３２人目の素数さん
25/12/23 16:05:59.54 n7MgDd44.net
>>297
もう一つの ばかスレよりましだろうさ
もう一つの ばかスレは、循環小数状態だぜｗｗｗ （＾＾
307:１３２人目の素数さん
25/12/23 16:06:57.16 uzCGuZN1.net
赤の他人の経歴に異常なまでの関心を持つのは人格障害の症状ですか？
308:１３２人目の素数さん
25/12/23 22:51:29.15 MNbxzeli.net
>>300
それ以前に何も消化できてないコピペ繰り返して
関係ない主張を繰り返すけど論理に整合性がないただの精薄でしょ
IUT擁護派ろくなのいねえ
309:１３２人目の素数さん
25/12/23 23:43:26.14 YKW7PlXk.net
>>300
何年か前に ガロアスレだったかで
マヌジャン「タクシー数」が話題になったとき
Ono, Kenの参考文献が見つかった
日系人かと思って調べたことがあって
小野孝さんのご子息だと知った
小野孝さんは、結構有名な数学者だった
310:下記の「オイラーの主題による変奏曲―二次形式,楕円曲線,ホップ写像」読んだ（チラ見） (参考) https://ja.wikipedia.org/wiki/%E3%82%BF%E3%82%AF%E3%82%B7%E3%83%BC%E6%95%B0 タクシー数 「タクシー数」と言う名前はハーディが乗ったタクシーの番号1729についてそれがTa(2)であることをシュリニヴァーサ・ラマヌジャンが指摘したエピソードから来ている（後述） 脚注 5^ Ken Ono and Sarah Trebat-Leder (2016, 2017) 参考文献 ・Ono, Ken; Trebat-Leder, Sarah (2016). “The 1729 K3 surface”. Res. Number Theory 2: No. 26. doi:10.1007/s40993-016-0058-2. ・Ono, Ken; Trebat-Leder, Sarah (2017). “Erratum to: The 1729 K3 surface”. Res. Number Theory 3: No. 12. doi:10.1007/s40993-017-0076-8. つづく
311:１３２人目の素数さん
25/12/23 23:46:21.72 YKW7PlXk.net
つづき
立教大学/record/10858/files/iesop-vi-1.pdf
立教大学 国際学術交流報告書
第六輯 代数群の整数論とその応用 (J. テイトに捧ぐ）
小野孝 立教大学 1986年
つづく
312:１３２人目の素数さん
25/12/23 23:47:34.53 YKW7PlXk.net
つづき
立教大学/record/10858/files/
公関連続講義（全10回） 公開講演会 - 立教大学学術リポジトリ
立教大学学術リポジトリ
小野孝 著 — 小野孝氏のプロフィール. 1928年12月18B，西宮に生まれる。 1952年東京大学理学部数学科卒業。名古屋大学助手，大阪市立大学講師を歴任された後， 1959年に渡米され ...
2 ページ
オイラーの主題による変奏曲―二次形式,楕円曲線,ホップ写像 単行本 – 1980/4/1
小野孝 (著) 実教出版 1980
(引用終り)
以上
313:１３２人目の素数さん
25/12/23 23:52:31.30 YKW7PlXk.net
>>301
>関係ない主張を繰り返すけど論理に整合性がないただの精薄でしょ
>IUT擁護派ろくなのいねえ
ふふ
IUTアンチ派か？
あっちのスレで、循環小数アソビやってなよ
ばかみたいな 循環小数アソビをよ
314:１３２人目の素数さん
25/12/23 23:57:39.40 YKW7PlXk.net
>>305
IUTアンチ派は
文元氏の
赤い燻製ニシン(red herring)>>14-15
に 騙され 引き摺られて
全く新しい言語だから 数学ではないとか
寝言を繰り返す
バカだよね
赤い燻製ニシン(red herring)>>14-15
だって きづけよ おい
315:１３２人目の素数さん
25/12/24 00:53:08.22 C6rLQrmH.net
まあここは応援スレだからアンチは場違いというのはその通りだ
316:１３２人目の素数さん
25/12/24 02:51:26.40 hGST+YV6.net
数学板の品位を落とさないように。
品位のないスレには、私が💩を落として行くから注意するように、オホン。
317:１３２人目の素数さん
25/12/24 05:54:23.16 IFW0/yZB.net
>>302
>・・・読んだ（チラ見）
理解もできないもの読むなんて愚
チラ見とかいって言い訳するなんて恥
318:１３２人目の素数さん
25/12/24 05:57:28.41 IFW0/yZB.net
>>305-306
数学で応援とかない 🐎🦌か
319:１３２人目の素数さん
25/12/24 06:07:29.99 IFW0/yZB.net
>>300
＞赤の他人の経歴に異常なまでの関心を持つ
一方数学の定理が成立する条件は呆れるほど無関心
正方行列なら無条件に逆行列を持つと思ってるとか
そんな粗雑な精神のヤツでも大学に受かるんだから
入試とか学歴なんて全く意味ないよ
320:１３２人目の素数さん
25/12/24 06:12:26.25 IFW0/yZB.net
誰がいつどこの大学を出て学位をとって大学の職を得たかなんて
数学とは全く無関係なことばかり書くのは数学嫌いな証拠
チラ見であきらめるのも数学が大嫌いな証拠
数学が好きなら諦めない 諦める時点で嫌いなんだよ
別に数学嫌いでいいじゃん
数学嫌いな自分を好きになれよ
なんか努力の方向が完全に間違ってるぞ
321:１３２人目の素数さん
25/12/24 06:29:23.14 IFW0/yZB.net
自分が読んでも理解できないことをコピペするのも完全に●違いの所業
大学１年の数学の講義聞いて全く理解する意欲もわかず
自分は計算という単純労働が好きなだけで
思考という知的活動が嫌いとわかったんだろ？
永遠に黙れよ 数学板にクソ文書きこむな
322:１３２人目の素数さん
25/12/24 06:35:27.38 IFW0/yZB.net
東大理Ⅰとかでも理学部に行くヤツと工学部に行くヤツは全然違う
例外はもちろんあるが、後者は大体学問に興味ないヤツが多い
なんでそんなヤツが大学に行くか？
企業が大卒をとるから
企業は大学を職業訓練専門学校としか思ってない
企業にとって数学は計算技術でしかない
数学そのものに興味を持つとか変態
整数とか論理とかなんて研究対象ではない
そんな考えの俗物がこの世の９割以上を占めている
俗物は数学はスポーツとかと同様の賞とりゲームだと、マジで思ってる
●ねよ 💩
323:１３２人目の素数さん
25/12/24 06:35:28.72 IFW0/yZB.net
東大理Ⅰとかでも理学部に行くヤツと工学部に行くヤツは全然違う
例外はもちろんあるが、後者は大体学問に興味ないヤツが多い
なんでそんなヤツが大学に行くか？
企業が大卒をとるから
企業は大学を職業訓練専門学校としか思ってない
企業にとって数学は計算技術でしかない
数学そのものに興味を持つとか変態
整数とか論理とかなんて研究対象ではない
そんな考えの俗物がこの世の９割以上を占めている
俗物は数学はスポーツとかと同様の賞とりゲームだと、マジで思ってる
●ねよ 💩
324:１３２人目の素数さん
25/12/24 14:41:30.75 RL1oOEOY.net
;;;;
Y;:i;:Y
';:.l.;
-^-
325:１３２人目の素数さん
25/12/24 16:22:02.60 hra2J6zG.net
>>248
>論文の公表は商品のセールスではない
>とにかく相手を納得させさえすればいいとかいう
>「暴力行為」を容赦すべきでない
これは望月さんのことでしょうか？
>すべては暴力だと思ってる野蛮人は
>数学板に一切書き込まないでいただきたい
こちらはこのスレの彼の人のことでしょうね
326:１３２人目の素数さん
25/12/24 16:23:00.58 hra2J6zG.net
>>260
同感です
327:１３２人目の素数さん
25/12/24 16:26:23.04 hra2J6zG.net
>>266
あなたには悪意がないかも知れませんが
このような雑談を書くと彼の人は
認められたという肯定感で満たされて
ますます暴れ回ることになります
あなたの何気ない行為が
火に油を注いでいるんですね
328:１３２人目の素数さん
25/12/24 16:39:12.92 hra2J6zG.net
望月さんはscholzeさんの指摘が∧と∨を取り違えていると>>227
>一言で言ってしまいますと、「大元誤解」の本質は、よく知られている論理演算子
> 「∧」（＝「AND」＝「かつ」）と
> 「∨」（＝「OR」＝「または」）
>の混乱によるものです。
指摘しているようですが
本当にそうなんでしょうかね？望月さんはストローマン論法を試みているのではない？
329:１３２人目の素数さん
25/12/24 17:39:45.47 2GQZTEpi.net
🍙😫米💩💩💩💩💩💩💩💩💩💩＿|￣|🤬
330:１３２人目の素数さん
25/12/24 19:20:06.13 wYldxlso.net
>>301
＞>すべては暴力だと思ってる野蛮人は
＞>数学板に一切書き込まないでいただきたい
＞こちらはこのスレの彼の人のことでしょうね
私は>>240のIDの者で、このとき「野蛮人」と書かれた者である
そもそも、私は、すべてが暴力などとは思っていない
「彼の人」という日本語は余り見ない表現で「かれの人」とも読めて、
意味や読み方が紛らわしいことがあるから、
「かの人」をわざわざ漢字を使って「彼の人」と書かないでくれ
見たとき、一瞬「かれの人」って読んじゃったじゃないかw
331:１３２人目の素数さん
25/12/24 19:23:35.32 wYldxlso.net
>>317
>>322は>>301へのレスではなく、君へのレスである
332:１３２人目の素数さん
25/12/24 19:44:30.47 hra2J6zG.net
>>322,323
たぶん>>241-245で話題にしているのは>>240を書いたあなたではありませんよ
野蛮人（>>242,248）もあなたのことではなく彼（か）の人を言わんとしているのかと思いました
333:１３２人目の素数さん
25/12/24 19:57:19.64 wYldxlso.net
>>324
「彼(か)の人」がコピペ君やM(新)氏の
ゴリ押しで論文を雑誌に載せたことか
何かを指しているなら、多分問題は生じないだろう
334:１３２人目の素数さん
25/12/24 23:11:49.97 CtjMaRga.net
IUTはとっくにオワコン
335:１３２人目の素数さん
25/12/25 05:11:44.55 YohuGUfP.net
勢力は拡大しつつあるようだが
336:１３２人目の素数さん
25/12/25 05:38:56.70 ZH7D8NLH.net
>>242の「野蛮人」は、
自国人だというだけで某人物を無条件礼賛する
「チラ見コピ平」のことだろ
R^nの標準基底をR^nの任意の元に写像する行列が
線形同型とか言ってる時点で、
線形独立も知らん野蛮人だと分かる
ま、こいつと同レベルのくせに
数学の全てを理解したような顔してる
尊大な素人は沢山いるみたいだけどな
精神患ってるから医者で診てもらえ
完全に統合失調症だぞ
今はクスリのめば寛解する可能性大だから
おだいじに
337:１３２人目の素数さん
25/12/25 05:44:35.87 ZH7D8NLH.net
１．望月新一は有能な数学者であった 今はどうだか知らんけど
２．系３．１２は、いいアイデアなんだろう 知らんけど
３．しかしＩＵによる系３．１２の証明は、妄想っぽい 知らんけど
４．Scholze-Stixによる、ＩＵへの疑念の提示はごもっとも
５．疑念に対して感情的に取り乱す望月新一は、どうみてもヤバい状態なので、精神科で診てもらったほうがいい
注 望月新一を誹謗中傷するものではない ただ脳を患ってるので適切な治療が必要と思う 治るかどうかはわからんが
338:１３２人目の素数さん
25/12/25 06:25:06.43 YohuGUfP.net
いわゆる素人の床屋談義
339:１３２人目の素数さん
25/12/25 08:47:48.15 ZH7D8NLH.net
「王様は裸だ」と言ったのは子供
340:１３２人目の素数さん
25/12/25 08:50:49.44 ZH7D8NLH.net
>>327
「系3.12に関心を持つ人が増えている」のであって
「IUを理解する人が増えている」わけではない
341:１３２人目の素数さん
25/12/25 09:21:12.11 YohuGUfP.net
要覧を眺めれば研究者の増加が実感できるだろう
342:１３２人目の素数さん
25/12/25 09:45:16.75 ZCHXd3Tz.net
>>328
コピペ君を擁護する気はないことは断っておく
Vを実数体R上の線型空間 R^n の標準基底の全体からなる空間とする
Wを体R上の線型空間 R^n の零行列 O_n を除く任意の点に写像する行列全体からなる空間とする
任意に体上の線型空間 R^n の標準基底 b∈V を1つ取る
このとき、任意の A∈W に対して或る B∈W が一意に存在して Ab＝B である
また、任意の B∈W に対して或る A∈W が一意に存在して Ab＝B である
よって、WからWへの全単射が一意に存在する
Wの定義から、Wは体R上WからWへの線型写像が存在し、Wは体R上の線型空間である
Vの点bは任意に選んでいたから、体R上WからWへの線型写像
の全体からなる空間を Hom_g(W,W) とすれば、
Hom_g(W,W) は体R上線型独立でありR-線型同型である
Wの定義から、Hom_g(W,W) は体R上の線型空間 R^n の標準基底から
体R上の線型空間 R^n への体R上零行列を除く任意の点に
写像する一次変換全体からなる空間即ち体R上の一般線型群 GL_n(R) と見なせて、
Hom_g(W,W) のWを GL_n(R) で置き換えて同様な議論をすれば、
体R上の一般線形群 GL_n(R)) は体R上線型独立でありR-線型同型である
343:１３２人目の素数さん
25/12/25 10:18:25.65 ZH7D8NLH.net
>>334
>Vを実数体R上の線型空間 R^n の標準基底の全体からなる空間とする
？
例えば
R^2の標準基底って(1,0),(0,1)
R^3の標準基底って(1,0,0),(0,1,0),(0,0,1)
のことだけど？
標準基底
URLﾘﾝｸ(ja.wikipedia.org)
344:１３２人目の素数さん
25/12/25 10:24:37.14 ZH7D8NLH.net
>>334
>Wを体R上の線型空間 R^n の零行列 O_n を除く任意の点に写像する行列全体からなる空間とする
？
「Wは零行列以外のn次正方行列全体の空間」って言ってる？
>Wの定義から、Wは体R上WからWへの線型写像が存在し、Wは体R上の線型空間である
もし、Wが零行列以外のn次正方行列の全体なら、
行列の加法とスカラー積に関して、Wは線形空間になりえない
なぜなら・・・零行列がないから
大丈夫？
345:１３２人目の素数さん
25/12/25 10:34:29.11 ZH7D8NLH.net
>>334
>Wの定義から、Hom_g(W,W) は
>体R上の線型空間 R^n の標準基底から
>体R上の線型空間 R^n への体R上零行列を除く任意の点に写像する
>一次変換全体からなる空間即ち体R上の一般線型群 GL_n(R) と見なせて、
？？？
2行目の「標準基底」を「単位行列」とするよ。
で、3行目の「零行列以外の任意の点に写像する行列」を（零行列以外の任意の）「正方行列」とするよ。
で、そのような写像は、単に単位行列から、ある正方行列への写像であって一次変換でもなんでもないよ
で、零行列以外の正方行列は逆行列を持つかって？
ぶぶー 答えは✕
たとえば ２×２行列
(1 0)
(0 0)
は零行列でないけど、逆行列は持たないよ
あと
(1 2)
(2 4)
も逆行列を持たないね
大丈夫？
346:１３２人目の素数さん
25/12/25 10:38:20.27 ZCHXd3Tz.net
>>335-336
それなら、標準基底は基底の間違いだ
347:１３２人目の素数さん
25/12/25 10:44:33.06 ZH7D8NLH.net
(1,0)を(a11,a12)に
(0､1)を(a21,a22)に
写像する正方行列が
零行列でなければ
逆行列を持つ？
そんなこといえないよ（笑）
c1*(a11,a12)+c2*(a21,a22)＝0
となるようなc1,c2≠0を持つなら
逆行列は存在しない
逆にそのようなc1,c2≠0を持たないなら
つまり(a11,a12)と(a21,a22)が線形独立なら
逆行列を持つ
任意のn次正方行列に拡大しても
同じことがいえる
これが線形代数の基本
知らないヤツは
大学１年の線形代数落第
348:１３２人目の素数さん
25/12/25 10:48:11.72 ZCHXd3Tz.net
>>335-337
Vを実数体R上の線型空間 R^n の基底の全体からなる空間とする
Wを体R上の線型空間 R^n の零行列 O_n を除く任意の点に写像する行列全体からなる空間とする
任意に体上の線型空間 R^n の基底 b∈V を1つ取る
このとき、任意の A∈W に対して或る B∈W が一意に存在して Ab＝B である
また、任意の B∈W に対して或る A∈W が一意に存在して Ab＝B である
よって、WからWへの全単射が一意に存在する
Wの定義から、Wは体R上WからWへの線型写像が存在し、Wは体R上の線型空間である
Vの基底bは任意に選んでいたから、体R上WからWへの線型写像
の全体からなる空間を Hom_g(W,W) とすれば、
Hom_g(W,W) は体R上線型独立でありR-線型同型である
Wの定義から、Hom_g(W,W) は体R上の線型空間 R^n の基底から
体R上の線型空間 R^n への体R上零行列を除く任意の点に
写像する一次変換全体からなる空間即ち体R上の一般線型群 GL_n(R) と見なせて、
Hom_g(W,W) のWを GL_n(R) で置き換えて同様な議論をすれば、
体R上の一般線形群 GL_n(R)) は体R上線型独立でありR-線型同型である
書き直すと、こんな感じ
現在の線型代数と昔の線型代数では、議論の進め方が違う
349:１３２人目の素数さん
25/12/25 10:50:29.78 ZH7D8NLH.net
R^nの標準基底を、R^nの任意の基底に写像する行列の全体はもちろん群をなす
それがGL_n(R)
で、R^nから任意のn個の元を持ってきたら基底になる？
ならないだろ
線形空間の基底とは、線形独立な線形空間の生成元のこと
だからn個の元が線形独立であることが必要
ちなみにR^nの線形独立なn個の元は基底になる
つまり、n個の元の線形結合によってR^nの任意の元を生成できる
350:１３２人目の素数さん
25/12/25 10:55:06.07 ZH7D8NLH.net
>>340
まだ、おかしい
>Wを体R上の線型空間 R^n の零行列 O_n を除く任意の点に写像する行列全体からなる空間とする
「何」を「R^nの任意の点」に写像するのか？
あと、零行列O_nは、R^nの元ではないが、
もしかして零ベクトルのことか？
零ベクトルと零行列を混同するって
大学行ったことない素人だろ
351:１３２人目の素数さん
25/12/25 10:58:59.76 ZH7D8NLH.net
「Wを
体R上の線型空間 R^n の零ベクトルO_n を除く任意の点を、
体R上の線型空間 R^n の零ベクトルO_n を除く任意の点に写像する
行列全体からなる空間とする」
それ正則行列じゃん（笑）
で、零行列以外の任意の正方行列は上記の行列か？
違うよ（笑）
行列の行ベクトル及び列ベクトルが皆零ベクトルでない
という制限を設けてもまだダメ
352:１３２人目の素数さん
25/12/25 11:08:51.17 ZCHXd3Tz.net
>>341
>で、R^nから任意のn個の元を持ってきたら基底になる？
>ならないだろ
GL_n(R) は群をなすから、GL_n(R) から或るn個の元 A_1,…,A_n を選べば
GL_n(R) は (A_1,…,A_n) を基底とする体R上の線型空間になる
353:１３２人目の素数さん
25/12/25 11:14:39.21 ZCHXd3Tz.net
>>342-343
昔は行列を一次変換とする線型代数をやってた
354:１３２人目の素数さん
25/12/25 11:31:40.33 UpAnLGGp.net
昔はとか現在はとかクソみたいな言い訳してる時点で落第
355:１３２人目の素数さん
25/12/25 11:32:43.14 2QqPRnkn.net
>>344
なるかいw
356:１３２人目の素数さん
25/12/25 11:37:16.68 2QqPRnkn.net
>>328
>「チラ見コピ平」のことだろ
チョットワロタ
357:１３２人目の素数さん
25/12/25 11:45:32.30 ZCHXd3Tz.net
>>347
>GL_n(R) は群をなすから、GL_n(R) から或るn個の元 A_1,…,A_n を選べば
>GL_n(R) は (A_1,…,A_n) (列ベクトル) を基底とする
>体R上のn次の行列全体からなる環 M_n(R) 上の加群になる
の間違い
358:１３２人目の素数さん
25/12/25 11:52:30.07 ZCHXd3Tz.net
>>346
昔は、現在とは違って環上の加群を行列の前に議論する
ブルバキ流の線型代数をしていた時期がある
359:１３２人目の素数さん
25/12/25 11:52:39.71 UpAnLGGp.net
>>344
Aがn次正則行列なら-Aもn次正則行列であり、A-A=Oはn次正則行列でないからGL_n(R)は線形空間でない。
360:１３２人目の素数さん
25/12/25 11:59:09.06 ZCHXd3Tz.net
>>351
そうですな
361:１３２人目の素数さん
25/12/25 12:00:36.93 UpAnLGGp.net
>>344
>GL_n(R) は群をなすから
その群の演算は行列の積であって、一方線形空間の演算は和とスカラー倍だから、GL_n(R)が群であることとGL_n(R)が線形空間か否かの間には何の因果関係も無い。
頭大丈夫？
362:１３２人目の素数さん
25/12/25 12:01:25.76 ZCHXd3Tz.net
まあ、「関数」を「函数」と書いてた時代のこと
363:１３２人目の素数さん
25/12/25 12:07:59.99 ZCHXd3Tz.net
>>353
関数を函数と書いてた時代には、現在とは大きく違って
群、環、体などの議論を環上の加群を行列の前に議論して
線型代数の議論をするブルバキ流の線型代数をしていた
364:１３２人目の素数さん
25/12/25 12:15:10.57 UpAnLGGp.net
>>355
議論のやり方によって間違いが正しくなることは無い
365:１３２人目の素数さん
25/12/25 12:19:21.82 ZCHXd3Tz.net
>>356
既に>>349で訂正しつつ間違いをしたと書いている
366:１３２人目の素数さん
25/12/25 13:01:48.27 UpAnLGGp.net
>>349
>GL_n(R) は群をなすから、GL_n(R) から或るn個の元 A_1,…,A_n を選べば
>GL_n(R) は (A_1,…,A_n) (列ベクトル) を基底とする
>体R上のn次の行列全体からなる環 M_n(R) 上の加群になる
スカラー乗法を行列の積と定義したとき、O∈M_n(R),∀X∈GL_n(R)に対してOX=O,￢O∈GL_n(R) だから GL_n(R) は環 M_n(R) 上の加群でない。
君の言う加群のスカラー乗法の定義は何？
367:１３２人目の素数さん
25/12/25 13:02:46.70 w5YZfM/G.net
404 名前：１３２人目の素数さん[] 投稿日：2025/12/24(水) 22:48:50.09 ID:lLnMlqUI [7/9]
IUTは望月新一本人しか理解できなく
も因果律が破れることはない。
因果律が破れる例
京大数理研では、IUT論文を受理する前からabc予想が解決していた
368:１３２人目の素数さん
25/12/25 13:11:51.36 ZCHXd3Tz.net
>>358
n個の体R上のn次の行列全体からなる環 M_n(R) 上の加群 GL_n(R) の系を考えればよい
単純に
>GL_n(R) は体R上のn次の行列全体からなる環 M_n(R) 上の加群になる
としてもよい
369:１３２人目の素数さん
25/12/25 13:13:05.89 2QqPRnkn.net
>>349
それも間違いw
370:１３２人目の素数さん
25/12/25 13:14:30.63 2QqPRnkn.net
>>360
どこまでも間違ってるけど
線型空間や加群の定義知ってるの？
371:１３２人目の素数さん
25/12/25 13:16:41.08 UpAnLGGp.net
>>360
系ってなに？
>>GL_n(R) は体R上のn次の行列全体からなる環 M_n(R) 上の加群になる
>としてもよい
だから（少なくともスカラー倍を行列の積と定義するなら）ならないって言ってるんだけど 日本語分かる？
372:１３２人目の素数さん
25/12/25 13:18:11.97 ZCHXd3Tz.net
>>361
>GL_n(R) は群をなすから、GL_n(R) から或るm個の元 A_1,…,A_m を選べば
>m個の GL_n(R) から系は (A_1,…,A_m) (列ベクトル) を基底とするような、
>m個の体R上のn次の行列全体からなる環 M_n(R) 上の加群の系になる
の書き間違い
373:１３２人目の素数さん
25/12/25 13:18:52.52 UpAnLGGp.net
>>362
知らないし知ろうとも思わないんでしょうね
聞きかじった用語を羅列すれば正しい言明ができると妄想してるっぽい
374:１３２人目の素数さん
25/12/25 13:21:57.22 ZCHXd3Tz.net
>>361
ここでいう「系」とは「連立微分方程式系」の「系」と同じニュアンスで使っている
375:１３２人目の素数さん
25/12/25 13:22:19.43 UpAnLGGp.net
>>364
>(A_1,…,A_m) (列ベクトル) を基底とするような
なんで基底が列ベクトルなんだっつーの
基底はベクトルの順不動な組み合わせだろ
376:１３２人目の素数さん
25/12/25 13:24:18.53 ZCHXd3Tz.net
>>363
>>366は君へのレス
377:１３２人目の素数さん
25/12/25 13:24:31.61 UpAnLGGp.net
>>366
そんなことどーでもよいくらい初歩の初歩から間違ってる
378:１３２人目の素数さん
25/12/25 13:25:55.07 UpAnLGGp.net
>>366
てか日本語すら分かってないじゃん君
379:１３２人目の素数さん
25/12/25 13:51:59.22 ZH7D8NLH.net
>>328
線形代数で大事なのは
集合n={0,…,n-1}からRへの関数の全体であるR^nからそれ自身への線形写像とは
R^nの標準基底Ei( i番目だけが1であとの成分は0)からR^nの勝手な元Aiに写像するものとして
縦ベクトルAiを横に並べた行列として記述できる
このとき勝手にとってきたAiの線形結合によって構成される線形空間の次元を
どうやって知るか？これが線形代数で解決すべき重要な問題の一つである
結論は、例えば、Aiを他のAjと線形結合することによってEiを構成し
それらがいくつできるか見ればいい 掃き出し法がやってることはこれ
他に行列式を使う方法もあるが、これもまた行列式の多重線形性と交代性から
ベクトルが線形従属している場合0となることを利用している
線形代数を理解する、というのは具体的な操作が何をするためのものか理解する
ということであって、「正方行列なら正則行列」とうそぶく人とか、
ベクトルと行列を区別せず、行列の積が線形写像の合成であることも知らん人とかが、
線形代数を理論として、初歩から全く理解できていない、というのは言わずもがな
そしてそんなヤツが理系出身者にもごろごろいる、というのが実態・・・OTL
380:１３２人目の素数さん
25/12/25 16:38:37.49 ZH7D8NLH.net
コテハンでなかったことがせめてもの救い
URLﾘﾝｸ(hissi.org)
381:１３２人目の素数さん
25/12/25 16:47:37.15 OXZF60Vn.net
院試に出る単因子論の授業が始まるんです？
382:１３２人目の素数さん
25/12/25 17:14:42.45 ZH7D8NLH.net
問題
R^nからn個の元を取ってきて
その線形結合で生成される線形空間の次元がm
であるようなもの全体は何個のパラメータを持つ？
383:１３２人目の素数さん
25/12/25 18:22:47.07 ZCHXd3Tz.net
>>369-371
上の空で他のこと考えながら書いてて寝ぼけてたw
実数体R上のn次の行列全体からなる環 M_n(R) は
環R上の単位的加群であるというだけのこと
一般線形群 GL_n(R) から或るm個の元 A_1,…,A_m を選べば
M_n(R) は (A_1,…,A_n) (列ベクトル) を基底とする
実数体Rの列ベクトル全体からなる環 R^n 上の
n次の行列全体からなる環 M_n(R) 上の加群である
体R上の R^n×M_n(R) から M_n(R) への線型写像fを
f：R^n×M_n(R)∋(r,A) → rA∈M_n(R) と定義すれば、
任意の a,b∈R, (s_1,…,s_n)∈R^n に対して
(a+b)f(r,A)＝(a+b)r(A_1,…,A_n)
＝(a+b)(s_1,…,s_n)(A_1,…,A_n)
＝(as_1A_1,…,as_nA_n)+(bs_1A_1,…,bs_nA_n)
＝((a+b)s_1A_1,…,(a+b)s_nA_n)
というように、連立列ベクトルからなる連立方程式系を考えることが出来る