[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
42: 2025/10/10(金)08:07:02.00 ID:RRz6y+Xz(1/2) AAS
>>30
数セミの連載は 創刊されてからすぐの初期の頃じゃないかな
本が出たのが1971年3月なんで
島内さんは数学者っていうよりプログラマー的なセンスの人だね
De Bruijnとかそんな感じ 知らんけど
223: 2025/10/12(日)15:12:50.00 ID:fzckNG2b(13/21) AAS
>>195
>>そんなところにこだわりすぎると理解が進みませんよ
>人それぞれじゃないの？
そもそも◆yH25M02vWFhPが数学に興味もつのは
「数学の技で他人にマウントしたい」とかいう
人でなし的な動機によるので一遍●んだほうがいい
「人を支配したい」という動機だけで政治家になった
高市早苗みたいで大変不快である（笑）
>下記の
それもうやめろ ●●●●を覚えたサルなのか？（笑）
省17
253: 2025/10/13(月)09:56:20.00 ID:KTMHJg5Z(6/7) AAS
クロネッカーはアイゼンシュタインと同級だったので
彼の論文をワイエルシュトラスが引用しなかったことを
許せなかったのであろう
311: 2025/10/14(火)13:37:41.00 ID:Nk8mEmhv(1/2) AAS
>>308
そ
いわゆるだじゃれ
317: 2025/10/14(火)14:38:15.00 ID:NFdrFxCu(1) AAS
条件は満たすからＯＫだが・・・もっとズバリなの、ない？
371(1): 2025/10/15(水)09:38:47.00 ID:6dRWgyJ9(6/8) AAS
高木貞治はモジュラー函数のことは百も承知。
ある意味エキスパートとも言える。彼自身が解決した
「クロネッカーの青春の夢」においても
モジュラー函数の特殊値、昔の言葉でいうと「特異モヅル」
が用いられる。
そして、『代数学講義』においては、モジュラー函数に
繋がる不変式の計算を書きながら、モジュラー函数への
言及なし。これは「あえて書かなかった」と断定できる。
373(2): 2025/10/15(水)09:50:42.00 ID:OYM0FXMj(2/2) AAS
>>371
ずばり尋ねるけど高木貞治が「代数学講義」で
モジュラー函数に触れなかった理由は何だと思う？
正直その本読んでないからどうでもいいんだけどさ（笑）
448: 2025/10/16(木)11:48:32.00 ID:ydG2KUXl(3/3) AAS
>>445
虚飾カラス 他の鳥の羽を無闇につける病気治らず
489(1): 死狂幻調教大師S.A.D.@月と六ベンツ 2025/10/17(金)06:57:19.00 ID:XJn+MsE2(11/11) AAS
自由党が大元だけどそこと社会科学を社会と社会学の管理において、共産党を追い込んでいるという流れだ日の丸クスでもいいんだが武装が安いから。
565(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/10/18(土)15:30:56.00 ID:v7N8vTLF(12/14) AAS
>>272
(引用開始)
もともとjまたは大文字のJ(=j/1728)は、4次方程式の4つの根から生じる不変式
（GL(2,C)不変）としてあらわれていたのであった。
（この群は整数性とは無関係であることに注意。）
このことは、"モジュラー判別式Δ"という名称にも残っていて、この「判別式」
というのは文字通り4次方程式の判別式から来ている（はず）。
つまり、jという量は元々、不変式論においてあらわれていたはずで、19世紀人にとっては
そのことは常識だったと思われる。
保型函数としてのPSL(2,Z)対称性は、これとはまったく別のものだから
省32
570(1): 2025/10/18(土)17:28:54.00 ID:czNk7EiA(17/22) AAS
GL(2､C)不変というのは
メビウス変換で不変ということ
複比はメビウス変換で不変
外部ﾘﾝｸ:ja.wikipedia.org
673: 2025/10/22(水)12:22:35.00 ID:ridnsyZi(1/2) AAS
>>672
これもテンプレに入れてはどうですかね
826(2): 2025/10/29(水)06:35:37.00 ID:2x8cZatH(4/6) AAS
代数方程式であれ微分方程式であれ、
そもそも解が存在するかどうかが肝心であり
解が存在するとわかれば
あとは数値計算でゴリゴリ解けばいい
中学・高校レベルの数学のつもりで
なんでもかんでも公式があると思うのは
馬鹿であり●違いである
だいたい不健全である
923: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/11/02(日)10:59:01.00 ID:PmfdHnoP(2/9) AAS
つづき
階層中、最も低い型では、個体要素にはメンバーはなく、それらは2番目に低い型のメンバーとなる。最下層の型の個体要素は、ある集合論の原要素 (Ur-elements) に対応する。それぞれの型にはより高位の型があり、ペアノの公理の後者関数 (successor function) の記法にも似ている。ST では、最高位の型があるかどうかは規定していない。超限数個の型があってもなんら不都合は生じない。このようにペアノの公理と似た性質であるため、各型に自然数を割り当てることが容易で、最下層の型に 0 を割り当てる。ただし、型理論そのものは自然数の定義を前提とはしていない。
ST に固有な記号として、プライム付きの変数と接中辞 ∈ がある。論理式において、プライムのない変数は全て同じ型に属し、プライム付き変数 (x′) はその1つ上の型に属する。ST の原子論理式は、x = y（恒等式）か y ∈ x′ という形式である。接中辞記号 ∈ は、集合の所属関係を示唆している。
以下にあげる公理に使われている変数は、全て2つの連続する型のいずれかに属する。プライムなしの変数は低位の型の変数であり、 ∈ の左辺にのみ出現する（プライムつきは逆）。ST での一階述語論理では、型をまたいだ量化ができない。従って、ある型とそれに隣接する型ごとに外延性と内包性の公理を定義する必要が出てくるが、下記の外延性と内包性の公理を型をまたいで成り立つ公理図式 (axiom schema) とすればよい。
型システム
→詳細は「型システム」を参照
型システムの定義は様々だが、プログラミング言語理論の世界では Benjamin C. Pierce の定義が一般に受け入れられている。
型システムの設計と実装は、プログラミング言語そのものと同じ程度に広がりを持った話題である。実際、プログラミング言語の最大の基盤は型システムであるとも言われ、「型システムを正しく設計すれば、言語は自分自身で設計される」と言われている
(引用終り)
以上
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.196s*