[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む80 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
121(8): 現代数学の系譜?雑談?古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/06(月)10:19 ID:7fY12LRH(1/5) AAS
>>120
＞分布を仮定したら当たり易くなるだろｗ
＞何の仮定も無いのが一番当たりにくいんだよｗ
１．どうせ当たらないから同じことよｗ
２．ランダム現象を前提にすれば、
既存の確率論・確率過程論の理論を、援用できるってことだ！！
（援用は、法律用語なので、数学屋さんは知らないかもしれないがね）
３．各箱に確率現象を使って数を入れるとする。
「独立同分布である i.i.d. IID」（下記）と 仮定すれば、
任意のある一つの箱に対して
省24
122: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/06(月)11:36 ID:7fY12LRH(2/5) AAS
>>121
なんか、コテハンが文字化けしているなｗ（＾＾
（原因は、半角ブランクの文字コードのコード体系が違うからのようだ）
入れ直した。これでどうだ
123(1): 2020/01/06(月)12:06 ID:XpV9JwMk(1/2) AAS
おっちゃんです。
>>121
確率を求めるには、確率測度を定めることが出来ればいい(時枝記事では確率測度を持ち出す必要はない)。
確率論、確率過程の理論の分布は特に持ち出さなくてもいい。
強いていえば、一様分布になる。
124: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/06(月)12:45 ID:7fY12LRH(3/5) AAS
>>123
おっちゃん、どうも、スレ主です。
レスありがとう（＾＾
125(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/06(月)15:40 ID:7fY12LRH(4/5) AAS
>>60
(引用開始)
どういう場合に取り出せないか、は以下に示してます
要するに
0
0.1
0.11
0.111
…
の無限個の要素からは共通の尻尾はとれない
省13
126: 2020/01/06(月)17:30 ID:RvArHaCi(1/2) AAS
AA省
127: 2020/01/06(月)17:34 ID:RvArHaCi(2/2) AAS
AA省
128(1): 2020/01/06(月)17:36 ID:XpV9JwMk(2/2) AAS
それじゃ、おっちゃんもう寝る。
129: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/06(月)18:06 ID:7fY12LRH(5/5) AAS
>>128
おっちゃん、どうも、スレ主です。
おやすみなさい。
130: 2020/01/06(月)19:33 ID:Sb2F6843(1/5) AAS
>>104
>有限個の事象では成立しているある公式が
>事象の数が無限個になると使える場合と使えない場合がある
箱の中身が不定の場合の確率を
個々の箱の中身の場合の条件付け確率から
求めようというんならそういうことが問題になるね
(conglomerability)
しかし実際はそういう一般的な話はしていない
これは確率論の話でなくてそれ以前の集合論（選択公理）の話で終わり
131: 2020/01/06(月)19:35 ID:Sb2F6843(2/5) AAS
>>70
>簡単に言えば、条件付確率なのです
>１．条件１ n1<=D （有限）の場合で
>２．条件２ D ＝max (n2,n3,・・,n100)として
> ・n1<=Dの確率99/100
> ・n1＞Dの確率 1/100
>３．そういうことを、
> 時枝記事では言っているわけです
「n1<=D」という条件ならn1<=Dの確率は１だろ
頭、大丈夫？
省5
132(3): 2020/01/06(月)19:48 ID:Sb2F6843(3/5) AAS
>>125
>> 0
>> 0.1
>> 0.11
>> 0.111
>> …
>> の無限個の要素からは共通の尻尾はとれない
>共通のシッポ取れるよ
頭、大丈夫？
>それ、多項式環と考えれば良いんだよ
省29
133: 2020/01/06(月)19:53 ID:Sb2F6843(4/5) AAS
工業高校卒へ
以下読め
2chｽﾚ:math
わかるまで数学板に書くなよ
お前のカキコ、大便臭いからｗ
134: 2020/01/06(月)19:56 ID:Sb2F6843(5/5) AAS
工業高校卒へ
これも読め
2chｽﾚ:math
わかるまで数学板に書くなよ
お前のカキコ、小便臭いからｗ
135: 2020/01/06(月)20:26 ID:V+C4ilW6(2/3) AAS
>>125
ここまで噛み砕いてもらっても理解できないバカｗ
脳に欠陥でもあんのか？ｗ
136(2): 2020/01/06(月)20:55 ID:V+C4ilW6(3/3) AAS
>>121
>任意のある一つの箱に対して
>他の箱を如何に開けて見ようとも
>その箱の確率分布は独立で変わらない
>だから、確率計算も変わらない
>従って、99/100は不成立！！
当たりっこないという直観を語ってるだけｗ 時枝解法を一つも語ってないｗ
選択公理も同値類も分からないバカには直観しか語れないｗ
137(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/06(月)21:08 ID:t3ENnC2G(7/7) AAS
>>2
>（なお、彼は複数ID（4まで確認済み）を使うやつ（＾＾ ）
おサル、必死だな
過去に、スレ68において
二日にわたって、2つのIDで、各100以上の連投がなされたことがある
つまり
・2019/06/13(木) ID:BpkQxrls [139/139]、ID:DhrTdtd0 [435/435]
・2019/06/14(金) ID:ebInVaSj [155/155]、ID:VH5krqxp [127/127]
この2つのIDは、完全にシンクロしていて
連投は、ほぼ 同時に始まり、同時に終わった
省10
138(1): 2020/01/06(月)23:38 ID:z7WYevVC(1) AAS
ひどいです
信じられません
こんなやつもいるとはドン引きです
139(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/07(火)00:06 ID:b2sufDWR(1/10) AAS
AA省
140: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/07(火)00:27 ID:b2sufDWR(2/10) AAS
>>16
> 外部ﾘﾝｸ:ja.yourpedia.org
> 宇宙際タイヒミュラー理論 Yourpedia
これと、下記は同じ内容だが、文字化けが下記の方が少ない（上記は式の文字化けがあるが、下記は式の表示が小さい）
（なお、両者とも、いまは削除された和文wikipediaのコピーと思われる）
（参考）
外部ﾘﾝｸ[html]:w.atwiki.jp
宇堆
宇宙際タイヒミュラー理論 は2012年に望月新一による Inter-universal Teichmuller Theory と題された一連の論文の中で展開された理論である。ABC予想やVojta予想などの未解決問題を解決したとされるが、2014年の段階では検証は終わっていない。
141(1): 2020/01/07(火)05:01 ID:PDFTI+wQ(1/6) AAS
◆e.a0E5TtKE >>132に反論できず敗北
いつものごとくIUTに逃走
間違いに向き合わないから
いつまでたっても数学が理解できないんだよ
142(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/07(火)07:21 ID:b2sufDWR(3/10) AAS
>>141
「頭、大丈夫？」は、おまえだよ。おサル
>>132は、アホ晒しで、いつまでも貼っておくぜｗ（＾＾；
”私？某大学の数学科卒 修士課程修了ですが何か？”（>>2より）
だったっけなｗ
夢見ているか、学歴を詐称しているんじゃね？
143(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/07(火)07:34 ID:b2sufDWR(4/10) AAS
>>142 補足
哀れな素人さん（下記スレ）
”現代数学はインチキのデパートである。たとえば
0.99999……＝１。”
これの、”0.99999……＝１。”は
いつ、”＝１”になるのかな？
小数第何位？
（>>132より）
”ズバリ答えてごらん？”
これを、おサルが答えたら
省11
144: 2020/01/07(火)07:39 ID:d0/2eUvo(1/5) AAS
バカ過ぎｗ
145(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/07(火)07:54 ID:b2sufDWR(5/10) AAS
>>139
”TARO-NISHINOの日記
識別の危機”
ラベルに関係するけど、”キャテグリ理論”ｗ
ワークショップでは
これにも、ちゃんと答えを、直裁に出してください
よろしく
（参考）
外部ﾘﾝｸ[html]:taro-nishino.blogspot.com
TARO-NISHINOの日記
省12
146: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/07(火)07:58 ID:b2sufDWR(6/10) AAS
>>145
補足
端から見ていて思うのは
SSレポートに対して
望月レポートは、直接答えていない気がする
（答えているのかも知れないが、すれ違い気味では？（＾＾； ）
例えていれば
Q1、Q2、Q3と3つの疑問に対して
答え A4、A5、A6として
A4：基本が分かっていない
省4
147: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/07(火)08:00 ID:b2sufDWR(7/10) AAS
>>138
ID:z7WYevVCさん、どうも。スレ主です。
レスありがとう
そう思うでしょ（＾＾；
連投はいいよ
でもね、複数IDはね〜（＾＾；
148: 2020/01/07(火)08:12 ID:d0/2eUvo(2/5) AAS
>でもね、複数IDはね〜（＾＾；
それおまえじゃんｗ
149(2): 2020/01/07(火)08:15 ID:d0/2eUvo(3/5) AAS
>>121
>任意のある一つの箱に対して
>他の箱を如何に開けて見ようとも
>その箱の確率分布は独立で変わらない
>だから、確率計算も変わらない
そもそも箱の中身は定数、つまり確率１である値であるｗ
確率分布も確率計算も無いｗ
バカはまったく分かってないｗ
150: 2020/01/07(火)08:16 ID:d0/2eUvo(4/5) AAS
>ID:z7WYevVCさん、どうも。スレ主です。
自分に挨拶すんなｗ
151: 2020/01/07(火)09:47 ID:PDFTI+wQ(2/6) AAS
>>143
>”0.99999……＝１。”は
>いつ、”＝１”になるのかな？
>小数第何位？
何を問うているのかな？
左辺の0.99999……は
小数点以下の全ての桁で9
>”ズバリ答えてごらん？”
>これを、おサルが答えたら
>おれも、「その番号です」！！って、答えてやるぜｗｗ
省10
152(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/07(火)16:19 ID:xZrnD9VN(1/6) AAS
>>143
(引用開始)
哀れな素人さん（下記スレ）
”現代数学はインチキのデパートである。たとえば
0.99999……＝１。”
(引用終り)
これ面白いから、これを使わてもらう（＾＾
１．（繰り返すが）時枝と同様の無限列のシッポの同値類の ミニモデル として、
十進無限小数を考えてみよう
２．簡単のために、整数部は１桁の実数を考える。この集合をR1とする
省23
153(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/07(火)16:23 ID:xZrnD9VN(2/6) AAS
>>152 補足
ああ、そうそう
「0.99999……＝１」だったね（＾＾；
だから、無限小数 0.99999……を考えると
これを代表とする
同値類の元は、全て、0.xxx・・・99999……（以下無限に9が並ぶ）
というシッポ ”99999……”を持つってことだ
154(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/07(火)16:31 ID:xZrnD9VN(3/6) AAS
>>152 補足
有限小数の集合U vs 多項式環
↓↑ ↓↑
無限小数の集合R vs 形式的冪級数環
という対応関係ですね
なお、Rは実数だけれども、有理数Qで考えることも可
この場合、有理数Qでは、無限列のシッポの部分がある周期をもって循環する循環小数に限られることになる
155(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/07(火)16:32 ID:xZrnD9VN(4/6) AAS
>>152 タイポ訂正
６．さて、有限小数U を、多項式環と同様に、先頭のある有限部分を除いて、そのシッポが全て0の無限小数を定義することができる
↓
６．さて、有限小数U を、多項式環と同様に、先頭のある有限部分を除いて、そのシッポが全て0の無限小数と定義することができる
156(1): 2020/01/07(火)16:46 ID:PDFTI+wQ(3/6) AAS
>>152-155
結局>>143の自分の問いに、自分で答えられず
完全な自爆だな
有限小数、無限小数で済むところを
多項式「環」だの冪級数「環」だのと
無意味なアナロジーだけ披露したがるところが
馬鹿の極み
ついでにいうと
0.999…は、0.9,0.99,0.999,…と異なる尻尾を持つ
ということまで書いて自爆死している
省9
157(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/07(火)17:20 ID:xZrnD9VN(5/6) AAS
>>156
おまえの例、どんくさい例だなｗ
リウヴィル数(下記)とか、
恰好良い例だせないのか？
リウヴィル数って、
何桁目から0が続くのかね？
具体的に、示してみなよｗ（＾＾；
なお、
旧帝の数学科生なら、
１年でも、リウヴィル数のシッポの意味は、分かるだろうぜｗ
省33
158(2): 2020/01/07(火)17:40 ID:PDFTI+wQ(4/6) AAS
>>157
>リウヴィル数とか、恰好良い例だせないのか？
多項式環とか冪級数環とか、
無用なハッタリをかます
ウソツキ詐欺師じゃないんでｗ
>リウヴィル数って、何桁目から0が続くのかね？
>具体的に、示してみなよ
そもそも
「いかなる無限小数も必ずある桁から先が0になる」
なんて、君みたいなウソは口にしたことがないが
省13
159: 2020/01/07(火)17:45 ID:PDFTI+wQ(5/6) AAS
蛇足
＞旧帝
・・・とかいっても大阪とか名古屋とかカスだけどな
160(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/07(火)17:49 ID:xZrnD9VN(6/6) AAS
>>158
＞「いかなる無限小数も必ずある桁から先が0になる」
おまえは、
哀れな”ド”素人か？ｗ（＾＾
1/3=0.3333・・・ってさ
無限小数だよね（＾＾；
おまえ、これがどこからか
「必ずある桁から先が0になる」？？（＾＾
おまえは、
哀れな”ド”素人かい？！ｗ（＾＾；
省2
161(2): 2020/01/07(火)18:01 ID:PDFTI+wQ(6/6) AAS
>>160
◆e.a0E5TtKE 恒例の詐欺引用ｗ
>>158で書いたのは
>そもそも
>「いかなる無限小数も必ずある桁から先が0になる」
>なんて、君みたいなウソは口にしたことがないが
それを、真ん中の
「いかなる無限小数も必ずある桁から先が0になる」
だけ抜き出すのが詐欺ｗ
0
省22
162(1): 2020/01/07(火)20:14 ID:mDv2pBGM(1) AAS
AA省
163(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/07(火)21:13 ID:b2sufDWR(8/10) AAS
>>161
どうも。スレ主です。
１．形式的冪級数は、一般には、「代入」は意味を持たない。無限個の和が出てきてしまうからである。（下記ご参照）
２．しかし、特殊ケースで、「代入」が意味を持つ
３．例えば、
形式的冪級数 Σn=0〜∞ anX^n=a0+a1X+a2X^2+・・・を、十進小数にしてみよう
４．X＝1/10を代入し、係数an には0から9までの整数を入れる
例えば、a0=3, a1=1, a2=4, a3=1, a4=5, a5=9・・・
５．それは 3+ 1/10+ 4/10^2+ 1/10^3+ 5/10^4+ 9/10^5・・・
であって、3.14159・・・と円周率πを表わすことができる
省21
164: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/07(火)21:14 ID:b2sufDWR(9/10) AAS
>>163
つづき
外部ﾘﾝｸ:ja.wikipedia.org
形式的冪級数
(抜粋)
定義
A を可換とは限らない環とする。A に係数をもち X を変数（不定元）とする（一変数）形式的冪級数 (formal power series) とは、各 ai (i = 0, 1, 2, …) を A の元として、
Σn=0〜∞ anX^n=a0+a1X+a2X^2+・・・
の形をしたものである。ある m が存在して n >= m のとき an = 0 となるようなものは多項式と見なすことができる。
形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。
省6
165: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/07(火)21:16 ID:b2sufDWR(10/10) AAS
>>161
おい、ムリしなくて良いぞ
お前の頭じゃ、理解できないんだろ？
形式的冪級数環は
項が無限にあるからね
落ちこぼれ、
哀れな”ド”素人は、無理するな（＾＾；
166: 2020/01/07(火)22:49 ID:d0/2eUvo(5/5) AAS
>そして、君が愚かにも妄想してる
>「同値類のほとんどすべての列は決定番号∞」
バカは超ボトムヘビーな分布とか何とか言ってた気がするがバカ丸出し
100個の決定番号は100個（重複を許す）の自然数に過ぎない
分布も糞も無いｗ 当たり前過ぎるが∞にはならないｗ
バカは決定番号の定義から分かってないｗ 「商射影 R^N→ R^N/〜の切断を選んだことになる」の意味もちんぷんかんぷんだろうｗ
167: 2020/01/08(水)05:56 ID:tPuJoa5y(1/3) AAS
>>162
＞多項式環 ⊂ 形式的冪級数環
単に 有限列⊂無限列 といえばいい話を、
無駄に環とか持ち出す時点で馬鹿丸出し
168(1): 2020/01/08(水)06:00 ID:tPuJoa5y(2/3) AAS
◆e.a0E5TtKEは一方で
「決定番号が有限（つまり自然数）となる確率は０」
といいながら、もう一方で
「0.999…は、0.000…とは異なる同値類」
といっている
後者の発言は当然正しいが、それでは
「決定番号が有限でない無限列」
がどんなものかは全く明らかではない
（実際にはそんなものは尻尾の同値の定義に反するから存在しないが
トンデモ◆e.a0E5TtKEは存在する！といい張ってるから
省2
169: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/08(水)07:58 ID:opsyVnf3(1/5) AAS
メモ
外部ﾘﾝｸ:tech.nikkeibp.co.jp
日経XTECH
2019/12/24 05:00
DXの実態、技術者・経営層1500人調査
AI技術者の年収は平均より335万円高い、スキルと年収の新たな関係が調査で判明
(抜粋)
画像ﾘﾝｸ[jpg]:cdn-tech.nikkeibp.co.jp
DXの取り組みで中心的な技術要素といえばAIだ。世界的にAI技術者の不足が叫ばれている今、AI技術者の年収の実態はどうなっているのだろうか。AIプランナー、AIアナリスト、AIシステムエンジニアのいずれか1つでスキルレベルが作業を全て独力でできる「3」以上の人の平均年収889万円に達した。全体平均の554万円より335万円高かった。
画像ﾘﾝｸ[jpg]:cdn-tech.nikkeibp.co.jp
170(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/08(水)11:15 ID:1QCooAdl(1/7) AAS
>>139
>思うにＲＩＭＳの方針はハッキリしていると思う
> 2020年の４本のワークショップで決着させよう
>「関係者の方、しっかり頑張って、決着させて下さいね」ということでしょう
まあ、大人の事情がある、RIMSをマネージメントする側には
それは、RIMSの経営者としては、避けたい
（「根も葉もない」かもしれないが、風評被害みたいなことね）
多分、2020年に４本のワークショップで、決着させましょうと案画した人がいる
（RIMSの経営層に近い部分でしょう）
ぐだぐだ言わないで、2020年に４本のワークショップを成功させて、しっかり決着させる
省13
171(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/08(水)11:27 ID:1QCooAdl(2/7) AAS
>>170 追加
”the emphasis on the types ("species") of objects”（下記）って、なんですかね？
あんまし、説得力ないと思う
それより、圏論的説明をしっかりやるべきでは？（＾＾；
（"species"って、マイナーな印象しか受けない。数学のメインストリームじゃないでしょ？）
外部ﾘﾝｸ:en.wikipedia.org
Inter-universal Teichmuller theory
(抜粋)
History
In March 2018, Peter Scholze and Jakob Stix visited Kyoto University for five days of discussions with Mochizuki and Yuichiro Hoshi; while this did not resolve the differences, it brought into focus where the difficulties lay.[8][10]
省9
172(1): 2020/01/08(水)11:38 ID:eQ5vDsB2(1) AAS
子育てで退職した元高校数学女性教師陣みたいな方達が補佐してあげられないでしょうか。
173(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/08(水)11:58 ID:1QCooAdl(3/7) AAS
>>171 追加
外部ﾘﾝｸ[pdf]:www.kurims.kyoto-u.ac.jp
IUTそのIV
(抜粋)
P68
In the following discussion, we use the phrase “set-theoretic formula” as it is
conventionally used in discussions of axiomatic set theory [cf., e.g., [Drk], Chapter 1,
§2], with the following proviso: In the following discussion, it should be understood
that every set-theoretic formula that appears is “absolute” in the sense that its
validity for a collection of sets contained in some universe V relative to the model
省12
174: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/08(水)11:59 ID:1QCooAdl(4/7) AAS
>>172
同意です（＾＾；
175(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/08(水)12:09 ID:1QCooAdl(5/7) AAS
>>173 追加
species って、nLabでは圏論なんだけど
望月 IUT4 §3では、ZFCの集合論みたく書いてある
はて はて？ （＾＾；
外部ﾘﾝｸ:ncatlab.org
nLab
species
(抜粋)
1. Idea
A (combinatorial) species is a presheaf or higher categorical presheaf on the groupoid core(FinSet), the permutation groupoid.
省7
176(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/08(水)12:15 ID:1QCooAdl(6/7) AAS
>>175 追加
IUTその4に下記説明ある
が、圏論で筋通した方が良さそう？
P72
Example 3.2. Categories. The notions of a [small] category and an isomorphism class of [covariant] functors between two given [small] categories yield an
example of a species. That is to say, at a set-theoretic level, one may think of a
[small] category as, for instance, a set of arrows, together with a set of composition
relations, that satisfies certain properties; one may think of a [covariant] functor
between [small] categories as the set given by the graph of the map on arrows determined by the functor [which satisfies certain properties]; one may think of an
isomorphism class of functors as a collection of such graphs, i.e., the graphs determined by the functors in the isomorphism class, which satisfies certain properties.
省15
177(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/08(水)19:04 ID:1QCooAdl(7/7) AAS
>>175 追加
species って、wikipedia では、下記 Combinatorial species なのだが、望月先生と同じ意味か？
Andre Joyal 抜きには語れないようだが、望月 IUT4には Joyal先生の名前が出てこない（＾＾；
外部ﾘﾝｸ:en.wikipedia.org
Combinatorial species
(抜粋)
In combinatorial mathematics, the theory of combinatorial species is an abstract, systematic method for analysing discrete structures in terms of generating functions.
Examples of discrete structures are (finite) graphs, permutations, trees, and so on; each of these has an associated generating function which counts how many structures there are of a certain size.
One goal of species theory is to be able to analyse complicated structures by describing them in terms of transformations and combinations of simpler structures.
外部ﾘﾝｸ:en.wikipedia.org
省6
178(1): 2020/01/08(水)19:19 ID:tPuJoa5y(3/3) AAS
>>168
2chｽﾚ:math
179(1): 2020/01/08(水)19:26 ID:LpZINTuE(1) AAS
知恵袋
外部ﾘﾝｸ[php]:chiebukuro.yahoo.co.jp
外部ﾘﾝｸ[php]:chiebukuro.yahoo.co.jp
二つのハンドルで質問しまくったがバカにされ始めたことを気づいたのか
外部ﾘﾝｸ:detail.chiebukuro.yahoo.co.jp
で ID を非公開にwwwwwwwwwwwww
ここでも FFT
教えてgoo venomctun、 captain06
外部ﾘﾝｸ[html]:oshiete.goo.ne.jp
外部ﾘﾝｸ[html]:oshiete.goo.ne.jp
省7
180: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/08(水)20:48 ID:opsyVnf3(2/5) AAS
>>179
どうも。スレ主です。
誤爆？
それとも、人違いか？
おれは、知恵袋とか読むけど、書き込みをした経験はない
IDも持ってないしね
それに自分で調べる方が、
性に合っているし
FFTか
懐かしいね。FFTが提唱されたとき、画期的と言われたらしい
省1
181: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/08(水)20:53 ID:opsyVnf3(3/5) AAS
>>178
逃避もなにも、IUTの情報はガロアスレ6の方が早いし、
IUTスレも初代から見ていますよｗ（＾＾；
Inter-universal geometry と ABC予想 43
2chｽﾚ:math
＜経緯追加＞
１．今を去る2012/09/04にガロアスレに下記の投稿がありました（下記）
現代数学の系譜11 ガロア理論を読む6
2chｽﾚ:math
341 名前：１３２人目の素数さん[sage] ：2012/09/04
省30
182: 2020/01/08(水)20:59 ID:MLjnjqTw(1/3) AAS
AA省
183: 2020/01/08(水)21:00 ID:MLjnjqTw(2/3) AAS
AA省
184: 2020/01/08(水)21:03 ID:MLjnjqTw(3/3) AAS
AA省
185(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/08(水)21:07 ID:opsyVnf3(4/5) AAS
>>106
あほのおサルがうるさいから
お情けで、コメ付けてやるよｗｗ（＾＾；
＞回答者へ出題された時点でどの箱の中身も確率１で定まっている（単に回答者には見えないだけ）。
＞回答者へ出題された後に箱の中身が確率変動することはないので、箱の中身を確率変数とする必要は無い。
大学４年の確率論・確率過程論の単位取らなかったか落としたかだな、おサル
”確率変数”は、お前の理解間違っている
関数論の「変数」・「定数」とは、概念と発想が、全く違うよ
おサルは、時枝を論じる資格がないんだよ、おサルｗ（＾＾；
（参考）
省17
186: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/08(水)21:22 ID:opsyVnf3(5/5) AAS
>>177
「Combinatorial species」
ソフトウェア パッケージがあるのか！ｗ（＾＾
外部ﾘﾝｸ:en.wikipedia.org
Combinatorial species
Software
Operations with species are supported by SageMath[10] and, using a special package, also by Haskell.[11][12]
（Google訳）
ソフトウェア
種の操作はSageMath [10]によってサポートされており、特別なパッケージを使用してHaskellもサポートしています。[11] [12]
187(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/09(木)00:03 ID:vBuB/FcU(1/6) AAS
>>176
望月先生が、IUTその4の”species”で、何を言わんとしているのかなー？
下記の「圏論の基礎付け」みたいな、言い訳なのかな〜？（＾＾；
外部ﾘﾝｸ:ja.wikipedia.org
集合の圏
(抜粋)
圏論の基礎付け
ツェルメロ?フレンケル集合論（英語版） (ZF) において、集合全ての集まりは集合でない（これは基礎の公理から従う）。集合でない集まりのことを真の類と呼ぶが、真の類は集合を扱うようには扱えず、特にそれら真の類は（集合あるいは真の類の何れの意味でも）集まりに属するものと書けない。
これは問題である、というのもこのような設定の下では集合の圏を直接的に定式化することができないことを意味するからである。
そのような問題を解決する一つの方法は、正しく真の類を扱うことのできる体系（例えばNBG集合論（英語版））の中で議論することである。この設定において、集合から構成される圏は小さいといい、集合の圏 Set のように真の類を成すような圏は大きいと言う。
省5
188: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/09(木)00:04 ID:vBuB/FcU(2/6) AAS
>>187
つづき
同様の方法論の一種に、集合全ての類はグロタンディエック宇宙全体の成す塔 (entire tower) の合併に等しいとするものがある（この合併は真の類でなければならないが、各グロタンディエック宇宙は集合である。実際、それはより大きなグロタンディエック宇宙に属する元になっている）が、これは「集合全体の成す圏」を直接的には扱えない。
それでも、議論に現れる各定理を、十分大きなグロタンディエック宇宙 U に属する元を対象とする圏 SetU の言葉で表して、それらが特定の U の取り方に依存しないことを言えば十分である。圏論の基礎として、このやり方は真の類を直接に意味づけることのできないタルスキ?グロタンディエック集合論（英語版）のような体系とはよく馴染む。
このような場合の主な欠点は、ある定理が SetU では真だが Set の定理としては真でないことが起こり得ることである。
他の解決法やうえで述べた方法の変種も様々に提案されている[2][3][4]。
同じ問題はほかの具体圏、例えば群の圏や位相空間の圏などでも生じる。
(引用終り)
以上
189(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/09(木)00:08 ID:vBuB/FcU(3/6) AAS
>>187
＞望月先生が、IUTその4の”species”で、何を言わんとしているのかなー？
＞下記の「圏論の基礎付け」みたいな、言い訳なのかな〜？（＾＾；
もっと、堂々と
望月圏とかさｗ
グロタンディエック宇宙じゃなく、望月宇宙とかさ
「ZFCくそくらえ」と言いましょうよ、望月先生！！
190(1): 2020/01/09(木)00:33 ID:I3inQLL4(1/2) AAS
>>185
何の反論にもなってなくて草
Prussでさえ勝率99/100以上を認めたのに未だに認められないキチガイ白痴ｗ
191: 2020/01/09(木)00:38 ID:I3inQLL4(2/2) AAS
まあ数学の基礎が分かってないので自分の間違いが分からないんでしょうね
憐れですねえ
192: 2020/01/09(木)07:07 ID:KWeJX07s(1/2) AAS
>>185
2chｽﾚ:math
193(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/09(木)12:03 ID:w8HbVxL3(1/3) AAS
あほサル、勝手に踊ってろ
お前にチョウチンつける仲間居なくなったなｗ（下記ご参照）
「Prussでさえ勝率99/100以上を認めた」？
妄想激しいな
妄想は、統合失調症の特徴だ
薬しっかり飲め
（参考）
外部ﾘﾝｸ[html]:www.tokaitokyo.co.jp
東海東京証券
証券用語集
省2
194(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/09(木)16:07 ID:w8HbVxL3(2/3) AAS
>>190
＞何の反論にもなってなくて草
反論になっているよ（＾＾
i.i.d. （または iid）とは、同一の確率分布に従う確率変数（下記の通り）
つまり、ｎ個の箱がある
i.i.d. なら、一つの箱の確率計算をすれば良い。それが全てに当てはまる
一つの箱に、コイントスで0,1を入れるなら的中確率1/2
一つの箱に、サイコロ１つで、1〜6の数を入れるなら的中確率1/6
確率計算の初歩の初歩で、99/100なんて出てくる余地なし
ｎ個の箱の全てについて同じ！
省19
195(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/09(木)16:19 ID:w8HbVxL3(3/3) AAS
>>194
＞大学で、確率論・確率過程論とってない人には
＞これは、わからんわなぁ〜！！ｗｗ（＾＾；
（補足）
時枝先生も、正規の日本の大学数学科の教程を習得していない
だから、数学セミナーの2015年11月号の記事『箱入り無数目』（>>37&>>50）を書いた当時
確率論・確率過程論の知識に穴があったんだろう
でもその後、時枝先生 数学セミナーに確率の記事を書いていたから、その後勉強したのでしょうね（＾＾；
196(1): 2020/01/09(木)19:24 ID:KWeJX07s(2/2) AAS
AA省
197(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/09(木)20:37 ID:vBuB/FcU(4/6) AAS
>>195 補足
同じことを
三年半前（2016/07/03）に、ID:f9oaWn8Aさん（＝私が”確率論の専門家さん”と呼ぶ人）
が、発言している（下記の通り）
あれから三年半経って、
私スレ主も、同じ結論
当時は時枝先生は「確率論に対してあまり詳しくなかった」に達したのでした！（＾＾；
（参考）
スレ20 2chｽﾚ:math
538 返信：１３２人目の素数さん[] 投稿日：2016/07/03(日) 23:54:57.90 ID:f9oaWn8A [13/13]
省14
198(1): 2020/01/09(木)21:06 ID:n22nAoXN(1) AAS
>>196
可愛ｅ🐣🍀
199: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/09(木)21:13 ID:vBuB/FcU(5/6) AAS
>>198
おつです（＾＾；
200(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/09(木)22:11 ID:vBuB/FcU(6/6) AAS
>>194 補足
(引用開始)
i.i.d. なら、一つの箱の確率計算をすれば良い。それが全てに当てはまる
一つの箱に、コイントスで0,1を入れるなら的中確率1/2
一つの箱に、サイコロ１つで、1〜6の数を入れるなら的中確率1/6
大学の教程では、可算無限個の確率変数を扱う。連続の確率変数も扱う
繰り返すが、99/100なんて出てくる余地なし！！
(引用終り)
ここ、別に難しい話じゃない
おそらく、いま大学で確率論あるいは確率過程論を学習している人
省5
201: 2020/01/10(金)00:03 ID:YnXkCflA(1/10) AAS
>>194
おまえ時枝記事読んでないだろｗ
まあ選択公理も同値類もちんぷんかんぷんじゃ読めないのは当然だがｗ
202(1): 2020/01/10(金)00:08 ID:YnXkCflA(2/10) AAS
>>193
>「Prussでさえ勝率99/100以上を認めた」？
>妄想激しいな
バカはこんな簡単な英文も読めないらしいｗ
For each fixed opponent strategy, if i is chosen uniformly independently of that strategy (where the "independently" here
isn't in the probabilistic sense), we win with probability at least (n-1)/n. That's right.
203: 2020/01/10(金)00:11 ID:YnXkCflA(3/10) AAS
>>195
高卒（工業高校）には選択公理も同値類もわからんわなぁ〜！！ｗｗ（＾＾；
204(1): 2020/01/10(金)00:24 ID:YnXkCflA(4/10) AAS
>>197
記事後半ははっきり言って無価値で無意味
一方記事前半について確率論の専門家は大きな誤解をしていた
>P(h(Y)>h(Z))=1/2であれば嬉しい．
↑
時枝先生はそんなことは一言も言ってないｗ 完全に自爆ｗ
そしてバカは訳も分からず不成立派の尻馬に乗ってるだけｗ バカ丸出しｗ
205: 2020/01/10(金)00:26 ID:YnXkCflA(5/10) AAS
>>200
>ここ、別に難しい話じゃない
いや、時枝記事をまったく読めてないバカが短絡してるだけだからｗ
バカ丸出しｗ
206(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/10(金)00:43 ID:KeHo+Wgs(1/19) AAS
>>202
(引用開始)
For each fixed opponent strategy, if i is chosen uniformly independently of that strategy (where the "independently" here
isn't in the probabilistic sense), we win with probability at least (n-1)/n. That's right.
(引用終り)
おっさん、思い込み激しいな（＾＾
そんな、議論の途中をつまみ食いして、Pruss氏の結論にするなよ、おいおいｗｗ（＾＾
（>>109より）
外部ﾘﾝｸ:mathoverflow.net
Probabilities in a riddle involving axiom of choice Dec 9 '13
省3
207(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/10(金)00:43 ID:KeHo+Wgs(2/19) AAS
>>206
つづき
・Pruss氏のAnswerより（冒頭部分）
The probabilistic reasoning depends on a conglomerability assumption, namely that given a fixed sequence u→ , the probability of guessing correctly is (n?1)/n, then for a randomly selected sequence, the probability of guessing correctly is (n?1)/n.
But we have no reason to think the event of guessing correctly is measurable with respect to the probability measure induced by the random choice of sequence and index i, and we have no reason to think that the conglomerability assumption is appropriate.
・Our choice of index i is made randomly, but for this we only need the uniform distribution on {0,…,n}. It is made independently of the opponent's choice. ? Denis Dec 17 '13 at 15:21
・What we have then is this: For each fixed opponent strategy, if i is chosen uniformly independently of that strategy (where the "independently" here isn't in the probabilistic sense), we win with probability at least (n?1)/n. That's right.
But now the question is whether we can translate this to a statement without the conditional "For each fixed opponent strategy". ? Alexander Pruss Dec 19 '13 at 15:05
・How about describing the riddle as this game, where we have to first explicit our strategy, then an opponent can choose any sequence. then it is obvious than our strategy cannot depend on the sequence. The riddle is "find how to win this game with proba (n-1)/n, for any n." ? Denis Dec 19 '13 at 19:43
省3
208(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/10(金)00:44 ID:KeHo+Wgs(3/19) AAS
>>207
つづき
これで、ここでのPruss氏の発言は終わっている
で、Denis Dec 17 '13 at 15:21 の”we only need the uniform distribution on {0,…,n}”を受けて
Pruss氏 ”we win with probability at least (n?1)/n. That's right. But・・”でしょ
つまり、Denis氏の”the uniform distribution on {0,…,n}”を仮定すれば、(n?1)/nだというのだが
でも、それは、Pruss氏のAnswer（冒頭部分）にある通り、
”The probabilistic reasoning depends on a conglomerability assumption”という文脈で語っているのであって
（この冒頭部分での、”the probability of guessing correctly is (n?1)/n. But・・”と符合しているのだが）
その後の、”But・・”の部分がPruss氏の主張ですよ（；ｐ
省1
209: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/10(金)00:47 ID:KeHo+Wgs(4/19) AAS
>>207-208 文字化け訂正
(n?1)/n
↓
(n-1)/n.
分かると思うが（＾＾
まあ、リンク先の原英文見て貰えば良い
（結構、マイナス記号”-”が、この板では？に化けるね（＾＾ ）
210(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/10(金)00:51 ID:KeHo+Wgs(5/19) AAS
>>204
＞そしてバカは訳も分からず不成立派の尻馬に乗ってるだけｗ
不成立派？
成立派って、おサル一人だけになったぜ(゜ロ゜;
ＩＩＤ 大学教程の確率論、確率過程論のテキストに必ずあるよ
大学では、可算無限の確率変数も扱いますよ
可算無限の確率変数
一つの箱に、コイントスで0,1を入れるなら的中確率1/2
一つの箱に、サイコロ１つで、1〜6の数を入れるなら的中確率1/6
それだけのことだが
省2
211(2): 2020/01/10(金)02:32 ID:YnXkCflA(6/10) AAS
>>208
>その後の、”But・・”の部分がPruss氏の主張ですよ（；ｐ
バカ丸出しｗ
>But the opponent can win by foreseeing what which value of i we're going to choose and which choice of representatives we'll make. I suppose we would ban foresight of i? ? Alexander Pruss Dec 19 '13 at 21:25
Prussは愚かにも「ランダム選択される i を予測することで勝てる」と言っているが、どうやったら予測できるのかについては華麗にスルーｗ
当たり前である。予測できたらランダムとは言わないｗ
つまり But 以下はPrussの負け惜しみｗ
そんなことすら読み取れない高卒バカｗ
212: 2020/01/10(金)02:36 ID:YnXkCflA(7/10) AAS
>>210
>成立派って、おサル一人だけになったぜ(゜ロ゜;
バカ丸出しｗ
自称確率論の専門家もとうの昔にいなくなり、今や不成立はバカ一匹ｗ
一方成立派はスタンフォード大学教授 時枝正、Kusiel-Vorreuter大学教授 Sergiu Hart
を筆頭に数知れずｗ
213: 2020/01/10(金)02:45 ID:YnXkCflA(8/10) AAS
>>210
>ＩＩＤ 大学教程の確率論、確率過程論のテキストに必ずあるよ
選択公理、同値類が分かってないと時枝記事は読めない
高卒バカには無理ｗ
214(1): 2020/01/10(金)03:04 ID:YnXkCflA(9/10) AAS
>>210
>それだけのことだが
それだけのことならわざわざ数学セミナーの記事になりませんｗ
バカが短絡してるだけですからｗ
215(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/10(金)07:58 ID:KeHo+Wgs(6/19) AAS
>>208 補足
Alexander Pruss氏は、数学DRを取ったあと、哲学系の大学教授になった（下記wikipediaご参照）
mathoverflowでの議論は、2013年だが
彼は、2018年に本を出版している
下記の”Infinity, Causation and Paradox, Oxford University Press, 2018”だ
Google Bookで部分的に読める（下記リンク）
興味ある人は読んでみて。大学にいるなら図書に購入させれば良い
”conglomerability assumption”についても、記述がある
おそらく、無限の事象の確率計算をするためのσ加法性を、数理哲学的考察したものではないかと思う（Google Bookを見た印象）
確率の”Paradox”も扱っている感じ
省21
216(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/10(金)08:17 ID:KeHo+Wgs(7/19) AAS
>>214
確率パラドックスの記事だよ（＾＾；
217(2): 2020/01/10(金)09:49 ID:YnXkCflA(10/10) AAS
>>216
相変わらずバカ丸出し
時枝は確率の話ではない、選択公理・同値類の話
バカだからそれが分からないだけｗ
実際The Riddleという確率抜きのバージョンも存在するしなｗ
218(1): 2020/01/10(金)09:51 ID:IUkoxrqB(1) AAS
>>217
それは初耳。
確率のやつは完成にアウトだけど確率でないやつというのはどんなのですか？
219: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/10(金)10:09 ID:ebMXZTdz(1/16) AAS
>>211
＞当たり前である。予測できたらランダムとは言わないｗ
そんなことはない
量子力学では、物理量は確率として扱われるが、全く予測できないわけではないぞ（＾＾；
株価予測で言えば、短時間の株価変動は、ランダムで予測が難しいが
長期には、景気変動とか為替や企業業績が反映されて、予想・予測できると、多くの人は考えているよ
外部ﾘﾝｸ:ja.wikipedia.org
量子力学
(抜粋)
ある系が取り得る物理量の値の確率分布は具体的な系の状態によって決定される。
省17
220: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/01/10(金)10:14 ID:ebMXZTdz(2/16) AAS
>>211
＞つまり But 以下はPrussの負け惜しみｗ
おっさん、「Yes,but論法」（下記）しらんのか？ｗｗ(゜ロ゜;
（参考）
外部ﾘﾝｸ[html]:bibounikki.blogspot.com
bibou
2013-03-24
"Yes but..." 論法
アメリカで体得したことのなかで、「これ本当有益だなぁ」と思えるもののひとつに「Yes, but論法」がある。
Yes,but論法とは、どんなことを言われても、決して「いや、それは...」とか「しかし...」といった反論や否定で返事を始めず、必ず何らかの肯定的なコメントで返事を始めるというもの。
省9
上下前次1-新書関写板覧索設栞歴
あと 782 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.226s*