- 1 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 07:15:12.33 ID:JfQZB3iV.net]
- この伝統あるガロアすれは、皆さまのご尽力で、
過去、数学板での勢いランキングで、常に上位です。
このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな～（＾＾
最近、AIと数学の関係が気になって、その関係の記事を集めています～（＾＾
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。
スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。
スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
興味のある方は、過去ログを（＾＾
なお、
小学レベルとバカプロ固定
サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」）
（参考）blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
High level people
低脳幼稚園児のAAお絵かき
上記は、お断り！
小学生がいますので、18金（禁）よろしくね！（＾＾
（旧スレが512KBオーバー（又は間近）で、新スレを立てた）
- 116 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 17:03:14.39 ID:JfQZB3iV.net]
- >>93
どもありがとう
またあとでね
いま、ピエロちゃんと遊んでいるので（＾＾
それ、おっちゃんに任せる
あるいは、だれかよろしく
おれは、定期試験受も院試も受ける予定ないんでね（＾＾；
- 117 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 17:06:22.91 ID:sayuR5HK.net]
- >>103で選択公理のステートメントおよび
時枝記事との対応を示したので
>>83の「完全代表系を作るところのみで、選択公理が使われている」は
錯覚でもなんでもなく事実であると示された
- 118 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 17:08:00.54 ID:JfQZB3iV.net]
- >>71
>下記に集合を同値分割できることが選択公理無しに証明されているから読んでみれば？
>www.math.is.tohoku.ac.jp/~obata/student/subject/file/2018-5_douchi.pdf
ほんと、落ちこぼれだね、ピエロ
それ、学生向けの集合論のテキストで（多分１年生向け）
前提は、Z
- 119 名前：FCでしょ？ だから、選択公理前提だから、集合が有限だろうが、可算だろうが、非可算だろうが、全部ひっくるめて、同値を扱えるわけ
わかる？（＾＾；
＞＞証明を出して貰ったら、戸松玲治先生に手紙を送りますよｗ（＾＾；
＞言ったことは守ってね
はい、守りますから、早く証明だして（＾＾ [] - [ここ壊れてます]
- 120 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 17:09:44.13 ID:sayuR5HK.net]
- >>106
全く見当違い
以下を必ず一度はお読みください
あなたに反駁の余地がないことがわかります
■選択公理
X が互いに交わらないような空でない集合の集合であるとき、
X の各要素から一つずつ要素をとってきた集合（選択集合）Aが存在する：
∀X((￢({}∈X)⋀∀x∈X∀y∈X（￢(x=y)⇒(x∩y={})))⇒∃A∀x∈X∃t(x∩A={t}))
時枝記事でいえば
・Xは同値類全体の集合
・x,yは各同値類
・Aは同値類の代表元の集合
・tは同値類xの代表元
要するに公理をそっくりそのまま使ってることが明確に読み取れますね
- 121 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 17:11:23.31 ID:JfQZB3iV.net]
- >>72
>スレ主の主張「選択公理を使わないと無限集合が構成できない」に対する反例なんだがｗ
またまた、サイコ全開かね
そんなことは言ってないよ
R^Nの数列のしっぽの同値類を作るのに、なぜ選択公理が不要なんですか？
完全代表系を作るときに、必要だというのに？
それは、矛盾でしょ？（＾＾
- 122 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 17:15:08.39 ID:sayuR5HK.net]
- >>72
>^Nの数列のしっぽの同値類を作るのに、なぜ選択公理が不要なんですか？
なぜ必要だと思うんですか？
■選択公理
X が互いに交わらないような空でない集合の集合であるとき、
X の各要素から一つずつ要素をとってきた集合（選択集合）Aが存在する：
∀X((￢({}∈X)⋀∀x∈X∀y∈X（￢(x=y)⇒(x∩y={}))⇒∃A∀x∈X∃t(x∩A={t}))
このステートメントに当てはめて同値類の構成について説明してごらんなさい
（同値類からの代表元選出については>>103（>>107で再掲）で説明しました
同様の説明をお願い致します）
- 123 名前：１３２人目の素数さん [2019/01/26(土) 17:22:35.78 ID:OJu9z/7w.net]
- >>106
それが妄想でないなら、証明のどこに選択公理を仮定しないと言えない
ギャップが存在するのか示してね
- 124 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 17:26:58.27 ID:JfQZB3iV.net]
- >>107
何を言っているのか意味不明
R^Nの完全代表系を取るのに、選択公理を使うことを否定しているわけでないよ
だが、R^Nの同値類の非可算集合族を構成するときに、なぜ選択公理が不要と言えるのかを問うている
例えば、具体的に、R^Nの元を調べて、同値類の非可算集合族を構成したとする
その途中で、新しい同値類ができる都度、一つだけ最初にその同値類に入れる元のコピーを取っておく。あるいは、その元をどこかに登録しておけば良い
そうすると、同値類の構成が具体的に完成したときには、各同値類に属する元が、一つずつ定まっている
それは、少なくとも、同値類の構成が具体的に完成と同時です
もし、完成以前に、例えば、ある程度未分類の元が少なくなったある時点で、全ての同値類の非可算集合族が出そろったとなった時点で、各同値類に属する元が、一つずつ定まっている
こうすると、同値類の構成が具体的に完成したときには、少なくとも同時あるいはそれ以前に、各同値類に属する元が、一つずつ定まっている
もし、R^Nの完全代表系を取るのに、選択公理を使うことが必須ということなら
それは同値類の構成を完成するまでのどこかで、選択公理を使っていることを意味するってことですよ
だから、同値類の構成を完成するのに、選択公理が不要とは言えないよと。だから、その（選択公理不要の）証明はできませんよと
- 125 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 17:28:09.10 ID:sayuR5HK.net]
- >>110
まったくごもっともです
そもそもあのお方は選択公理のステートメントを
一度も読んだことがないと思われるので、わけもわからず
口から出まかせいってるだけなんでしょう
そんな人に数学が理解できるわけはありませんが
- 126 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 17:29:41.88 ID:JfQZB3iV.net]
- >>110
それ>>111ね
どうぞ、話しは逆で、R^Nのしっぽの同値類完成に選択公理不要の証明をどうぞ
できないよ、それ
- 127 名前：１３２人目の素数さん [2019/01/26(土) 17:29:46.19 ID:OJu9z/7w.net]
- >>108
＞R^Nの数列のしっぽの同値類を作るのに、なぜ選択公理が不要なんですか？
「同値類を作る」じゃなくて「同値分割する」だろ？なんで俺が直してやらんといかんの？ｗ
で、集合に同値関係があるとき同値分割が可能なことの証明を提示済み。
それに対しスレ主はその証明には選択公理が必要と言いがかりをつけた。
それに対し選択公理を仮定しないと言えないギャップを示せと言った。←いまここ
球はスレ主持ちだよ、さっさとギャップを示しなさい
- 128 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 17:33:36.23 ID:sayuR5HK.net]
- >>111
>R^Nの完全代表系を取るのに、選択公理を使うことを否定しているわけでないよ
ええ、あそこまで馬鹿丁寧に書けば否定のしようもありますまい
>例えば、具体的に、R^Nの元を調べて、同値類の非可算集合族を構成したとする
あなたが構成する必要はありません
同値関係を設定したときに、勝手に同値類に類別されますから
>同値類の構成が具体的に完成したときには、
>各同値類に属する元が、一つずつ定まっている
構成の必要がない
そもそも、もし同値類が無限個あったら、
あなたのいう構成は不可能でしょう
数学は無駄な手数を求めません
同値関係を設定したら、同値類は自動的にできるのです
ということで、あなたの反駁は却下されました
- 129 名前：１３２人目の素数さん [2019/01/26(土) 17:36:39.56 ID:OJu9z/7w.net]
- スレ主よ、無限＝選択公理という脊椎反射はやめた方がいいぞ
- 130 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 17:39:04.10 ID:sayuR5HK.net]
- 「具体的構成」は数学を知らないシロウトが必ず�
- 131 名前：ﾗる穴の一つですね
そもそも非可算無限個あるR^Nを1個づつ確認して対応する同値類に入れる
とかいう作業が完結できるわけがありません そんな無駄なことを求めていたら
数学はできません [] - [ここ壊れてます]
- 132 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 17:41:20.51 ID:sayuR5HK.net]
- >>116
「無限＝選択公理」と考えているというよりは、
なんでもかんでも具体的に構成したがる悪い癖
があるのだと思います
小学校の算数や、中学・高校の数学は
そういう原始的な考えでも乗り切れますが
大学の数学はそれでは無理でしょう
- 133 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 17:43:23.82 ID:wk4gK6o/.net]
- >>104
>それ、おっちゃんに任せる
おいおい、私はそういうのに付き合っている暇はない。
元々読んでいた本には代数的ガロア理論が載っていなくて、
恥ずかしながらガロア理論の方は余り得意ではない。
まあ、代数的ガロア理論は群論が出来れば要旨はすぐ分かるとは思うけど、
ガロア理論の用語がまだよく分からんし、そういう方の証明はまだしっかりと書けない。
調べたら、>>93が最初に出した問題は、クロネッカー・ウェーバーの定理からすぐ示せる。
- 134 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 17:45:08.99 ID:JfQZB3iV.net]
- >>95
おっちゃん、どうも、スレ主です。
新スレよろしく（＾＾
- 135 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 17:49:30.02 ID:JfQZB3iV.net]
- >>119
おっちゃん、どうも、スレ主です。
>クロネッカー・ウェーバーの定理からすぐ示せる。
ああ、それ、なんか検索ヒットしたよ
数論の古典的定理やね
- 136 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 17:53:29.24 ID:sayuR5HK.net]
- >>114
>球はスレ主持ちだよ、さっさとギャップを示しなさい
できないでしょう 口から出まかせですから
実際、逃げました おっちゃんと会話するのは逃げたときと決まってます
逃げ癖は毎度のことなので別に驚きもしませんね
数学を学ぶ気もないのに数学板にいてもつまらないでしょうに
なんであのお方はここに居続けるんですかね？
- 137 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 17:54:17.09 ID:wk4gK6o/.net]
- >>121
注意しておくけど、>>42の問いの方ではない。
>>93が最初に出した問題は、前スレにある。
それじゃ、おっちゃんもう寝る。
- 138 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 17:58:55.65 ID:sayuR5HK.net]
- 頭が★すぎる人
１）頭が★すぎて、定義をきちんと覚えてないで、その場で作ってしまう人
２）頭が★すぎて、難しことだけを書いて、求められている易しいことを書かない人
（「問題が易しすぎる」と思って、裏読みしすぎるとか。）
３）頭が★すぎて、問題文を読み違える人
（問題文に書かれていないことまで、読んでしまうとか）
あのお方に全て当てはまりますね
- 139 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 17:59:30.42 ID:JfQZB3iV.net]
- >>115
別に完全代表系をとるところの選択公理の使用を否定するつもりなど、最初からないよ
>そもそも、もし同値類が無限個あったら、
>あなたのいう構成は不可能でしょう
あんたのそこの理解アウトだよ
（下記戸松玲治先生「選択公理とは, このような無限回の操作が可能であることを認める公理であるといえる」な）
それだけ、バカ発言を聞けば十分だな（＾＾
まあ、これ以上落ちこぼれの言い訳と戯れ言を聞いていても
もう、これ以上のバカ発言は、出てこないだろう
ありがとう
ご苦労さんでした（＾＾
（戸松玲治先生 2003年4月 東京大学大学院数理科学研究科 博士課程入学 2009年4月 - 2011年3月 講師東京理科大学 理工学部数学科 2011年4月- 准教授北海道大学 大学院理学研究院数学部門）
https://www.ma.noda.tus.ac.jp/u/rto/m1b/M1B6.pdf
数学IB No.6
11 月13 日配布
担当: 戸松玲治
8 選択公理
(抜粋)
選択公理とは, このような無限回の操作が可能であることを認める公理であるといえる. 我々には
不可能であるが, 当然のことのように思えるものだから, 公理として認めようというものである. つ
まり選択公理は超絶技巧なのであり, その武器を使用することを許したのである＊ .
(引用終り)
- 140 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 18:00:50.67 ID:JfQZB3iV.net]
- >>125 補足
戸松先生�
- 141 名前：ﾍ>>64な []
- [ここ壊れてます]
- 142 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 18:03:54.94 ID:JfQZB3iV.net]
- まあ、ピエロがこのスレに来たとき
数学科出身と言ったが
時枝不成立も分らず
時枝が不成立なら選択公理が否定されるとか
いうから
こいつレベル低いと思ったけど
予想通りだったね
- 143 名前：１３２人目の素数さん [2019/01/26(土) 18:07:41.53 ID:OJu9z/7w.net]
- >>125
＞選択公理とは, このような無限回の操作が可能であることを認める公理であるといえる
なんて啓蒙書チックな説明は捨ててしまいなさいｗ
そんなものに頼ってるからいつまで経っても理解できないんだよｗ
- 144 名前：１３２人目の素数さん [2019/01/26(土) 18:10:24.82 ID:OJu9z/7w.net]
- >>118
工学バカには抽象的思考は無理ってことですな
- 145 名前：１３２人目の素数さん [2019/01/26(土) 18:11:57.86 ID:OJu9z/7w.net]
- >>127
＞時枝不成立も分らず
また発作かな？ｗ
- 146 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 18:12:26.30 ID:sayuR5HK.net]
- >>125
>>そもそも、もし同値類が無限個あったら、
>>あなたのいう構成は不可能でしょう
>あんたのそこの理解アウトだよ
アウトはあなたの方です
実際、あなたは選択公理のステートメントにあてはめた説明ができませんでした
同値類の類別に、要素を一個づつ確認して入れる、という手数は必要ありません
あなたは何かといえば、pdfを検索してそれを書いたひとを
●●先生とかいって持ち上げることしかしてませんが
そんなことする暇があったが自分がそのpdfを読みましょう
あなたのいってることが見当違いだと●●先生もおっしゃることでしょう
- 147 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 18:21:07.66 ID:rNZawlKS.net]
- >>119
>調べたら、>>93が最初に出した問題は、クロネッカー・ウェーバーの定理からすぐ示せる。
誤解でしょう。ほぼ無関係。
円分体はQ上アーベル拡大だが、逆にQ上のアーベル拡大がすべて円分体の部分体
として得られるというのが「クロネッカー・ウェーバーの定理」
わたしが出した問題とは比較にならないくらい深遠な定理ですよ。
（かつその定理を認めれば問題の解が示せるわけでもない。）
cos(π/n),sin(π/n)が円分体（1のべき根の体）に含まれてることは
オイラーの公式から分かるので、クロネッカー・ウェーバーなど無用。
cos(π/n)とsin(π/n) （cos(2π/n)とsin(2π/n)でもよいが）
の関係を問うてる問題ですよ。
- 148 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 18:42:39.57 ID:JfQZB3iV.net]
- >>115 追加
＞数学は無駄な手数を求めません
ちょうど良い機会だから、書いておくよ
それ同意で、確かに、無駄な手数を省くという意味では、
全てのR^Nの類別をする必要はないよね
100列だけ、同値類と100個の代表を決めれば良いんだ
具体的な時枝記事のゲームのルールを、下記に引用するよ
箱に数を入れ、閉じた後は、完全にこちらの自由
つまり、99列の箱を開けて、99の数列を確認した後、その99列についての同値類を作れば、手間は必要最小限で済む
代表も、できるだけ有利に決めて良いし、あるいはだれかにランダムに選ばせても良い
最大値Dが決まって、(D+1) 番目から先の箱だけを開ける。その情報だけで、同値類を一つ作れば良い
代表も、できるだけこちらに有利に決めて良いし、だれかにランダムに選ばせても良い
それは、全て、こちらで決めて良い
これで、100列だけ、同値類と100個の代表を決めれば、
時枝の”不思議な戦略”と完全に同じこと（あるいはそれ以上に有利なこと）が、
実行できる
こうすると、ピエロちゃんの理論では、「選択公理は不要」だよね？
100列だけ、同値類と100個の代表を決めれば、良いのだから
なので、
ピエロ妄言
「時枝記事の”不思議な戦略”が成立たないならば、選択公理が否定される」
が言えなくなるのだった（＾＾
過去スレ20 再録 rio2016.2ch.net/test/read.cgi/math/1466279209/2-7
時枝問題（数学セミナー201511月号の記事）
(抜粋)
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?
つづく
- 149 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 18:43:04.78 ID:JfQZB3iV.net]
- >>133
つづき
～は R^N を類別するが，各類から代表を選び，代表系を袋に蓄えておく.
問題に戻り，閉じた箱を100列に並べる.
1～100 のいずれかをランダムに選ぶ.
例えばkが選ばれたとせよ.
s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.
第1列～第(k-1) 列，第(k+1)列～第100列の箱を全部開ける.
第k列の箱たちはまだ閉じたままにしておく.
開けた箱に入った実数を見て，代表の袋をさぐり， s^1～s^(k-l),s^(k+l)～s^100の決定番号のうちの最大値Dを書き下す.
いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・.
^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s^k) が取り出せるので
列r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はs^k(D)＝rDと賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
(補足)
s^k(D+l)， s^k(D+2)，s^k(D+3)，・・・, rD：ここで^kは上付き添え字、(D+l), Dなどは下付添え字
(引用終り)
以上
- 150 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 18:44:53.86 ID:JfQZB3iV.net]
- >>132
それ同意です（＾＾；
「クロネッカー・ウェーバーの定理」で、具体的にこの問題が解けるわけではないと思った
なお、クロネッカーの青春の夢とか
高木先生の類体論に繋がる定理ですよね（＾＾
- 151 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 18:49:10.59 ID:sayuR5HK.net]
- >>133
>全てのR^Nの類別をする必要はないよね
>100列だけ、同値類と100個の代表を決めれば良いんだ
その場合
時枝記事による予測成功確率の計算を
否定する理由が全くなくなりますが
それでよろしいですか？
- 152 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 18:57:23.05 ID:sayuR5HK.net]
- >>133
>「時枝記事の”不思議な戦略”が成立たないならば、選択公理が否定される」
上記の命題に関しては
そもそも時枝記事の不思議な戦略が必ず成立するので
「時枝記事の”不思議な戦略”が成立たない」は偽になります
偽の命題からは任意の命題が証明できるので
上記の命題は真ということになります
逆に
「選択公理が成り立たないならば時枝記事の”不思議な戦略”が成立たない」
について、箱に入れた100列を決めた上で、100列分の代表元さえあればいい
ということであれば、選択公理が成立しない場合にも、時枝記事の不思議な戦略
が成り立つということになり、偽となります
つまり
「選択公理が成り立たないならば時枝記事の”不思議な戦略”が成立たない」
を否定するなら、選択公理の成立不成立に関わらず、時枝記事の
不思議な戦略が成り立つと認めることになりますが それで結構ですか？
- 153 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 19:03:21.35 ID:sayuR5HK.net]
- 時枝記事について
1.各試行において無限列が変化しない（つまり非可測性は無関係）
2.無限列に末尾がない（つまり決定番号がいくつでも必ず尻尾が存在する）
上記１および2を認めた上で
「時枝記事のふしぎな戦略の成功確率は偶然以上のものではない」
と主張するのであれば、ふしぎな戦略により１００列からランダムに選ばれた列の
決定番号が必ず単独最大値になると断言することになりますが、それで結構ですか？
- 154 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 19:09:27.80 ID:sayuR5HK.net]
- 100列のうち、予測不可能な列という罠は1列にしか仕掛けられません
つまりどう恣意的に代表元を選んだところで、決定番号が100列中の
単独最大値になる列は1列しかなく、他の列を選べば、箱の中身が
代表元と一致してしまうから、代表元から予測できてしまいます
予測不可能だと主張するのは、ランダムに列を選んでいるのに
1列しかない仕掛けた罠に必ずかかる、というのに等しい
これほど奇妙な主張は聞いたことがない
- 155 名前：１３２人目の素数さん [2019/01/26(土) 19:13:44.01 ID:OJu9z/7w.net]
- >>133
＞全てのR^Nの類別をする必要はないよね
＞100列だけ、同値類と100個の代表を決めれば良いんだ
大間違い。
100列だけ、同値類と100個の代表を決めようとすると、当然箱を開けた後でないと決められない。
列 k を選ぶ時点では箱は開けてないのだから、決定番号は定まっていないことになる。
白紙のカードでババ抜きするようなもので、99/100が言えなくなる。
逆に箱を開けて決定番号を決めた後に列 k を選んだらカードの表を見てババ抜きするようなもので
やはり99/100が言えなくなる。
- 156 名前：１３２人目の素数さん [2019/01/26(土) 19:16:16.55 ID:OJu9z/7w.net]
- 語れば語るほど何も分かってないことがバレるスレ主
- 157 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 19:19:23.22 ID:sayuR5HK.net]
- >>140
「100個の代表を決めれば良い」と言い切った時点で
100列�
- 158 名前：ﾌ中身を知る人が、事前に100列の代表を決める
と考えているわけでしょう
つまり決定番号はもう決まってしまっている
だから99/100はゆるぎない
ただ時枝問題については、箱を開けるプレイヤーが
同値類の代表元を取得すると考えたほうが自然だから
その点から任意の列に対応できるよう選択公理を前提して
選択関数を用意したほうがいいと思いますね
ところで確率計算上の注意として、一旦選択関数を決めたら
各試行において、選択関数は変化させないほうがいいでしょう
でないと、選択関数も変数になってしまいますから [] - [ここ壊れてます]
- 159 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 19:22:22.47 ID:sayuR5HK.net]
- >>141
>語れば語るほど何も分かってないことがバレる
頭の★すぎる人にありがちなことですね
勉強しない人は何も学べないですよ
なぜそういう人が数学板にいるのかわかりませんね
言葉だけ聞き齧ってサーチしてみつかった情報をリンクして
何が面白いんでしょう？ だれもそんな人を賢いと思わないですよね
褒めてもらえると思ってるなら大間違いですね
- 160 名前： mailto:sage [2019/01/26(土) 19:28:31.43 ID:pyft0uTd.net]
- >>143
インターネット時代にはいわゆる単なる「博覧強記」な人の価値が下がってしまいました、そういう時代に求められる「博覧強記」とはどんな類のものでしょうか？
- 161 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 19:32:25.63 ID:sayuR5HK.net]
- >>144
もともとあのお方は「博覧強記」な人でもないですけどね
今時キーワードでサーチするなんてサルでもできますから
- 162 名前：１３２人目の素数さん [2019/01/26(土) 19:34:29.02 ID:OJu9z/7w.net]
- 出題者側が代表を決めるとなると、プレーヤーは出題者から情報を貰わないと
数当てできなくなる。
ゲームルールをわざわざ劣化させてスレ主は何がしたいのでしょう？ｗ
- 163 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 19:43:44.80 ID:JfQZB3iV.net]
- >>139-140
意味がわかりませ～ん（＾＾
(引用開始)
100列のうち、予測不可能な列という罠は1列にしか仕掛けられません
つまりどう恣意的に代表元を選んだところで、決定番号が100列中の
単独最大値になる列は1列しかなく、他の列を選べば、箱の中身が
代表元と一致してしまうから、代表元から予測できてしまいます
予測不可能だと主張するのは、ランダムに列を選んでいるのに
1列しかない仕掛けた罠に必ずかかる、というのに等しい
これほど奇妙な主張は聞いたことがない
列 k を選ぶ時点では箱は開けてないのだから、決定番号は定まっていないことになる。
白紙のカードでババ抜きするようなもので、99/100が言えなくなる。
(引用終り)
１）100列を作る。箱は閉じたまま
２）ランダムに１つ列を選ぶ
３）それ以外の99列の箱を開ける
４）99列のみ、同値類分類をして99個の代表を選ぶ
５）そして、最大値Ｄを決める
６）Ｄ＋１から先の箱を開ける
７）明けたしっぽの数列から、同様に同値類分類をして１個の代表を選ぶ
８）ここで、もし代表を選ぶのに、なんの作為もないなら、いつ選んでも時間依存性はないですよね。よって、１年前でも、昨日でも、そして今日の今の今でも、数学としては等価です
９）ここまで、時枝記事と同じに実行できるよね
そう、不思議に思うでしょ？
だから、”ふしぎな戦略”なのですよ（＾＾
- 164 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 19:45:20.70 ID:JfQZB3iV.net]
- >>146
>出題者側が代表を決めるとなると、プレーヤーは出題者から情報を貰わないと
代表を決めるのは、あくまで回答側です
代表を決めるのは、回答者の自由ですよ
- 165 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 19:51:15.19 ID:sayuR5HK.net]
- >>147
>意味がわかりませ～ん（＾＾
考えずにキーワードをサーチしてるだけじゃわからないのは当たり前ですよ
数学板に居て楽しいですか？何がどう楽しいですか？
- 166 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 19:53:16.79 ID:sayuR5HK.net]
- >>148
>代表を決めるのは、あくまで回答側です
>代表を決めるのは、回答者の自由ですよ
では。>>133の
>100列だけ、同値類と100個の代表を決めれば良いんだ
はあり得ませんね
回答者はどの列が来るのか分かりませんから
選択関数を用意する必要があります
選択公理が必要ということですね
- 167 名前：１３２人目の素数さん [2019/01/26(土) 19:55:40.69 ID:OJu9z/7w.net]
- >>148
＞代表を決めるのは、あくまで回答側です
では>>140の通り、数当てできません。
勝てる戦略があるのにわざわざ勝てない戦略を示して何がしたいのですか？
- 168 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 19:56:43.66 ID:JfQZB3iV.net]
- >>149-150
サイコちゃん、良い遊び相手
同じレベルです（＾＾
バカですから
>回答者はどの列が来るのか分かりませんから
一つ以外の箱を開ける権利が、回答者にはあります
なので、数列を知る権利が、回答者にはありますよ
時枝記事ｊに書いてある通りです
- 169 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 19:57:40.08 ID:sayuR5HK.net]
- >>147
>１）100列を作る。箱は閉じたまま
>２）ランダムに１つ列を選ぶ
>３）それ以外の99列の箱を開ける
>４）99列のみ、同値類分類をして99個の代表を選ぶ
>５）そして、最大値Ｄを決める
>６）Ｄ＋１から先の箱を開ける
>７）明けたしっぽの数列から、同様に同値類分類をして１個の代表を選ぶ
４）、７）の「同値類分類をして」は間違い
「同値類分解」は同値関係を定義した瞬間に終わってる
代表を選ぶ選択関数は１）の前に用意せねばならない
４）、７）は「選択
- 170 名前：関数を適用して」が正しい []
- [ここ壊れてます]
- 171 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 20:00:08.67 ID:sayuR5HK.net]
- >>152
相変わらず考えていませんね
箱を空けてどんな列が来るかはわからないでしょう
だからどんな列が来ても選択できないといけませんね
そういうことですよ
- 172 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 20:05:22.92 ID:sayuR5HK.net]
- 代表元の選択関数は
誰がどの列を選ぼうが
同じでなくてはなりません
つまり、列を見てその場で
代表元を好き勝手に選ぶ
というのは間違ったやり方です
- 173 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 20:36:19.99 ID:JfQZB3iV.net]
- >>151>>154-155
>勝てる戦略があるのにわざわざ勝てない戦略を示して何がしたいのですか？
いいえ
もっと勝てる戦略を出せますよ
＜オリジナルの時枝ふしぎな戦略＞
０）時枝記事の通り、R^N/～を実行して、全ての代表を選んでおきます
１）100列を作る。箱は閉じたまま
２）ランダムに１つ列を選ぶ
３）それ以外の99列の箱を開ける
４）99列の同値類決め、99個の代表を選ぶ
５）そして、最大値Ｄを決める
６）Ｄ＋１から先の箱を開ける
７）代表からＤ番目の箱の数値を得て、99/100の的中率を得る
＜時枝ふしぎな戦略改良１＞
０）～４）同上
５）最大値Ｄを決める。そのｎ倍を取る（この方が有利です）
６）ｎＤ＋１から先の箱を開ける（n=100なら、100Ｄ+1です。nは、１億でも100億でもなんでも可）
７）代表からｎＤ番目の箱の数値を得て、99/100以上の的中率を得る
＜時枝ふしぎな戦略改良２＞
０）～６）同上
６’）ｎＤ＋１まで開けましたが、ここで二つに場合分けします
a) ｎＤ＋１ >= d(s^k) が成立 （ｎＤ＋１まで、代表の数列と一致）
b) ｎＤ＋１ >= d(s^k) が不成立 （ｎＤ＋１までのどこかの箱で、代表の数列と不一致）
６’’）そこで、
a)の場合はそのまま、
ｂ）の場合は代表を取り直して、上記a)を満たすようにします
７）これで、代表からｎＤ番目の箱の数値を得て、ほぼ確率１の的中率を得る
注）これらの戦略改良は、決して時枝記事の数当てゲームのルール違反ではありません。
勝つ戦略を考える権利は、回答側にありますから。
どう、不思議に思うでしょ？
ほぼ確率１の的中率なんて・・
だから、”ふしぎな戦略”なのですよ！！ （＾＾；
以上
- 174 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 20:53:06.89 ID:sayuR5HK.net]
- >>156
＜時枝ふしぎな戦略改良１＞ はまあいいとして
＜時枝ふしぎな戦略改良２＞ はなんか勘違いしてますね
まず、選んだ列s^kの決定番号は、
開け始めた箱から先の箱を全部開けないと決まりませんよ
それから、開けた箱と代表元の違いが発覚した場合
代表の取り直すとありますが、それは無意味です
時枝記事の確率計算を理解しないで
勝手に妄想すると、上記のような
馬鹿げた誤りをしでかしますよ
- 175 名前：１３２人目の素数さん mailto:sage [2019/01/26(土) 21:31:10.70 ID:Qdgwe3qN.net]
- あと5年は楽しめそうだなw
- 176 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 21:34:04.54 ID:JfQZB3iV.net]
- >>157
意味わかりませ～ん（＾＾
>それから、開けた箱と代表元の違いが発覚した場合
>代表の取り直すとありますが、それは無意味です
>時枝記事の確率計算を理解しないで
>勝手に妄想すると、上記のような
>馬鹿げた誤りをしでかしますよ
確率計算無関係
勝てる（＝数当てができる）ということを目指すべき
１）代表を決める（決めた）のは、回答側ですよ
２）なので、Ｄ＋１より先の箱を開け、決定番号が”ｎＤ＋１ >= d(s^k) が不成立”と判明したにも関わらず、そのままギブアップは無策です
３）代表の取り直しは、ルールの許容内です
４）となれば、少しでも勝てる戦略を考えるべきですよ
以上
- 177 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 21:35:09.65 ID:JfQZB3iV.net]
- >>158
同意
だが、すでにサンドバッグ状態ですからね～、彼は・・（＾＾
- 178 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 22:21:48.68 ID:JfQZB3iV.net]
- >>159 タイポ訂正
２）なので、Ｄ＋１より先の箱を開け、決定番号が”ｎＤ＋１ >= d(s^k) が不成立”と判明したにも関わらず、そのままギブアップは無策です
↓
２）なので、ｎＤ＋１より先の箱を開け、決定番号が”ｎＤ＋１ >= d(s^k) が不成立”と判明したにも関わらず、そのままギブアップは無策です
- 179 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/26(土) 23:23:36.31 ID:JfQZB3iV.net]
- >>144
C++さん、どもありがとう
お元気そうでなによりです
インクリメンタルしてる？（＾＾
- 180 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 00:45:39.46 ID:PLlC/+ck.net]
- スレ主は
箱の中身が固定列（例えば記事冒頭にあるように全部πとか）
だったら「成功確率99/100以上は成立」
は理解されたと思いますが、今は何が疑問なのですか？
- 181 名前：１３２人目の素数さん [2019/01/27(日) 01:06:20.16 ID:vrX4YClE.net]
- >>156
＞ ｂ）の場合は代表を取り直して、上記a)を満たすようにします
既に箱を開けてるんだからカンニングじゃんｗ
改良版（実際には上記の通り改良になってない）を提示したということは、
オリジナル版の成立は認めたと考えていい
- 182 名前：の？ついさっきまで非可測がー、
選択公理がーって言ってのに、急に考えが変わった？？？ [] - [ここ壊れてます]
- 183 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 01:09:05.29 ID:PLlC/+ck.net]
- ちっ、邪魔が入ったかw
上手く誘導尋問してやろうと思ったのに下手くそめ
- 184 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 01:33:23.44 ID:yq5bMoT+.net]
- おっちゃんです。
>>132
＞>調べたら、>>93が最初に出した問題は、クロネッカー・ウェーバーの定理からすぐ示せる。
＞ 誤解でしょう。ほぼ無関係。
私の誤解だったか。
>cos(π/n)とsin(π/n) （cos(2π/n)とsin(2π/n)でもよいが）
>の関係を問うてる問題ですよ。
この類の問題は、
>nが奇数のとき
>cos(2π/n)∈Ｑ(sin(2π/n)) を示せ。
という問いとは異なる形だが、私も既に考えて解決している。
本当にこの類の問題が意味するところの問題は、これでも終わっていなく、代数だけでは解決出来ないんだが。
まあ、体論や代数的ガロア理論の用語などをしっかりと覚えて、尚かつ暇が生じたら出題した問題を考えてはみる。
- 185 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 06:32:15.21 ID:JT21Pp1+.net]
- >>165
気持ち悪い
- 186 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 07:22:31.48 ID:2muVTg0N.net]
- >>166
この問題は昔どこかの掲示板で、「学校の試験で
cos(x)∈Q(sin(x))を証明しろという問題を出されたけど
ルートが外せるわけないですよね？」
と訊いてたひとがいたことから、「おそらく元はこういう話だったんだろう」
と思って回答したことのある問題なんですよ。
勿論、cos(x)∈Q(sin(x))が一般的に言えるはずがないし
cox(x)=√(1-sin(x)^2) のルートが一般的に外れるわけがない。
それと、前々スレかでどなたかが貴方のことを
「特化した証明という概念がない」と評していたこと。
証明は「2πが周期であることとnが奇数であることが寄与する」
という意味で「特化した証明」になります。
このような証明は一般的に代数的・数論的になるものです。
なぜなら、解析的な証明というのはx一般に成り立つものであり
xの特殊性を反映しにくいからです。
- 187 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 07:50:34.44 ID:yq5bMoT+.net]
- >>168
全く知らなかったが、掲示板で出されていたような問題だったのか。
>このような証明は一般的に代数的・数論的になるものです。
勿論、既に解決している同じ類の問題の証明は代数的な証明である。
ただ、有理数体Qに sin(2π/n)) を添加した体 Q(sin(2π/n)) とかは用いていない。
- 188 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/27(日) 08:02:54.56 ID:Jg2EKDlj.net]
- >>168
どもありがとう
なんか、それ>>42で期末試験とありましたね（＾＾
ガウスのDA 円分等周論の世界ですね
また、あとで
いま、ピエロちゃんと遊んでいるのでね
- 189 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/27(日) 08:03:26.91 ID:Jg2EKDlj.net]
- >>169
おっちゃん、どうも、スレ主です。
ありがとう
- 190 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 08:06:42.79 ID:yq5bMoT+.net]
- >>168
まあ、同じ類の問題といっていいのかというと微妙ではある。
もしかしたら、少し方向性が違うかも知れない。
- 191 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/27(日) 08:13:13.83 ID:Jg2EKDlj.net]
- >>163-164
>箱の中身が固定列（例えば記事冒頭にあるように全部πとか）
>だったら「成功確率99/100以上は成立
雑談はスルーしました。今後も同じです（＾＾
「固定」は、戦略改良が済めば、取り上げます（＾＾；
>＞ ｂ）の場合は代表を取り直して、上記a)を満たすようにします
>既に箱を開けてるんだからカンニングじゃんｗ
そのカンニングはルール上はOKですよ。下記の通り
（>>133より）
時枝問題（数学セミナー201511月号の記事）
(抜粋)
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが，一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
(引用終り)
- 192 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/27(日) 08:20:30.63 ID:Jg2EKDlj.net]
- >>156 追加
＜時枝ふしぎな戦略改良３＞
前提として、列を２つとします。
100列→2列と読み換えるとします。細かい記載の読み換えも、各自でお願いします。
０）～６）同上
６’）ｎＤ＋１まで開けましたが、ここで二つに場合分けします
a) ｎＤ＋１ >= d(s^k) が成立 （ｎＤ＋１まで、代表の数列と一致）
b) ｎＤ＋１ >= d(s^k) が不成立 （ｎＤ＋１までのどこかの箱で、代表の数列と不一致）
６’’）そこで、
a)の場合はそのまま、
ｂ）の場合は代表を取り直して、上記a)を満たすようにします
７）これで、代表からｎＤ番目の箱の数値を得て、オリジナルの的中確率1/2を、ほぼ確率１の的中率に改良できます！！
あれ？ なんか、列の数の依存性が消えましたね？ ｗ（＾＾
- 193 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 08:26:15.01 ID:yq5bMoT+.net]
- >>171
全く、>>168は余計なことばかりいうわな。
代数構造についての証明だと、多くは代数的になるのは当たり前なんだが。
まあ、幾何的な手法で構造を調べる証明も
- 194 名前：あるけど。 []
- [ここ壊れてます]
- 195 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 08:31:22.49 ID:fD09hx13.net]
- >>173
>>> ｂ）の場合は代表を取り直して、上記a)を満たすようにします
>>既に箱を開けてるんだからカンニングじゃんｗ
>そのカンニングはルール上はOKですよ。
選択関数を変えた時点で
時枝氏の戦略とは別ものになってるし
それで確率計算できるかどうか疑わしいな
確率が増すかどうかも疑わしい
- 196 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 08:36:55.35 ID:fD09hx13.net]
- >>174
>６’）ｎＤ＋１まで開けましたが、ここで二つに場合分けします
> a) ｎＤ＋１ >= d(s^k) が成立 （ｎＤ＋１まで、代表の数列と一致）
>>157と同じ間違いを繰り返してるな
>>159
>意味わかりませ～ん（＾＾
s^kの尻尾を全部あけないと
代表元も取れないし決定番号d(s^k)も取れない
ってことが理解できないほど頭が悪いのかい？
- 197 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 08:39:16.72 ID:fD09hx13.net]
- >>160
>すでにサンドバッグ状態ですからね～、彼は・・（＾＾
誤 彼は
正 私は
サンドバック状態なのは自分自身だと気づきましょうね（＾＾
- 198 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 08:43:37.25 ID:fD09hx13.net]
- >>158
>あと5年は楽しめそうだなw
もういいよ
・無限列が対象なのに、有限列で考えたがる
・選択公理についてどうこういいながら、一度もステートメントを読んだことない
・あげくのはてに、予測失敗列に対して、選択関数を変える無茶をやらかし
「どうだ、これで確率が上がったぞ」と謎の勝利宣言
数学が分かってないコドモの悪戯ですね
即刻、数学板から出て行ってもらいたいもんです
- 199 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 08:50:02.42 ID:fD09hx13.net]
- >>163-165
突然「戦略改良」なんて言い出したのは、
結局否定しようがないと気づいたんでしょう
ただ、選択関数の変更は、数列を確率変数と考える以上の泥沼
時枝記事の確率計算の意味が分かってないから
変えてはいけないものを平気で変えちゃうんでしょう
- 200 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/27(日) 08:58:45.30 ID:Jg2EKDlj.net]
- >>174 追加
＜時枝ふしぎな戦略改良４（並べ変え無し版）＞
前提として、面倒な並べ変え無しとします。（＾＾
０）時枝記事の通り、R^N/～を実行して、全ての代表を選んでおきます
１）並べ変えで100列を作る替わりに、決定番号シミュレーションをします
２）具体的には、99個の同値類を選び、そこに99個の代表が選ばれていますが、その代表と比較する数列も99の同値類から各一つ選びます
比較する数列を選ぶ基準は特にありませんが、適当に的中確率が上がるように、考えて下さい。
もちろん、おみくじ方式でランダム（＝無作為）で可
３）これで、99個の決定番号が決まりました
４）最大値Ｄを決める。そのｎ倍を取る（この方が有利です）
５）ｎＤ＋１から先の箱を開ける
６）これで、ｎＤ＋１から先の箱でもって、問題の１列の同値類と代表が決まります
７）代表からｎＤ番目の箱の数値を得て、99/100以上の的中率を得る
まあ、要するに、ｎＤを大きくすれば良いわけです。それだけです
並べ変えなんて、面倒なことは必要ない
決定番号シミュレーションで、99→(10^m)-1とすれば、的中確率 {(10^m)-1}/(10^m) が得られます
（ｎＤのｎを大きく取っても同じですがね、１億でもなんでも。単に的中確率 {(10^m)-1}/(10^m)を示したかっただけです）
更に、>>156の＜時枝ふしぎな戦略改良２＞の６’’）代表の取り直しを加えれば、完璧ですよ
ほぼ確率１の的中率を得る
どう、不思議に思うでしょ？
だから、”ふしぎな戦略”なのですよ！！ （＾＾；
以上
- 201 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 08:59:11.98 ID:YunpeA+d.net]
- >数学が分かってないコドモの悪戯ですね
ほんとコレだな
構うのやめて誰も相手しなきゃいいんだよ
- 202 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/27(日) 09:04:10.10 ID:Jg2EKDlj.net]
- >>180
ふふふ >>181をどうぞ（＾＾
>時枝記事の確率計算の意味が分かってないから
分りません
それ、無意味ですからね
改良で、時枝のオリジナルの確率を平気で超えますからね（＾＾
（例えば>>181ね）
>変えてはいけないものを平気で変えちゃうんでしょう
時枝記事のルールの範囲内でね
平気平気ｗ（＾＾
- 203 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/27(日) 09:05:01.71 ID:Jg2EKDlj.net]
- >>182
それ>>183
＞構うのやめて誰も相手しなきゃいいんだよ
激しく同意ｗ（＾＾
- 204 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 09:11:30.98 ID:fD09hx13.net]
- >>183
>>時枝記事の確率計算の意味が分かってないから
>分りません
>それ、無意味ですからね
分からないのは無意味だからではなく考えないから
>改良で、時枝のオリジナルの確率を平気で超えますからね（＾＾
本当に超えてるかどうか計算してくれませんか？
まあ、あなたには計算できないでしょうが
>>変えてはいけないものを平気で変えちゃうんでしょう
>時枝記事のルールの範囲内でね
>平気平気ｗ（＾＾
ルールとは無関係に、
記事の確率計算が通用しなくなる
という意味で云ってます
嘘だというなら計算してごらんなさい
>>184
相手されたくないなら別の板に行ったほうがいいですね
- 205 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 09:40:32.47 ID:YunpeA+d.net]
- スレ主みたいな人間がいるかぎりまともな数学談話は期待できませんね。
どうしたら出ていってもらえるんでしょうね。
- 206 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/27(日) 09:54:26.38 ID:Jg2EKDlj.net]
- >>185-186
>相手されたくないなら別の板に行ったほうがいいですね
>スレ主みたいな人間がいるかぎりまともな数学談話は期待できませんね。
>どうしたら出ていってもらえるんでしょうね。
”まともな数学談話”か、大笑いですよ
このスレの定義は、下記です。テンプレ>>7の通りです（＾＾
読めない人は、小学校へどうぞ
サイコパスは、病院へどうぞ（＾＾
（>>7 テンプレより）
間違っても５ＣＨ（旧２ＣＨ）で数学の勉強なんて思わないことだ
このスレは、半分趣味と遊びのスレと思ってくれ（＾＾；
もう半分は、ここはおれのメモ帳だ （ここには、自分が面白いと思った情報を集めてあるんだ。過去ログ見ると、いろいろ面白い情報（リンクやPDF があるよ（＾＾ ）
(引用終り)
- 207 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/27(日) 10:04:57.20 ID:Jg2EKDlj.net]
- >>185
>>改良で、時枝のオリジナルの確率を平気で超えますからね（＾＾
>本当に超えてるかどうか計算してくれませんか？
さあ？ｗ（＾＾
＜時枝ふしぎな戦略改良１～４＞
（>>156 >>174 >>181の通り）
において、一つ一つの改良手法は、全て、回答者側に有利に設定されています
なので、”超えてるかどうか”は定かではないが、「以上」であることは間違いないでしょうね
で、＜時枝ふしぎな戦略改良１～４＞（特に４）をどうみるか
”なんか変”と思うのが普通でしょう
そこで、改良を”なんか変”＝矛盾（＝普通の確率計算と合わない）と仮定したとします
そうすると
時枝のふしぎな戦略が成立
↓
＜時枝ふしぎな戦略改良１～４＞（特に４）が成立
↓
”なんか変”＝矛盾（＝普通の確率計算と合わない）
となります
矛盾が導かれたので
背理法で
「時枝のふしぎな戦略が不成立」
となります
ＱＥＤ
- 208 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 10:06:21.11 ID:JT21Pp1+.net]
- >>186
なんでここでやるの？なんで自分でスレ立てしないの？
お前らキチガイがしてるのは数学談義じゃないぞ
- 209 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/27(日) 10:18:30.63 ID:Jg2EKDlj.net]
- >>189
激しく同意（＾＾
このスレの定義は>>7です
スレ主に”まともな数学談話”を求めるのは、
それキチガイですから、病院へ行ってクスリをのみましょうね、サイコちゃん～（＾＾；
- 210 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/27(日) 10:21:04.17 ID:Jg2EKDlj.net]
- >>188 補足
背理法でなく、対偶証明と見てもいいかも（＾＾
Ｐ：時枝のふしぎな戦略が成立
↓
Ｑ：＜時枝ふしぎな戦略改良１～４＞（特に４）が成立
ＰならばＱが成立
￢Ｑ→￢Ｐ が成立する
ＱＥＤ
- 211 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 10:30:28.97 ID:D+aA0s+x.net]
- 改良したつもりが実際には改良になってないなら、
その行為は無意味な失敗作だっただけの話で、
その失敗作は時枝記事の擁護にも使えないし批判にも使えない
もし改良が本当に改良になっているなら、
それは正真正銘の改良なのであって、
時枝記事が間違ってることの根拠にはならない
むしろ時枝記事を自分で補強してしまっているので、
時枝記事を批判したい人間にとってはただの自爆でしかない
どちらに転んでも、「改良」という行為はアホ主には有利に働かない
- 212 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/27(日) 10:32:03.59 ID:Jg2EKDlj.net]
- >>180
>ただ、選択関数の変更は、数列を確率変数と考える以上の泥沼
>変えてはいけないものを平気で変えちゃうんでしょう
揚げ足とっておく
ピエロの選択公理の選択関数の理解って、「固定」ちゃんなの？
唯一無二なの？
林修先生も初耳（下記）というだろうねｗ（＾＾
そんな選択関数はでさ、
例えば>>65の等価な命題たち例えば「整列可能定理 任意の集合は整列可能である」を証明できないでしょ？（＾＾；
まあ、爆笑もののトンデモ発言だな
https://ja.wikipedia.org/wiki/%E6%9E%97%E5%85%88%E7%94%9F%E3%81%8C%E9%A9%9A%E3%81%8F%E5%88%9D%E8%80%B3%E5%AD%A6!
林先生が驚く初耳学!
- 213 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/01/27(日) 10:32:52.22 ID:Jg2EKDlj.net]
- >>192
どもありがとう
ご苦労さまです（＾＾；
- 214 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 10:36:30.22 ID:D+aA0s+x.net]
- つまり、「改良」を根拠にして時枝記事を批判することは
意味的に不可能であり、これは数学というよりも国語の問題に近い
それにも関わらず、なぜかアホ主は「改良」によって
時枝記事への反論を繰り広げている
そのような行為は意味的に不可能なので、
国語として見ただけで反論内容の間違いが見つかるはず
たとえば、>>188の批判は実際に批判になってない。なぜなら、>>188では
「改良したら余計に直観と合わなくなって "なんか変" なので、時枝記事は間違っている」
としか言っておらず、「なんか変」ということだけが矛盾の根拠になっているからだ。
こんなのはただの読書感想文であって、時枝記事が間違ってることの根拠ではない
一応、>>188では「 "なんか変" ＝ 矛盾 という仮定のもとで」という前置きをしているが、
まさにその 「 "なんか変" ＝ 矛盾 」という仮定が単なる読書感想文に過ぎず、
批判として全く成立していないのだ
- 215 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 10:43:46.20 ID:D+aA0s+x.net]
- このように、アホ主を批判する側は、>>192,>>195に書いたように、
・ 本当に改良なら時枝記事が補強されているだけなのでアホ主が自爆してるだけ
・ 改良になってないなら失敗作なので、時枝記事の擁護にも使えないし批判にも使えない
・ どちらに転んでも、「改良」という行為はアホ主には有利に働かない
・「改良」を根拠にして時枝記事を批判することは意味的に不可能。
それはもはや数学ではなく国語の問題であり、むりやり「改良」を根拠にして
時枝記事を批判しても、国語として見ただけで批判内容に間違いが見つかる
という方針で批判すればよい
- 216 名前：１３２人目の素数さん mailto:sage [2019/01/27(日) 11:35:30.85 ID:PLlC/+ck.net]
- アホ主のアホの解説が上手すぎて笑ったわ
|
 |
