19/05/26 22:29:41.56 Jg78G8az.net
この伝統あるガロアすれは、皆さまのご尽力で、
過去、数学板での勢いランキングで、常に上位です。
このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな~(^^
最近、AIと数学の関係が気になって、その関係の記事を集めています~(^^
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。
スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。
スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
興味のある方は、過去ログを(^^
なお、
小学レベルとバカプロ固定
サイコパスのピエロ(不遇な「一石」URLリンク(textream.yahoo.co.jp) 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets (Yahoo!でのあだ名が、「一石」)
(参考)URLリンク(blog.goo.ne.jp) サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
(なお、サイコの発言集「実際に人を真っ二つに斬れたら 爽快極まりないだろう」、「狂犬」、「イヌコロ」、「君子豹変」については後述(^^; )
High level people
低脳幼稚園児のAAお絵かき
上記は、お断り!
小学生がいますので、18金(禁)よろしくね!(^^
(旧スレが1000オーバー(又は間近)で、新スレを立てた)
2:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 22:31:44.58 Jg78G8az.net
(このスレの常連カキコさん説明)
1)
粘着の一人は、キチガイサイコパス(別名ピエロ >>1)、
どこかの(某大学) 数学科卒 修士課程修了らしい
東京大学とか(>>43)、すぐわかる明白なウソをいうやつだ
ロジックの破たんした見え見え、デタラメの屁理屈をこねる
それじゃ、数学は落ちこぼれで当たり前だ
こいつの発言は、全く信用できないので、基本スルーだ
(参考)
URLリンク(blog.goo.ne.jp)
サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む グレーより薔薇色 2007年04月06日
スレ32 スレリンク(math板:351番)
(抜粋)
私?某大学の数学科卒 修士課程修了ですが何か?
ま、この程度でHigh Level Personなんていうほど自惚れちゃいませんよ
やっぱ博士号くらいとらないと数学の世界では人間とは認められませんから
(引用終り)
2)
あと、特徴的なのが、High level peopleと名付けた人が二人。これもスルーだ
スレ28 スレリンク(math板) (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
High level peopleの一人が、時枝記事(数学セミナー2015年11月号の記事『箱入り無数目』)を紹介してくれたなのだが(下記見るとこの人が、スレ28を立てたみたい。この人は、昔Tさんと私が呼んでいた人だと思う)
High level peopleのもう一人が、「俺は測度論的確率論で正当化できて、パラドクスも説明できる」と言い出して、二人で、スレ28で議論した
が、「非可測集合Sに対し、(Sの内測度)<(Sの外測度) の条件下でSを扱いつつ確率を考える」などと迷走
確率変数の定義(>>517)も無理解で、”変数”と勘違いして”固定”なるトンデモを思いついたらしい
3)
あと、”High level people”を言い出した、英語おじさん(このスレで英語でのみカキコした人)がいたんだ
この人が、”High level people”を連発したので、借用させてもらったのだ(^^
つづく
3:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 22:32:58.58 Jg78G8az.net
つづき
4)
あと、”これは酷い”おじさん。これしか言わない、一言居士。英語おじさんと同一かも
さらに、キチガイサイコパスと同じ趣旨を書くのが一人いる。サイコパスピエロに、チョウチンをつけることが多い。サイコパスの成りすましの可能性もありかも
5)おっちゃん(別格)
自称、某R大卒。関数論に詳しい。「オイラーの定数γが有理数であることの証明を得た!!」という(^^
6)最近、時枝記事不成立派の人数人と、キチガイサイコパス取締りパトロール隊の方
まあ、常連カキコは、全員数学の非専門家でしょう(プロ(職業)ではない人)
∵数学のプロが、こんなところに粘着するわけがない(^^
常連カキコさんは、こんなところだ
まあ、解説が漏れていたら、ご容赦
以上、このスレのROMさんたちのための、常連カキコさんとおっちゃん(別格)の解説でした(^^;
4:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 22:33:27.21 Jg78G8az.net
<過去スレ>
(そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます)
(数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。
High level people は自分達で勝手に立てたスレ28へどうぞ!sage進行推奨(^^;
また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 スレリンク(math板)
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。)
(が、最近関数論の芽茎層の理論との親和性に気付いたので、後でテンプレに入れます。(^^ )
過去スレリンク集
65 スレリンク(math板)
64 スレリンク(math板:868番)-869 時枝記事否定派のAlexander Pruss先生が、意外に大物で数学のプロであること判明。勝負あり~!(^^
63 スレリンク(math板)
62 スレリンク(math板)
61 スレリンク(math板)
60 スレリンク(math板)
59 スレリンク(math板)
58 スレリンク(math板)
57 スレリンク(math板)
56 スレリンク(math板)
55 スレリンク(math板)
54 スレリンク(math板)
53 スレリンク(math板)
52 スレリンク(math板)
51 スレリンク(math板)
50 スレリンク(math板)
以下次へ
5:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 22:34:03.00 Jg78G8az.net
49 スレリンク(math板)
48 スレリンク(math板)
47 スレリンク(math板)
46 スレリンク(math板) <スレ46の422に書いた定理“系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない”>
45 スレリンク(math板) 哀れな素人さん 79-92
44 スレリンク(math板)
43 スレリンク(math板) (だれかが立ててスレ。私は行きません。このスレに不満な人は、そちらへ)
42 スレリンク(math板)
41 スレリンク(math板)
40 スレリンク(math板)
(40以降現代数学の系譜 工学物理雑談 古典ガロア理論も読む)
(39以前 現代数学の系譜 古典ガロア理論を読む)
39 スレリンク(math板) (別名 数学セミナー時枝記事の墓)
38 スレリンク(math板)
37 スレリンク(math板)
36 スレリンク(math板)
35 スレリンク(math板)
(35以降 現代数学の系譜 古典ガロア理論を読む)
(34以前 現代数学の系譜11 ガロア理論を読む)
34 スレリンク(math板)
33 スレリンク(math板)
32 スレリンク(math板) (251 サイコパスのピエロ登場 ID:1maZ/hoI )
31 スレリンク(math板)
30 スレリンク(math板)
以下次へ
6:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 22:34:22.81 Jg78G8az.net
29 スレリンク(math板)
28 スレリンク(math板) (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
27 スレリンク(math板)
26 スレリンク(math板)
25 スレリンク(math板)
24 スレリンク(math板)
23 スレリンク(math板)
22 スレリンク(math板)
21 スレリンク(math板)
20 スレリンク(math板) (512 2016/07/03 確率論の専門家さん来訪 ID:f9oaWn8A と ID:1JE/S25W )
19 スレリンク(math板)
18 スレリンク(math板)
17 スレリンク(math板) (314 2015/12/20 数学セミナー2015年11月号の記事『箱入り無数目』の最初)
16 スレリンク(math板)
15 スレリンク(math板)
14 スレリンク(math板)
13 スレリンク(math板)
12 スレリンク(math板)
11 スレリンク(math板)
10 スレリンク(math板)
9 スレリンク(math板)
8 スレリンク(math板)
7 スレリンク(math板)
6 スレリンク(math板)
5 スレリンク(math板)
4 スレリンク(math板) スレタイに4が抜けてますが(4)です
3 スレリンク(math板)
2 スレリンク(math板)
1 スレリンク(math板)
以上
7:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 22:35:31.10 Jg78G8az.net
以下、暫くテンプレ貼りを続けます。
(参考)
URLリンク(mathmathmath.dotera.net)
数学@2ch掲示板用 掲示板での数学記号の書き方例と一般的な記号
URLリンク(www.dslender.com)
DS数学BBSへ 練習用BBSへ
【掲示板での数学記号の書き方例(2chのものを若干変更)】
追加(良く使うが出しにくい記号)
\ ⇒⇔∈∋⊂⊃∀∃ (アレフ=これ文字化けするね)買ミΠπζ∴∵≠
8:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:01:48.29 Jg78G8az.net
URLリンク(www.kurims.kyoto-u.ac.jp)
星裕一の論文
(抜粋)
宇宙際 Teichmuller 理論入門 PDF (November 2015) URLリンク(www.kurims.kyoto-u.ac.jp)
続・宇宙際 Teichmuller 理論入門 PDF (April 2016) URLリンク(www.kurims.kyoto-u.ac.jp)
(引用終り)
URLリンク(ja.yourpedia.org)
宇宙際タイヒミュラー理論 Yourpedia
(抜粋)
グロタンディーク宇宙
集合論は無限の階層を持つ。
公理から論理的演繹のみであらゆる数学を展開できるとされる公理的集合論ZFCのモデルとなる集合は、宇宙などと称されることが多い。
圏の一般理論はZFCだけでは展開できないが、ZFCに新たに別の公理を加えたZFCGにおいては展開できるようになる。
このモデルとなるのがグロタンディーク宇宙である。
(引用終り)
URLリンク(en.wikipedia.org)
Inter-universal Teichmuller theory (abbreviated as IUT)
(抜粋)
Contents
1 History
2 Mathematical significance
2.1 Scope of the theory
2.2 Consequences in number theory
3 References
4 External links
(引用終り)
関連(TARO-NISHINOの日記)
URLリンク(taro-nishino.blogspot.com)
9:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:03:28.55 Jg78G8az.net
趣味の定期巡回5chスレ (^^;
余談ですが、望月新一先生持ちこたえているみたい。つまり、IUTTは正しい可能性大だと思う(^^
(完�
10:Sにヤジウマです) Inter-universal geometry と ABC予想 38 https://rio2016.5ch.net/test/read.cgi/math/1556364289/ 関連: 望月新一(数理研) http://www.kurims.kyoto-u.ac.jp/~motizuki/ 新一の「心の一票」 - 楽天ブログ https://plaza.rakuten.co.jp/shinichi0329/ math jin:(IUTT情報サイト) https://twitter.com/math_jin (deleted an unsolicited ad)
11:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:04:41.06 Jg78G8az.net
大学新入生もいると思うが、間違っても5CH(旧2CH)で数学の勉強なんて思わないことだ
このスレは、半分趣味と遊びのスレと思ってくれ(^^;
もう半分は、ここはおれのメモ帳だ (ここには、自分が面白いと思った情報を集めてあるんだ。過去ログ見ると、いろいろ面白い情報(リンクやPDF があるよ(^^ )
( もしサイト移動などでリンク切れのときは、引用してある文章のキーワードによる検索をお願いします )
以下過去スレより再掲
スレリンク(math板:7番)
7 自分:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/04/19(水) 22:07:49.66 ID:gLi5Ebjw
まあ、過去何年かにわたって、猫さん、別名、¥ ◆2VB8wsVUooさんが、数学板を焼いていたからね
ガロアスレは別として、数学板は焼け跡かな
再生は無理だろう
そもそも、5CH(旧2CH)は、数学に向かない
アスキー字に制限され、本格的な数学記号が使えない
複数行に渡る記法ができない
複数行に渡る矢印や、図が描けない(AA(アスキーアート)で数学はできない)
大学数学用の掲示板を、大学数学科が主体となって、英語圏のような数学掲示板を作った方がいいだろうな、実名かせめてハンドルネーム必須でね、プロないしセミプロ用のを
12:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:05:03.24 Jg78G8az.net
個人的には、下記類似” 先生>周りの人>知恵袋の人>>> 5CH(旧2CH)の人”と思う(^^
スレリンク(math板:494番)
494 現代数学の系譜11 ガロア理論を読む 2017/04/17
前にも紹介したが、新入生もいるだろうから、下記再掲しておく。なお、信用できないに、私スレ主も含めること。定義から当然の帰結だが(^^;
URLリンク(note.chiebukuro.yahoo.co.jp)
Yahoo 知恵袋
数学の勉強法 学部~修士
ライター:amane_ruriさん 最終更新日時:2012/8/6
(抜粋)
私は修士1年生ですので、正直に言いますとこの部分はあまり書いているのが正しいとは思えません。趣味で書いているものだと認識していただければ良いのではないかと思っております。
大学3、4年に入ってまず怖いのが数学の本の氾濫でしょう。まず何を読んで何をすればいいのか分からなくなります。
そして、自分のやっていることがいかにちっぽけな存在なのかというのを実感させられます。(多分皆がそうでしょう。)そして、結果が問われてきます。
ここで、数学科は「入るのは易しいけどプロになるのは難しい」ということが実感させられてきます。
2012年8月3日現在、書泉グランデで有名数学者の薦める本がありました。森重文先生を初めとして本の多さに圧倒されました。(足立恒雄先生は信頼と安心のブレなさ)
2. 2ch*)の内容は信用できるか?
基本的に信用できません。先生>周りの人>>> 2ch*)や知恵袋の人です。何故かというといつも同じことしか言っていないから。多分きちんと検証していないで想像で議論しているだけではないのかと私は思っています。
(まあ、自分もあんまり信用できないけど)
数学をする場合は、問題が解けることも重要なのですが問題設定を作ることが大切です。そういう時に、どういう風に学んできたのかとか、正確な知識がどういう部分でどれだけ持っているのか、調和性や、生まれて来た環境っていうのが重要になってきます。
ただ、それがどうも2ch*)の人は見られない(し、そもそも偉そうなことを言っている人が本当にできるかどうか分からない。)。こういう類のものは勉強不足ですとか、分かっていませんでしたで済まされるものではないと個人的には思うのですが。
(引用終り) (注*):2chは、現5ch)
13:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:05:26.78 Jg78G8az.net
過去スレより
スレリンク(math板:338番)
338 現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/04/09(日) 23:46:26.46 ID:Rh9CzQs6
スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします
大体、私は、自分では、数学的な内容は、筆を起こさない主義です
じゃ、どうするかと言えば、出典明示とそこからの(抜粋)コピペです
まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます
が、それも基本、信用しないように
数学という学問は特に、自分以外は信用しないというのが基本ですし
”証明”とかいうらしいですね、数学では
その”証明”がしばしば、間違っていることがあるとか、うんぬんとか
有名な話で、有限単純群の分類
”出来た!”と宣言した大先生が居て、みんな信用していたら、何年も後になって、”実は証明に大穴が空いていた”とか
おいおい、競馬じゃないんだよ(^^;
URLリンク(ja.wikipedia.org)
単純群
1981年にモンスター群が構成されてからすぐに、群論の研究者たちがすべての有限単純群を分類したという、合計10,000ページにも及ぶ証明が作られ、1983年にダニエル・ゴレンスタインが勝利を宣言した。
これは時期尚早だった、というのはいくつかのギャップが、特に準薄群(英語版)の分類野中で発見されたからである。このギャップは2004年に1300ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。
14:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:06:07.00 Jg78G8az.net
補足
スレリンク(math板:352番)
352 自分:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/04/29(土)
みんな、何に価値をおいているか、それぞれだろうが・・
個人的には、数学板で一番価値を置いているのは、確かな情報 つまり 根拠の明確な情報 つまり コピペ
わけのわからん名無しさん(素数さん)のカキコを真に受けるとか、価値をおく人は少ないだろう
きちんと、大学教員レベルの証明があればともかく、匿名板でそれはない(名無しカキコは基本価値なし)
15:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:07:44.50 Jg78G8az.net
スレ56より (なお、「イメージ」~「ビジョン」~「哲学」かも(^^ )
スレリンク(math板:178番)
渕野先生は、”厳密性を数学と取りちがえるという勘違い”を書いている(下記)(^^
「イメージ」がお気に召さなければ、「ビジョン」といっても良い
”アイデアの飛翔をうながす(可能性を持つ)数学的直観”が無いピエロは
数学では落ちこぼれの劣等生ということだ
ただ単に、厳密性のみを追い求めるのはピエロだ
だから、だからおまえは数学で落ちこぼれるんだよ(^^
ニュートン、ライプニッツ、オイラー、ガウス、コーシー、アーベル、ガロア、リーマン、デデキント・・・
みんな各人、数学に対する明確なビジョンがあって、彼らの数学的業績がある
(しばしば、厳密性な証明は後から与えられることも多くあった)
16:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:08:50.66 Jg78G8az.net
つづき
(引用開始)
スレ24 スレリンク(math板:654番)
(抜粋)
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
アマゾン
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
P314
(抜粋)
数学の基礎付けの研究は,数学が厳密でありさえすればよい, という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが,厳密性を数学と取りちがえるという勘違いは,
たとえば数学教育などで蔓延している可能性もあるので,
ここに明言しておく必要があるように思える
多くの数学の研究者にとっては,数学は,記号列として記述された「死んだ」数学ではなく,
思考のプロセスとしての脳髄の生理現象そのものであろう
したがって,数学はその意味での実存として数学者の生の隣り合わせにあるもの,と意識されることになるだろう
そのような「生きた」「実存としての」(existentialな)数学で問題になるのは,
アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので,
これは, ときには,意識的に厳密には間違っている議論すら含んでいたり,
寓話的であったりすることですらあるような,
かなり得体の知れないものである
(引用終り)
17:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:09:30.50 Jg78G8az.net
なんか、アマゾンのURLがNGになっているみたい
わけわからんな
18:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:10:11.00 Jg78G8az.net
スレ56より
スレリンク(math板:180番)
別に厳密性を犠牲にしろとは言っていない
厳密性のみを追い求めて、”記号列として記述された「死んだ」数学”で終わらずに
自分なりのイメージやビジョンを持つこと
佐藤幹夫先生はそんな人だと思うよ
19:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:10:38.87 Jg78G8az.net
補足
<数学ディベート>について
過去スレより
スレリンク(math板:50番)
50 自分:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/05/06
どこの馬の骨ともしれん連中との、数学ディベートもどきより
URLとコピペやPDFの方によほど価値を見いだすスレ主です(^^;
スレリンク(math板:189-190番)
189 自分:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/05/09
いやはや、(文系) High level people たち( ID:jEMrGWmk さん含め)の、数学ディベートもどきは面白いですね(^^;
”手強い?”とは・・、まさに、ディベートですね
私ら、理系の出典(URL)とコピペベース、ロジック(論証)&証明重視のスタンスと、ディベートもどきスタイル(2CHスタイル?)とは、明白に違いますね
私ら、(文系) High level people たちとの議論は、時間とスペースの無駄。レベルが高すぎてついていけませんね。典拠もなしによく議論しますね。よく分かりましたよ(^^;
190 自分返信:現代数学の系譜11 ガロア理論を読む[sage] 投稿日:2017/05/09
私ら、理系は、一応従来の議論は調べて、その上でしか議論はしません
そうしないと、大概二番煎じですし、車輪の再発明ですから
典拠もなしによく議論しますね~。よく分かりましたよ(^^;
私とは、議論がかみ合わないわけだ・・
”他サイトからのコピペでスレを埋め尽くす行為” なんて非難されましたけどね~(^^;
ディベートに勝ちたいからそういう発言なんですね~。典拠もなしで、出した典拠も読まない議論か・・。よく分かりましたよ(^^;
20:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:11:09.72 Jg78G8az.net
過去スレより
(当のおっちゃんは、偶にしか戻ってこないが(^^ )
スレリンク(math板:638番)
638 名前:現代数学の系譜 古典ガロア理論を読む[sage] 投稿日:2017/07/11(火) 08:40:28.58 ID:+FRiTcES
>>630
おっちゃん、どうも、スレ主です。
>>まあ、おっちゃんが、上記を理解したら、時枝は終わりにしよう
>マジメに時枝問題のことでスレ主に付き合う気はなく、
>もはやそういうことをする価値もない。
>スレ主自身の主張や考え方が大きく間違っていることを私のせいにするべきではない。
いやいや、おっちゃんよりレベルの低い人と議論するつもりはないんだよ~(^^
がまあ、おっちゃんのいう「価値もない」にも一理ある
ということで、皆さん悪いが、時枝は、一時棚上げだ。時々やろう
下記のパロディーで言えば、「数学雑談&ガロア理論 ~おっちゃんとボクと、時々、(時枝 & ¥さん)~」かな(^^
まあ、話題を散らしながら、ゆっくりやりましょう(^^
おっちゃん! いま気になっていることを、好きに書いてくれ!(^^
URLリンク(ja.wikipedia.org)
東京タワー ~オカンとボクと、時々、オトン~ - Wikipedia
(抜粋)
『東京タワー ~オカンとボクと、時々、オトン~』(とうきょうタワー オカンとボクと、ときどき、オトン)は、リリー・フランキーの実体験を基にした長編小説である。
2006年と2007年にテレビドラマ化(単発ドラマと連続ドラマ)、2007年に映画化、舞台化されている。
2005年6月29日、扶桑社より発売された[1]。装丁もリリー本人。初版は3万部だった。2006年1月には100万部を突破。2006年10月31日には200万部(扶桑社発表)を越すベストセラーとなった。
久世光彦が「泣いてしまった…。これは、ひらかなで書かれた聖書である」と評価した。
(引用終り)
21:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:16:45.29 Jg78G8az.net
「現代数学のもとになった物理・工学」のスレタイ 解題:
言わずもがなですが、数学の発展の大きな原動力は、物理です。数学の発展の大きな原動力は、工学です。
別に説明するほどのこともないですが。
古代の幾何学の背景に、実際の土地測量や巨大建築からの要請が原動力にあったことは間違いないでしょう。
22:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:18:22.89 Jg78G8az.net
さて、スレ54で議論していたのが、下記の定理1.7と関連の系1.8だ
(スレ53で一段落ですが)
定理1.7 (スレ26のNo.422 に書いた定理)
f : R → R とする.
Bf :={x ∈ R | lim sup y→x |(f(y) - f(x))/(y - x)|< +∞ }
と置く: もしR-Bf が内点を持たない閉集合の高々可算和で被覆できるならば、
f はある開区間の上でリプシッツ連続である.
証明
このとき, 補題1.5 を満たすN,M >= 1 が存在するので, 明らかにx ∈ BN,M である.
系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない.
証明
定理1.7 が使えて, f はある開区間(a, b) の上でリプシッツ連続である.
一方で, x ∈ Q とf の仮定により, f は点x で不連続である. これは矛盾. よって, 題意が成り立つ.
(引用終り)
詳しくは、スレ62 スレリンク(math板:18番)-20 ご参照
23:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:18:45.55 Jg78G8az.net
つづき
なお、関連で
スレリンク(math板:169番)
【大学院へ】 30過ぎて、数学の道へ 【挑戦】 第5章
169 名前:132人目の素数さん[sage] 投稿日:2018/01/21(日) 16:03:36.47 ID:lFNYSsdP
ちなみに今ガロアスレではスレ主が「背理法が分かってない」ことが判明し燃えているw
そしてID:792180RTことおっちゃんも背理法を分かっていなかった事実がある。
君らが相手にしているのはこのような輩である。
(引用終り)
(補足説明)
”スレ主が「背理法が分かってない」”と書かれているが、これは全くの逆である
この議論中で、系1.8の背理法が問題になって、「私スレ主が背理法分っていない」という誤解された途中経過を辿ったが、
その実定理1.7の証明が不成立であったから
(そもそも、命題の立て方からして間違っていたのだ。場合分けが必要で、
1)“R-Bf ”が稠密に分散している場合と
2)“R-Bf ”が稠密に分散していない場合
の二つに分けて考えるべきだった)、
なので系1.8の背理法も成立していないことが、はっきりしたというのが正しい。
(結局、途中私一人だけが正しく「背理法不成立を指摘した」ということです(^^; )
なお、この定理1.7と関連の系1.8 に関連して、ほんといろんなことを勉強させてもらって、良かったよ。感謝しています(^^;
以上
24:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:19:41.03 Jg78G8az.net
さてさて、
時枝問題(数学セミナー201511月号の記事)まとめについては
スレ47 スレリンク(math板:11番)-67 ご参照!
( 特に時枝記事アスキー版 スレ47 スレリンク(math板:18番)-25 )
スレ54 スレリンク(math板:94番)
94 名前:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日:2018/11/01(木) ID:ypCHJLQo
>>89
>「どの同値類が来ても、それに対応する(有限値の)決定番号を準備出来ますよ」
>ということです
>だから決定番号が有限に収まる確率は1になる
突然で、話が見えない人も多いだろうから、簡単に書くと
数学セミナー 2015年11月号 箱入り無数目 時枝 正(下記参考)で
話の前提は、こうだったね
1)可算無限個の箱の列(まあ自然数で1番~n番までの箱で、n→∞を実現したよと)
2)箱に任意の数を入れる(実数でもなんでも良し。重複も許す)
3)この数列を、列のしっぽの同値類で分類する
4)二つの数列において、ある番号mから先の数列しっぽが一致するとき、mを決定番号と呼ぶ
で、その流儀の説明倣えば
a)決定番号が1になる確率(2列の全ての、しっぽの対応する箱の数が、一致する場合の確率)は、0(∵しっぽが可算無限個の箱の列だから)
b)決定番号が2になる確率(2列の2番目以降の全ての、しっぽの対応する箱の数が、一致する場合の確率)は、0(∵しっぽが可算無限個の箱の列だから)
c)以下同様に、決定番号がkになる確率(2列のk番目以降の全ての、しっぽの対応する箱の数が、一致する場合の確率)は、0(∵しっぽが可算無限個の箱の列だから)
d)よって、どの有限な決定番号を考えても、それ以降の全ての、しっぽの対応する可算無限個の箱の数が、一致する場合の確率は、0になります !!(^^ (∵しっぽが可算無限個の箱の列だから)
(参考)
URLリンク(www.nippyo.co.jp)
数学セミナー 2015年11月号
箱入り無数目────────時枝 正 36
(引用終り)
ほぼほぼ、時枝は、「ぷふ」さんのおかげで完全終了です! \(^^)/
25:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:20:14.48 Jg78G8az.net
なお、これ過去スレに書いたけど
スレ59 スレリンク(math板:840番)
840 返信:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日:2019/02/03(日) 14:47:03.11 ID:BnDtX2yP [9/79]
纏めると
1)大学数学科で3年、4年で確率論と確率過程論を学べば、
それは時枝記事と不一致で、時枝不成立はすぐ分る
2)だが、さらに進んで、当たらないのになぜ当たるように見えるのかが問題になる
3)一つは、すでに述べたが、同値類である元と代表とを比較して、
なにか確たることが言えるが如くの標準外のトンデモ論法を使っているところだと
(例えば >>683-684 ご参照)
4)もう一つが、可算無限長の数列のしっぽの同値類にある
しっぽの箱を開けると、どの同値類に属するかが分る。
だが、それが分る全てだ。
どの同値類に属するかが分っても、箱の中の数で分るものが増えるわけでなないよと
(細かい議論は、上記>>838などをご参照)
5)なお、非可測でビタリ集合に言及しているが、後述Hart氏PDFのGame2では選択公理を使わないから、ビタリ集合お呼びじゃない。
また、(引用)”独立な確率変数の無限族 X1,X2,X3,… 確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義される”
ここで、
「任意の有限部分族が独立←→独立な確率変数の無限族 X1,X2,X3,…」と同値関係にある
なので、
「勝つ戦略なんかある筈ない,と感じた私たちの直観は,無意識に(1)に根ざしていた,といえる.
ふしぎな戦略は,確率変数の無限族の独立性の微妙さをものがたる, といってもよい.」
は、完全に外れ
(端的に言えば、時枝先生は数学セミナー誌で5chみたいなフェイク記事を書いちゃったみたい。確率過程論に無知だったかも知れないね。)
で、最近、時枝の可算無限個の数列のシッポの同値類と、函数の芽の同値類(茎、層の関連)との対応で
これで、「時枝がなぜ当たるように見えるのか(実際は当たらないのに)」が説明できそうだということ
細かい話は、スレ62 スレリンク(math板:22番)-30ご参照
つづく
26:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:20:58.11 Jg78G8az.net
初歩の初歩「確率変数ってなに?」(確率変数の定義)が分っていない人が、したり顔で時枝を語るの図
まさに、サイコパスそのものだね(^^;
(確率変数の定義については、後述。)
・時枝記事を論じる最低レベルに達していない人たちと議論しても時間の無駄
<時枝記事>
スレ35 スレリンク(math板:12-18番) 時枝問題(数学セミナー201511月号の記事)
(抜粋)
1.時枝問題(数学セミナー201511月号の記事)の最初の設定はこうだった。
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^πを入れてもよいし,すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
スレ47 スレリンク(math板:22番)
(抜粋)
数学セミナー201511月号P37 時枝記事より
「もうちょっと面白いのは,独立性に関する反省だと思う.
確率の中心的対象は,独立な確率変数の無限族
X1,X2,X3,…である.
n番目の箱にXnのランダムな値を入れられて,ある箱の中身を当てようとしたって,
その箱のX と他のX1,X2,X3,・・・がまるまる無限族として独立なら,
当てられっこないではないか--他の箱から情報は一切もらえないのだから.
(引用終り)
・どんな実数を入れるかはまったく自由、もちろんでたらめだって構わないとあるので、「独立同分布(IID)」及び「乱数の一つのホワイトノイズ」を用いることは可
・時枝記事に、”独立な確率変数の無限族X1,X2,X3,…”とある。独立同分布(IID)に言及している。(同分布とはしていないが、同分布を含意していることは自明)
・確率変数の族=確率過程 である。つまり、確率過程論の話しである(下記重川の定義より)
・時枝記事後半の「ランダムな値」は、乱数ともいう。下記ホワイトノイズ:実際上は正規乱数をホワイトノイズとして利用する とあるように、ホワイトノイズは乱数の例である
(時枝記事を論じる最低レベルに達していない人たちと議論しても時間の無駄)
27:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:21:30.80 Jg78G8az.net
(参考)
URLリンク(www.math.kyoto-u.ac.jp)
重川一郎のホームページ 京都大学大学院理学研究科数学教室
URLリンク(www.math.kyoto-u.ac.jp)
2013年度前期 確率論基礎 講義ノート
P4
28:7 「定義1.1. 時間t ∈ T をパラメーターとして持つ確率変数の族(Xt)を確率過程という.」 https://ja.wikipedia.org/wiki/%E3%83%9B%E3%83%AF%E3%82%A4%E3%83%88%E3%83%8E%E3%82%A4%E3%82%BA ホワイトノイズ (抜粋) 生成方法 実際上は正規乱数をホワイトノイズとして利用する。なおこのときガウス性も満たすので、ホワイトガウスノイズとなる。 Excelの分析ツールを用いて、正規乱数を作成することができる。 https://ja.wikipedia.org/wiki/%E4%B9%B1%E6%95%B0%E5%88%97 (抜粋) 乱数列(らんすうれつ)とはランダムな数列のこと。 数学的に述べれば、今得られている数列 x1, x2, ..., xn から次の数列の値 xn+1 が予測できない数列。乱数列の各要素を乱数という。 (引用終り) 以上 (なお、確率過程論全般については、下記が詳しくかつ分り易いと思う http://www.f.waseda.jp/sakas/stochastics/stochastics.pdf/aspText.pdf 「確率過程とその応用」管理人 逆瀬川浩孝 早稲田大学)
29:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:22:10.99 Jg78G8az.net
さて、次のHart氏PDFは、時枝記事の元ネタでしょうね
URLリンク(www.ma.huji.ac.il)
Sergiu HART The Hebrew University of Jerusalem
(抜粋)
URLリンク(www.ma.huji.ac.il)
PUZZLES
・Choice Games URLリンク(www.ma.huji.ac.il)
Some surprising results involving the Axiom of Choice, and also without it!
URLリンク(www.ma.huji.ac.il)
(A similar result, but now without using the Axiom of Choice.2 Consider the following two-person game game2:)
P2
Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing
the xi independently and uniformly on [0, 1] and {0, 1, ・・・, 9}, respectively.
”independently and uniformly”が、独立同分布(IID)を含意
区間[0, 1]から、∀iで、任意の実数 xiを選べば、「ルベーグ測度は0」だから、的中確率も0だ
独立同分布(IID)で、”箱”つまり”i”の範囲は、有限あるいは無限どちらも同じく無関係だ
よって、唯一の分布を考えれば良い。そして、繰返すが、区間[0, 1]から、任意の実を選べば、「ルベーグ測度は0」だから、的中確率も0だ
(時枝記事は、区間[0, 1]→R全体だから、さらに的中は難しい)
さて、∀i xi で確率0が、スタート地点になる!(最初はgoo!でなく、最初の確率は0だ)
時枝記事で、最初の1列の無限個の箱∀i xi で確率0
が、時枝記事の並べ変えを行うと、∃i xi で確率99/100になるという
”確率0”は、大学で学ぶ現代確率論(確率過程論)よりの結論
一方”∃i xi で確率99/100”は、数学セミナーの時枝記事よりの結論
∃i xiの箱は、二つの異なる確率0と99/100と、二つの値を取ることになる(矛盾)
30:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:22:40.42 Jg78G8az.net
・なお、時枝も”無限を扱うには,(2)有限の極限として間接に扱う”としている。この場合も、上記Hart氏の通り!
とあって、the Axiom of Choiceを使わない game2も、それを使うgame1と全く同様に成立つと書かれている
・ならば、game2では、ヴィタリ類似のルベーグ非可測集合は出現しないので、無関係
よって「選択公理や非可測集合を経由したから」の記述は、ミスリードだね(時枝は、game2を知らなかったみたい)
(なお、余談だが、Sergiu Hart氏は、game2もgame1も、すべて不成立を承知の上で書いているようだ。)
∵あくまで、自分のホームページにのみアップしているし、
n有限→∞の極限で、Hart氏のPDF129より、任意の有限(the number of boxes is finite
31:)の場合、当てられないから、その極限でも当然当てられないのだから。 以上
32:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:23:03.77 Jg78G8az.net
< 時枝記事への敗北宣言か勝利宣言か? (1)(^^;
スレ55 スレリンク(math板:484番)
484 自分:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日:2018/12/08(土) 22:50:48.10 ID:bIDCQoJi [42/43]
>>481
はいはい
>スレ主が以下のものを出すようになったら敗北宣言
じゃ、もっと敗北宣言を、させて下さい
1)全国の数学科生に告ぐ **)
どうぞ、大学の数学科教員に頼んで
”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は正しい”ということ
及び、その理由を簡単に書いて(理由は、「正しいから正しい」でも可)
その方のサイトに、その方の実名で、アップしてもらえませんか?
(文案はどなたが書いても可です。その方が承認してアップするならね)
2)どうぞ、このスレ主に敗北宣言を出させて下さい
私は、大学の数学科プロ教員には、とても敵いませんので、すぐ敗北宣言を出します
赤っ恥で結構です。
私は、このスレを閉じますよ。
(まあ、彼らは、落ちこぼれのピエロとは実力が違いますからね。私の実力では抵抗は無駄でしょうね)
3)それが出るまでは、私の勝利*です( 注*:これ定義です(^^; )
注**):どうぞ、このスレを見たどなたでも、貴方が直接教員に頼んでも良いし、知り合いの学生を通じての依頼でも可です
上記1)について、よろしくお願いします。(^^;
(つまらん、低レベル(落ちこぼれレベル)の議論を、延々続けても仕方ないですからね)
それまでは、上記3)の定義の通り、私の勝ちです(^^
33:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:23:55.64 Jg78G8az.net
< 時枝記事への敗北宣言か勝利宣言か? (2)(^^;
スレ55 スレリンク(math板:571番)
571 返信:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日:2018/12/11(火) 11:18:02.05 ID:5Lj3GQW7 [2/8]
>>549
「大学の数学科教員に頼んで
”数学セミナー 2015年11月号 箱入り無数目 時枝 正の記事は誤り”
ということ及び、その理由を数学科の学生が検証できる程詳しく書いて
教員の実名で当人のサイトにアップしてもらいな」
はい
大学で数学を教えている恩師のところへ行ってきました
以下は、その概略です(^^
1.時枝記事の解法は成り立たない
2.それは、大学で数学を教える教員全員の常識だし
不成立が理解できないのは、数学科生としては、落ちこぼれだね
3.だが、それを実名で公表することは、日本でははばかられる
時枝先生に賛成して”よいしょ”するのは実名でも可だが
反旗をひるがえして”反論”するのは、ははばかられるってこと
みんな知っていることだし、いまさらだからね
4.そうか、ピエロというのがいるのか?
そいつは、完全に数学科落ちこぼれだな
彼は、選択関数を濫用している。選択関数で何でも簡単に証明できるなら、ツォルンの補題は不要だ
彼は、サイコパスで、誇大妄想・自己肥大だね
数学科出て不遇なのか。だが、性格が悪いし、能力が低いから、仕方ないね
ということでした
私は、この面談の詳細な証明を持っているが、このスレの余白は狭すぎる。証明は思いつくであろう
ということです。数学では、反例は一つで良い!
どうぞ、皆さんの手で反例を(>>29を使って)出して下さい
ピエロ、頑張れよ(^^
34:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:24:20.68 Jg78G8az.net
さてさて、サイコパスの生態標本です
(こういう人が世の中に存在すると知ってもらう意味で(^^; )
(参考:>>1のサイコパスのピエロ発言例)
特に「実際に人を真っ二つに斬れたら 爽快極まりないだろう」にご注目ください(^^;
過去スレ58 スレリンク(math板:768番)
768 自分:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日:2019/01/25(金)
35:06:35:26.99 ID:sw2GMLb3 [1/29] それさ、時枝記事の話じゃなく 例えば下記の彼の発言引用みたいに 誰彼かまわず些末な揚げ足を取って その実自分が間違えていて、 あるいは、理解不十分な難癖で それが明らかになったら、 ”君子豹変”で自己を正当化するが その途中で相手に暴言を吐く そういうサイコパス(=ピエロちゃん)を、たしなめている そういうことだと思うよ もっと言えば、それを繰返すなら、コテ付けろと NGするからみたいな(^^ ”実際に人を真っ二つに斬れたら 爽快極まりないだろう” か、全くサイコパスだねー この発言が通常人にどう受け止められるか、理解できないんだろうね、彼には
36:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:24:44.05 Jg78G8az.net
つづき
(引用開始)
(>>351より)
実際に人を真っ二つに斬れたら
爽快極まりないだろう
(>>352より)
なんだ、スレ主と同じ自己中か
焼かれて死ね
(>>612より)
勝手に吠えろ 狂犬
(>>616より)
狂犬がワンワン吠えたおかげで
「代表元も決定番号もプレイヤーが勝手に知ればいいので
ディーラーがそんなこと分かったら逆におかしい」
ということが明らかになった
これこそ明確な態度の変更 君子豹変
ありがとよ 狂犬!!!
(>>617より)
必要ないことに
今更ながら気づいちゃったから
ということで君の三パターン、全然無駄だから
どうだ 狂犬 自分の発言で自爆した気分は?
(引用終り)
つづく
37:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:25:19.59 Jg78G8az.net
つづき
<サイコのバカ発言集追加>(^^
(サイコのバカ発言)
前スレ58 スレリンク(math板:634番)
634 名前:132人目の素数さん[sage] 投稿日:2019/01/23(水) 17:03:41.92 ID:JF7m6dzy [46/62]
>>632
>むやみに振り上げてしまった拳
ああ、お前の>>539な
勝手に降ろせよ だれも振り上げろなんて頼んでないし
だいたいディーラーを持ち出すことで何がどう面白いのか結局語れずじまい
「論理的に同じ」とかいう自明な話したいだけなら、最初から云うなよ
だれもそんなクソ話聞きたくねえよ!
(相手の発言)
前スレ58 スレリンク(math板:637番)
637 名前:132人目の素数さん[sage] 投稿日:2019/01/23(水) 17:12:02.88 ID:69vKfGyL [44/50]
>>634
>「論理的に同じ」とかいう自明な話したいだけなら、最初から云うなよ
>だれもそんなクソ話聞きたくねえよ!
やっと認めましたね?
そうです。「論理的に同じ」とかいう自明な話なんです
「自明」とは「わざわざ書くまでもなく正しい」という意味であり、
つまりこちらの書き込みは正しい書き込みなんです
まあナンセンスな話だったかもしれないけど、でも正しい書き込みなんです
それにも関わらず、あなたは執拗に批判してきました
しかも、あなたは途中で「君子豹変」とか言って主張内容を変化させています
誰がどう見ても、あなたは無暗に振り上げてしまった拳をずっとおろせずに
「頭がオカシイ」としか言えなくなっています
つづく
38:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:25:39.69 Jg78G8az.net
つづき
(サイコのバカ発言)
前スレ58 スレリンク(math板:639番)
639 名前:132人目の素数さん[sage] 投稿日:2019/01/23(水) 17:18:55.31 ID:JF7m6dzy [49/62]
>>637
>正しい書き込みなんです
>それにも関わらず、
>あなたは執拗に批判してきました
狂犬は「批判」といってるが全くの誤り
私は「ナンセンス」だといってるのである
「自明な正しさ」なんてまさに「ナンセンス」の極致
そんな話を長々と数学板でするんじゃねえ
というのはまさに当然のことw
>「君子豹変」
ええ、イヌにはできないことを人間様としてやって差し上げました
そもそもディーラーを持ち出すことに違和感があったのですが
それは「プレイヤーが勝手にやってることをディーラーが知る」
という点にあったと気づいたので、それを明確にしました
あなたは「全部の箱にπを入れる」ことにまだ固執してるようですが
それはあなたが「固定」の意味を誤解したま
39:まそれすら認めないから でしょう あなたは君子ではない 人ですらない イヌコロですw つづく
40:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:26:11.10 Jg78G8az.net
つづき
(相手の発言)
前スレ58 スレリンク(math板:650番)
650 名前:132人目の素数さん[sage] 投稿日:2019/01/23(水) 17:52:40.04 ID:69vKfGyL [49/50]
>>648の続きになるが、そういえば君、最初からずっと
こちらの書き込みについて誤読がつづいてたね
途中で「君子豹変」とか言って主張を変えてみたりしながら。
君のクセは大体わかってきたよ
ロクに今までの流れを把握することもなく、その貧弱な読解力で
表面的に他人のレスを1回だけ読んでみて、それで発言の意図や
書き込みの意味が分からなかったら「こいつはバカだ」と言って
相手を批判するというわけだ。君の誤読の中でも最高にヤバイのは
>全ての箱に同じ数をいれるかどうかは固定とは無関係
これだね。バカじゃないのw 一体だれが
「ぜんぶ同じ実数でなければ固定ではない」
なんて言ったんだよw「箱の中で転がり続けるサイコロ」というバカな発想を
封印するための最も簡単な手段が「全部π」なのであって、そういう意図で
>>506が書かれていることは>>506周辺の流れを見れば一目瞭然だろうが。
「全部π」と「固定」を機械的に結び付けるからそういう誤読になるんだよ
(相手の発言)
前スレ58 スレリンク(math板:653番)
653 名前:132人目の素数さん[sage] 投稿日:2019/01/23(水) 18:08:43.45 ID:69vKfGyL [50/50]
>>652
>おまえみたいな池沼に数学板は無理 もう書き込むな
いやあ、「君子豹変」とか言って途中で
主張を変えてしまうような池沼の発言は一味違うね
君のクセは大体分かってきたと既に書いた
まとめると、君はAI読みしかできず、相手の発言もその前後の文脈もまともに読まず、
それで発言の意図や書き込みの意味が分からなかったら「こいつはバカだ」と言って
相手を批判し、後になって気が変わると堂々と「君子豹変」とか言って
自分の主張を変えるクズだということ
こういう唯我独尊な感じ、アホ主の高圧的な態度にそっくりだね
さすがに君への興味は薄れたというか、「お里が知れた」ので、
もう君の相手は十分かな
(引用終り)
以上
41:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:26:40.18 Jg78G8az.net
つづき
関連で
確率変数の定義と説明は、下記 渡辺澄夫 東工大が分り易い
スレ62 スレリンク(math板:892番)
”可測関数X: Ω→Ω’
・関数のことを確率変数と呼ぶ
関数を出力と同一視(混同)する(X=X(w))
関数がランダムなわけではない”
”P10 なぜこんな定義をするのか
(Ω, B, P)がわからずX だけ観測できる人には
Xがランダムである場合も含む定義になっている
そこで関数X(w) とその出力値X を同一視して
確率変数(random variable)と呼ぶことにした。
これで「ランダムでないとはいえないもの」が定義された”
確率変数と”変数”の違いが分らない人がいるな(^^;
(スレ61より スレリンク(math板:131番) )
131 名前:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日:2019/02/20(水)
過去の確率変数論争(”確率変数は箱に入れられない”)に対し、下記の説明いいね!(^^
URLリンク(watanabe-www.math.dis.titech.ac.jp)
確率論入門 渡辺澄夫 東工大 2018
(抜粋)
P8 確率変数
可測関数X: Ω→Ω’
を(Ω’に値をとる)確率変数という
・関数のことを確率変数と呼ぶ
関数を出力と同一視(混同)する(X=X(w))
関数がランダムなわけではない
P9 確率変数の気持ち
W
(Ω, B, P)
数学的に定義されるが
観測できないものとする
運(w)の決め方は
定めないでおく
↓
X=X(w)
Xの値は 実世界で ランダムでない とはいえない
P10 なぜこんな定義をするのか
もともとランダムに値をとるということを数学的に
定義することができなくて困っていた
(Ω, B, P)がわからずX だけ観測できる人には
Xがランダムである場合も含む定義になっている
そこで関数X(w) とその出力値X を同一視して
確率変数(random variable)と呼ぶことにした。
これで「ランダムでないとはいえないもの」が定義されたがランダムとは何かについてはわからないままである
(引用終わり)
42:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:27
43::14.01 ID:Jg78G8az.net
44:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:30:52.12 Jg78G8az.net
>>27 補足
スレ62 スレリンク(math板)
955 自分返信:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日:2019/03/28(木) 21:24:02.18 ID:7L3ElMut [4/7]
Sergiu Hart氏のPDF URLリンク(www.ma.huji.ac.il)
P2
Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing
the xi independently and uniformly on [0, 1] and {0, 1, ・・・, 9}, respectively.
”independently and uniformly”が、独立同分布(IID)を含意
区間[0, 1]から、∀iで、任意の実数 xiを選べば、「ルベーグ測度は0」だから、的中確率も0だ
独立同分布(IID)で、”箱”つまり”i”の範囲は、有限あるいは無限どちらも無関係だ
よって、唯一の分布を考えれば良い。そして、繰返すが、区間[0, 1]から、任意の実数を選べば、「ルベーグ測度は0」だから、的中確率も0だ
(時枝記事は、区間[0, 1]→R全体だから、さらに的中は難しい)
さて、∀i xi で確率0が、スタート地点になる!(最初はgoo!でなく、最初は確率0だ)
時枝記事で、最初の1列の無限個の箱∀i xi で確率0
が、時枝記事の並べ変えを行うと、∃i xi で確率99/100になるという
”確率0”は、大学で学ぶ現代確率論(確率過程論)よりの結論
一方”∃i xi で確率99/100”は、数学セミナーの時枝記事よりの結論
∃i xiの箱は、二つの異なる確率0と99/100と、二つの値を取ることになる(矛盾)
かつ
∃i xiの”i”については、そのときの決定番号との関係で、可能性としては、1~∞の値を取り得る
すると、1~∞の値のどの”i”についても、二つの異なる確率 0と99/100と、二つの値を取ることになる(さらに矛盾)
つづく
45:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:31:24.88 Jg78G8az.net
つづき
>独立同分布(IID)で、”箱”つまり”i”の範囲は、有限あるいは無限どちらも無関係だ
>よって、唯一の分布を考えれば良い。そして、繰返すが、区間[0, 1]から、任意の実数を選べば、「ルベーグ測度は0」だから、的中確率も0だ
唯一(ただ一つ)の分布を考えれば良い
独立同分布(IID)は、仮定つまり与件です。これは覆せない!(^^
まあ、”独立同分布(IID)”が、ピンと来ていないんだろうね。それは、大学教程の確率論・確率過程論を学べば分るが、”落ちこぼれ”には理解できないんだろうね
早く、>>31を実行してねw(^^
URLリンク(ja.wikipedia.org)
(抜粋)
独立同分布(どくりつどうぶんぷ、英: independent and identically distributed; IID, i.i.d., iid)や独立同一分布(どくりつどういつぶんぷ)とは、確率論と統計学において、確率変数の列やその他の系が、それぞれの確率変数が他の確率変数と同じ確率分布を持ち、かつ、それぞれ互いに独立している場合をいう[1]。
ホワイトノイズ
ホワイトノイズは、IIDの単純な例である。
URLリンク(ja.wikipedia.org)
ホワイトノイズ
(抜粋)
よく聞くノイズの例で擬音語で表現するなら、「ザー」という音に聞こえる雑音がピンクノイズで、「シャー」と聞こえる音がホワイトノイズである。
URLリンク(ja.wikipedia.org)
ホワイトノイズの例
カラードノイズ
(有色雑音)
ホワイト
ピンク
ブラウニアン/レッド
グレイノイズ
(引用終り)
つづく
46:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:32:10.04 Jg78G8az.net
つづき
まあ、時枝記事が言っているのは、箱に”ホワイトノイズ”で生成される値を入れたとして、箱の並べ変えと同値類を使って、
ある箱の”ホワイトノイズ”で生成される値が、99/100の確率で的中できるという話しなんだけどね
まあ、ともかく>>29を実行してください。そうすれば、大学のプロ教員から、「なにが正しいか」を教えて貰えるからね!!(^^
>独立同分布(IID)は、仮定つまり与件です。これは覆せない!(^^
>まあ、”独立同分布(IID)”が、ピンと来ていないんだろうね。それは、大学教程の確率論・確率過程論を学べば分るが、”落ちこぼれ”には理解できないんだろうね
仮定つまり与件は、当たり前だが、数学的な推論をいくら並べても、これを覆すことはできない。もし、矛盾が生じるなら、推論が間違っているか、前提が間違っているかだ
ところで、独立同分布(IID)の仮定は、大学の確率過程論で、正しいと認められているので、矛盾が生じるなら、推論が間違っている
なお、高校レベルの確率論で、大学レベルの確率論・確率過程論を覆すことはできない。これもまた自明だ
これが分からない人は、>>29を実行ください。はよやれ!(^^
47:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:33:02.87 Jg78G8az.net
スレ62 スレリンク(math板:915番)
915 名前:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日:2019/03/27(水)
(抜粋)
Sergiu Hart氏のPDF URLリンク(www.ma.huji.ac.il)
このP2に
Remark. When the number of boxes is finite Player 1 can guarantee a win
with probability 1 in game1, and with probability 9/10 in game2, by choosing
the xi independently and uniformly on [0, 1] and {0, 1, ・・・, 9}, respectively.
とある
ここで”independently and uniformly”が、独立同分布(IID)を含意することは、知る人がみればすぐ分かること
で、例えば、{0, 1, ・・・, 9}ならば、的中確率は、1/10(for Player 2)(つまり、出題者Player 1は、確率9/10で勝てる)
つまり、独立同分布(IID)を仮定すれば、どの箱も同じで、例外はない
なお、Sergiu Hart氏 は、時枝先生よりも良く分かっているみたい
game1(選択公理を使う)→game2(選択公理を使わない)→boxes is finite (有限の場合は通常確率論通り)
と並べて説明している
まあ、落語の落ちですね。最後”boxes is finite (有限の場合は通常確率論通り)”ですから
本気で”通常確率論外し”が成立していることを、読者に説明するなら
boxes is finite (有限の場合は通常確率論通り)→しかしgame2(通常確率論外し(選択公理を使わない))→game1(通常確率論外し(選択公理を使う)
の並びでしょうからね(^^;
ま、確率過程論の知識がある人(落ちこぼれ以外の数学科卒生)なら、独立同分布(IID)で、箱が有限及び無限とも同じ結論になる(通常確率論通り)は自明だし
それは、確率過程論について、上記(>>912)重川先生とか逆瀬川先生(下記)を読めば分かる。読めなければ、時枝不成立は分からないでしょうね~(^^
しかし、このスレで私が確率過程論をするわけにはいかない。このスレの余白は狭すぎるw(^^
URLリンク(www.f.waseda.jp)
「確率過程とその応用」管理人 逆瀬川浩孝 早稲田大学
48:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:34:19.52 Jg78G8az.net
つづき
なお
スレ62 スレリンク(math板:949番)
・ヴィタリ集合の意味する非可測は、0と∞を含む「いかなる値も λ(V) の値として定義してはいけない」ということ
・一方「可算集合のルベーグ測度が0であることの証明」(下記)にあるように、”有理数の各点のルベーグ測度は0”である
・時枝記事の無限次元R^N空間は、このままでは例えば”ヒルベルト空間”ではなく、計量が入らない
時枝記事では、ヴィタリ集合うんぬんを書いているが、もともと無限次元R^N空間に計量が入っていないから、ミスリードだな
(実数Rに計量が入っているヴィタリ集合の非可測とは、事情が全く異なる)
ご苦労さまでした(^^;
(参考)
URLリンク(ja.wikipedia.org)
ヴィタリ集合
(抜粋)
数学において、ヴィタリ集合とはジュゼッペ・ヴィタリ (1905)によって作られたルベーグ不可測な実数集合の基本的な例である。
不可算に多くのヴィタリ集合が存在し、それらの存在は選択公理の仮定の下で示される。
ルベーグ測度は平行移動について不変なので λ (V_{k})=λ (V) である。ゆえに、
1 <= Σk=0~∞{λ (V)} <= 3
であるが、これは不可能である。
一つの定数の無限和は 0 であるか無限大に発散するので、いずれにせよ [1, 3] の中には入らない。
すなわち V は可測であってはいけない。
つまりルベーグ測度 λ はいかなる値も λ(V) の値として定義してはいけない。
URLリンク(chemicallogical.hatenablog.com)
インフラSE日記 2017-10-09
可算集合のルベーグ測度が0であることの証明
URLリンク(ja.wikipedia.org)
ヒルベルト空間
(抜粋)
数学におけるヒルベルト空間(ヒルベルトくうかん、英: Hilbert space)は、ダフィット・ヒルベルトにその名を因む、ユークリッド空間の概念を一般化したものである。
定義
H がヒルベルト空間であるとは、H は実または複素内積空間であって、さらに内積によって誘導される距離関数に関して完備距離空間をなすことを言う[2]。
49:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:35:27.39 Jg78G8az.net
(以下若干過去スレより参考になるレスを引用する)
スレ64 スレリンク(math板:825番)
825 自分返信:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日:2019/05/05(日) 14:16:47.10 ID:1ZCM8Sju [12/24]
・正直、時枝不成立の証明はいらん。大学4年くらいで、確率過程論を学べば、不成立は分る
・問題は、>>823みたいな、視点と説明だよね 分り易い ・1)「こうこう、こうだから不成立」という説明と、2)「こうこう、こうだから成立しているように見える」という説明 この二つの分り易い説明が欲しいね ・まあ、落ちこぼれ相手に、あるいはいままでの議論をもとに、そういう説明を考えて下さい ・くり返すが、証明は正直いらんと思うよ スレ60 https://rio2016.5ch.net/test/read.cgi/math/1549182453/973 973 名前:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日:2019/02/17(日) 08:13:22.71 ID:sxwhkqcY [3/10] https://mathoverflow.net/questions/151286/probabilities-in-a-riddle-involving-axiom-of-choice Probabilities in a riddle involving axiom of choice edited Dec 9 '13 at 16:32 asked Dec 9 '13 at 16:16 Denis にも類似の話しがあります しかし、ここの3 Answers 中 下記 Alexander Prussさんと、Tony Huynhさんはこのriddle成立には否定的ですよ 確率を定義する測度が、きちんと決められないという趣旨のことを理由にしていますね なお、Alexander Prussさんは、”The probabilistic reasoning depends on a conglomerability assumption,”も理由に挙げていますね (引用開始) Alexander Pruss edited Dec 12 '13 at 16:16 answered Dec 11 '13 at 21:07 Tony Huynh answered Dec 9 '13 at 17:37 (引用終り) 以上
51:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:36:40.89 Jg78G8az.net
スレ64 スレリンク(math板:868番)
868 自分返信:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日:2019/05/05(日) 21:08:08.39 ID:1ZCM8Sju [20/24]
>Alexander Pruss
Alexander Prussさん、ちょっと大物かも(^^
”Ph.D. in Mathematics at the University of British Columbia in 1996 and publishing several papers in Proceedings of the American Mathematical Society and other mathematical journals”です
で、mathoverflowの”Probabilities in a riddle involving axiom of choice”では、否定的見解を述べていますね~!w(^^
そして、mathoverflowにおける”conglomerability ”の詳しい説明が、
「Infinity, Causation, and Paradox 著者: Alexander R. Pruss Oxford University Press, 2018」のP76-77にあり、下記googleブックで読めますね(^^
勝負あり~!!w(^^
URLリンク(mathoverflow.net)
Alexander Pruss
Professor of Philosophy, Baylor University
URLリンク(en.wikipedia.org)
Alexander Pruss
Alexander Robert Pruss (born January 5, 1973) is a Canadian mathematician, philosopher, Professor of Philosophy and the Co-Director of Graduate Studies in Philosophy at Baylor University in Waco, Texas.
Biography
Pruss graduated from the University of Western Ontario in 1991 with a Bachelor of Science degree in Mathematics and Physics.
After earning a Ph.D. in Mathematics at the University of British Columbia in 1996 and publishing several papers in Proceedings of the American Mathematical Society and other mathematical journals,[4] he began graduate work in philosophy at the University of Pittsburgh.
52:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/26 23:38:28.46 Jg78G8az.net
スレ64 スレリンク(math板:869番)
869 返信:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日:2019/05/05(日) 21:08:43.96 ID:1ZCM8Sju [21/24]
URLリンク(alexanderpruss.com)
Curriculum Vitae Alexander R. Pruss December, 2018
Education
Ph.D., Mathematics, University of British Columbia, Spring, 1996
Dissertation title: Symmetrization, Green’s Functions, Harmonic Measures and Difference Equations, advised by John J. F. Fournier
B.Sc. (hon.), Mathematics and Physics, University of Western Ontario, Spring, 1991
Books
Infinity, Causation and Paradox, Oxford University Press, 2018
URLリンク(books.google.co.jp)
53:&source=bl&ots=8Ol1uFrjJQ&sig=ACfU3U1bAurNGJm5872wDblskzsSgsU0iA&hl=ja&sa=X&ved=2ahUKEwioiPyV_IPiAhXHxrwKHUeaArUQ6AEwCXoECEoQAQ#v=onepage&q=%22conglomerability%22%20assumption%20math&f=false Infinity, Causation, and Paradox 著者: Alexander R. Pruss Oxford University Press, 2018 以上 w(^^ テンプレ以上です!(^^
54:132人目の素数さん
19/05/27 00:58:09.60 XvZ4HfI+.net
【速報】かんたんに樂天ポイント150Pが貰える
1.スマホで「樂天スーパーポイントスクリーン」を入手(iPhoneユーザーはweb版を利用)
2.ユーザー手続きを終え「招侍コードをお持ちですか」へ
3.コード「iMWvVL」を入力で150ポイントGET(2日後反映)
簡単なので是非ご利用下さい
55:132人目の素数さん
19/05/27 07:42:50.04 obyjAz/S.net
∧__∧
(´∀` )
(⊃⌒*⌒⊂)
/__ノωヽ__
56:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/27 07:45:42.74 gJBhsSTX.net
前 スレリンク(math板:984番)
>>「塵積もれば山となる」がConglomerabilityで
>>その否定、「0の塵が積もれば、山でなく、やっぱり0となる」が、
>>”non-conglomerability”の辞書的説明だろう
>
>逆だろw
(前スレ>>751より)
The reason we do not have countable additivity differs depending on whether the probability of particular ticket winning is zero or infinitesimal.
If the probability is exactly zero, then we lack countable additivity because
1 = P(E1 ∨ E2 ∨・・・) if En is the probability of ticket n being picked (it’s certain that some ticket or other is picked)
whereas P(E1) + P(E2) +・・・ = 0 + 0 + ・・・ = 0.
If on the other hand, P( En ) = α for some (positive) infinitesimalsα,
The standard systems for construction of infinitesimal do not in general define a countable in finite sum of infinitesimals, at least in our case where the summands are the same. Thus, the required equation P(E1 ∨ E2 ∨・・・ ) =P(E1 ) + P(E2)+・・・ does not hold,
since although the left .hand side is defined, the right-hand side is not.
In our infinite fair lottery case, we can intuitively see why we shouldn't be able to have a meaningful sum.
For consider our infinite sum:
α +α+α+α+ ・・・
= (α +α) +(α +α) +・・・
=2α+2α+ ・・・
=2(α+α+・・・ ).
If the value of this sum is x, then x =2x, But if x is not zero, then we can divide both side, by x to yield 1 = 2, and so x must be zero. However, x cannot be zero since it must be at least as big as α, and hence a contradiction follows, from the assumption that the sum has a value.
The lack of countable additivity in the case of an infinite lottery is responsible for a phenomenon known as non-conglomerability.
(引用終り)
”The lack of countable additivity in the case of an infinite lottery is responsible for a phenomenon known as non-conglomerability.”です
以上
57:132人目の素数さん
19/05/27 07:50:13.76 Z8Y37GEp.net
解析学を理解するためには多くの関数に慣れないといけない。
幾何学を理解するためには多くの添え字が出てくるのに慣れないといけない。
代数学を理解するためには多くの定義が出てくるから覚えないといけない。
58:132人目の素数さん
19/05/27 07:51:45.68 4JKc13KM.net
>>48
>”The lack of countable additivity in the case of an infinite lottery is responsible for a phenomenon known as non-conglomerability.”です
だろ?
だから
「0の塵が可算個積もっても、山でなく、やっぱり0となる」
が、 conglomerability”で
「0の塵が可算個積もれば、0でない山となる」
がnon-conglomerabilityだろ?
おまえ、英語読めない?
The lack of countable additivity が
non-conglomerabilityだって書いてあるじゃん
馬鹿か?
59:132人目の素数さん
19/05/27 08:00:50.30 bXX/Xnkx.net
>>1
yes か no で答えよ
∞∈R と ∞∈/R が同時に成り立つ
これがお前の主張ということでよいな?
60:132人目の素数さん
19/05/27 08:06:52.84 oMNjCx2n.net
943 名前:132人目の素数さん :2019/05/06(月) 17:00:57.57 ID:WaWZB6Oh
このスレ埋めようか
馬鹿だからどうせまたスレ立てるだろうけど
今度は誰も書き込みのよそうぜ
あいつ一匹で勝手にコピペ祭りやらせとけ
なお誰も実行できん模様
61:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/27 08:56:04.00 gJBhsSTX.net
>>52
取締りパトロール隊長、ご苦労さまです
ありがとうございます(^^
62:132人目の素数さん
19/05/27 13:25:44.92 3BEJnMYp.net
>>50
>「0の塵が可算個積もっても、山でなく、やっぱり0となる」
>が、 conglomerability”で
>「0の塵が可算個積もれば、0でない山となる」
>がnon-conglomerabilityだろ?
「0の塵が可算個積もれば、0でない山となる」は、Pruss氏が矛盾として捨てている部分ですよ
これは実現できない
「0の塵が可算個積もっても、山でなく、やっぱり0となる」
しか実現できない
これが、non-conglomerabilityです
前スレ下記ご参照下さい(^^
スレ65 スレリンク(math板:786番)
786 名前:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日:2019/05/23(木) 11:32:20.83 ID:QDC/QX0Z [4/8]
”non-conglomerability”というのは、厳密性を犠牲にして、簡単に言えば
下記の原隆先生((数理物理学) 九州大学)の確率論の基礎にあるように
標本空間Ωが、無限の場合に、確率ゼロのような事象が出てくる(根元事象がその例)
確率ゼロの事象を、素朴に、時枝やmathoverflowのriddleのように直感で扱うと
ドツボにハマって、”paradox”になるよと
数学DR Pruss先生は、
これをネタに本1冊書いたのだ
読め!w(^^
URLリンク(www2.math.kyushu-u.ac.jp)
原隆(数理物理学) 九州大学伊都地区,数理学研究院
URLリンク(www2.math.kyushu-u.ac.jp)
確率論 I, 確率論概論 I 確率論の基礎 2010/04/04
(抜粋)
P1
標本空間が有限でない場合はいろいろとややこしいことが起こる
P2
標本空間が無限の場合は大抵の根元事象の確率はゼロであり(でなければ確率の和が1 にならない!),根元事象から出発することはできない.
(引用終わり)
63:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/27 13:27:25.66 3BEJnMYp.net
>>54
あれあれ?
コテハンとトリップ抜けた
おれおれ、おれだよ~!(^^;
64:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/27 13:30:28.72 3BEJnMYp.net
>>51
ピエロちゃん、これだよこれ(下記)(^^
スレ65 スレリンク(math板:973番)
973 名前:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日:2019/05/26(日) 20:44:22.19 ID:Jg78G8az [38/42]
おれは、いまでも、
拡張実数で、∞を導入して考えるのが一番直観的に時枝記事不成立を理解するのに良いと思っている(^^
数列s = (s1,s2,s3 ,・・・ ,s∞)で
しっぽの同値類は、s∞で決まる
+∞番目の箱の中の数が一致すれば、二つの数列は一致するので、同じ同値類に属する
決定番号の集合={1, 2, ... , n, n + 1, ... +∞}となり
決定番号dなる代表の数列を考えると、
d, ... , n, n + 1, ... +∞ なる無限の各箱の数が一致する必要がある
箱にサイコロで数を入れるとすると、無限個の箱が一致する確率は
(1/6)^∞ =0
これ、>>963に書いた
d<=Aが成立つ確率は 0
の直観的な説明になっている
(”non-conglomerability”とも符合する)
もちろん、時枝記事やriddleの前提を、拡張しているが
だが、分り易いよ
まあ、コーシーの複素関数論に、
リーマンが∞点を導入したが如くだ(^^
URLリンク(ja.wikipedia.org)
数学における拡張実数
通常の実数に正の無限大 +∞ と負の無限大 -∞ の二つを加えた体系を言う。
65:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/27 13:43:54.58 3BEJnMYp.net
URLリンク(www.nikkei.com)
東大AI人材、新興勢に就職 選ばれぬ大手に改革迫る
編集委員 奥平和行
2019/5/26 18:00日本経済新聞 電子版
東京都内の「東京大学新聞」の編集部で、卒業・修了生の進路をまとめた紙面のバックナンバーを見せてもらった。理系、なかでも人工知能(AI)やビッグデータの普及で逼迫感が強まってきたIT(情報技術)エンジニアの就職先の移り変わりを知るためだ。
多くのエンジニアを輩出する大学院情報理工学系研究科や前身となる研究科の修了生の就職先をたどった。平成の時代が始まって間もない1993年、一番人気はNTT(8人)。三菱電機や東芝などの電機大手も上位に入っている。
しばらくは国内勢の優位が続くが、大きく変わっていたのは2008年だ。上位はソニーや日立製作所といった電機大手だったが、3位に9人採用したグーグルが登場。さらに10年たつと、スタートアップ企業の社名が目に付いた。
スタートアップ人気の背景を探るため、就職する学生の話も聞いた。「面接時から入社後の仕事内容が明確だった」。9月に自動運転技術の開発を進めているティアフォー(名古屋市)に入る村上太一氏は話す。
同氏はCPU(中央演算処理装置)などのハードウエアを設計する技術を学んだ。大手企業に技術を生かせる職場が少なく、「大手に就職した友人の話を聞いても、事務作業が多くやや退屈そう」。自分の技術と直結した業務を提示したティアフォーを選んだ。
専門性をすぐ生かせることに加え、将来のキャリアを描きやすいことも重要。「実務経験を積み、大学で博士号も取りたい」。AI開発のプリファード・ネットワークス(東京・千代田)に今年入社した辻勇気氏は語る。
つづく
66:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/27 13:44:23.36 3BEJnMYp.net
>>57
つづき
同社は18年にも情報理工学系研究科から4人採用。エンジニアが働きやすい環境の整備に力を入れ、「大学院との『二足のわらじ』を履く社員もすでに複数いる」(広報担当者)。経営者がエンジニアに理解を持ち、
67:勤務時間などを柔軟にすることも人材を引き付ける原動力となっている。 もちろん、現実的な要因もある。「処遇で大手との差がないことを確認した」。スタートアップに就職したある東大OBは語る。大手企業やベンチャーキャピタル(VC)による投資が増え、給与に回っているのは紛れもない事実だ。 こうした流れが続くか先行きに不透明さもあるが、採用支援会社、ReBoost(東京・中央)の河合聡一郎社長は「優秀な人材がスタートアップに向かう流れは変わらない」という。短期でキャリアを築きたいという志向が強まり、勤務先が破綻しても「スタートアップでリベンジを目指す人が一定割合でいる」。 就職活動の解禁時期を定める「就活ルール」の廃止などで大手の新卒採用は大きく変わる。そんななか東大理系学生の就職先の変遷が示すのは、激しい変化が始まっている現実だ。 一部の大手は初任給の引き上げなどに動くが、ある人事コンサルタントは「給与だけで優秀な人材は振り向かない」と警鐘を鳴らす。企業が人材を集め競争力を高めるためには、キャリアパスや専門性を生かせる役割を提示するなど、人事部の仕事を抜本的に見直すことが急務になっている。 (引用終わり) 以上
68:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/27 14:06:45.22 3BEJnMYp.net
>>56
>拡張実数で、∞を導入して考えるのが一番直観的に時枝記事不成立を理解するのに良いと思っている(^^
これが理解できない石頭じゃ
数学科で落ちこぼれも
無理はない
69:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/27 17:58:30.90 3BEJnMYp.net
おー、
いいね、
静かだね
(>>52より)
”あいつ一匹で勝手にコピペ祭りやらせとけ”
の実行頼むよ(^^
70:132人目の素数さん
19/05/27 19:22:52.34 4JKc13KM.net
>>54
>「0の塵が可算個積もれば、0でない山となる」は、
>Pruss氏が矛盾として捨てている部分ですよ
だろ?その理由がnon-conglomerability
実際ある事象 A が存在して全ての場合Eiについて
P(A|Ei)=0 なのに P(A) > 0なんだろ?
まさにnon-conglomerabilityの定義通りじゃんw
>「0の塵が可算個積もっても、山でなく、やっぱり0となる」
>しか実現できない
>これが、non-conglomerabilityです
逆だな
それはconglomerability
要はnon-conglomerabilityとなる場合は
全ての場合についてP(A|Ei)<=a
だからといってP(A)<=aだとは言い切れない
というのがPrussの言い分
それはそれでお説御尤も
しかしスレ主の言い分の正当化にはまったくならない
71:132人目の素数さん
19/05/27 19:23:40.53 4JKc13KM.net
>>56
>ピエロちゃん、これだよこれ(下記)(^^
スレ主は、三年もの間、こんな明白な誤りを
絶叫し続けて恥ずかしくないか?
>数列s = (s1,s2,s3 ,・・・ ,s∞)で
>しっぽの同値類は、s∞で決まる
R^Nにs∞なんかないw
Nに∞なんかないんだからw
スレ主の考え方だと
しっぽの同値類の数=箱の中身の種類
となるけど、実際はそうならないから
箱の中身の集合をSとすると
しっぽの同値類の数は、
SじゃなくS^Nと同濃度だから
72:132人目の素数さん
19/05/27 19:24:05.69 4JKc13KM.net
>>56
>d<=Aが成立つ確率は 0
どうもスレ主は
「d<∞が成り立つ確率は0」
といいたいようだが
この場合、どの自然数nでもd=nとなる確率は0から、
dが自然数となる確率は0、は導けない
確かにnon-conglomerableだが、
自然数の定義に従えばそうなるのだから
仕方ない
そもそも数列が確率変数となる場合は
考えないのだから問題ないw
つまり、Prussの言い分を理解した上で
それを完全に受け入れているのは
我々のほうであってスレ主ではない
73:132人目の素数さん
19/05/27 19:24:47.81 4JKc13KM.net
>>59
>拡張実数で、∞を導入して考えるのが
>一番直観的に時枝記事不成立を理解するのに
>良いと思っている(^^
正しくは
「一番直感的に時枝記事を不成立にさせるには
自然数全体Nに∞を付加するしかない」
だろ?w
あのな、R^Nって書かれた瞬間に
R^(N∪{∞})で考えるとかいう
屁理屈は却下されたんだよ
�
74:アれが理解できないトウフ頭じゃ 数学科に入れなくても無理はないw
75:132人目の素数さん
19/05/27 19:26:11.44 4JKc13KM.net
>>60
書き込んでほしくないのなら
お前が他所の板でスレ立てしろ
数学板以外ならトンデモなこと書いても
誰もつっこまないぞwwwwwww
76:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/27 21:09:39.90 gJBhsSTX.net
>>61
どうも。スレ主です。
なんだ、ID:4JKc13KMは、キチガイサイコパスのピエロだったのか?w(^^
おまえ、英語読めても
数学はだめだなw(^^
(>>54の)「原隆先生((数理物理学) 九州大学)の確率論の基礎」読め
conglomerabilityとは
1)標本空間Ωが有限の場合:この場合は必ず、conglomerabilityは満たされる
2)標本空間Ωが無限の場合:根元事象の確率はゼロにすること。その代わりP(Ω)=1を満たすように、σ-field Fを定めることができること
non-conglomerabilityとは
1)標本空間Ωが無限の場合:根元事象の確率をα(≠0)にすること(P(Ω)=∞になる*))。あるいは、α=0の事象を直観的に扱って、ボレルのパラドックス(下記)のようなことを引き起こすこと
注*):数直線R (-∞,+∞)中で、ランダムに選んだある数x∈Rが、有限区間2L=(-L,+L)に入る確率を考えると、P(R)=1と出来ない
URLリンク(ja.wikipedia.org)
条件付き確率
定義
A および B を事象とし、P(B) > 0 とすると、B における A の条件付き確率は
測度論的定義
B の測度が 0 の場合が問題である
ボレル-コルモゴロフのパラドックス(英語版)が生じる。
(引用終り)
つづく
77:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/27 21:09:59.70 gJBhsSTX.net
>>66
つづき
URLリンク(m-hiyama.hatenablog.com)
檜山正幸のキマイラ飼育記 (はてなBlog) 2015-06-11
簡易版・ボレルのパラドックスとその解釈:R言語を使って
(抜粋)
問題と2つの解答
ダーツとかアーチェリーのマトを考えてください。次の図のようなものです。
URLリンク(www.chimaira.org)
水色の円の半径を1とします。赤い円の半径は1/3です。赤い所に矢が刺さると「当たり」だとします。矢がどこに刺さるかはまったくのランダムです。ただし、矢が水色の円の外に出ることはないとします。外に出ても無視して勘定に入れないと思ってもかまいません。
このとき、矢が赤い所に当たる確率はいくつでしょうか? というのが問題です。
解答例その1: 水色の円の面積は 1×1×π = π、赤い円の面積は 1/3×1/3×π = 1/9π だから、赤い円に矢が入る確率は 1/9。
解答例その2: 円は、中心から放射状に出る長さ1の線分が集まって構成される。どの線分に矢が刺さるかは同じ確率なので、1本の線分だけを考えれば十分。線分のなかで赤い部分は全体の1/3なので、赤い部分に矢が刺さる確率は1/3。
結果が違います。さて、どちらが正しいのでしょうか?
種明かし
どちらも間違いとは言えません。どちらが正しいと決定もできません。「矢がどこに刺さるかはまったくのランダムです」が曖昧な前提だからです。
(引用終り)
以上
78:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/27 21:16:18.48 gJBhsSTX.net
>>65
ピエロの評価低いな(下記)(^^
1)
スレ65 スレリンク(math板:863番)
863 返信:132人目の素数さん[sage] 投稿日:2019/05/25(土) 22:05:06.85 ID:DtOSlmbQ [2/2]
>>861
いえいえ。こちらこそ。
彼は、数学の議論が全くできないようです。
なぜ、数学板に来るのでしょうか。
(引用終り)
あと、これも面白いわ(^^
2)
スレ65 スレリンク(math板:976番)-978
976 名前:132人目の素数さん[] 投稿日:2019/05/26(日) 22:57:38.32 ID:MCBd7yFu [5/6]
ID:BKTu1CX1
ID:E221TakM
この二人は同レベルの馬鹿www
978 名前:132人目の素数さん[sage] 投稿日:2019/05/26(日) 23:24:32.04 ID:E221TakM [42/42]
>>977
バカでいいよ? ID:Jg78G8azと同レベルでなけりゃね
(引用終り)
数学できないバカ自認、これだれのことよw(^^
79:132人目の素数さん
19/05/27 21:22:02.76 bXX/Xnkx.net
>>56
>>51
80:132人目の素数さん
19/05/27 21:49:22.21 bXX/Xnkx.net
∞を数と思ってるサルが一匹紛れ込んでますね
81:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/27 22:54:31.66 gJBhsSTX.net
>>69-70
(>>68より)
この二人は同レベルの馬鹿www
ID:bXX/Xnkx
ID:4JKc13KM
82:132人目の素数さん
19/05/27 23:19:42.48 bXX/Xnkx.net
>>71
>>51
83:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/27 23:22:38.12 gJBhsSTX.net
>>56 補足
>数列s = (s1,s2,s3 ,・・・ ,s∞)で
>しっぽの同値類は、s∞で決まる
>+∞番目の箱の中の数が一致すれば、二つの数列は一致するので、同じ同値類に属する
>決定番号の集合={1, 2, ... , n, n + 1, ... +∞}となり
こういう考えもあるな
ペアノ公理(下記)より、nには必ず後者n+1が存在する
有限のnで
数列s = (s1,s2,s3 ,・・・ ,sn, sn + 1)
(箱がn+1個)
しっぽの同値類は、n + 1で決まる。
数列s' = (s'1,s'2,s'3 ,・・・ ,s'n, s'n + 1)
つまり、sn + 1=s'n + 1ならば、二つの数列は時枝記事の意味で同値
ここで、n→∞の極限を考えると
lim n→∞ 数列s = (s1,s2,s3 ,・・・ ,sn, sn + 1・・・ ,s∞, s∞ + 1)
となる
s∞ + 1=s'∞ + 1
が一致するからと言って
二つの数列の先頭部分
数列s = (s1,s2,s3 ,・・・ ,sn, sn + 1・・・)
数列s' = (s'1,s'2,s'3 ,・・・ ,s'n, s'n + 1・・・)
は、各どの数も一致する理由なし!
よって、
数列s'を代表と考えて
時枝解法は不成立です!(^^
URLリンク(ja.wikipedia.org)
ペアノの公理
任意の自然数 a にはその後者 (successor)、suc(a) が存在する(suc(a) は a + 1 の "意味")
84:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/27 23:23:40.40 gJBhsSTX.net
>>73 補足
もちろん、これは数学ジョークですがね
しかし、真実を含んだジョークです(^^
85:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/27 23:42:03.08 gJBhsSTX.net
>>56 補足
>数学における拡張実数
>通常の実数に正の無限大 +∞ と負の無限大 -∞ の二つを加えた体系を言う。
拡張実数のように、既存の概念を広げて、見通しの良い数学世界を作るというのは
20世紀から21世紀にかけての現代数学の特徴ですね
20世紀以前からもありましたけどね
例えば、射影幾何の無限遠点導入とかね
デルタ関数は、直観的には、原点0でのみ、無限大(∞)の値を取る関数と考えることができます
デルタ関数の佐藤超関数による理論付けも、既存の関数概念を広げて、見通しの良い数学世界を作るという観点から理解できます
まあ、これ17世紀ころの数学しか分らない頭の固い人(落ちこぼれ)には、理解できないでしょうねw(^^
URLリンク(ja.wikipedia.org)
射影幾何学
初等的な直観としては、射影空間はそれと同じ次元のユークリッド空間と比べて「余分な」点(「無限遠点」と呼ばれる)を持ち、射影幾何学的な変換においてその余分な点と通常の点を行き来することが許されると考えることができる。
理想化された「方向」は無限遠点として理解され、理想化された「地平線」は無限遠直線と呼ばれる。
URLリンク(ja.wikipedia.org)
佐藤超函数
略式的には無限位数の極を持つシュワルツ超函数と見なすこともできる。
86:132人目の素数さん
19/05/28 06:09:21.60 iR8LhhdL.net
>>73
>二つの数列の先頭部分
>数列s = (s1,s2,s3 ,・・・ ,sn, sn + 1・・・)
>数列s' = (s'1,s'2,s'3 ,・・・ ,s'n, s'n + 1・・・)
>は、各どの数も一致する理由なし!
>よって、
>数列s'を代表と考えて
sとs'がどの項も一致しない時点で
同値じゃないじゃんw
スレ主ついに発狂したか?w
Nがペアノの公理を満たす集合なら
Nに最後の元は存在しないから
有限列の場合のように、
決定番号の先の尻尾がとれない
ということはない
つまり。時枝戦略は必ず成功する
スレ主 死す!
87:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/28 07:21:36.57 cm2PCqx2.net
>>76
ピエロちゃん、
また自分勝手で幼稚な
88:解釈をしていますね(^^ (>>73より) ここで、n→∞の極限を考えると lim n→∞ 数列s = (s1,s2,s3 ,・・・ ,sn, sn + 1・・・ ,s∞, s∞ + 1) となる s∞ + 1=s'∞ + 1 が一致するからと言って (引用終り) と、幼稚園児にも分るように書いてありますよ (わざと無視ですかね) ここで、もし、s∞ + 1=s'∞ + 1の一致という表現を使わなければ 数列s = (s1,s2,s3 ,・・・ ,sn, sn + 1・・・) 数列s' = (s'1,s'2,s'3 ,・・・ ,s'n, s'n + 1・・・) に対して 数列s = (s1,s2,s3 ,・・・ ,sn, sn + 1・・・,sm, sm + 1・・・) 数列s' = (s'1,s'2,s'3 ,・・・ ,s'n, s'n + 1・・・,s'm, s'm + 1・・・) が考えられ 数列s = (s1,s2,s3 ,・・・ ,sn, sn + 1・・・,sm, sm + 1・・・,sq, sq + 1・・・) 数列s' = (s'1,s'2,s'3 ,・・・ ,s'n, s'n + 1・・・,s'm, s'm + 1・・・,s'q, s'q + 1・・・) が考えられ ・ ・ と無限の繰り返しで表現すれば良いのです(^^ (∵ペアノの公理を満たすから) 上記より、時枝の同値が成立つ二つの数列において ”任意の有限nに対して、先頭1からnまで二つの数列は一致しない” が言えます つまり、これが起きる確率0 即ち、有限の決定番号d=nに対して P(d)=0 です QED 追伸 もちろん、有限の決定番号d=nなる数列は考えられます が、それはnon-conglomerabilityだと(by 数学DR Pruss氏)(^^
89:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/28 07:46:35.58 cm2PCqx2.net
>>77 補足
> ・
> ・
>と無限の繰り返しで表現すれば良いのです(^^
>(∵ペアノの公理を満たすから)
現代数学の拡張実数を理解している人は
”s∞ + 1=s'∞ + 1の一致という表現”で理解すれば良い
そちらの方が
直観的で理解しやすいのです(^^
まあ
”s∞ =s'∞ の一致という表現”が正統でしょうけどね
幼稚園児がいるので、分り易く書きました(^^
90:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/28 07:55:39.36 cm2PCqx2.net
>>78
>”s∞ + 1=s'∞ + 1の一致という表現”で理解すれば良い
ここ、順序数ωを使えば正当化できます
まあ、難しいので避けました(^^
URLリンク(ja.wikipedia.org)
順序数
(抜粋)
順序数の並び方を次のように図示することができる:
0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), ..............................
まず、0 が最小の順序数である。その後に S(0) = 1, S(S(0)) = 2, S(S(S(0))) = 3, ... と有限順序数(自然数)が通常の順序で並んでいる。
そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である。
ω の後にはまたその後続者たちが S(ω), S(S(ω)), S(S(S(ω))), ... と無限に続いていく。
その後、それらの最小上界(後に ω + ω と呼ばれる)が並び、その後続者たちが無限に続く。
(引用終り)
91:現代数学の系譜 雑談 古典ガロア理論も読む
19/05/28 13:24:09.04 OBxVxj5u.net
>>66 補足
1)
(引用開始)
conglomerabilityとは
1)標本空間Ωが有限の場合:この場合は必ず、conglomerabilityは満たされる
2)標本空間Ωが無限の場合:根元事象の確率はゼロにすること。その代わりP(Ω)=1を満たすように、σ-field Fを定めることができること
(引用終わり)
ここ、conglomerabilityなら、(>>54の)「原隆先生((数理物理学) 九州大学)の確率論の基礎」など、現代確率論で扱えます
2)
(引用開始)
non-conglomerabilityとは
1)標本空間Ωが無限の場合:根元事象の確率をα(≠0)にすること(P(Ω)=∞になる*))。あるいは、α=0の事象を直観的に扱って
(引用終わり)
ここ、例えば、下記非正則事前分布なども、
non-conglomerabilityの例ですね
スレ65 スレリンク(math板:788番)
URLリンク(to-kei.net)
ホーム 全人類がわかる統計学について
ベイズ統計
非正則事前分布とは??完全なる無情報事前分布?
2017/10/06
非正則な分布とは?一様分布との比較
非正則な分布の密度関数は例えば(*1) 以下 のように与えられます。
π(θ)=C (-∞<=θ<=∞)
と表せられます。
URLリンク(to-kei.net)
非正則な分布とは、一様分布の範囲を無限に広げた分布のことです。
非正則分布は確率分布ではない!?
上で説明した非正則な分布ですが、よく見てみてください。確率の和が1ではありませんよね。
積分値が無限大に発散してしまいます。これは、全事象の確率は1であるというコルモゴロフの確率の公理に反しています。
よって、厳密には、非正則な分布は確率密度関数ではありません。なぜなら、確率の公理を満たしていないからです。
(正確には、積分値が無限大に発散してしまうような分布が非正則な分布の定義です。)
(引用終わり)