[過去ログ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む46 (692レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
50
(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)09:05 ID:cTg/FCp5(50/94) AAS
>>49 関連

スレ45 2chスレ:math
540 返信:現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日:2017/11/07(火) 14:31:03.11 ID:/DwZQaZ/ [1/5]
>>537 追加

追加でしっかり書いておくよ〜(^^

<言いたいことは、結論を言えば、XOR’S HAMMERも、Sergiu Hart氏・時枝も、全部パズルなんだよね>

1.名前を付けよう

 1)下記、XOR’S HAMMERのYou and Bobのpuzzleを、任意関数の数当て解法としよう。
 記 (>>471より)
 外部リンク:xorshammer.com
 SET THEORY AND WEATHER PREDICTION XOR’S HAMMER Some things in mathematical logic that I find interesting WRITTEN BY MKOCONNOR Blog at WordPress.com. AUGUST 23, 2008
 (抜粋)
 Here’s a puzzle:
 You and Bob are going to play a game which has the following steps.

 2)Sergiu Hart氏のpuzzle及び時枝記事(>>17-24より)の解法を、加算無限個数列の数当て解法としよう
 Sergiu Hart氏のPDF 外部リンク[pdf]:www.ma.huji.ac.il>>46より)

つづく
52
(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/12(日)09:05 ID:cTg/FCp5(52/94) AAS
>>50 つづき

スレ45 2chスレ:math
541 返信:現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日:2017/11/07(火) 14:31:53.21 ID:/DwZQaZ/ [2/5]

2.任意関数の数当て解法は、射程として、可算無限個数列の数当て解法を含んでいるんだ。それを示そう
 1)XOR’S HAMMERの任意関数の数当て解法は、”In Step 2, choose x with uniform probability from [ 0,1 ].”で、”Thus, you win with probability 1 no matter what function Bob selects.”なのだから
 2)やり方は、>>483に書いたように、時枝の可算無限個との対応は、1/1,1/2,1/3,・・・1/n,・・・とすれば、全て[0,1]内の実数と対応がつく
 3)数列 s = (s1,s2,s3 ,・・・,sn,・・・)から、
  f(1)=s1,f(1/2)=s2,f(1/3)=s3 ,・・・,f(1/n)=sn,・・・となる関数f(x)を作れば良い。
  関数はなんでも良いので、簡単に例えばf(1/2)とf(1/3)とを直線で結ぶ
  これで、時枝の可算無限個を、関数に埋め込めたので、XOR’S HAMMERの任意関数の数当て解法が適用できる
 3)”you”は、好きな”1/n”を選べば、XOR’S HAMMERの任意関数の数当て解法で、当たる確率1だ

つづく

注)ここ、「“with uniform probability from [ 0,1 ].”を除いて、もとの問題設定通り、任意にxを選べるとすれば、」とするのが正確だったね。
“with uniform probability from [ 0,1 ].”だと、任意にxを選べないから。(^^
497
(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/22(水)21:02 ID:mEHYOxL2(15/15) AAS
>>495 追加

えーと、>>50の「XOR’S HAMMERのYou and Bobのpuzzleを、任意関数の数当て解法」は、おれと「ぷふ」さんの勝利ということで、いいな!

似ているはずさ

おれと「ぷふ」さんが、”正しい”のだからね(>>485より)

時枝の議論は、上記の「XOR’S HAMMERのYou and Bobのpuzzleを、任意関数の数当て解法」について、”俺たちが正しい”ということがきちんと理解できてからにしような
501
(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/23(木)08:53 ID:A258vGqh(1/13) AAS
>>497 補足

1.>>50より"<言いたいことは、結論を言えば、XOR’S HAMMERも、Sergiu Hart氏・時枝も、全部パズルなんだよね>
  を書いた時点で、>>479-485を、切り札にする予定だった

2.(文系) High level people たちの<数学ディベート>(もどき?)(>>8)について:
  >>492-494は、”uniform probability”を説明するための非数学的な例えの説明であって、そこに重箱の隅つつきの難癖をつけてもなんにもならんぜ
  何も間違っていない。”uniform probability”の意味を理解していない、貴方たち(文系) High level peopleが、曲解して>>492-494のような難癖をつけているだけのことだ

3.「時枝の前に、まず、>>471-472の”XOR’S HAMMERの任意関数の数当て解法”をやろう!」(>>56より)
  と言った意図は、二つある

  1)[HT08b]中で
 「これをμ戦略が確率1で正しいと解釈することには注意が必要です。
  固定されたfixed true シナリオの場合、区間[0,1](またはRにおいて、適切な確率分布の下で)において瞬間tをランダムに選択すると、
  推論3.4は、μ戦略がtで確率1で正しいことを教えてくれる。
  しかし、瞬間tを固定してランダムにfixed true シナリオを選択すると、そのシナリオの下でμ戦略が正しい確率は0であるか、または存在しないかもしれません
  ランダムなシナリオの概念をどのように定義するかによって異なります。」と注意を入れていて(>>485
  自分勝手に、”固定!”を使用すると、確率1から0まで、なんでも言えてしまうこと

  2)”XOR’S HAMMERの任意関数の数当て解法”は、単純に1列で決定番号も使わないシンプルなパズルだから、貴方たち(文系) High level peopleがどこで躓いているかが明白になること

以上、補足まで
502
(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/23(木)08:56 ID:A258vGqh(2/13) AAS
>>485 <ついでに補足>

1.[HT08b](XOR’S HAMMERのパズル元ネタ)は、XOR’S HAMMERのパズルそのものとは微妙に異なる
2.[HT08b]は、>>480 "if someone proposed a strategy for predicting the values of an arbitrary function based on its past values"
  とあるように、元々は、過去の関数値から、現在又は未来の関数値を予測するという話だった
3.但し、>>481 "For a fixed true scenario, if one randomly selects an instant t in the interval [0,1] (or in R, under a suitable probability distribution)"と一言注釈が入った
4.おそらく、XOR’S HAMMER氏は、ここをピックアップして、”XOR’S HAMMERの任意関数の数当て解法”パズル(>>56)を考案したんだろう
  が、当然(>>481) ”However, if one fixes the instant t, and randomly selects a true scenario, then the probability that the μ-strategy is correct at t under that scenario might be 0 or might not even exist, depending on how one defines the notion of a random scenario.”
  も読んでいて、あくまでパズルだと、”Here’s a puzzle:”(>>50より)を明記したわけだ

以上、補足まで
561: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2017/11/26(日)13:57 ID:1WQ1V5QH(10/34) AAS
>>560 つづき

まあ、要するに、Taylor氏らも、[HT08b]で、「おかしな”固定”」を使って、間違ったんだよな〜〜、彼らは・・(^^
しかし、[HT09]で、間違いを認めたんだぜ!! >>559
そして、成書では、[HT08b]にあった XOR’S HAMMER類似の”任意関数の数当て解法”(>>50)は、結局全部削除されたのだった>>560!!(^^

以上
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ

ぬこの手 ぬこTOP 0.031s