20/01/17 07:00:22.64 PpUpdAzp.net
>>867
> 時枝命題に即していうと、
> １）ZFCの幾つかの集合論公理と、２）確率の公理、３）左記以外の数学的仮定
> の３つに大別されます
で、◆e.a0E5TtKEはどれを守りたいんだい？
２）は否定しないんだろ？
で、１）も守るんなら、３）を否定するしかないね
３）の内訳は時枝記事の場合
・尻尾の同値類の存在
・順序の公理
尻尾の同値類の存在は否定できないよなｗ
じゃ、残るものは
「自然数の有限集合の中で
他より大きな数となるのは
たかだか１つしかない」
という定理を導く順序の公理しかないな
これ否定する？そりゃ馬鹿の極みだなｗ
こんなの否定するくらいなら
まだ選択公理を否定したほうがマシｗ
要するに、◆e.a0E5TtKEは、
前提の重みが全然分かってない馬鹿ｗ
953:１３２人目の素数さん
20/01/17 07:04:05.34 PpUpdAzp.net
>>871
>ジム氏の最初は下記>>31 ID:fZULsj51さんからだろう
実はこの段階で、
「ああ、◆e.a0E5TtKE、時枝問題を蒸し返して
劣勢を挽回しようと思ってるな 馬鹿め」
と気づいていた
貴様は、言い訳できなくなると他の問題に逃げ
そこで言い訳できなくなるとまた他の問題に逃げ
と逃げ回るのが唯一の処世
時枝問題ではもう言い訳できないぞ
さ、IUTに逃げるかい？ｗ
954:１３２人目の素数さん
20/01/17 07:05:28.92 dT2TIx6L.net
_,,,,,,,,,,,,＿
, :'"´ _... --､ ｀ﾞ丶､
／ _.. - '' ..: .:.::ヽ
/:, ' ｀ ､ .:.:::::',
i:' __ .. ｀ ､.. .:.:::',
! ,,:='''´ : . : .:.:::::,!_
!,,:=､ _,,,,,＿, : ｀ ､r',r ヽ
! ＿.. ; ´￣ : . ! iヽ :|
l'´- / -､ : ! ｰ 'ﾉ
! r_ r=ノ . : :r-ｨ'
ヽ ｀__............ : ! l
', , '___,,.--‐'´ . :,' |
ヽ ､￣,,.. ''´ : .:／ !､
', ￣ . : , :'": : ﾄ､＼
ヽ.. .. : : :_,,. '" : : : : l､! ＼
｀ニi"´::::.... ! ＼―--- ....
,. -‐'''''"´/ l､:::: :. ... _,,ﾉ ｀i
／ / |､｀ﾞ''ー---―''":::/ . l
955:１３２人目の素数さん
20/01/17 07:08:52.40 PpUpdAzp.net
>>872-873
ジムの「ボクちゃん数学科卒」の演技の笑いのツボはここｗ
>>47
>多項式環は冪級数環の中で部分環ではあってもイデアルじゃないからな。
この発言で
「なんだこの馬鹿、イデアル全然関係ねえじゃん」
と思ったよ
ここで、◆e.a0E5TtKEのなりすましだと確信した
渾身の演技でバレるとはつくづく馬鹿な奴だｗ
956:１３２人目の素数さん
20/01/17 07:11:29.03 PpUpdAzp.net
>>874
◆e.a0E5TtKEは数学は宗教であり信仰すべきものと思ってるらしいｗ
ZFCの公理は否定すべからざる絶対的教義だと思ってるんだろうｗ
もちろん、数学者はそんな風には考えない
公理は所詮ただの前提に過ぎない
957:１３２人目の素数さん
20/01/17 07:15:58.70 PpUpdAzp.net
数学科卒を騙った詐欺師ジム
ここに眠る
. + .:. . .
+ :. . +.
. : . + . .
. :. .
. + Π
||
(二Ｘ二O
|| .+ .
∧∧ ||
/⌒ヽ)_||＿
＿～( );;;;::＼
" "" """""""" ""/;
"" """ ""／:;
958:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 07:46:26.04 ahk+jOr6.net
>>874
＞時枝定理の仮定は選択公理だけであり、選択公理を仮定すれば時枝定理は真です。（証明は時枝記事）
高校数学からやり直しだな
１．ある命題 「p → q」 ( p ならば q ) で、q：時枝記事の結論節とする
２．おサルは、p（仮定節）：選択公理だという
３．私スレ主、p（仮定節）：１）ZFC（含 選択公理）＋２）確率の公理＋３）左記以外の数学的仮定
だと主張する
上記の２と３と、どちらが正しいか、議論するのもばかばかしいｗ
（参考）
URLﾘﾝｸ(www.geisya.or.jp)
高校数学Ⅰ・Ａ 集合と条件
■ 逆・裏・対偶
(抜粋)
・ある命題 「p → q」 ( p ならば q ) が真（正しい）のとき，その対偶 は真（正しい）であるが，逆や裏は必ずしも真（正しい）とは限らない．
・ある命題 「p → q」 ( p ならば q ) とその対偶とは真偽が一致するので，対偶の真偽を示せば元の命題の真偽が示せる．
959:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 08:05:48.74 ahk+jOr6.net
>>881
(引用開始)
>>47
>多項式環は冪級数環の中で部分環ではあってもイデアルじゃないからな。
この発言で
「なんだこの馬鹿、イデアル全然関係ねえじゃん」
と思ったよ
ここで、◆e.a0E5TtKEのなりすましだと確信した
渾身の演技でバレるとはつくづく馬鹿な奴だｗ
(引用終り)
おサルは、>>871に反論を書いたけど、「ジム＝◆e.a0E5TtKEは工学部卒」が、いまや これが唯一の救いかｗ
”すまし”か否か、厳密な証明も反証も難しいが、判断は見ている皆さんに任せる
１．「多項式環は冪級数環の中で部分環ではあってもイデアルじゃない」というフレーズは、おれには浮かばない
２．ジムの数学徒（>>694）氏は、>>271の証明に行く前に、いろいろ迷いながら書いている
それをどう読むか、判断は見ている皆さんに任せる（素直に読むか、凝った芝居だと思うか）
３．おれは、>>234で「本格的やる�
960:ﾈら、PDFなどにして、アップロード頼む（＾＾」と言った 彼は、それに従わなかったんだ ４．多分、数学板には、慣れていないんだろうね。数学板のレベル感が掴めていない感じ >>286で、「しかしこのスレの常連達は全然数式つかって議論しないんだな」なんてね これも、素直に読むか、凝った芝居だと思うか、判断は見ている皆さんに任せる （参考(抜粋)） >>224 名前：１３２人目の素数さん[sage] 投稿日：2020/01/10(金) 11:45:16.73 ID:jmw8DMZb [1/12] なんかよくわからん？ ルールなり戦略なりを変えて確率論でないようにしたという事ではないの？ ともかくよくわからんけど普通に読めば99/100って数字は前後の文章も鑑みて確率のこと言ってるとしか読めないし、この数字が出てきてる以上確率論の話になると思うけど。 確率論で当てるのではなく、なんか別に当てる戦略があると言う話ではないの？ まぁ正確には "確率論の話だとして正当化できない部分を探せ" になるだろうけど。 数学科で確率論勉強した人間にはまぁできるだろうけど、他学科の人には無理だろうな。 物理の研究者の人とかなら数学科の院生顔負けの人がいたりするらしいのでそういう人なら行けるだろうけど。 つづく
961:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 08:08:23.12 ahk+jOr6.net
>>885
つづき
>>227 名前：１３２人目の素数さん[sage] 投稿日：2020/01/10(金) 13:20:44.63 ID:jmw8DMZb [2/12]
書いてもいいけど正直あまり面白くない。
間違いを指摘してもだから何なんって感じにしかならんだろう。
確率論勉強した人間にしか通じない上に勉強した人間にはわざわざ言わなくてもわかる話にしかならないし。
ココ2、3日忙しいけどそのうち気が向いたら備忘録がわりに書くかも。
>>231 名前：１３２人目の素数さん[sage] 投稿日：2020/01/10(金) 15:52:39.28 ID:jmw8DMZb [3/12]
時枝先生の記事の "もっともらしさ" の罠はしかし意外に難しいかもしれない。
言われてみれば当たり前のことなのだけど、確率論の初学者には見つけにくてもしょうがない。
私も確率論は門外漢なのでそんな上から目線でいえる立場にはないが。
その当時のネットの議論でどんな意見が出たのかはしらないが、結局のところ、誰もどこがおかしいのか見つけられなかったのが真相なんだろう。
本来数学の議論はキチンと定式化して議論すれば反論の余地などない。
揉めるのはキチンと定式化して議論してないからだ。
>>238 名前：１３２人目の素数さん[sage] 投稿日：2020/01/10(金) 18:37:32.69 ID:jmw8DMZb [7/12]
まず時枝先生の記事の方法ではダメ。
記事の方法ではxやyをある番号以降全部開けてその値に応じて戦略を決定している。
つまり全事象をC(x)やC(y)などに応じて決定している事になるが、これだと全事象を非可算無限個に分割して定義している事になる。
しかしこのようにして定義された関数は一般には可測関数にならない。
可測関数でなければそもそも確率そのものが定義できない。
ココが議論の第一点。
ではしかし時枝先生の記事の定義がダメとして、絶対にこれらの関数が可測になる事は本当にありえないのか、別の定義を採用すれば回避できるのではないかが次の論点。
しかしコレからジムに遊びに行くので続きはまた今度。
(引用終り)
以上
962:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 08:17:50.60 ahk+jOr6.net
>>870
>ああ、時枝記事と言ってるのは記事前半ね
>記事後半はトンデモだからｗ
おサル、統合失調症のクスリにお世話になっているのか？（>>778ご参照）
時枝先生まで、統合失調症で、その記事の前半と後半が、全く別もので、”記事後半はトンデモ”と解釈か
あなた、まともに時枝記事を論じられる精神状態じゃないね、はっきり言って悪いが
URLﾘﾝｸ(ja.wikipedia.org)
963:8%E5%A4%B1%E8%AA%BF%E7%97%87 統合失調症 (抜粋) 日本では2002年（平成14年）まで、精神分裂病（せいしんぶんれつびょう）と呼称されていた[3]。
964:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 08:20:44.13 ahk+jOr6.net
>>885 コピペミス訂正
”すまし”か否か、厳密な証明も反証も難しいが、判断は見ている皆さんに任せる
↓
”なりすまし”か否か、厳密な証明も反証も難しいが、判断は見ている皆さんに任せる
分かると思うが（＾＾；
965:１３２人目の素数さん
20/01/17 08:46:20.87 X/clQYni.net
>>882
自分の持てる⛏の限りで挑むのが
工学者の扱う実用向きの応用数学の粗探しって、、、。
数学で「真」を探求とかはなさりたくならないんですか？
966:１３２人目の素数さん
20/01/17 09:59:47 LSXKwuvW.net
おっちゃんです。
実用向きの応用数学にも、数学的に定式化されている概念がある。
応用数学を甘く見ない方がいい。
967:１３２人目の素数さん
20/01/17 10:23:49 k9NX4ves.net
>>890
ごめんなさい
数学“人”に、つい、
“純粋さ”を期待してしまって...いろんな意味で。
応用数学に侮辱的な表現をしてしまって
ごめんなさい
968:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 10:31:14 43lj/pck.net
>>889
＞工学者の扱う実用向きの応用数学の粗探しって、、、。
＞数学で「真」を探求とかはなさりたくならないんですか？
どうもスレ主です。
おっしゃる通りですね（＾＾；
なお
１．時代が変われば、水準が変わる
２．工学の範囲をどう定義するかも問題だが、
コンピュータサイエンスや、AIや、ビッグデータ解析や、金融工学まで含めれば
20世紀の工学者の扱う実用向きの応用数学と、純粋数学との垣根はどんどんなくなっていると思う
３．東京大学の理学部数学科修士の出身の亀沢氏 三菱UFJ 社長兼CEO（>>809）は、その象徴的な出来事と思う
他には、株式会社Preferred Networksには、東大数学科出身者多数と言われる
４．なので、今後は”数学で「真」を探求”というアカデミー指向とは別に、実業分野で力を発揮する、大学の数学科出身者が増えてくるように思うよ
（大学のポストなどは、限られているからね）
（参考）
URLﾘﾝｸ(katsuyaito.github.io)
Website of Katsuya ITOLinksDiary /Contact /Works /History /
伊藤 克哉
(抜粋)
エンジニア @ 株式会社Preferred Networks
［b］指導教官
［b1］大学4年夏:三枝 洋一先生(代数的サイクルの交叉理論)
［b2］大学4年冬:齊藤 宣一先生(確率微分方程式の数値解析)
［b3］修士1年：高橋明彦先生
［b4］修士2年：佐藤整尚先生(高頻度取引)
学歴
番号 年 月 学歴
［c1］ 2013年 3月 白陵高等学校 卒業
［c2］ 2013年 4月 東京大学教養学部理科一類 入学
［c3］ 2015年 3月 東京大学教養学部理科一類 修了
［c4］ 2015年 4月 東京大学理学部数学科 進学
［c5］ 2017年 3月 東京大学理学部数学科 卒業
［c6］ 2017年 4月 東京大学大学院経済学研究科 入学
［c7］ 2019年 3月 東京大学大学院経済学研究科 修了
969:１３２人目の素数さん
20/01/17 10:42:29 LSXKwuvW.net
>>891
確率論と統計学には違う点がある。
一見数学的に厳密に定式化されているとは思えないような統計では中央値がよく出て来るけど、
Wiki によ
970:ると、実のところ中央値は数学的に厳密に定義して理論的に扱えるようだ。 他にも、そのような概念はあるだろう。
971:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 11:21:26.83 43lj/pck.net
>>891
>数学“人”に、つい、
>“純粋さ”を期待してしまって...いろんな意味で。
どうもスレ主です。
そうそう、同意です
数学“人”として、神格化するのは良くないと思います
奇人変人が多い印象あるけど（＾＾
まず、人として、普通の人生設計を考えるべきと思いますよ
佐藤幹夫先生とか、望月新一先生とか、若いときに女がいないのは、なんだかなー（＾＾；
その点、Peter Scholze先生は、
結婚していて（学生結婚？）えらいよね（＾＾
972:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 11:53:19 43lj/pck.net
>>892
＞［c1］ 2013年 3月 白陵高等学校 卒業
全くの余談だが
白陵は、兵庫県高砂市というけれど
実質は、姫路市に近い（というか境界にちかい）
なお下記、兵庫県内私立2位/ 129件中は、おかしいね（”みんなの高校情報”）
白陵より上で、甲陽とか、六甲とか、淳心。女子だが神戸女学院、親和などがある
（高砂市は、三菱重工系とか神戸製鋼系の企業に勤める人が多いと思う）
URLﾘﾝｸ(www.minkou.jp)
みんなの高校情報
白陵高等学校 偏差値2020年度版
73
兵庫県内5位/ 396件中
兵庫県内私立2位/ 129件中
全国49位/ 10,045件中
偏差値 高校名 国立私立 男女共学
79 灘高等学校 私立 男子校
71 - 77 神戸高等学校 公立 共学
72 - 75 長田高等学校 公立 共学
70 - 74 姫路西高等学校 公立 共学
73 白陵高等学校 私立 共学
68 - 73 加古川東高等学校 公立 共学
63 - 72 須磨学園高等学校 私立 共学
URLﾘﾝｸ(ja.wikipedia.org)
白陵中学校・高等学校（はくりょうちゅうがっこう・こうとうがっこう）は、兵庫県高砂市阿弥陀町に所在し、中高一貫教育を提供する私立中学校・高等学校。
URLﾘﾝｸ(ja.wikipedia.org)
淳心学院中学校・高等学校（じゅんしんがくいんちゅうがっこう・こうとうがっこう）は、兵庫県姫路市本町に所在し、中高一貫教育を提供する私立男子中学校・高等学校。
973:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 11:57:39 43lj/pck.net
>>893
＞確率論と統計学には違う点がある。
＞一見数学的に厳密に定式化されているとは思えないような統計では中央値がよく出て来るけど、
おっちゃん、どうも、スレ主です。
レスありがとう
確率論と統計学に、垣根を設けるとどうかだね
あと、ベイズ推定とか、純粋数学ではないよね
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ベイズ推定
974:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 11:58:27 43lj/pck.net
>>896 タイポ訂正
確率論と統計学に、垣根を設けるとどうかだね
↓
確率論と統計学に、垣根を設けるかどうかだね
975:１３２人目の素数さん
20/01/17 12:07:50 Ho0R/8BU.net
>>894
とっても失礼な891です(ｺﾞﾒﾝﾅｻｲ)。
シュルツ教授はリア充過ぎて
全然共感ポイントが見つかりません...
天が三物与え過ぎだと思います。
全くｷｭﾝじゃないです...
ドイツは数学専攻者に女性の比率が高かったんでしょうか？
出逢い確率が高かったんじゃないんでしょうか。
話変わりまして、私も、２１世紀以降の世界を目まぐるしく変えて行くのは、
日本でいうなら東大理科?類に代表されるような工学、情報工学等に牽引されていくイノベーションの力だと理解しているつもりです。
もっと便利で快適な社会に暮らしたいから、その夢を叶えてくれそうな工学に最大限の期待を寄せています。
でも数学には、そういう目に見えて実感出来る、便利な文明化ライフのお役立ち感とは離れて
976:、純粋に思考の力だけで、人類の知の極限まで、一般社会が知るより、ずっとずっと先を探索している姿を勝手に期待しちゃうんです... (工学の墓守をする為に 数学を叩き棒に使ってるのかな？) 数学が勿体無いな、ってﾓﾔﾓﾔしてしまって... ごめんなさい。
977:１３２人目の素数さん
20/01/17 12:10:36 Ho0R/8BU.net
キティホームレスヲヂサン風味の
ペレリマン氏の方が気になります...
978:１３２人目の素数さん
20/01/17 12:11:40 LSXKwuvW.net
>>894
>まず、人として、普通の人生設計を考えるべきと思いますよ
>佐藤幹夫先生とか、望月新一先生とか、若いときに女がいないのは、なんだかなー（＾＾；
>
>その点、Peter Scholze先生は、
>結婚していて（学生結婚？）えらいよね（＾＾
若いときの恋愛は難しい。
普通の人生設計を考えたら、凡人で終わる可能性がかなり高い。
979:１３２人目の素数さん
20/01/17 12:21:56 7sQx91K7.net
>>900
(*-ω-)))ｳﾝｳﾝ。
そのエナジー全て数学につぎ込んでるから修士以上が可能なんじゃないかな？って、
でもせっかく優秀な人達が優秀な子孫を残さないのは、社会的損失です。
勿体無いです。
980:１３２人目の素数さん
20/01/17 12:22:57 7sQx91K7.net
なんとか優秀な女性数学専攻者を増やせないかな？って。
981:１３２人目の素数さん
20/01/17 12:23:59 7sQx91K7.net
>>901-904←無礼な891です...
982:１３２人目の素数さん
20/01/17 12:24:29 7sQx91K7.net
>>903
予測通り現れてみました
983:１３２人目の素数さん
20/01/17 12:25:19 7sQx91K7.net
やった！当たった！
大変失礼致しました。
984:１３２人目の素数さん
20/01/17 12:31:24 7sQx91K7.net
日本の＊＊数学専攻者＊＊も
♀女性♀比率が↑上がって↑
🌈ＦＯＲＥＶＥＲ🌈
💖ＬＯＶＥ💞ＬＯＶＥ💗
‰ＭＡＴＨＥＭＡＴＩＣ🍀ＬＩＦＥ🍀
になって数学人が∞サイクルに成ります様に❗
985:１３２人目の素数さん
20/01/17 12:39:12 7sQx91K7.net
おっちゃんさんに＊＊素敵な彼女＊＊が出来mathe様に。。。
お嬢様なら乙様のＸ染色体をかなり
受け継がれるから乙様並みに
＊＊数学力が期待出来mathe＊＊。。。
早くから乙様パパが数学を見て上げたら＊＊Ｄｒ.シュルツを上回るかも＊＊です。
乙様、ｻﾙﾙ様、主様、人類の進化の為に、婚カツもぜひぜひ数学位、頑張って下さい。。。
人類が猿過ぎmathe。。。助けて、、、
986:１３２人目の素数さん
20/01/17 12:40:04 LSXKwuvW.net
>>898
>日本でいうなら東大理科?類に代表されるような工学、情報工学等に牽引されていくイノベーションの力だと理解しているつもりです。
>もっと便利で快適な社会に暮らしたいから、その夢を叶えてくれそうな工学に最大限の期待を寄せています。
工学に最大限の期待は寄せない方がいいですよ。便利さや快適さは求め過ぎない方がいいと思います。
AI の発達で職がなくなりつつありますからね。
医学や歯学、薬学、バイオテクノロジーなどの生物系の技術に最大限の期待を寄せるのは問題ないと思います。
987:１３２人目の素数さん
20/01/17 12:42:16 7sQx91K7.net
mathematicianが益々∞増殖し続けmathe様に。。。🍀
🌈ＦＯＲＥＶＥＲ🍀mathematics🌈の*＊呪い＊*をかけときmatheね。。。
988:１３２人目の素数さん
20/01/17 12:45:36 7sQx91K7.net
>>908
優秀な人達がＡＩＴＥＣ&ロボティクスからのベーシックインカムで
アルキメデスみたいに、生活の苦労なんかしないで純粋に思考するだけの人生に没頭出来るイノベーションであって欲しいんです。
989:１３２人目の素数さん
20/01/17 12:49:22 7sQx91K7.net
>>910に+して、♀も同じ人数だけいる学術環境で、若い時から、優秀な両性が出逢える機会が充分確保されて、って追加で。
990:１３２人目の素数さん
20/01/17 13:02:52 7sQx91K7.net
工学が、取って替わるモノを造れる仕事は、クリエイティブなmathematicinには関係無いから、どんどんコストダウンを計って浮いたコストをイノベーションの基礎研究費に回したり、若い研究者の生活補助費に回して、より社会的にも有用に使って欲しい。
991:１３２人目の素数さん
20/01/17 13:07:09.66 7sQx91K7.net
理系の優秀な人達に、優秀な理系女性との出逢いの機会を増やして、理系人口を確保して欲しい
予算と優秀な異性を確保して
理系人口を維持増殖させて欲しいです。
992:１３２人目の素数さん
20/01/17 13:11:03.87 7sQx91K7.net
な～んてね🍀
993:１３２人目の素数さん
20/01/17 13:13:03.43 7sQx91K7.net
乙様、主様、ｻﾙﾙ様、ジム様、ぷっ様、なりぷっ様、
🌈み～んなどんどん増えmathe様に！🌈
↑人類進化の呪文。。。( ´_ゝ`)
994:１３２人目の素数さん
20/01/17 13:26:38.85 7sQx91K7.net
>>894
神格化っていうか、鬼人、鬼才さん達ですよね...
ｻﾙﾙちゃんさん見てても、とても普通と思えない...
もう、数学だけやっててくれれば
良いですよね、って
他の事でも“標準以上”であるなんて奇跡は期待されてないんでしょうし...
人類の数学担当者なんだな、って。。。
995:１３２人目の素数さん
20/01/17 13:28:38.49 7sQx91K7.net
でもどんな業界見てもプロの方はみんなそんな方達ばかりみたいだから、プロフェッショナルって、そういう人達なんですよね...
996:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 13:37:36.70 43lj/pck.net
>>908
＞工学に最大限の期待は寄せない方がいいですよ。便利さや快適さは求め過ぎない方がいいと思います。
おっちゃん、どうも、スレ主です。
工学ってね、それ定義の問題だよね、数学者としてはｗｗ（＾＾
そして、現実の世の中は、定義は変わっていくんだ
いま、純粋数学でやっていることが、工学に取り込まれたり
逆に、工学から数学ネタが出てきて、論文書いたりね
（例えば、偏微分方程式も実用的には、工学とか気象とか実用という面で、いろいろある）
＞AI の発達で職がなくなりつつありますからね。
ていうか、AIに使われる側か
AIを使う側かって視点も
あるだろうね
997:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 13:39:11.53 43lj/pck.net
>>917
＞でもどんな業界見てもプロの方はみんなそんな方達ばかりみたいだから、プロフェッショナルって、そういう人達なんですよね...
そうそう
どんな業界でもプロフェッショナルと呼ばれる人はいるんだなーと
NHKの番組見ていてそう思うわ（＾＾；
998:１３２人目の素数さん
20/01/17 14:13:11 7sQx91K7.net
主様、早く数学出来る優秀な理系
美少女達のパパになって
ｻﾙﾙさんを黙らせてあげて下さい。
ｻﾙﾙさんは美少女相手だと
大人しくなっちゃうタイプだと
見ましたよ？
999:１３２人目の素数さん
20/01/17 14:16:09 7sQx91K7.net
乙様、主様、頑張って下さい！
ｻﾙﾙ&なりぷっ様も、。。。、
↑こちらのお二方、どうなんでしょう？
。。。末永いお付き合いの感じだったら、乙様が御仲人を。。。？
1000:１３２人目の素数さん
20/01/17 14:18:07 7sQx91K7.net
理系男性は、人類の為に、優秀なＸ染色体を娘さんに継承させる義務が有りますから、お願い致しますよーだ。
1001:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 14:19:50 43lj/pck.net
>>920
どうもスレ主です。
レスありがとう
うちは一人息子で、文系に行きました
スレを見ている、若い数学徒に期待しましょう（＾＾
1002:１３２人目の素数さん
20/01/17 14:31:29 7sQx91K7.net
主様ごめんなさい。。。
今から無理に脱線しないで下さい。。。幸せなご家族でいて下さい。。。
乙様、ｻﾙﾙ様、頑張って下さい。
ヤダッ！つっても、創るんだよ！！
娘さんを！！！
はよはよ！人類に🌈アテネ🌈を早よ！
ですよーだ
1003:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 15:38:41.33 43lj/pck.net
>>924
どうもスレ主です。
＞今から無理に脱線しないで下さい。。。幸せなご家族でいて下さい。。。
お気遣いありがとうございます！（＾＾；
1004:１３２人目の素数さん
20/01/17 15:45:35.03 LSXKwuvW.net
>>918
>＞工学に最大限の期待は寄せない方がいいですよ。便利さや快適さは求め過ぎない方がいいと思います。
>
>おっちゃん、どうも、スレ主です。
>工学ってね、それ定義の問題だよね、数学者としてはｗｗ（＾＾
工学の中の何の分野に当てはまるかは知らないが、現実的に使われる実際の AI を開発する分野。
>＞AI の発達で職がなくなりつつありますからね。
>
>ていうか、AIに使われる側か
>AIを使う側かって視点もあるだろうね
将棋や囲碁のプロ棋士が AI との対局に勝てなくなっているようなことが起きているから、深刻な問題だよ。
1005:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 15:53:18.81 43lj/pck.net
>>892 訂正スマン
20世紀の工学者の扱う実用向きの応用数学と、純粋数学との垣根はどんどんなくなっていると思う
↓
21世紀の工学者の扱う実用向きの応用数学と、純粋数学との垣根はどんどんなくなっていると思う
自分は、”20世紀少年”だったんだ（＾＾；
URLﾘﾝｸ(ja.wikipedia.org)
20世紀少年
1006:１３２人目の素数さん
20/01/17 16:02:36.94 su/Z6GV0.net
>>927
２０世紀少年達がそのままスライドして
２１世紀中年達になったから
結局同じですね♪
1007:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 16:44:27.98 43lj/pck.net
>>926
>>ていうか、AIに使われる側か
>>AIを使う側かって視点もあるだろうね
>将棋や囲碁のプロ棋士が AI との対局に勝てなくなっているようなことが起きているから、深刻な問題だよ。
１．視点を変えて、AIを使いこなすことを考えればいいんだ
２．AIの前、チェスがコンピュータに勝てなくなった。このとき、IBMがしらみつぶしに力づくでマシーンパワーで圧倒したという
３．将棋は、囲碁より早くプロ棋士が負けた（このときの将棋ソフトは、いわゆるディープラーニングではなかった）
４．囲碁は、2016年にプロ棋士が負けた（このときの囲碁ソフトは、いわゆるディープラーニング）
５．確かに、コンピュータが人よりも強くなったが、困らないよ
おっちゃん、√の開平を手でやっているだろ？（＾＾；
√の開平を手でやって、自慢したかったのが、コンピュータがやれるようになって困ったみたいな話じゃないのか？
６．なので、コンピュータがやれるところは、コンピュータを使えばいいだけのこと。そうい視点もあるぜ
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
ディープ・ブルー対ガルリ・カスパロフ
第二戦は1997年にニューヨークで行われ、ディープ・ブルーが勝利した。この試合では、トーナメント条件下で現役のチェス世界チャンピオンがコンピュータに初めて敗れている。
URLﾘﾝｸ(ja.wikipedia.org)
コンピュータ将棋
やねうら王の開発者・磯崎元洋は2014年10月31日のブログで「上位のソフトは事前貸出なしの条件であればとっくに羽生さんを超えていることは誰の目にも明らかである。
URLﾘﾝｸ(ja.wikipedia.org)
コンピュータ囲碁
「AlphaGo対李世ドル」
2016年
対局はアルファ碁が先に3勝をあげ、通算成績4勝1敗で勝利した[23]。
1008:１３２人目の素数さん
20/01/17 17:24:13.72 LSXKwuvW.net
>>929
従来、将棋や囲碁のプロ棋士が AI との対局に勝てないということは考えられなかった。
>５．確かに、コンピュータが人よりも強くなったが、困らないよ
> おっちゃん、√の開平を手でやっているだろ？（＾＾；
> √の開平を手でやって、自慢したかったのが、コンピュータがやれるようになって困ったみたいな話じゃないのか？
>６．なので、コンピュータがやれるところは、コンピュータを使えばいいだけのこと。そうい視点もあるぜ
手計算は手を動かすことで計算力などが身に付くから、手計算をして損はない。
まあ、AI で未来はどう変わるかというと、決しって安泰とはいえないだろう。
1009:１３２人目の素数さん
20/01/17 17:36:32 LSXKwuvW.net
>>929
そうそう、手計算で数値解析をすることにも、理論的に面白い一面はある。
線形の PDE か非線形 PDE かに関係なく、偏微分方程式とかの数値解析だとそうなる。
それじゃ、おっちゃんもう寝る。
1010:１３２人目の素数さん
20/01/17 17:39:09 jByLNfh2.net
>>931
お休みなΨ～
1011:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 17:41:18 43lj/pck.net
>>929 補足
むしろ、いま懸念されているのは、
「ＡＩが人類に反乱？ 兵器規制はどこまで？」みたいな話と思う
URLﾘﾝｸ(www3.nhk.or.jp)
NHK
ＡＩが人類に反乱？ 兵器規制はどこまで？
2019年9月6日 14時39分
1012:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 17:41:52 43lj/pck.net
>>931
おっちゃん、どうも、スレ主です。
おやすみなさい
1013:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/17 17:44:40 43lj/pck.net
>>930
＞まあ、AI で未来はどう変わるかというと、決しって安泰とはいえないだろう。
数学に限れば、
数学ソフトにAIが導入されて、
数学が本質的に変質するように思う
つまり、πの計算が、
昔数学者の仕事だったのが
いまコンピュータで計算される時代になったと類似のことが、
純粋数学のいろんな分野でおきると思う
1014:１３２人目の素数さん
20/01/17 19:04:01.32 PpUpdAzp.net
>>885
>「多項式環は冪級数環の中で部分環ではあってもイデアルじゃない」
>というフレーズは、おれには浮かばない
そもそも、◆e.a0E5TtKEが環を持ち出すのが不自然だ
と思っていたがイデアルという言葉を聞いて
「ああ、a～b同値関係を
”差a-bがイデアルIに属する”
と理解したがってるんだな」
と悟った
それが
1015:数学的だと思ってる時点で、 数学が全然わかってない >「しかしこのスレの常連達は全然数式つかって議論しないんだな」 とかデカい口叩いてるジムが 「箱の中身を確率変数とした場合、確率論では扱えない」 と主張するのに、ヴィタリの非可測集合をトレースしなかったのは 不自然極まりない 時枝はわざわざヴィタリの非可測集合の話をしてるからね 有理数の代わりに、２進有限小数を使えば 本来のヴィタリの非可測集合と全く同様に 非可測性が示せる しかし、そうしなかった その時 「ああ、こいつ、ヴィタリの非可測集合知らねぇ素人だな」 と確信した
1016:１３２人目の素数さん
20/01/17 19:05:49.10 PpUpdAzp.net
>>870
>時枝記事と言ってるのは記事前半ね
>記事後半はトンデモだからｗ
記事前半は、The Riddleのmodification版の説明
つまり、箱の中身は定数とした場合の確率計算方法
しかし、記事後半で
「非可測だからダメとはいえない」とか
「無限個の確率変数の独立性に関する新たな考え方が必要」とか
いいだしたので
「ああ、時枝氏は、箱の中身が確率変数だとしても
”正当化”できると考えてるみたいだな」
とわかる
この件については
「無矛盾かもしれないが、ZFCからは逸脱している」
（つまり「新しい公理」が必要）
と考える
「トンデモ」とはいわないが、
本来のThe Riddleのmodification版を強化した主張
について述べてることをはっきり述べてないのが
残念ではある
1017:１３２人目の素数さん
20/01/17 19:07:32.60 PpUpdAzp.net
>>923
>うちは一人息子で、文系に行きました
息子は親父より賢いな
自分には数学の才能はないと悟って
全然別方向に進んだんだから
1018:１３２人目の素数さん
20/01/17 19:08:23.99 PpUpdAzp.net
ID:7sQx91K7
なんだこの●違い
焼かれて死ねよ ウジ虫
1019:１３２人目の素数さん
20/01/17 19:13:37.84 PpUpdAzp.net
ｻﾙﾙって誰だよ
俺はぱるるでもまゆゆでもねぇよｗ
>>920
＞美少女相手だと大人しくなっちゃうタイプ
いまのイチオシはこのコ↓
URLﾘﾝｸ(www.youtube.com)
1020:１３２人目の素数さん
20/01/17 19:42:56.73 PpUpdAzp.net
f:2^N→∪2^n x→x-r(x)
2^N 2進無限小数
∪2^n 2進有限小数
r(x) xが属する同値類の代表元
fは非可測関数 (Vitaliの証明と同じ方法で示せる）
x-r(x)は2^nのいずれかに属する(nは自然数)
時枝戦略は
x1-r(x1),…・x100-r(x100)
の1つを選んで、その中の0である桁を見つける方法
0である桁は無限個ある
0でない桁は有限個ある
0である桁を見つけるほうがたやすい
むしろ0でない桁を見つけるほうが難しい
1021:１３２人目の素数さん
20/01/17 19:52:34.69 /nydTAbF.net
>>937
>「ああ、時枝氏は、箱の中身が確率変数だとしても
> ”正当化”できると考えてるみたいだな」
とわかる
たしかに数当てができると考えているように読めるね
けれどその結論について、時枝氏は正しいとも間違ってるとも言ってない
測度論に従えば認められないが、測度論以外の可能性を示唆するような含みを持たせている
これのどこがトンデモなの？って俺は思うけど
1022:１３２人目の素数さん
20/01/17 20:01:25.31 /nydTAbF.net
>>942の続き
>>463
>コレは正しいですね。
>しかしこの事実をもってしても時枝記事は正当化されてはいないという結考えに変わりはありません。
そういうわけで、>>463のような偏ったコメントを読むと「個人的に時枝氏に恨みでもあるの？」って思っちゃうねw
ちゃんと非可測であることを明記してるんだから、
「非可測だから時枝記事は正当化できない」ってしたり顔で主張されても困る
1023:１３２人目の素数さん
20/01/17 20:13:34.98 U+rsHn5n.net
ジムくん
>コレは正しいですね。
Pruss
>That's right.
間違いを認める時のセリフが同じで草
1024:１３２人目の素数さん
20/01/17 20:19:37.33 U+rsHn5n.net
>>881
突然イデアルとか言い出すのが
1025:いかにも「ボクちゃん数学用語知ってるよ」アピール臭ぷんぷんｗ しかし環を持ち出す必然性ゼロｗ アホ丸出しｗ
1026:１３２人目の素数さん
20/01/17 20:35:55 U+rsHn5n.net
>>884
揚げ足取り乙
現代数学でZFは暗黙の前提だろ。教科書にだっていちいち「ZFを仮定する」なんて書いてないぞ？
確率の公理？ 時枝解法の確率は初等確率。的外れ。
数学で勝てないからって揚げ足取りとは情けないｗ
1027:１３２人目の素数さん
20/01/17 20:44:16 U+rsHn5n.net
>>885
>１．「多項式環は冪級数環の中で部分環ではあってもイデアルじゃない」というフレーズは、おれには浮かばない
浮かばないんじゃなくイデアルが何か知らないと正直に言え
バカのくせにかっこつけんなよ みっともないから
1028:１３２人目の素数さん
20/01/17 21:10:45 U+rsHn5n.net
>>887
時枝記事が全く読めてないね
君の学力じゃ無理だから諦めな っぷ
1029:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 21:49:34.82 ahk+jOr6.net
>>942
ID:/nydTAbFさん、どうも。スレ主です。
＞けれどその結論について、時枝氏は正しいとも間違ってるとも言ってない
＞測度論に従えば認められないが、測度論以外の可能性を示唆するような含みを持たせている
＞これのどこがトンデモなの？って俺は思うけど
「数学セミナーでさ、そういう訳の分からん記事書いちゃいなんよね、時枝先生」というのが私の意見
YesかNoか、あるいは問いかけから、「非可測の確率論が考えられる」とか
時枝先生、あなたの主張はなんですか？ 何を言いたかったの？
「非可測の確率論」って、一体全体どこにある？
例えば、下記のように ド素人が迷走した
（参考）ガロアスレ28
ｽﾚﾘﾝｸ(math板:20番)
20 名前：１３２人目の素数さん[sage] 投稿日：2017/01/02(月) 23:08:24.51 ID:0caOih5s [11/13]
さきに>>19の最後の文にコメントします。
> それとも、非可測集合を扱うこと自体、通常の確率論ではないということでしょうか？
・非可測集合ではouter measureで議論する必要がある
・通常の確率的直感は役に立たない
というTaoのコメントを読んだことがあります。
私は外測度の確率論なるものには馴染みがなく、
この意味で通常の確率論ではないのかな？という印象です。
(引用終り)
これ、笑えます
これ（「外測度の確率論」）、真っ当な数学だというなら、
大学の教授に見て貰って、論文にしてくださいなｗ（＾＾
（出来ないに100ペソ （：ｐ ）
>>943
>「非可測だから時枝記事は正当化できない」ってしたり顔で主張されても困る
非可測だから時枝記事は正当化できるのか、はたまた出来ないのか？
「しっかり書かないといけないでしょ、時枝先生」というのが私の主張
そして、実際 正統化はできません
>>841に書いたように、現代数学の確率変数iidが反例です
反例のある定理は不成立です
QED
（＾＾
1030:１３２人目の素数さん
20/01/17 22:04:23.18 U+rsHn5n.net
>>949
反例になってません。
時枝定理の反例とは時枝解法を適用しても当てられない数列。
おまえ時枝解法以前に同値類も選択公理も分かってないんだからおまえに示せる訳ないじゃんｗ バカですか？ｗ
1031:１３２人目の素数さん
20/01/17 22:05:34.45 U+rsHn5n.net
>>494
>現代数学の確率変数iid
ばかまるだしｗ
1032:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/17 22:06:38.29 ahk+jOr6.net
あほサル二匹の相手は、もう良いでしょう
適当にあしらいますよ
1033:１３２人目の素数さん
20/01/17 23:02:07 U+rsHn5n.net
適当にあしらうしかできないですよね？
あなたの学力では
っぷ
1034:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 00:23:41.09 jvo9z/Ks.net
>>936
>「ああ、こいつ、ヴィタリの非可測集合知らねぇ素人だな」
>と確信した
おサルは、健忘症だなｗ
おれは、ヴィタリの非可測は、何度も書いているよ
その1つの例が、下記 スレ62の949 2019/03/28(木)、これを忘れたんだろ？
あと、時枝（2015年11月号）の前、つまりおサルの来る前にも、スレ13 2015/04/29(水)でも扱っているぞｗ（＾＾
（参考）
現代数学の系譜 工学物理雑談 古典ガロア理論も読む62
ｽﾚﾘﾝｸ(math板:949番)
949 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
1035:[sage] 投稿日：2019/03/28(木) 07:31:55.79 ID:7L3ElMut [1/7] https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88 ヴィタリ集合 (抜粋) 数学において、ヴィタリ集合（ヴィタリしゅうごう）とはジュゼッペ・ヴィタリ（英語版）(Giuseppe Vitali (1905))によって作られたルベーグ不可測な実数集合の基本的な例である。 ヴィタリの定理はそのような集合が存在することを保証する存在定理である。不可算に多くのヴィタリ集合が存在し、それらの存在は選択公理の仮定の下で示される。 ルベーグ測度は平行移動について不変なので λ (V_{k})=λ (V) である。ゆえに、 1 <= Σk=0～∞{λ (V)} <= 3 であるが、これは不可能である。 一つの定数の無限和は 0 であるか無限大に発散するので、いずれにせよ [1, 3] の中には入らない。 すなわち V は可測であってはいけない。 つまりルベーグ測度 λ はいかなる値も λ(V) の値として定義してはいけない。 つづく
1036:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 00:24:03.73 jvo9z/Ks.net
>>954
つづき
現代数学の系譜11 ガロア理論を読む13 [転載禁止](c)2ch.net
ｽﾚﾘﾝｸ(math板:227番)
227 自分返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2015/04/29(水) 14:32:23.84 ID:6XYDeD+q [14/25]
３）Non-measurable set
URLﾘﾝｸ(en.wikipedia.org)
ｽﾚﾘﾝｸ(math板:231番)
231 自分返信：現代数学の系譜11 ガロア理論を読む[] 投稿日：2015/04/29(水) 14:52:06.33 ID:6XYDeD+q [18/25]
>>230
en.wikipedia.org/wiki/Vitali_set 日本語があるね
URLﾘﾝｸ(ja.wikipedia.org)
抜粋
構成と証明
有理数集合 Q は実数集合 R の普通の加法についての部分群を成す。なので加法の商群 R/Q (つまり、有理数分の差を持つ実数同士を集めた同値類による剰余群) は有理数集合の互いに交わらない"平行移動コピー"によって出来ている。
この群の任意の元はある r ∈ R についての Q + r として書ける。
R/Q の元は R の分割の1ピースである。そのピースは不可算個あり、各ピースはそれぞれ R の中で稠密である。
R/Q の元はどれも [0, 1] と交わっており、選択公理によって [0, 1] の部分集合で、R/Q の代表系になっているものが取れる。
このようにして作られた集合がヴィタリ集合と呼ばれているものである。
（引用おわり）
以上
1037:１３２人目の素数さん
20/01/18 00:31:01.76 yBPfQQsI.net
>>954
>おサルは、健忘症だなｗ
>おれは、ヴィタリの非可測は、何度も書いているよ
>その1つの例が、下記 スレ62の949 2019/03/28(木)、これを忘れたんだろ？
あららｗ
このバカ自分で自演してるって言っちゃったよｗ
せめて自演くらい上手にやろうね っぷ
1038:１３２人目の素数さん
20/01/18 06:04:45 BpWVyRSZ.net
>>954
「ヴィタリの非可測集合知らねぇ素人」ってジムのことだよね
引用だけならサルでもできるので、理解したことにはならないよ
例えば、>>955の有理数Qを２進有限小数∪2^nに置き換えていいのは分かるかな？
1039:１３２人目の素数さん
20/01/18 06:32:45 BpWVyRSZ.net
>>949
＞現代数学の確率変数iidが反例
反例にはなっていないね
数セミ記事の戦略は、箱の中身が確率変数だとしても
箱の中身を一切変えないのだから、確率分布に影響を与えない
ついでにいうと、もし
P(d(x1)＞d(x2),d(x3),…,d(x100))
P(d(x2)＞d(x1),d(x3),…,d(x100))
…
P(d(x100)＞d(x1),d(x2),…,d(x99))
が全部１だとすると、矛盾する
というのは、事象
d(x1)＞d(x2),d(x3),…,d(x100)
d(x2)＞d(x1),d(x3),…,d(x100)
…
d(x100)＞d(x1),d(x2),…,d(x99)
は互いに背反事象だから
1040:１３２人目の素数さん
20/01/18 06:44:21 BpWVyRSZ.net
>>944
Prussが、The RiddleについてThat's Rightといった理由は>>958の後半で述べた
Prussは
P(d(x1)＞d(x2),d(x3),…,d(x100))
P(d(x2)＞d(x1),d(x3),…,d(x100))
…
P(d(x100)＞d(x1),d(x2),…,d(x99))
が等しい、と結論する対称性の前提が
そもそも非可測の場合には成立しないだろう
といっている
1041:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/18 07:06:28
1042:jvo9z/Ks.net
1043:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/18 07:14:31 jvo9z/Ks.net
>>956
>このバカ自分で自演してるって言っちゃったよｗ
>>954のどこから自演という結論に至のかな？
”自演してる”という結論ありき。”自演してる”としないと、格好つかないんだ
∵ >>271のジムの数学徒（>>694）さんの書いた証明の中身には、何にも言えないんだねｗ（＾＾；
>>957
>例えば、>>955の有理数Qを２進有限小数∪2^nに置き換えていいのは分かるかな？
分からん。ヴィタリで、それだめ。 っぷｗ（＾＾；
1044:１３２人目の素数さん
20/01/18 08:23:55 BpWVyRSZ.net
>>961
>>例えば、>>955の有理数Qを２進有限小数∪2^nに置き換えていいのは分かるかな？
>分からん。ヴィタリで、それだめ。
なんで？
もしかして「イデアルじゃないから」とか？
それ、全然見当違い
∪2^nが加法群だからＯＫ
有限小数に無限小数掛けたら有限小数にならないとか
そんなん、非可測集合の構成に全然関係ないから
証明読もうよ 考えようよ
数学学びたいんだよね？
1045:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/18 08:57:12 jvo9z/Ks.net
>>962
＞なんで？
分からんの？ｗ（＾＾；
1046:１３２人目の素数さん
20/01/18 09:09:29 BpWVyRSZ.net
>>963
＞分からんの？
分からんの？正しいことが（＾＾
1047:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/01/18 09:10:57 jvo9z/Ks.net
>>964
>>955の有理数Qを２進有限小数∪2^nに置き換えていいのは分かるかな？
分からん。ヴィタリで、それだめ。
1048:１３２人目の素数さん
20/01/18 10:34:40.14 BpWVyRSZ.net
>>965
>>分からんの？正しいことが
>分からん。ヴィタリで、それだめ。
∪2^nは加法群 有限小数の和は有限小数
ヴィタリでは加法による平行移動のみ だからＯＫ
∪2^nはＱと違って体じゃないとか、
2^Nのイデアルじゃないとか全然見当違い
1049:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 10:47:47.63 jvo9z/Ks.net
>>966
>>955の有理数Qを２進有限小数∪2^nに置き換えていいのは分かるかな？
まだ、分からんの？ ヴィタリで、それだめ。
1050:１３２人目の素数さん
20/01/18 11:06:53.68 kMaeZbXH.net
なりぷっ様はＩＵＴの１部分とか
考えたりはされないんですか？
なりぷって長いですね。
Ｚ様ってどうでしょう？
1051:１３２人目の素数さん
20/01/18 11:09:29.14 kMaeZbXH.net
Ｚ様にもっち様と同じ
類推得意タイプの匂いがしてる
希ガスでーす
1052:１３２人目の素数さん
20/01/18 11:12:45.15 kMaeZbXH.net
>>966さんが、なりぷっ様なら、ですけども～。
1053:１３２人目の素数さん
20/01/18 11:14:05.81 BpWVyRSZ.net
>>有理数Qを２進有限小数∪2^nに置き換えていいのは分かるかな？
> ヴィタリで、それだめ。
「有理数集合 Q は実数集合 R の普通の加法についての部分群を成す。」
→有限小数集合Fは、実数集合Rの普通の加法についての部分群を成す。
「なので加法の商群 R/Q
(つまり、有理数分の差を持つ実数同士を集めた同値類による剰余群)
は有理数集合の互いに交わらない"平行移動コピー"によって出来ている。」
→なので加法の商群R/F (F=∪2^n)
(つまり、有限小数分の差を持つ実数同士を集めた同値類による剰余群)
は有限小数集合の互いに交わらない"平行移動コピー"によって出来ている。
「この群の任意の元はある r ∈ R についての Q + r として書ける。」
→この群の任意の元はあるｒ∈ＲについてのＦ＋ｒとして書ける。
「R/Q の元は R の分割の1ピースである。
そのピースは不可算個あり、各ピースはそれぞれ R の中で稠密である。」
→R/Ｆ の元は R の分割の1ピースである。
そのピースは不可算個あり、各ピースはそれぞれ R の中で稠密である。
「R/Q の元はどれも [0, 1] と交わっており、
選択公理によって [0, 1] の部分集合で、
R/Q の代表系になっているものが取れる。」
→R/F の元はどれも [0, 1] と交わっており、
選択公理によって [0, 1] の部分集合で、
R/F の代表系になっているものが取れる。
まだ分からんの？正しいことが（＾＾
1054:古典数学の系譜 ベルヌーイ数を考える
20/01/18 11:18:44.91 BpWVyRSZ.net
>>968
＞Z様ってどうでしょう？
ウザいｗ
1055:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:18:54.52 jvo9z/Ks.net
>>971
>>955の有理数Qを２進有限小数∪2^nに置き換えていいのは分かるかな？
まだ、分からんの？ ヴィタリで、それだめ。
1056:古典数学の系譜 ベルヌーイ数を考える
20/01/18 11:21:28.41 BpWVyRSZ.net
読め 愚民どもｗ
Bernoulli numbers and the unity of mathematics
URLﾘﾝｸ(people.math.harvard.edu)
1057:１３２人目の素数さん
20/01/18 11:22:31.25 kMaeZbXH.net
>>972
ＨＮ長過ぎ
1058:１３２人目の素数さん
20/01/18 11:23:39.50 BpWVyRSZ.net
>>973
>ヴィタリで、それだめ。
「有限小数集合F(=∪2^n)は、実数集合Rの普通の加法についての部分群を成す。」
が分からんの？（＾＾
1059:１３２人目の素数さん
20/01/18 11:24:19.82 kMaeZbXH.net
じゃあ
❇ティンカー🌟ベル🔔ちゃんで。
1060:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:26:49.10 jvo9z/Ks.net
>>974
PDF紹介ありがとう
で
>>955の有理数Qを２進有限小数∪2^nに置き換えていいのは分かるかな？
まだ、分からんの？ ヴィタリで、それだめ。
1061:１３２人目の素数さん
20/01/18 11:27:45.94 kMaeZbXH.net
なりぷっ=ベル ←これ合ってる？
1062:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:28:10.92 jvo9z/Ks.net
>>976
>>955の有理数Qを２進有限小数∪2^nに置き換えていいのは分かるかな？
まだ、分からんの？ ヴィタリで、それだめ。
時枝が分からんのも道理か（＾＾
1063:１３２人目の素数さん
20/01/18 11:29:06.69 BpWVyRSZ.net
集合 G とその上の二項演算 μ: G × G → G の組 (G, μ) が群であるとは、
以下の3つの条件を満たすことをいう：
（結合法則）任意の G の元 g, h, k に対して、μ(g, μ(h, k)) = μ(μ(g, h), k) を満たす：
（単
1064:位元の存在）μ(g, e) = μ(e, g) = g を G のどんな元 g に対しても満たすような G の元 e が存在する： （逆元の存在）G のどんな元 g に対しても、μ(g, x) = μ(x, g) = e となるような G の元 x が存在する： 有限小数全体の集合Fと、その上の加算＋の場合 （結合法則） 満たす （単位元の存在） ０∈F （逆元の存在） ｘ∈Fの場合、－ｘ∈Ｆ したがって、（Ｆ，＋）は群
1065:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:29:21.51 jvo9z/Ks.net
>>980
一回 はまる と抜けられないんだね（＾＾
1066:ベルヌーイ数を考える
20/01/18 11:30:16.76 BpWVyRSZ.net
>>979
「ぷっ。」の人とは別人
1067:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:30:28.03 jvo9z/Ks.net
>>981
>>955の有理数Qを２進有限小数∪2^nに置き換えていいのは分かるかな？
まだ、分からんの？ ヴィタリで、それだめ。
1068:１３２人目の素数さん
20/01/18 11:31:35.81 BpWVyRSZ.net
>>982
>>981を読もうね
あっ、日本語読めないのか？ｗ
1069:ベルヌーイ数を考える
20/01/18 11:37:46.96 BpWVyRSZ.net
ベルヌーイ数
分子 微分トポロジー
分母 ホモトピー論
内容空疎な抽象論より内容豊富な具体物
1070:１３２人目の素数さん
20/01/18 11:49:24.67 kMaeZbXH.net
>>983
こわ... ﾋﾟｭｯ！買ｰΞ≡|
1071:１３２人目の素数さん
20/01/18 11:51:44.19 kMaeZbXH.net
(((`_|
1072:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:51:45.65 jvo9z/Ks.net
>>985
>>955の有理数Qを２進有限小数∪2^nに置き換えていいのは分かるかな？
まだ、分からんの？ ヴィタリで、それだめ。
一回 はまる と抜けられないんだね（＾＾
1073:１３２人目の素数さん
20/01/18 11:52:47.93 kMaeZbXH.net
>>987
文字化け...ベルｯﾋﾟの呪いか...
やるな...
1074:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:53:09.04 jvo9z/Ks.net
>>989
新スレ
現代数学の系譜 工学物理雑談 古典ガロア理論も読む81
ｽﾚﾘﾝｸ(math板)
新スレでも、繰り返しかね～ｗ（＾＾
一回 はまる と抜けられないんだね～（＾＾
1075:１３２人目の素数さん
20/01/18 11:54:12.03 BpWVyRSZ.net
>>989
まず群の定義を読もう
そして有限小数の集合が３条件を満たすことを確認しよう
君、地道な努力をしないから
いつまでたっても初歩で躓くんだよ
1076:１３２人目の素数さん
20/01/18 11:55:38.76 BpWVyRSZ.net
>>991
>新スレでも、繰り返しかね～
つまらないのでやめとく
君、延々と無意味な駄々こねてて楽しいかい？（＾＾
1077:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 11:56:33.65 jvo9z/Ks.net
>>979
>なりぷっ=ベル ←これ合ってる？
どうも。スレ主です。
元祖「ぷふ」さんのご紹介を書いておきました
下記ご参照
現代数学の系譜 工学物理雑談 古典ガロア理論も読む81
ｽﾚﾘﾝｸ(math板:4番)
1078:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 12:03:53.91 jvo9z/Ks.net
>>992-993
>>955の有理数Qを２進有限小数∪2^nに置き換えていいのは分かるかな？
まだ、分からんの？ ヴィタリで、それだめ。
一回 はまる と抜けられないんだね（＾＾
>>新スレでも、繰り返しかね～
>つまらないのでやめとく
じゃ、そのうち、新スレに謎解きを書いてやるよ
自称、数学科修士修了さんっよ（>>2）
これ、自得できないなら、おサルの証明になるよ
1079:古典数学の系譜 ベルヌーイ数を考える
20/01/18 12:04:04.24 BpWVyRSZ.net
＞てへぺろ☆(・ω<)さん
＞この人、ほんとはレベル高いみたい
素人の君に褒められてもな
一応、某有名大学数学科卒だからな
工学部卒の素人よりレベルが高くて当然
1080:１３２人目の素数さん
20/01/18 12:06:09.03 BpWVyRSZ.net
>>995
＞じゃ、そのうち、新スレに謎解きを書いてやるよ
どうぞ 君が恥かくだけだよ
1081:１３２人目の素数さん
20/01/18 12:06:49.87 kMaeZbXH.net
>>996
↑さっきのベルルっち？
1082:現代数学の系譜 雑談 古典ガロア理論も読む
20/01/18 12:07:03.05 jvo9z/Ks.net
>>996
おつ
>>995な
もうすぐ、おサルの証明が完成するよ
急げ～ｗ
1083:１３２人目の素数さん
20/01/18 12:07:43.86 kMaeZbXH.net
てへぺろ氏=ベルルっち ？？？
1084:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 14日 4時間 30分 52秒
1085:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています