[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む30 [無断転載禁止]©2ch.net (653ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
419: 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)23:21 ID:nB6uL1P/(20/23) AAS
>>411
関連
外部ﾘﾝｸ[php]:ipsj.ixsq.nii.ac.jp
外部ﾘﾝｸ:ipsj.ixsq.nii.ac.jp
df-pnアルゴリズムの詰将棋を解くプログラムへの応用（論文賞受賞） 長井 歩 今井 浩 東京大学 情報処理学会論文誌 2002
詰将棋を解くプログラムの研究はこの10年の間に大きく進歩した．その原動力となったのは，証明数や反証数という概念の導入である．
詰将棋に適用すると，直感的にいうと，証明数は玉の逃げ方の総数を，反証数は攻め方の王手の総数を表す．前者は攻め方にとって，後者は玉方にとって非常に重要な値である．証明数・反証数を対等に扱った，最もナイーブなアルゴリズムは，Allisによるpn-searchという最良優先探索法である．
我々は近年，df-pnアルゴリズムという，pn-searchと同等の振舞いをする深さ優先探索法を提案している．この論文では，df-pnアルゴリズムを用いて詰将棋を解く強力なプログラムを作成し，その過程で導入した様々な技法を提案する．
これらの技法をdf-pnの上に実装することにより，我々のプログラムでは300手以上の詰将棋のすべてを解くことに初めて成功した．
しかもそれは，シングルプロセッサのワークステーションで解くなど，解答能力と解答時間の両面で優れた結果を出すことができた．
420(1): 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)23:22 ID:nB6uL1P/(21/23) AAS
>>417-418 シカトー（＾＾
421: 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)23:25 ID:nB6uL1P/(22/23) AAS
おれは、時枝記事ガセが分かる人間しか相手にしない
例外は、おっちゃんだけ
ま、￥さんは分かっていて、その上でコルモゴロフ 確率論を超えろという
422(2): 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)23:30 ID:nB6uL1P/(23/23) AAS
時枝記事はガセ
それは分かっている
が、なぜ成り立つように見えるのか？
時枝は言い訳に選択公理と非可測集合を持ち出す
だが、私は可算無限数列のシッポでの同値類分類が笑いの肝（キモ）かなと思っているんだ（＾＾；
だから、「時枝記事はガセで、それは分かっているが、なぜ成り立つように見えるのか？」という視点からの議論には参加するが、時枝記事を正当化する議論には参加しない
その話なら、スレ28で、（文系）High level people たちでやんなさい
カントールの無限集合論も分からん人間と
議論する気にはならんよ（＾＾
423(3): 2017/05/01(月)23:33 ID:VeaTgpV1(3/3) AAS
>>420
ほらまた逃げた
女の腐ったみたいにウジウジと
424(2): 2017/05/02(火)01:14 ID:5EuRtFMG(1) AAS
>>422
> 私は可算無限数列のシッポでの同値類分類が笑いの肝（キモ）かなと思っているんだ
時枝記事を否定したければスレ主は「出題者が任意の無限数列を出題することが不可能」なので
数当てゲーム自体をそもそも実行できないとでも主張すればよいわけ
> なぜ成り立つように見えるのか？
それはスレ主が(そのことに気づいていないとしても無意識に)成り立つと仮定しているから
スレ主は(そのことに気づいていないとしても無意識に)自分で成り立つと仮定しておきながら
それとは逆に時枝記事を否定しようとしてトンチンカンな主張を繰り返しているだけですよ
425: 現代数学の系譜11 ガロア理論を読む 2017/05/02(火)06:16 ID:OfR5CxfS(1/16) AAS
>>423-424
シカトー
426: 現代数学の系譜11 ガロア理論を読む 2017/05/02(火)06:17 ID:OfR5CxfS(2/16) AAS
>>423
プロ固定ageアルバイトご苦労さまです（＾＾
427(1): 現代数学の系譜11 ガロア理論を読む 2017/05/02(火)07:03 ID:OfR5CxfS(3/16) AAS
>>423-424
まあ、おっちゃんも>>355に書いているように、おれの数列の話は
「時枝記事はガセで、それは分かっているが、なぜ成り立つように見えるのか？」という視点からの議論であって
そのコンテキストから離れた議論をしても仕方が無いよ
おれの数列の話が、普通数学の数列の扱いと違うと言いたいのかも知れないが、もともと普通数学の数列の扱いと違うことをやっているのは時枝記事の方だ
428: 現代数学の系譜11 ガロア理論を読む 2017/05/02(火)07:26 ID:OfR5CxfS(4/16) AAS
>>101-102 ”確率論の専門家”さん発言より
564 名前：１３２人目の素数さん[] 投稿日：2016/07/04(月) 22:05:22.22 ID:1JE/S25W [3/3]
時枝氏の方法は「確率は計算できない」が今の確率論の答えだと思う．
確率0というのは，可測となるような選び方をしたら，それがどのような選び方でも確率は0になるだろうってこと
残す番号を決める写像Nが可測で，また開けた箱から実数を決める写像Yが可測ならば
P(X_N=x)=0が導かれるだろう
(引用終り)
時枝は言い訳に選択公理と非可測集合を持ち出す（>>422にも書いた通り）
だが、上記”確率論の専門家”さんの発言通りだが
可測となるような選び方も可能だ
省8
429(1): 帰ってきた哀れな素人 2017/05/02(火)08:45 ID:HSzAQmvZ(1/10) AAS
>カントールの無限集合論も分からん人間と
>議論する気にはならんよ（＾＾
スレ主はカントールの集合論がペテンだということが
分っているのだろうか（笑
「無限小数は数ではない/相対性理論はペテンである」
「無限小数は数ではない」 無限小数というようなものは存在しないし、存在不可能である。
従来の常識を覆し、カントール実数論(集合論)のペテンを暴いた爆弾論文。
この文章の意味を、このスレの連中は誰一人として分っていないだろう（笑
430(1): 帰ってきた哀れな素人 2017/05/02(火)08:49 ID:HSzAQmvZ(2/10) AAS
「無限小数は数ではない/相対性理論はペテンである」
外部ﾘﾝｸ:www.amazon.co.jp
431(2): 2017/05/02(火)09:45 ID:YiNn51o7(1/4) AAS
>>427
スレ主は解析理論が数列を使って構築されるのもわかってないんだろう。
だからそういう発言ができる。
基礎が無茶苦茶のファンタジー数学。そもそも数学板に来るレベルじゃない。
432: 現代数学の系譜11 ガロア理論を読む 2017/05/02(火)10:21 ID:OfR5CxfS(5/16) AAS
>>429-431
帰ってきた哀れな素人さん、どうも。スレ主です。
よくぞ、Good タイミングで参入頂きありがとうございます（＾＾；
はい、”スレ主はカントールの集合論がペテンだ”ということが分っていません・・
が、>>431 ID:YiNn51o7さんなど、（文系）High level people さんたちの主張、よくわかりました！（＾＾！
433(1): 現代数学の系譜11 ガロア理論を読む 2017/05/02(火)11:16 ID:OfR5CxfS(6/16) AAS
>>431 シカトー、age ご苦労！ （＾＾
434(2): 現代数学の系譜11 ガロア理論を読む 2017/05/02(火)11:26 ID:OfR5CxfS(7/16) AAS
現代数学の特徴は、ファンタジーにある
時の天才数学者たちの織りなすファンタジーな理論
常人では、なかなか思いつかない
例えば、下記【強到達不能基数】
外部ﾘﾝｸ:ma&tome&.&na&ver.jp
(抜粋)
【中二病的】不思議な数学の世界のお話
数学は理系にもかかわらず他の学問と違い「完全な答え」を求める学問であり、「存在しなくても想像できるものならOK」という特色を持っています。ここでは有名なものから無名なものまで、中二心をくすぐる授業では絶対に習わない数学の不思議な世界を紹介します。なお、予備知識はゼロで構いません。 更新日: 2015年08月08日
本文ではあえて中学生小学生でも分かるように平坦な文章を使っています。詳しく知りたい方は本文の単語を検索してみてください。文体上、定義に関してはあまり正確性を持っていません。
省4
435: 現代数学の系譜11 ガロア理論を読む 2017/05/02(火)11:27 ID:OfR5CxfS(8/16) AAS
>>434
外部ﾘﾝｸ:ma&tome&.&na&ver.jp
↓
NGワード規制に引っかかったので
＆を挿入した。＆を全て削除してURL再現してくれ（＾＾；
436(1): 現代数学の系譜11 ガロア理論を読む 2017/05/02(火)11:34 ID:OfR5CxfS(9/16) AAS
ファンタジー数学と言えば、筆頭は、時枝問題でしょう（＾＾
時枝問題（「箱入り無数目」数学セミナー2015.11月号） 2chｽﾚ:math
・箱がたくさん，可算無限個ある
・そこに、私がまったく自由に実数を入れる
・もし閉じた箱の中の実数をピタリと言い当てたら，あなたの勝ち. さもなくば負け. 勝つ戦略はあるでしょうか?
・時枝記事の結論：勝つ戦略はある
・閉じた箱を100列に並べ、無限数列のしっぽで同値類分類する方法で。100列でなく、もっと増やせる
時枝先生は、100列で確率99/100にできる、あるいはn列で確率1-ε（ε＝1/n)にできるという
しかし、確率論では、ランダム現象あるいは乱数を取り扱えないとおかしいわけで
ある理論のランダム現象あるいは乱数を使って、箱にランダムな数を入れると、その数はそれ以外の数とは独立だから、「当てられるはずが無い」という結論にならざるを得ない
437: 現代数学の系譜11 ガロア理論を読む 2017/05/02(火)11:37 ID:OfR5CxfS(10/16) AAS
そこらの確率論の常識は、>>239辺りを勉強すれば分かるし
数学科なら３年ないし４年でやるだろう
確率論の常識ある人は、時枝記事がガセとすぐ分かる
そういうことを>>240に書いた
438: 現代数学の系譜11 ガロア理論を読む 2017/05/02(火)11:41 ID:OfR5CxfS(11/16) AAS
じゃあ、なぜ、時枝解法 （「箱入り無数目」数学セミナー2015.11月号） 2chｽﾚ:math が正しそうに見えるか？
その笑いの肝（キモ）が、無限数列の扱いにあるんじゃないかと。そういうことを>>240に書いた
その理解を共有できる人たちでないと、議論しても面白くないんだよね・・、（文系）High level people さんたちとでは・・（＾＾；
上下前次1-新書関写板覧索設栞歴
あと 215 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.012s