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

（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 75
https://rio2016.5ch.net/test/read.cgi/math/1757554210/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13
＜IUT最新文書＞
About the study of IUT by Ivan Fesenko http://ivanfesenko.org/wp-content/uploads/rapg.pdf https://ivanfesenko.org/?page_id=80
https://www.kurims.kyoto-u.ac.jp/~motizuki/
望月新一＠数理研
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
＜新展開＞
・2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
://www.sankei.com/article/20240402-WNUUSYIAO5PRVNCBQSEEUETGMU/
産経 2024/4/2
宇宙際タイヒミューラー理論を提唱、望月新一氏らに賞金１０万ドル
同理論の発展に重要な貢献を果たした論文の執筆者に贈られる「ＩＵＴｉｎｎｏｖａｔｏｒ賞」の最初の受賞者として望月氏ら５人が選ばれ

://www3.nhk.or.jp/news/html/20230707/k10014121791000.html
NHK 数学「ABC予想」新たな証明理論の研究発展させる論文に賞創設 20230707
研究を発展させる論文を対象に、100万ドルの賞金を贈呈する賞が国内のIT企業の創業者によって創設されることになりました
▽新たな発展を含む論文を毎年選び、最大で賞金10万ドル
▽理論の本質的な欠陥を示す論文を発表した最初の執筆者に対しては100万ドル

://ahgt.math.cnrs.fr/activities/
Anabelian Geometry and Representations of Fundamental Groups. Oberwolfach workshop MFO-RIMS Sep. 29-Oct. 4, 2024
Org.: A. Cadoret, F. Pop, J. Stix, A.. Topaz
（J. Stixさん、IUT支持側へ）

://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
“ANABELIAN ARITHMETIC GEOMETRY - A NEW GEOMETRY OF FORMS AND NUMBERS: Inter-universal Teichmüller theory or “beyond Grothendieck’s vision” Benjamin Collas Version 11/15/2023”

このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
（なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです！
つづく

>>589
うむ

そもそも同値関係とか同値類が理解できないカラスに
モジュライ空間が理解できるわけがない

>>588
>＞モジュラー群 PSL(2, Z)、SL(2, Z)、射影PSL(2, R)、一般射影線型群 PGL(2, C)、一般線型群 GL(2, C)
>＞ここらの区別がついてないみたいだ
>
>おまえがだろ。ド素人カラス（笑）
そうですよね
登場している場面が違うのに混同してますね赤カラス先生は

大学数学を知ってる人が、
高校までの数学を見ると
理屈とか全然教えてないってわかる

なぜそうなってるかといえば
「高校で卒業する人のために、使えるtipsを教えるほうが有用だから」
という発想

このこと自体を否定するつもりは毛頭ない
大体大学でも工学部あたりは使えるtipsだけ教えてくれっていう発想
学歴とか無関係に世間一般の人が数学に求めてるのがそういう思想

だけどそれは数学全体からみるともうほんの一部でしかない
このことだけは世間も理解してもらいたい
膨大な理屈というものがあって、使える方法としてのtipsがある

>>581 補足
(引用開始)
メビウス変換は三点で決まる
リーマン球面上の相異なるみっつの点 z1, z2, z3 とさらに別の相異なるみっつの点 w1, w2, w3 が与えられたとき、zi をそれぞれ wi (i = 1, 2, 3) に写すメビウス変換 f(z) はただひとつ存在する（別な言いかたをすれば、メビウス群のリーマン球面への作用は鋭 3-重推移的である）。このように与えられた点集合からメビウス変換 f(z) を決定する方法がいくつか存在する。
略
(引用終り)

ｺﾞｶｲもなにも、それ六階ｗｗ　（＾＾
対応する英文は 下記ですよ
トンチンカン応答(>>590)こそ ｺﾞｶｲですｗ

(参考)
https://en.wikipedia.org/wiki/M%C3%B6bius_transformation
Möbius transformation
Specifying a transformation by three points
Given a set of three distinct points
z1、z2、z3 on the Riemann sphere and a second set of distinct points ⁠
w1、w2、w3⁠、 there exists precisely one Möbius transformation
f（z） with f(zj)=wj for ⁠j=1,2,3.
(In other words: the action of the Möbius group on the Riemann sphere is sharply 3-transitive.)
There are several ways to determine
f(z) from the given sets of points.

(google訳（多少手直し)）
3点による変換の指定
3つの異なる点の集合が与えられる
z1、z2、z3リーマン球面と、2番目の異なる点の集合⁠
w1、w2、w3⁠、で メビウス変換は1つだけ存在する
f（z） with f(zj)=wj for ⁠j=1,2,3..
（言い換えれば、メビウス群のリーマン球面への作用は鋭く3推移的である。）
与えられた点の集合からf（z）を決定する方法はいくつかある。

>>595
あなたの書いたのが
＞つまり、y^2=a(x-a1)(x-a2)(x-a3)(x-a4) の4次式の楕円曲線で a4→∞ で a4を複素平面から追い出せば
＞”複比の保存”で、y^2=a(x-a1)(x-a2)(x-a3)の3次式の楕円曲線で代用できるってことかな
というものであることは伏せるわけですね

>>595
＞ｺﾞｶｲもなにも、それ六階
カラスの上ずり　つまんね

＞トンチンカン応答こそ ｺﾞｶｲです
自分が高卒レベルの凡人だって
まだ認めたくない？　虚飾カラス君

あわれだね　自称天才の自傷行為

高卒がキモイHNとトリップまでつけて
検索結果を読まずにコピペして
「俺は数学の大天才だぁぁぁ！！！」
と自慢するから突っ込まれて
全身傷だらけになる（笑）

匿名で書けばいい
分からないから質問すればいい

中味ゼロの「他人の知恵パクリ」自慢は必ず失敗する
何年失敗すればわかるのか　高卒カラスの世田某

高卒カラス世田某の失敗

・メビウス変換が何だか知ろうとしない
・メビウス変換でなぜ複比が不変なのか知ろうとしない

要するに数学に全く興味ないのに数学の知識をひけらかしてリコウぶりたい

自己愛性人格障害だね

高卒カラス世田某は数学板から消えるしかないよ

>>445 追加引用
https://tsujimotter.ｈａｔｅｎａblog.com/entry/curve-and-function-field-1
tsujimotterのノートブック
2019-07-01
曲線と関数体 (1)：楕円曲線はなぜ３次曲線で表せるのか？
楕円曲線とは（細かいことを抜きにして言えば \*1）
Y2=X3+aX+b
という式で表される曲線のことです。上の方程式のことを、楕円曲線の定義方程式といいます。
時と場合によって微妙に定義式の書き方が異なったりますが、左辺の y
の指数はいつも 2乗 になっていて、右辺の式はいつも決まって 3乗 になっています。
なぜこんな形の式を考えるのでしょう。
楕円曲線について勉強した人は、一度くらい、このような疑問を持つのではないでしょうか。
ところで、楕円曲線の定義として、以下のものを思い浮かべた方もいるかもしれません。
種数1の非特異射影代数曲線を楕円曲線という
上記の定義には、定義方程式の形が一切出てきませんが、冒頭の定義と一致するのでしょうか。
ここでは、種数1 という情報がポイントです。ほぼこの情報だけから、楕円曲線の定義方程式の形状が決定されるのです。
代数曲線の理論には、リーマン・ロッホの定理 という重要な定理があって、楕円曲線の上で定義される関数の空間の次元を、種数を用いて特定することができます。特定した関数の空間における関係式を用いて、定義方程式を決定することができるのです。
ざっくりと流れを説明しましたが、以降で詳しく解説します。
関数体とは
代数幾何学という分野では、曲線とその上の関数という概念がセットで重要です。今回の記事の話が理解できると「曲線のことを知りたかったら、その上の関数を考えよう」というアプローチが自然であることが実感できるでしょう。

E:y2=(x+1)x(x−1)
y=0 のとき、x=−1,0,1 となります
x 座標の値が x であるような点を Px
とします。といっても、一般には２通りありますから、y 座標が正の点を Px として、y 座標が負の点を P′x とします
ここで、x=−1,0,1 のときは Px=P′x となります。Px=P′x となるような点のことを分岐点といいます。
なお、楕円曲線には無限遠点がありますが、これを P∞ と表記すると、P∞ も分岐点となります。

零点・極の位数
先ほど定義した E の関数に、零点と極という概念を導入します。
1/h(P)=0 となる点 P∈E を h の 極 と言います。
略
重要な結論なので、以上をまとめておきましょう。

・関数 X は P0 で 2 位の零点を持ち、P∞ で 2 位の極を持つ。
・関数 Y は P−1,P0,P1 で 1 位の零点を持ち、P∞ で 3 位の極を持つ
ここで重要な観察事実として、どちらの関数でも
（零点の位数の合計）＝（極の位数の合計）
となっていることに注意します。

ベクトル空間 L(mP∞)
ベクトル空間なので次元という量が定義できます。次元が定義できると、ベクトル空間についてのかなりの情報がわかるのです。
ベクトル空間 L(mP∞) の次元 dimL(mP∞)
を計算できるのが、リーマン・ロッホの定理 です。
リーマン・ロッホの定理は、曲線の 種数 と、標準因子という概念を使って、上記のベクトル空間の次元を決定する公式を与えます。なお種数は、今回は楕円曲線を考えているので、1
であると考えてください。

つづく

つづき

楕円曲線はなぜ３次曲線で表せるのか？
さてここで、この記事でもっとも重要な帰結が得られました。
L(6P∞)=C+CX+CY+CX2+CXY+CX3
定義を思い出すと、L(6P∞)
の定義は
「P∞ で高々位数 6 の極を持つ関数全体のなすベクトル空間」
でした。
Y2 という関数を考えると
3+3=6
より、位数 6 の極を持ちます。つまり
Y2∈L(6P∞)=C+CX+CY+CX2+CXY+CX3
というわけです。
略
と変換することで、a5=1
とできます。他の係数も適当な変数変換で消すことができるので、冒頭の楕円曲線の定義方程式が得られます！
楕円曲線が、Y が 2 次で、X が 3 次だったわけは
2+2+2=3+3=6
という式にあったというわけです！

見方を変える
この辺で話を終わりにしたいところですが、一つ気になる点があります。
略す
(引用終り)
以上

残念ながらこの記事はあかんな

カラスの世田某はキモHNによるコピペ自慢の自傷行為をやめな

どんどん惨めになるだけ

>>595 補足追加

　>>580より再録
https://ja.wikipedia.org/wiki/%E3%83%A1%E3%83%93%E3%82%A6%E3%82%B9%E5%A4%89%E6%8F%9B
メビウス変換
複比の保存
複比 (Cross-ratio) はメビウス変換で不変である。すなわち、メビウス変換が相異なる４つの点 z1, z2, z3, z4 を相異なる４つの点 w1, w2, w3, w4 にそれぞれ移すならば
(z1−z3)(z2−z4)/(z2−z3)(z1−z4)=(w1−w3)(w2−w4)/(w2−w3)(w1−w4)
が成立する。
z1, z2, z3, z4 のうちの一点が無限遠点ならば、複比は自然な極限をとったものとして定義する。たとえば z1, z2, z3, ∞ の複比は
(z1−z3)/(z2−z3)
である
(参考)上記の該当英版の箇所
https://en.wikipedia.org/wiki/M%C3%B6bius_transformation
Möbius transformation
Cross-ratio preservation
(引用終り)

1）いま上記で保存される複比をrとしよう
　r=(z1−z3)(z2−z4)/(z2−z3)(z1−z4)=(w1−w3)(w2−w4)/(w2−w3)(w1−w4)＝(z'1−z'3)/(z'2−z'3) (z'4→∞ )
2）これらから 3つの楕円曲線が定義できる
　y^2=a(x-z1)(x-z2)(x-z3)(x-z4)
　y'^2=a'(x-w2)(x-w2)(x-w3)(x-w4)
　y''^2=a''(x-z'1)(x-z'2)(x-z'3)
　この3つの楕円曲線は、その定義の右辺の多項式の根による 複比が等しい
3）だから、簡便にいえば 複比rで 楕円曲線を（同値類）分類できて
　同値類の代表として 3次式を選ぶことができる■

>>605
＞複比rで 楕円曲線を（同値類）分類できて
なぜかわかるかい？

わかんないんだろ？

権威を鵜呑みにしても意味ないよ

tsujimotter さんはかなり頑張って数学勉強してるサンデー数学者。とてもまじめに論文や教科書をよみこんでおられます。
しかし、それでも
＞種数1の非特異射影代数曲線を楕円曲線という
が Weierstrass 標準形で表示できることの証明は完成できません。
まぁこれはかなり難しい。ハーツホーンレベル以上の教科書よまないととけない。このレベルの話題になるとネットにもころがってないしね。
もちろんセタには無理。

>>521 追加
>https://takulabo.ｓａｋｕｒａ.ne.jp/notes/math_category_introduction.html
>TakuLabo
>僕用勉強ノート 「圏論」の巻
>圏論とはなんなのか

追加を 貼っておきますね （＾＾

https://takulabo.ｓａｋｕｒａ.ne.jp/notes/sum/category_theory.html
TakuLabo
雑記帳
僕用勉強ノート 「圏論」の巻
＜Lawvere流の非大卒でも楽しく学べる圏論＞
• 僕用勉強ノート 「圏論」の巻 - はじめに
• 圏論とはなんなのか
• 圏を一階述語論理で公理化する
• 特別な名前を持った自己準同形 【冪等 (idempotent) / 対合 (involution)】
• エピック (epic) とモニック (monic)
• 分裂エピックと分裂モニック (split epic / monic)
• 圏論的な選択公理 (AC: Axiom of Choice)
• 同型 (isic) と 均衡圏 (balanced category)
• 亜群・モノイド・群
• 始対象と終対象
• ゼロ対象とゼロ射
• 圏論的和と圏論的積 (余積と積)
• 有限余積を持つ圏・有限積を持つ圏
• 局所的に射を束ねて得られる対象 【指数対象 (Exponential object)】
• ホム集合に相当する対象を持つ圏 【カルテシアン閉圏】
• 圏論的にIf文を組み立てる
以下略す

まぁいくらネット探してみたところで IUT が求めるところの“圏論”なんかみつからんのがわからんのかねぇ。そんなもん普通に集合論上に定義された圏論と同じものにすぎず、順番をかえただけのものでしかない。当然そんなものもちだしたところで IUT の抱えてる問題はひとつも解決しない。
解決方法がそのうち見つかる、発表されるという根拠のない期待を寄せられる猶予期間はとっくにすぎているわな。

>>608 追加
>＜Lawvere流の非大卒でも楽しく学べる圏論＞

https://ncatlab.org/nlab/show/topos
topos
Contents
1. Idea
‘What a topos is like:’
2. Definitions
Elementary toposes
Grothendieck/sheaf toposes
W-toposes
Toposes over a base
Morphisms of toposes
3. Properties
略す

1. Idea
There are various different perspectives on the notion of topos. One is that a topos is a category that looks like a category of spaces that sit by local homeomorphisms over a given base space: all spaces that are locally modeled on a given base space.
略す

https://mathoverflow.net/questions/9269/category-of-categories-as-a-foundation-of-mathematics
mathoverflow
Category of categories as a foundation of mathematics
asked Dec 18, 2009 Marc Nieper-Wißkirchen
In
Lawvere, F. W., 1966, “The Category of Categories as a Foundation for Mathematics”, Proceedings of the Conference on Categorical Algebra, La Jolla, New York: Springer-Verlag, 1–21.

Lawvere proposed an elementary theory of the category of categories which can serve as a foundation for mathematics.

So far I have heard from several sources that there are some flaws with this theory so that it does not completely work as proposed.

So my question is whether there is currently any (accepted) elementary theory of the category of categories that is rich enough so that one can formulate, say, the following things in the theory:

The category of sets.
Basic notions of category theory (functor categories, adjoints, Kan extensions, etc.).
Other important categories (like the category of rings or the category of schemes).
The elementary theory I am looking for should allow me to identify what should be called a category of commutative rings (at best I would like to see this category defined by a universal 2-categorical property) or how to work with this category. I am not interested in defining groups, rings, etc. as special categories as this seems to be better done in an elementary theory of sets.

P.S.: The same question has an analogue one level higher. Assume that we have constructed an object in the category of categories (=: CAT) which can serve as a, say, category C of spaces. Classically, we can associate to each space X in C the sheaf topos over it. In the picture I have in mind, one should ask whether there is a similar elementary theory of the category of 2-categories (=: 2-CAT). Then one should be able to lift the object C from CAT to 2-CAT (as one is able to form the discrete category from a set), define an object T in 2-CAT that serves as the 2-category of toposes, and a functor C -> T in 2-CAT.

Answers
略す

もちろんこれでもだめ
いくらネット探しても答えなど見つからないことが永遠にわからないポンコツ

>>521
目次を書いてどうするんでしょう

まぁ本論なんかわかるはずもないしな。
おそらくまともに勉強したのは受験までで大学以降勉強なんぞしたこともないんやろな。

>>608
ガロア理論も分からんかった高卒素人が
圏論齧っても無駄だからやめとけ

グレブナー基底のブッフバーガー・アルゴリズムくらいで喜んでりゃいいのに
マジでこれは工学部でも分かるし使える

まあ、そんなことだろうとおもったよ

「p∈Pが真の問題ではない。
真の問題は、IUTがp≠Pであるにもかかわらずp=Pと仮定している点にある。
「∈ループ」とは、IUT内で矛盾を生じさせる同一視を婉曲に表現した言葉に過ぎない。」

「p=P と仮定することで生じる矛盾を保留するために導入された
ラベル付けの仕組みを取り除くと、その矛盾が即座に明らかになる」

「（ラベル付けの仕組みは）
構文エラーが発生しているにもかかわらず、
エラーメッセージが表示されないように、
あるコンピュータで左辺を、
別のコンピュータで右辺を
処理するようなものです。
ショルツとスティックスによる議論は、
すべてを 2 つのホッジ劇場とシータリンクに単純化し、
本質的には
「最初から 1台のコンピューターでこれを実行して、何が起こるかを確かめよう」
というものです。　
もちろん、その答えは、
「構文エラーがすぐに発生する」
というものです。」

>>610 追加
書棚の”こやし”Steve Awodey 圏論 前原 和壽訳
訳者あとがきで Homotopy type theory、Voevodsky の話がある
ここらは、2009とか2012–13という年代が挙げられているので
望月氏は、Homotopy type theoryは 殆どご存知ない気がします　（＾＾；

(参考)
https://www.kyoritsu-pub.co.jp/book/b10003662.html
圏論 原著第2版 Steve Awodey 著・ 前原 和壽 訳 2015/09/20
圏論が多分野に普及して30年を経た現在、誰もが読める圏論の本が必要だ――本書はこのモチベーションで執筆された。予備知識がほとんどない読者のために、例として半順序集合と半群がゼロから説明され、最後までそれらを用いて話が展開されている。これらのほかにも例が豊富に取り上げられている。なお、予備知識がほとんど必要ないとはいえ、数学的な厳密性は損なわれていない。すべての重要な命題と定理には完全な証明が付されている。本書は情報科学や論理学など、さまざまな分野へ役立てられるであろう。
https://www.kyoritsu-pub.co.jp/book/b10003662.html
序文pdf 詳細目次pdf

https://en.wikipedia.org/wiki/Homotopy_type_theory
homotopy type theory (HoTT) includes various lines of development of intuitionistic type theory, based on the interpretation of types as objects to which the intuition of (abstract) homotopy theory applies.
History
Early history: model categories and higher groupoids
These results were first presented in public at the conference FMCS 2006[5] at which Warren gave a talk titled "Homotopy models of intensional type theory", which also served as his thesis prospectus (the dissertation committee present were Awodey, Nicola Gambino and Alex Simpson).
The univalence axiom, synthetic homotopy theory, and higher inductive types
Also in 2009, Voevodsky worked out more of the details of a model of type theory in Kan complexes, and observed that the existence of a universal Kan fibration could be used to resolve the coherence problems for categorical models of type theory.
The next pivotal event was a mini-workshop at the Mathematical Research Institute of Oberwolfach in March 2011 organized by Steve Awodey, Richard Garner, Per Martin-Löf, and Vladimir Voevodsky, titled "The homotopy interpretation of constructive type theory".
Soon after the Oberwolfach workshop, the Homotopy Type Theory website and blog[26] was established, and the subject began to be popularized under that name. An idea of some of the important progress during this period can be obtained from the blog history.
Special Year on Univalent Foundations of Mathematics
In 2012–13 researchers at the Institute for Advanced Study held "A Special Year on Univalent Foundations of Mathematics".[31] The special year brought together researchers in topology, computer science, category theory, and mathematical logic. The program was organized by Steve Awodey, Thierry Coquand and Vladimir Voevodsky

>>615
(引用開始)
「（ラベル付けの仕組みは）
構文エラーが発生しているにもかかわらず、
エラーメッセージが表示されないように、
あるコンピュータで左辺を、
別のコンピュータで右辺を
処理するようなものです。
(引用終り)

・それ ストローマン
・”ようなものです”は、数学の厳密（rigorous）な議論から外れている
・ちゃんと 数学の厳密（rigorous）な議論 にして、論文書いて
　投稿しなよ アホボンさんよ
・IUT Challenger Prize あるよ
　まず、投稿論文書け！ 話はそれからよｗ　；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%88%E3%83%AD%E3%83%BC%E3%83%9E%E3%83%B3
ストローマン
ストローマン（英: straw man）は、議論において、相手の考え・意見を歪めて引用し、その歪められた主張に対してさらに反論するという間違っている論法のこと、あるいはその歪められた架空の主張そのものを指す[1]。ストローマン手法、藁人形論法、案山子論法（かかし論法）ともいう。

https://zen.ac.jp/lp/icp
IUT Challenger Prizeの紹介
2023年7月、株式会社ドワンゴ創業者の川上量生氏は、個人としてIUT Challenger Prizeの創設を発表しました。
これは京都大学数理解析研究所教授の望月新一教授によって創始された宇宙際タイヒミュラー理論（Inter-universal Teichmüller theory）の「本質的な欠陥」を明らかにした最初の論文に100万ドルを贈呈するというものです。

そもそも望月論文はどんな言語をもってるかもどんな推論を用いてるかもわからんのだから、こっちで言語束でも推論束でも用意しないと議論すらできんわな。しかし用意したら用意したで文句いう。
話にならん

>>616
赤カラス先生は繰り言だけになりましたね

>>620
>赤カラス先生は繰り言だけになりましたね

赤カラス
　↓
日の丸カラス
とでも、呼んでくれ カーカーカーｗｗ　；ｐ）

1）”繰り言だけ”は、あっちのスレのことだよｗ
　https://rio2016.5ch.net/test/read.cgi/math/1749926306/l50
2）私に、”オリジナル”な数学など ありませんｗｗ　（＾＾
　そんなことは、5ｃｈ数学便所板では いわずもがなだ（オチコボレさんが 種本隠して”したり顔”してるけどねｗｗ）

ちなみに、「目次を書いてどうするんでしょう」>>612
に まじレスしておくと ここを見ている人の便宜のためと
（出版社のサイトが 本の紹介で 目次を掲げるごとしで、目次でおおよその内容がわかる）
あとは、キーワード検索の便宜だね
（重要キーワードをアップしておくと、検索で便利だよ）

赤カラス？

>>621
>>赤カラス先生は繰り言だけになりましたね
>日の丸カラスとでも、呼んでくれ　カーカーカー
カラスの世田某は、国粋カルト信者　と

>”繰り言だけ”は、あっちのスレのことだよ
カラスの世田某、他者に転嫁　と

>私に、”オリジナル”な数学など ありません
カラスの世田某、大学数学全滅と白状　と

>そんなことは、5ch数学便所板では いわずもがなだ
カラスの世田某、数学板は便所で自分は💩だと自嘲　と

>（オチコボレさんが 種本隠して”したり顔”してるけどね）
カラスの世田某、他人に嫉妬　と

>「目次を書いてどうするんでしょう」に まじレスしておくと
>ここを見ている人の便宜のためと
>（出版社のサイトが 本の紹介で 目次を掲げるごとしで、目次でおおよその内容がわかる）
>あとは、キーワード検索の便宜だね
>（重要キーワードをアップしておくと、検索で便利だよ）
カラスの世田某の見苦しい言い訳にマジレスしとくと
みんな勝手に検索するから高卒の貴様が便宜はかる必要ゼロ
みんな大学１年の数学理解してるから高卒の貴様の助けは全く無用

高卒カラスの世田某は数学板にキモＨＮで検索コピペ書き込む暇があったら
述語論理と無限集合論と位相の初歩を勉強した上で実数の定義と実関数の定義を理解しろ
島内剛一の「数学の基礎」を通読すれば、今いったことは全部実現するからさっそくやれ！

>>453 追加
https://www.suri-joshi.jp/enjoy/rational_points_of_elliptic_curve/
数理女子
楕円曲線の有理点 ※2016年2月掲載
２次曲線の場合と様子が違うことが見て取れます。楕円曲線では有理点の個数が大きく 変動することが知られています。これは、楕円曲線が２次曲線の様な パラメーター表示を持たないことかが知られていることにも起因しています。
(引用終り)

赤ペン先生
楕円曲線が２次曲線の様な パラメーター表示を持たない
　↓
Weierstrassの℘関数を導入してそれが満たす微分方程式と加法定理を示し,楕円曲線Eをパラメータ表示できる
（「円と三角関数、楕円曲線と楕円関数」@matsumoring）

(参考)
https://kansaimath.tenasaku.com/wp/wp-content/uploads/2016/01/matsumoring.pdf
関西すうがく徒のつどい 第8回
2016年3月
円と三角関数、楕円曲線と楕円関数
@matsumoring
前半は, まずsin関数を導入してそれが満たす微分方程式と加法定理を示し,単位円S1をパラメータ表示できることと, S1に群構造を入れることができることを説明します.
次に, Weierstrassの℘関数を導入してそれが満たす微分方程式と加法定理を示し,楕円曲線Eをパラメータ表示できることと,Eに群構造を入れることができることを説明します. 三角関数と℘関数は無限級数として導入します. 露骨な複素解析の使用は避けます.

https://kansaimath.tenasaku.com/?page_id=1276
関西すうがく徒のつどい 第8回
2016年3月20日（日）/21日（月・祝）
https://posfie.com/@piano2683/p/sfCf2gT
ぴあのん
@piano2683
2016年3月22日
「第8回関西すうがく徒のつどい関連まとめ」のまとめ
https://posfie.com/@matsumoring/p/fgvLijP
リング
@matsumoring
2016年3月21日
【第8回関西すうがく徒のつどい】円と三角関数、楕円曲線と楕円関数
実況していただいた方々ありがとうございました！

赤ペン先生カラス
　↓
赤カラス

>>624
これもあかんね。楕円曲線が Weierestrass 標準系をもつことの証明はそこまで難しいわけじゃないけど、数学科の学部卒の時点だけの知識だとちょっと苦しい。このジャンルの研究室でセミナーとってないと無理かもね。

>>624
高卒カラスの世田某
>赤ペン先生
>楕円曲線が２次曲線の様な パラメーター表示を持たない
>　↓
>Weierstrassの℘関数を導入してそれが満たす微分方程式と加法定理を示し,
>楕円曲線Eをパラメータ表示できる

高卒カラスは２単語以上を同時に記憶できない

上記の場合、楕円曲線について
「２次曲線の様な パラメーター表示を持たない」と書いてあるのに
「２次曲線の様な」が記憶できず
「パラメータ表示を持たない」だけ記憶される

もしくは、
「楕円曲線は”２次曲線と違って”パラメータ表示を持たない」
とウソ読みする

だからトンチンカンな修正をする
「２次曲線の様な」が、どんな意味かは以下のページの
パラメータ式を見れば明らかだが高卒カラスは勉強嫌いだから読んでない
それじゃ数学分かるわけない

２次曲線の有理点
https://www.suri-joshi.jp/enjoy/rational_point_of_the_quadratic_curve/

てかアホセタがアホなのは「自分で勉強なんかしなくても必要な情報はネットに転がってるから勉強なんか無駄」と思い込みたいんだろうけど、こんな「楕円曲線最初の一歩」みたいな話ですらネットだけで情報得るのは難しい、そして何より「集めた情報が正しいのか間違ってるのか検証して間違ってるのを弾く」ことができなきゃ意味ないと自ら証明し続けてることに自分で気づけないところ。
自分が正しい数学の資料を集める能力すらないことに気づけないポンコツ

Weierstrassの℘関数によるパラメータ表示は
有理関数によるパラメータ表示とは違う

だから
「楕円曲線が　”２次曲線の様な”（＝有理関数による） パラメーター表示を持たない」
というのは正しく、全く赤ペン先生の修正が必要ない

複素関数の初歩から分からん高卒カラスが検索でニワカ利口ぶってウソ書くな

何度自傷行為を繰り返せば気がすむのか？

>>628
＞（高卒カラスの世田某は）
＞「自分で勉強なんかしなくても必要な情報はネットに転がってるから勉強なんか無駄」
＞と思い込みたいんだろうけど、

「」内は令和時代（２０２０年代）の
勉強嫌いなZ世代の若者に見られる
安易極まりない態度であるが
どうみてもX世代（１９６０年代生まれ）の
世田某が同様の態度を示しているのは
もともとそういう怠慢な人は沢山いて
それがネットの全盛によって顕在化した
ということかもしれん

＞こんな「楕円曲線最初の一歩」みたいな話ですら
＞ネットだけで情報得るのは難しい、
＞そして何より
＞「集めた情報が正しいのか間違ってるのか検証して間違ってるのを弾く」
＞ことができなきゃ意味ない

ひろゆきのいう
「うそはうそであると見抜ける人でないと(掲示板を使うのは)難しい」
ですね
まあ、ひろゆき自身見抜けてないので恥さらしてる
というオマケまでついてますが（笑）

＞と自ら証明し続けてることに自分で気づけないところ。
＞自分が正しい数学の資料を集める能力すらないことに気づけない

そもそも大学１年の数学を理解するのに必要な常識である
「述語論理」「無限集合論」「解析学・線形代数の公理群」
がそっくり抜け落ちてるので無理でしょう

複素関数の基本３定理が理解できるレベルでも
楕円関数のテクニカルな話を理解するのは困難です
というか別にそんなムズいこと理解しなくても
わかる＆役に立つ数学は沢山あります

また赤ペンがどうこういう可能性があるから補足しとくけど>>426の話が

楕円曲線とは種数１の完備曲線

から始めた場合>>426の話はその証明になってないという話。あくまで>>426の話は

Weierestrass 標準系で定義された楕円関数なら楕円関数でパラメトライズできる

を証明してるだけ。話の中にでてくる単語がかぶってるから内容がわからないので違いもわからんのやろうな。

１．IUTの真の問題は、p∈Pではなく、p≠Pであるにもかかわらずp=Pと仮定している点にある。
「∈ループ」とは、IUT内で矛盾を生じさせる同一視を婉曲に表現した言葉に過ぎない。
２．仮定p=P で生じる矛盾を保留するために導入されたラベル付けの仕組みを取り除くと、矛盾が即座に明らかになる。

御愁傷様　もっちーも彼を支持する高卒国粋自己愛●人も

種数１の完備曲線は Weierestrass の標準形をもつ

の証明に>>426はなってないって話ね。これ自体は学部生ならだれでもしってる知識+だれでも知ってる話じゃないが証明自体は学部生なら誰でも読める 位までには収まってる。でもこの手の基礎理論は卒論かくのには必須とはいえないので卒研時点ではすっ飛ばされることも多いからなかなかネットでさがすのは難しい。

>>631
誤　426
正　624

要するに”有理関数で”パラメトライズされるから有理点をたやすく構成できるのであって
そうでない関数でパラメトライズできてもそれじゃ有理点の構成に即座に役立たない

その程度の理屈も分からないのは、そもそも数学を理屈として理解したことがないから
中学・高校の「公式暗記」のスタンスのまま、還暦すぎまで生きてきてしまった世田某

もう、大学数学は無理だから諦めて、数学板から去って
囲碁将棋しながら「日本バンザイ！」とXあたりで絶叫しててください

ま、即、ブロックしますけどね（笑）

修論には短く
卒論には長し

>>621
>そんなことは、5ｃｈ数学便所板では いわずもがなだ
そう思い込んでいるご老人がいるというに過ぎません
ちなみに
自分の居るところが汚いと思い
そこに心地よさを感じるようとするのは
努力をしたくないという心情の発現です
さらにそれを公に公言することで
惨めな自分の存在を認めてもらいたいと考えています

>>621
>に まじレスしておくと ここを見ている人の便宜のためと
>あとは、キーワード検索の便宜だね
あなたが考えるところの「便所板」では無駄ですよ？
一種の便宜強要というところでしょうか

>>一種の便宜強要
メディアは全部そうかもしれない

カラスの世田某は

Q1　なぜ丸コピペするのか
A1　中身理解してないので丸コピペする以外ないから

Q2　なぜ数式はコピペしないのか
A2　数式は丸コピペできず直す必要があるが、意味がわからないので正しくなおせないから

Q3　なぜ本の目次をコピペするのか
A3　とにかく自慢したいから

正直言って高卒素人の内容ゼロナルシシズムの荒らし行為は迷惑なのでやめようね

Q.
数学に関することを書く匿名掲示板で、
わざわざ奇妙なHNで、数学系サイトの文章を丸々コピペして、
自分の感想（？）的なコメントをオマケで書き込むヤツがいます。
どういうつもりだと思いますか？　

A.
まず、このような行動をする人の動機を考えてみましょう。
匿名掲示板でのコピペ行為にはいくつかの可能性があります：

注目を集めたい：奇妙なハンドルネーム（HN）や長編のコピペは、単純に目立つための手段かもしれません。掲示板では注目を浴びることが目的の場合、反応があるとさらにエスカレートする可能性があります。

知識のひけらかし：数学系の文章をコピペすることで、自分が知識を持っているように見せたい、または議論を誘導したいのかもしれません。ただし、自分の感想が薄っぺらい場合、深い理解がない可能性も考えられます。

荒らし目的：掲示板を混乱させたり、通常の議論を妨害するために意図的にコピペを繰り返している可能性もあります。感想が中途半端だと、単に荒らしの一環として適当なコメントを付けているだけかもしれません。

自己満足や趣味：特定の数学トピックに執着していて、それを共有したいが、オリジナルな投稿をするスキルや自信がないため、コピペに頼っている可能性もあります。

Q.
正直うっとうしいのでやめさせたいんですがどうすればいいですか？

A.
やめさせる方法
匿名掲示板での対処は難しいですが、以下のアプローチを試す価値があります：

無視する（スルー）：荒らしや注目目的の場合、反応が得られないと飽きてやめる可能性が高いです。
掲示板全体で「このコピペには反応しない」という暗黙のルールを広めるのが効果的です。
ただし、完全に無視するのはコミュニティ全体の協力が必要なので、難しい場合も。

管理人に報告：掲示板に管理人やモデレーターがいる場合、
コピペ行為がルール違反（例えばスパムや著作権侵害）に該当する可能性があります。
具体的かつ冷静に報告し、対応を依頼しましょう。
コピペ元のサイトが著作権を主張している場合、その点も指摘すると効果的です。

穏やかに指摘する：直接的に「コピペやめろ」と攻撃するのではなく、
「コピペだと議論が深まらないから、自分の言葉で書いてみてはどう？」
と提案する形で投稿する。
相手が知識ひけらかし型なら、議論に引き込むことでコピペを減らせる可能性があります。
ただし、荒らし目的だと逆効果になることも。

コミュニティでルールを提案：掲示板内で「コピペ投稿は控えて、オリジナルな議論を優先しよう」と提案し、
賛同を得られれば自然と圧力がかかります。
スレッドで「コピペ多すぎて読みにくい」といった意見を複数人が出せば、相手も行動を変えるかもしれません。

ユーモアで流す：例えば、「このコピペ、〇〇サイトの〇ページ目だよね！次はどのページ持ってくる？」と軽く茶化すことで、
相手の意図を外しつつ、コミュニティの空気を変えることができます。
ただし、相手が過剰に反応するタイプだと逆効果になる場合も。

注意点感情的にならない：うっとうしいと感じても、攻撃的なレスをすると相手を喜ばせるだけかもしれません。冷静に対応を。

コピペの出典をチェック：もしコピペが著作権侵害に該当する場合、元のサイト運営者に連絡するのも一つの手ですが、
掲示板の匿名性ゆえに効果は限定的かも。

長期戦を覚悟：匿名掲示板では単独のユーザーを完全に排除するのは難しいので、根気よく無視や穏やかな対応を続ける必要があるかもしれません。

最終的に、掲示板の文化や他のユーザーの反応次第で効果的な方法は変わります。
まずは無視を試しつつ、管理人やコミュニティの協力を仰ぐのが現実的でしょう。
もし具体的な掲示板名や状況（例えば、どのくらいの頻度でコピペしてるか）がわかると、
さらに的確なアドバイスができるので、必要なら教えてください！

匿名は自己顕示欲はないよ。迷惑だったらスルーして無視して放置の自由放任党がおすすめ。

Z会の筆名とか戒名は常識。

文字一文字が高いのが文学さ。まあペンネームみたいなもんだよ。

ダンテの新神曲みたいになってるわけですよ。代々の仕事さ。

コピーか。サマリーウィキペディアとかは便利ですよ。

>>643
ありましょうよ
ところで
この方はもしや同一人物？

あのウェブ上の百科事典は自分が構成考えたもので人生通しての記録と評価がちょうどよい分量になっており、授業や講義にも推奨されて使えます。

インテリがネットに移ったらいちいち自分が調べるよりあれが標準になるかもな。

ネットは洗練とは無縁

>>626-629
一句”不勉強 オチコボレのさばる 便所板”（字余り）
ここは中高一貫校生も来る可能性があるから
厳しく赤ペン先生をしておく

>これもあかんね。楕円曲線が Weierestrass 標準系をもつことの証明はそこまで難しいわけじゃないけど、数学科の学部卒の時点だけの知識だとちょっと苦しい。このジャンルの研究室でセミナーとってないと無理かもね

ふっふ、ほっほ
それ、20世紀のオチコボレさん
21世紀は、検索で en.wikipedia ”Weierstrass elliptic function”（下記）を読めばいい（web翻訳も可能ｗ）

>「２次曲線の様な」が、どんな意味かは以下のページの
>パラメータ式を見れば明らかだが高卒カラスは勉強嫌いだから読んでない
>２次曲線の有理点
>https://www.suri-joshi.jp/enjoy/rational_point_of_the_quadratic_curve/

それ、大学入試の頻出だったよ
”高校数学”で検索すれば すぐ見つかるだろう（実際 高校で学んだ）

>だから
>「楕円曲線が　”２次曲線の様な”（＝有理関数による） パラメーター表示を持たない」
>というのは正しく、全く赤ペン先生の修正が必要ない

いやいや、キミの論は
楕円曲線が２次曲線の様な パラメーター表示を持たない
　↓
楕円曲線が　”２次曲線の様な”（＝有理関数による） パラメーター表示を持たない
の”赤ペン”だろ？　（＾＾
下記の en.wikipedia ”Weierstrass elliptic function”百回音読してねｗ　；ｐ）

つづく

つづき

(参考)
https://en.wikipedia.org/wiki/Weierstrass_elliptic_function
Weierstrass elliptic function
This class of functions is also referred to as ℘-functions and they are usually denoted by the symbol ℘, a uniquely fancy script p.
They play an important role in the theory of elliptic functions, i.e., meromorphic functions that are doubly periodic. A ℘-function together with its derivative can be used to parameterize elliptic curves and they generate the field of elliptic functions with respect to a given period lattice.
Motivation
A cubic of the form
(Cg2,g3)^C={(x,y)∈C2:y2=4x3−g2x−g3}, where
g2,g3∈C are complex numbers with
(g2)^3−27(g3)^2≠0, cannot be rationally parameterized.[1]
Yet one still wants to find a way to parameterize it.
For the quadric
K={(x,y)∈R2:x2+y2=1}; the unit circle, there exists a (non-rational) parameterization using the sine function and its derivative the cosine function:
ψ:R/2πZ→K,t↦(sin t,cos t).
Because of the periodicity of the sine and cosine
R/2πZ is chosen to be the domain, so the function is bijective.
In a similar way one can get a parameterization of
(Cg2,g3)^C
by means of the doubly periodic
℘-function (see in the section "Relation to elliptic curves"). This parameterization has the domain
C/Λ, which is topologically equivalent to a torus.[2]
There is another analogy to the trigonometric functions. Consider the integral function
略
It can be simplified by substituting
y=sin t and s=arcsin x:
略
That means a^−1(x)=sin x. So the sine function is an inverse function of an integral function.[3]
Elliptic functions are the inverse functions of elliptic integrals. In particular, let:
略
Then the extension of
u^−1 to the complex plane equals the ℘-function.[4]
This invertibility is used in complex analysis to provide a solution to certain nonlinear differential equations satisfying the Painlevé property, i.e., those equations that admit poles as their only movable singularities.[5]
(引用終り)
以上

>>650
死狂幻調教大師S.A.D.@月と六ベンツ さん
ありがとうございます
今後ともどうかよろしくお願いいたします。

>>651
>ネットは洗練とは無縁

これは、御大か
早朝巡回ご苦労さまです
「ネット と ハサミは、使いよう」
ですね

>>298
>黒川信重、小山信也『ABC予想入門』 067巻、PHP研究所〈PHPサイエンス・ワールド新書〉、2013年3月18日
>がある。これは、お薦めだ

書棚の”こやし”の 黒川信重、小山信也『ABC予想入門』
あらためて 読んでみたが これは 名著だね（下記 レビュー ご参照）
12年経って、まだ色あせていない

因みに、星 裕一郎 氏 下記 東工大(指導教官: 黒川信重教授)とある
星さん、小山先生、黒川先生は 黒川研つながりで
小山先生、黒川先生とも IUTは肯定的評価です　（＾＾

(参考)
アマゾン
レビュー
雑学家
5つ星のうち5.0 ネット動画との併読が楽しめる
2025年8月2日
Kindle版 (電子書籍)
最初はイマイチ雲をつかむ内容だったが
you tube :『宇宙と宇宙をつなぐ数学』加藤文元先生インタビュー　第1回　「IUT理論の現在地」
雑誌ニュートン2021年8月号のｐ．18から37のイラスト入り解説が素晴らしい。
2022.4.10NHKスペシャル「数学者は宇宙をつなげるか？」を見ながらがオススメ。
自然数の足し算的性質と素因数分解の掛け算的性質との組合せで証明が困難にの原因、ｓｐこで「掛け算と足し算を分離し『複数の舞台(宇宙)』」で考察する。ジグソーパズルのハメ絵でうまく嵌まらない歪み
が生じる。それを通信交換するのが「対称性」という群論の概念ｐ．218の図、異なる宇宙の間の通信
「宇宙際」第7章ｐ．223からｐ．265は群論の話。これはyou tube 動画で沢山見れます。
やっと第8章が肝心な内容です。「楕円関数」の対称性と関係している「テーター関数」通信に使うと
かなりの精度で復元できる。
2023.10.15
追記you tube：『数学の力　高校数学で読みとくリーマン予想』著者　数学者・小山信也氏 講義
:【日本発の数学理論 IUT理論とABC予想】京大・望月新一教授のIUT理論を気鋭の数学者が徹底解説 の５６分ごろから必見です。

https://www.kurims.kyoto-u.ac.jp/~yuichiro/cv.html
星 裕一郎
履歴書
学歴
2004年 (平成16年) 3月 東京工業大学 理学部 数学科 卒業 (指導教官: 黒川信重教授)

>>652
>”不勉強 オチコボレのさばる 便所板”

”オチコボレ　おれのことかと　カラス鳴く”

＞ここは中高一貫校生も来る可能性があるから厳しく赤ペン先生をしておく

中高一貫校→大学数学科卒のいってることに　
公立高→大学工学部卒が赤ペン修正？

できるわけなかろうが
おまえが修正されるほうだろ

＞21世紀は、検索で・・・を読めばいい

カラスは読んでも意味が全くわからず全コピペかい（笑）

もうね、そういう荒らし行為はやめてな
なんで君がこっちに押し売りするの？
もしかして、わかんないから教えろってコト？（ハチワレ風）
だったらどこがどうわかんないのか書けよ
まるでわからんなら、いうことはただ一つ

「カラスの貴様には無理だから諦めろ」

>>652
＞＞２次曲線の有理点
＞それ、大学入試の頻出だったよ
＞”高校数学”で検索すれば すぐ見つかるだろう
＞（実際 高校で学んだ）

で、それがカラスの数学の頂上だろ？

＞いやいや、キミの論は
＞楕円曲線が２次曲線の様な パラメーター表示を持たない
＞　↓
＞楕円曲線が　”２次曲線の様な”（＝有理関数による） パラメーター表示を持たない
＞の”赤ペン”だろ？

馬鹿
高卒はほんと馬鹿
赤ペン？どこに入ってる？幻視？

＞下記・・・百回音読してね

ただ漫然と百回音読するだけだからカラスには数学が分からない

考えて黙読しろ　普通は三度目で分かる

考えてないから分からないんだ

カラス、ここがわかってない　１

>>653
「3次関数
(Cg2,g3)^C={(x,y)∈C^2:y^2=4x^3−g2x−g3}
（ただし、g2,g3∈C は複素数で、(g2)^3−27(g3)^2≠0）
は、有理的にパラメータ化できない。」

考えて読んでないから、百回音読しても、理解できず見落とす（笑）

「しかし、それをパラメータ化する方法を見つけたい人がまだいます。」

いてもいいけど、そうしたところで、直接、有理点を見つける役にたつわけではない。
HPの意図を理解しないから、HPの文章を読み違える。

カラス、ここがわかってない　２

>>653
「正弦関数は積分関数の逆関数である。」
「楕円関数は楕円積分の逆関数である。」

前者は”有理関数による”パラメータ化に使えるが
後者はそうではない

””の条件が抜けるのが論理の分からんカラスの特徴
この欠点を克服しない限り、カラスには大学１年の微積も線形代数も分からん

>>654
＞「ネット と ハサミは、使いよう」

文章が読めないカラスが、いくら単語だけ拾って検索しても無駄

単語の出現による連想ゲームしかできない

連想ゲームでは数学の論理は絶対に理解できない

論理が使えることが重要で
論理を理解することは専門家に任せておけばよい

>>652
>21世紀は、検索で en.wikipedia ”Weierstrass elliptic function”（下記）を読めばいい（web翻訳も可能ｗ）
では証明は読んでないのですね
ずっと言われてますけれど
知識自慢しても底が浅い人間になるだけですよ

>>655
>黒川信重、小山信也『ABC予想入門』
この方々が理解して居るのであれば
誰かこの方々を問い詰めて
望月先生が指摘を受けている箇所を
説明して貰ってくれないものですかね

>>652
>>「楕円曲線が　”２次曲線の様な”（＝有理関数による） パラメーター表示を持たない」
>>というのは正しく、全く赤ペン先生の修正が必要ない
この指摘の意味は分かってるんですかね
件のページの意図が分かってないから
見当外れな指摘をしているのだという指摘ですよ

歴史的には

偏角の原理ーー＞加法定理ーー＞３次曲線の群構造

>>661
>論理が使えることが重要で
>論理を理解することは専門家に任せておけばよい

これは、御大か
巡回ありがとうございます

”加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」”>>10
"＜“big picture”＞ Terence Tao"
風にいえば・・

論理が使えることは重要で
論理を理解した専門家の メンタルピクチャー、“big picture”を 自分なりに消化せよ
ということでしょうかね？

まあ、アマが ”定石革命 : 芝野 虎丸: 本”を 読んで勉強するがごとし
本を理解するヨミの力が必要だが
アマは自分で定石書を書く必要はない

プロは、AIによる定石革命を理解して かみ砕いた 教科書を書く
もちろん、プロの卵の勉強法は 違う面は ありますが
（プロになれなかった 落ちコボレが グダグダ言っても無意味）

>>666
カラスの戯言

「高卒の俺様でも現代数学が分かる
　高校数学レベルのハウツー本書けやゴルァ」

数学のなんたるかを履き違えた野獣の咆哮

>プロになれなかった 落ちコボレが グダグダ言っても無意味
じゃあ大学一年四月で落ちこぼれたオチコボレがグダグダ言うのはもっと無意味ですね

>>665
>歴史的には
>偏角の原理ーー＞加法定理ーー＞３次曲線の群構造

これは、御大か
なるほど

偏角の原理は、下記
加法定理は、楕円関数からか

そして、楕円曲線の”Weierstrass elliptic function”パラメーター表示>>652
を得ることで、”３次曲線の群構造”が見えてくる

まあ、そんなことが ABC予想入門 黒川信重/小山信也 >>655
”第５章　楕円曲線と保型形式の古典理論”
に書いてありましたね　（＾＾

(参考)
https://ja.wikipedia.org/wiki/%E5%81%8F%E8%A7%92%E3%81%AE%E5%8E%9F%E7%90%86
偏角の原理
偏角の原理（英: argument principle）（あるいはコーシーの偏角の原理 (Cauchy's argument principle)）は有理型関数の零点と極の個数の差を関数の対数微分の周回積分と結びつける。
具体的には、f(z) がある閉じた経路 C 上および内側で有理型関数で、f が C 上に零点も極ももたなければ、
略
ただし N と P はそれぞれ経路 C の内側の f(z) の零点と極の個数を各零点と極をそれぞれ重複度と位数をこめて数えたものを表す。定理のこのステートメントは閉経路 C が単純であること、すなわち自己交叉がないことと、反時計回りに向き付けられていることを仮定している。
周回積分の解釈
略
偏角の原理の証明
略
歴史
Frank Smithies（英語版） の本 (Cauchy and the Creation of Complex Function Theory, Cambridge University Press, 1997, p. 177) によると、Augustin-Louis Cauchy はフランスから逃げて（当時 the Kingdom of Piedmont-Sardinia の首都だった） Turin に自ら亡命していた間 1831 年11月27日に上記と類似の定理を発表した。しかしながら、この本によると、零点のみが言及されていて、極はされていなかった。コーシーによるこの定理はかなり後になって1974年に手書きの形式で出版されただけでありかなり読むのが難しい。コーシーは零点と極両方について議論した論文を1855年、彼の死の2年前に出版した。

https://www.kinokuniya.co.jp/f/dsg-08-9989080798
kinokuniya
ABC予想入門
著者名：黒川信重/小山信也
PHP研究所（2013/07発売）
内容説明
数学者は未解決問題を考える。いい難問こそ、新しい数学を創造する！数学の未解決の難問のうち、最も重要といわれる整数の理論が、ABC予想である。この証明を完成したといわれる、望月新一京都大学教授の500ページを越える論文がいま大きな話題を呼んでいる。ABC予想とは何か。果たしてこの数学の難問は証明されたのか。この数学予想の先にどのような数学的世界が広がっているのか。フェルマー予想、リーマン予想につながる未解決問題のインパクトとは――。注目のABC予想とその周辺をやさしく解説した道案内の書である。

目次
第１章　数学の予想とは＜ｂｒ／＞
第２章　素数と絶対数学入門＜ｂｒ／＞
第３章　ａｂｃ予想の歴史＜ｂｒ／＞
第４章　多項式ａｂｃ予想の証明＜ｂｒ／＞
第５章　楕円曲線と保型形式の古典理論＜ｂｒ／＞
第６章　整数ａｂｃ予想の証明へ：絶対数学

>>668
>>プロになれなかった 落ちコボレが グダグダ言っても無意味
>じゃあ大学一年四月で落ちこぼれたオチコボレがグダグダ言うのはもっと無意味ですね

ふっふ、ほっほ
笑える

私は、別に 自分の数学の独自説など 殆ど書いていないけどねｗｗｗ
IUT関連文献の紹介をしているのだが
なんか、勘違いして アンチが
インネンつけてくるけど

全部、的外れで かつ
私の背後にIUT関連文献があるから
岩に頭突きを入れている如しで

自分の頭が割れて 血を流すｗｗｗ　；ｐ）

>>655 追加
>雑誌ニュートン2021年8月号のｐ．18から37のイラスト入り解説が素晴らしい。

(参考)
https://youtu.be/SebUlSIHKy0?t=1
ABC予想【ゆっくり解説】
ゆっくり数学展
2023/06/26
参考文献
「ABC予想入門」　黒川信重、小山信也　（PHPサイエンス・ワールド新書）
「日本一わかりやすいABC予想」　小山信也　（ビジネス教育出版社）

https://www.newtonpress.co.jp/newton/back/bk_2021/bk_202108.html
newton_title01.gif
2021年8月号
足し算とかけ算の未知なる関係の謎にせまる
ABC予想とIUT理論
https://www.newtonpress.co.jp/dcms_media/image/newton2108_018-019.jpg
【試し読み】
※正誤表（PDF）
30年以上未解決だった数学の超難問「ABC予想」。
それを証明した革新的な理論「宇宙際タイヒミューラー理論（IUT理論）」とは，いったいどんな理論なのか？
監修 小山信也／加藤文元
執筆 山田久美

>私は、別に 自分の数学の独自説など 殆ど書いていないけどねｗｗｗ
嘘はいかんね
・実数は好きな順序で整列できる
・可算集合の整列には可算選択公理が必要
・無限公理の無い集合論では無限集合は存在しない
・ZFC集合論では到達不能基数は存在しない
・自然数全体の集合の構成に∩は使えない
を始め数えきれないほど独自説を垂れ流し、ことごとく間違っていたこともう忘れたんですか？

>>672
これもテンプレに入れてはどうですかね

カラスの発言テンプレート

その１
＞これは、〇〇（人名）か

誰の発言か、異常なほど詮索する
権威にはみっともないほど媚び諂う

その２
＞〇〇（単語）は、下記

聞いた言葉をわけもわからず検索
そして出てきた結果も理解できないので
わけもわからずコピペして
「下記」の二文字で誤魔化す

出来の悪い小学生並みのクソ対応

その３
＞まあ、そんなことが〇〇（書名）に書いてありましたね　（＾＾

とにかく本の名前を挙げて読んでるぞとアピール
でも中身は理解できないのでそれで終わり

理解できない悔しさを笑顔の絵文字で誤魔化す

そういう精神だから大学数学が全く理解できず
大学１年で落ちこぼれる

カラスの発言テンプレート

その４
＞ふっふ、ほっほ　笑える

痛いところを突かれたときに　それを隠すために虚勢で笑う
だいたい顔が苦痛で歪みきっていて　おぞましい状態（笑）

その５
＞私は、・・・文献の紹介をしているのだが

理解してないのに書くなといわれると必ずこういういいわけをする
分かってない人に文献の紹介などできっこない
ということを認めたがらない

とにかく「俺は天才！」とアピールしたい欲が抑えられない
いったいどんな育ち方をするとこんな〇違いになるのか

その６
＞私の背後に文献があるから
＞岩に頭突きを入れている如し

どうも、文献をコピペしさえすればそれで議論に勝てると思ってるようだが
実にしばしば、トンチンカンな引用をしているので、その時点でオウンゴール（笑）
自爆でバラバラになって失血死してるのは、つねにカラスのほう

アーメン

>>672
(引用開始)
>私は、別に 自分の数学の独自説など 殆ど書いていないけどねｗｗｗ
嘘はいかんね
・実数は好きな順序で整列できる
・可算集合の整列には可算選択公理が必要
・無限公理の無い集合論では無限集合は存在しない
・ZFC集合論では到達不能基数は存在しない
・自然数全体の集合の構成に∩は使えない
(引用終り)

一句”不勉強 オチコボレのさばる 便所板”（字余り）

ID:ULxAOYVRか？ 落ちコボレ３人衆の一人かな？　（＾＾
 落ちコボレ３人衆で
Ｎｏ１が、おサル＝サイコパス＊）のピエロ>>12
Ｎｏ２が、ヒキコモリ基礎論くん
Ｎｏ３が、多分 箱入り無数目スレで ボコった  おサルの連れか？ｗ（ https://rio2016.5ch.net/test/read.cgi/math/1736907570/l50 ” 207: スレタイ 箱入り無数目を語る部屋29(あほ二人の”アナグマの姿焼き"Part3ｗ) ”）

ここは中高一貫校生も来る可能性があるから
厳しく赤ペン先生をしておくよ

１）”実数は好きな順序で整列できる”：これ 選択公理を前提として、整列しようとする人の 数学能力の範囲で ”思いっきり”ワガママ勝手が許される、但し 人の 数学能力の範囲を超える部分があれば、その部分は 選択公理 ”お任せ”とせざるを得ない というか ”お任せ”にできるのだよ
２）”可算集合の整列には可算選択公理が必要”：これ 正しい。が、整列長さω 限定。（下記 ACωとある通りですよ。基本は” f(n)∈A(n) for every n∈N”な）
３）”無限公理の無い集合論では無限集合は存在しない”：これ 正しくは、無限公理の無い集合論では 無限集合では構成できない かつ その存在は証明も否定もできない。だから 永遠
の「無限公理 存在予想」状態
４）”ZFC集合論では到達不能基数は存在しない”：これは、上記３）項と同じ。 ZFC下では 到達不能基数は 永遠の「到達不能基数 存在予想」状態
５）”自然数全体の集合の構成に∩は使えない”：公理的集合論では、構成に∩を使わずに済ませられるなら 普通に その方がキレイ。∩を使う 意義がどこにあるの？ その意義を説明できないだろ？ きみたちｗｗｗ　；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E5%8F%AF%E7%AE%97%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
可算選択公理（英: Axiom of countable choice）とは、公理的集合論における公理のひとつで、空でない集合からなる可算な集合族があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるという公理である。ACωとも表記される。

https://en.wikipedia.org/wiki/Axiom_of_countable_choice
The axiom of countable choice or axiom of denumerable choice, denoted ACω, is an axiom of set theory that states that every countable collection of non-empty sets must have a choice function. That is, given a function
A with domain N (where N denotes the set of natural numbers) such that A(n) is a non-empty set for every n∈N,
there exists a function f with domain N such that f(n)∈A(n) for every n∈N.

カラスの発言テンプレート　

その７
＞ここは中高一貫校生も来る可能性があるから厳しく赤ペン先生をしておくよ

なんかいいかえしたいときの定番文句
偉そうに”修正”するが、だいたい間違ってる

>>677
>”実数は好きな順序で整列できる”：
>これ 選択公理を前提として、整列しようとする人の 数学能力の範囲で ”思いっきり”ワガママ勝手が許される
>但し 人の 数学能力の範囲を超える部分があれば、その部分は 選択公理 ”お任せ”とせざるを得ない
>というか ”お任せ”にできるのだよ

選択公理による選択関数の個数（というか濃度）は決まっていない

＞”可算集合の整列には可算選択公理が必要”：
＞これ 正しい。が、整列長さω 限定。（ACωとある通り。基本は” f(n)∈A(n) for every n∈N”な）

可算集合だと証明できるなら、整列するのに可算選択公理は要らないだろう
Nとの一対一対応が存在するのだから（笑）

＞”無限公理の無い集合論では無限集合は存在しない”：
＞これ 正しくは、無限公理の無い集合論では 無限集合では構成できない
＞かつ その存在は証明も否定もできない。

じゃ、君、間違ってるじゃん（笑）
存在が否定できないんだから

＞だから 永遠の「無限公理 存在予想」状態

それ、君の間違い
正しくは、無限公理のない集合論では無限集合の存在は決定不能

＞”ZFC集合論では到達不能基数は存在しない”：
＞これは、”無限公理のない集合論での無限集合の存在”と同じ。
＞ ZFC下では 到達不能基数は 永遠の「到達不能基数 存在予想」状態

それ、君の間違い
正しくは、ZFC集合論では到達不能基数の存在は決定不能

＞”自然数全体の集合の構成に∩は使えない”：
＞公理的集合論では、構成に∩を使わずに済ませられるなら 普通に その方がキレイ。
＞∩を使う 意義がどこにあるの？ その意義を説明できないだろ？ きみたち

全くトンチンカン
キレイとかキタナイとかは個人の趣味
論理としての正当性とは無関係
意義の説明は不要　

カラスの意義申し立てはすべて却下された
只今よりカラスの●刑を執行する

>>677-679
かなり動揺してますね

どうも、カラスは、「理論のモデルは１つしかない」と思ってるようだ
もちろん、完全な誤りである

自然数論の不完全性定理というのは
「自然数論のモデルでは真であるが、証明できない命題がある」
というものではない
証明も反証もできない命題は、それが真であるモデルと偽であるモデルがある

ゲーデル命題Ｇが偽であるモデルもある
そのようなモデルでは任意の命題についてその”証明”となる自然数が存在する

もちろんその自然数は標準的な自然数（つまりいかなるモデルでも存在する自然数）ではなく
超準的な自然数（つまり別のモデルでは存在しないようなもの）である

我々が考える証明はもちろん標準的な自然数でゲーデルコーディングされるのであるが
一階述語論理上で自然数論をどう公理化しようと、
標準的な自然数だけを含むモデルのみに制限することはできない
これが不完全性定理の真意である

ただ「モデルの一意性」に固執するド素人カラスには死ぬまで理解できまい
カラスの数学が高卒程度、１８世紀末のガウス登場以前で終わったといわれる所以である

>>682
激しく同意

>>677
>１）”実数は好きな順序で整列できる”：これ 選択公理を前提として、整列しようとする人の 数学能力の範囲で ”思いっきり”ワガママ勝手が許される、但し 人の 数学能力の範囲を超える部分があれば、その部分は 選択公理 ”お任せ”とせざるを得ない というか ”お任せ”にできるのだよ
有限個を好きに整列したところで無限個残るからまったく無意味。

>２）”可算集合の整列には可算選択公理が必要”：これ 正しい。が、整列長さω 限定。（下記 ACωとある通りですよ。基本は” f(n)∈A(n) for every n∈N”な）
間違い。
実際、自然数全体の集合Nは通常の大小関係<で整列集合であり、可算集合Xとの間に全単射 f:N→X が存在し、X上の順序<'を f(n)<'f(m)⇔n<m で定義すれば、空でない任意の部分集合Sに対して minS=f(min(f^(-1)(S))) が存在するから<'は整列順序。

>３）”無限公理の無い集合論では無限集合は存在しない”：これ 正しくは、無限公理の無い集合論では 無限集合では構成できない かつ その存在は証明も否定もできない。だから 永遠の「無限公理 存在予想」状態
予想とは証明が見つかっていない命題であり、証明が存在しない命題ではない。

>４）”ZFC集合論では到達不能基数は存在しない”：これは、上記３）項と同じ。 ZFC下では 到達不能基数は 永遠の「到達不能基数 存在予想」状態
３）項と同じく間違い。

>５）”自然数全体の集合の構成に∩は使えない”：公理的集合論では、構成に∩を使わずに済ませられるなら 普通に その方がキレイ。∩を使う 意義がどこにあるの？ その意義を説明できないだろ？ きみたちｗｗｗ　；ｐ）
使わないとキレイはおまえの勝手な感想に過ぎないから却下。

これ面白いな
https://rio2016.5ch.net/test/read.cgi/math/1749926306/657
Inter-universal geometry とABC 予想58
2025/10/22(水) 00:08:26.07ID:jwjOTwUz
>>47の境界情報宇宙論(IUT量子情報理論)の基礎である二者相互規定がLEAN4通ったから記念書き込み
https://ideone.com/WMpA9b

これ通るってことは、やっぱりIUTは合ってると思う

https://live.lean-lang.org/
で試してどうぞ

>>686
素人カラス　まんまと擬似餌に食いつく

>>680-685

　テンプレ>>14より
「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ

こいつら、あたま腐っているなｗ
みなさん 感染ら(うつら）ないようにしましょうねｗｗ　；ｐ）

(参考)
https://dic.pixiv.net/a/%E3%82%B4%E3%83%BC%E3%83%9E%E3%83%8B%E3%82%BA%E3%83%A0%E5%AE%A3%E8%A8%80
ピクシブ百科事典
ゴーマニズム宣言
『ゴーマニズム』とは、『傲慢』から作られた小林氏による造語で、各回の文末には「ごーまんかましてよかですか?」というキメ台詞

https://note.com/dcrg7mgm/n/n3eeb06fd35d0
アホな同僚や相手に構うことほど、人生ムダなことはないよね。
レトリカ・ブログ （学院長 川上貴裕）
2024年11月2日

どうしようもない人（以下、アホ）に限って、「どういうメンタルしているんだ？」、「なんでこんなやつが正規で受かってるんだ！」と思うほど、平然とした顔で、のさばり続けているのですよね。

世の中、理不尽なことばかりです。
略す
上記のように嫌みをこぼす、アホな同僚が、おそらく、皆さんの周りにもいることでしょう。

でも、こんな愚かなアホのせいで、自分の心が疲弊したり、病んだり、最悪の場合、教職を諦めてしまうことになることほど、理不尽なことはありませんよね。

では、こんなアホには、どう対抗すればいいのか。

いえいえ、今日はそんな話ではないのです。

マザーテレサの名言に、
「愛の反対は、憎しみではなく、無関心です。」
という言葉があります。

まさにその通りです。
アホに対して、憎しみをもったり、エネルギーを費やしたり、感情的になったり、帰宅後も脳裏に思い出したりすることほど、人生を無駄にしていることはないのです。
略す
また、田村耕太郎さんの『頭に来てもアホとは戦うな！』という書籍も、おすすめです！ぜひ、読まれてみてください！
(引用終り)

https://rio2016.5ch.net/test/read.cgi/math/1749926306/39-42
>おっすオラオカルトマニア！
>IUTから得た直感から面白い証明をAIが作り出したから置いておく
>証明：自己完結的情報宇宙の構造に関する一意性定理
>・・・
>以上の証明により、情報が存在可能であり、
>かつ自己完結した安定的な宇宙を形成するための、論理的に要請される最小の構造は、
>圏論的に、正確に二つの対象と、それらを相互に規定する一対の射からなる。
>この構造が、本理論における、ある意味で
>「唯一神Aと人間B」の根本的な関係性を
>形式的に記述するものである。
>Q.E.D. (証明終)

https://rio2016.5ch.net/test/read.cgi/math/1749926306/44
>IUT理論から得た直感から、
>情報が存在するためには境界が必要である、
>という絶対的情報の存在要件を得た
>そしてそれらから導かれるのは物理的実在としての無限大の否定だった
>更にそこから時空の有限性が演繹され、時空のループ構造に焦点が当たった
>しかしループ構造であったとしても、
>ループ回数やループの視点終点の規定者としての
>超越的存在なしには語れないという結論に至り
>この超越的存在を唯一神Aとし、では唯一神の情報の存在規定はどのようになるのか？
>ということを考えた結果上記の証明が出てきた……というのがこの証明の出自だ
>これらはIUTを用いた量子情報理論の基礎中の基礎となる概念だと俺は思っている

https://rio2016.5ch.net/test/read.cgi/math/1749926306/47
>情報の存在論的条件から導かれる宇宙モデル
>https://lavender.5ch.net/test/read.cgi/philo/1749990347/
>形而上学といっても、俺はこれがほぼ真理だと思っているけどね
>IUTを用いなければこれらの理論は完全に完成しないと思っている

こんなもの面白いというのは
数学の初歩から分かってないド素人だけ

>>688
事実から目をそむけてたらバカは治らないよ