17/10/31 06:50:04.01 Ip5PN5gW.net
>>14
誤 <おちこぼれ達のための補習講座>
正 <おちこぼれの独白録 -しくじり先生 俺みたいになるな->
URLリンク(nogizaka46democracy.blog.jp)
私の役どころは「生田絵梨人」(いくたえりと)ってところか
220:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/31 08:21:20.78 GENG+CRL.net
>>189
>>”Sergiu Hartの論文
>件の2ページの``論文''は
>おそらく``パラドックス・ジョーク''ネタ帳みたいなものだろう
>混乱させて楽しんでるんじゃないかん
完全同意(^^
よく分ってらっしゃる
``論文''としたところも、いわゆる学術論文にあらずという意味だね(^^
221:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/31 08:21:57.58 GENG+CRL.net
>>190-191
見苦しい言い訳だな
貴方が、”しっぽの同値類”の本質を理解できていないことは、分ったよ(^^
それ、言い訳になってないぜ~(^^
222:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/31 08:22:16.18 GENG+CRL.net
>>192
>君のような小粒はその程度の理解に収まってればよし。
勝手に相手を”小粒”とか(^^
笑える
自分は大粒だとでも?(^^
223:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/31 08:23:17.21 GENG+CRL.net
>>194-196
落ちこぼれ、分ってないね(^^
>お前は「当てずっぽで当てようとしても確率0でしか当てられない」としか言ってない。
>時枝戦略は当てずっぽではないので、全く見当はずれ、掠りもしてない。
"当てずっぽ"って・・、確率論におけるサイコロ振りのような確率現象の定義1/6(P面サイコロを使うと、確率1/Pとなる。時枝の通り任意の実数なら確率0)を言っているのだよ
定義に噛みついてもね~(^^
>時枝戦略は当てずっぽではないので、全く見当はずれ、掠りもしてない。
なにをタワゴトをー(^^
サイコロ振りを無限に繰返して、箱に出た目を入れる。どの箱も確率1/6
時枝記事は、その内どれか一つの箱を99/100で的中できるという
だが、その一つの箱が他の箱と区別されるべき数学的根拠がないでしょ?
だって、単純にサイコロ振りを無限に繰返して、箱に出た目を入れただけなのだから
なので、>>189 ID:HNynrBDdさんの通り、「``パラドックス・ジョーク''ネタ帳みたいなものだろう 混乱させて楽しんでるんじゃない」ってことですよ(^^
224:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/31 08:27:41.37 GENG+CRL.net
>>197
うそつきピエロくん、朝早くから出勤ご苦労
君は、小学生なのに、朝早くから沢山作文書いてえらいね(^^
ところで、
”Sergiu Hartの論文は論文誌に掲載されている
彼の著書でも紹介されている”(>>149)
は、どうなったんだ?(^^
みんなから、「うそつき」と思われているよ。それで良いのか?(^^(>>187)
225:132人目の素数さん
17/10/31 08:34:27.80 DGMoT5Pm.net
>200 ←これがスレ主の本質です。
人のレスを勝手に改竄しておいて「同値類がわかってない」と上から目線。
つまり上から目線することが大前提であって、そのためにはどんな卑怯な手でも使う。
化けの皮剥がれたり
226:132人目の素数さん
17/10/31 08:37:11.06 DGMoT5Pm.net
>>199
喜ぶのはまだ早い
タワケモノ君が>>195にまともに答えられてから
227:132人目の素数さん
17/10/31 08:39:30.38 DGMoT5Pm.net
>>202
>だが、その一つの箱が他の箱と区別されるべき数学的根拠がないでしょ?
根拠は時枝記事前半
サルが理解できてないだけ
228:132人目の素数さん
17/10/31 08:42:23.42 DGMoT5Pm.net
>>203
>みんなから、「うそつき」と思われているよ。それで良いのか?(^^(>>187)
みんなから、「うそつき」と思われているのは人のレスを勝手に改竄しちゃうサルの方だが?
229:132人目の素数さん
17/10/31 08:56:21.79 fyMz7ygu.net
おっちゃんです。
乃木坂48というアイドルグループがあることを>>198を見てはじめて知った。
最近のアイドルグルーブではアキバの AKB48 位は知っていたが、
乃木坂48 は初耳だね。AKB48 や 乃木坂48 の歌なんて全然知らんわ。
ところで、西脇唯や THE ALFEE、倉木麻衣とかはどうなったのかね。
西脇唯には「君がいるから…」、THE ALFEE には「Justice For True Love」、
倉木麻衣には「Growing of my heart」というお気に入りの曲があるんだけどね。
これらは「金田一少年の事件簿」か「名探偵コナン」のアニメソングだったけど、名曲だね。
230:132人目の素数さん
17/10/31 09:02:01.94 fyMz7ygu.net
あっ、乃木坂48 ではなく 乃木坂46 なのか。
231:哀れな素人
17/10/31 09:59:39.35 BoJ96Ces.net
>>179-180
お前が書いているのは極限値である(笑
極限値とはかぎりなくそれに近づくが、
それにはならない値のことである(笑
お前はそのことが全然分っていないのだ(笑
>>181-182
お前も
1 有限である。
2 いくらでもあるが有限である。
の違いが分っていない(笑
分っていないからそんなアホな質問をするのだ(笑
ああ、これまで何度お前と同じようなアホな質問をされたことか(笑
書く度に必ず同じようなアホな質問と嘲笑を受ける(笑
何度説明しても、ここのアホどもは絶対に理解しない(笑
>つまり数学は2000年かけて退化したと言いたいのね?
そう(笑
現代数学はひどい代物だ。無茶苦茶だ。
それなのにお前らはそれが分っていないのだ(笑
232:哀れな素人
17/10/31 10:07:37.45 BoJ96Ces.net
僕の言っていることを理解できそうなのは>>177の男だけだ。
この男なら理解できるかもしれない。
他の連中には無理だ(笑
なにしろ>>179-180 を見ても、未だに
1/2+1/4+1/8+……は1になる、
と思っている○○がゴロゴロいるのだ(笑
そんな○○に
0.99999……は1ではない
ということが分るはずがないし、まして
2 いくらでもあるが有限
ということが分るはずがない(笑
233:132人目の素数さん
17/10/31 10:17:43.54 fyMz7ygu.net
>>211
>僕の言っていることを理解できそうなのは>>177の男だけだ。
>この男なら理解できるかもしれない。
>他の連中には無理だ(笑
>>177は最後に
>補足)後日、∞を使って計算してはいけません。と言われたような。
と書いていることに注意しろよ。
>>177は、もしかしたらお前さんの考え方とは真逆の考え方をしている可能性がある。
234:哀れな素人
17/10/31 11:44:22.36 BoJ96Ces.net
>>212
もちろん>>177の証明は完全に正しい証明ではない。
数学の厳密な計算に∞を使用してはいけないからである。
そうではなくて、僕が感
235:心しているのは、>>177の男は、 無限級数の桁数をごまかしていないという点である。 多くの人間が、無限小数とか無限級数の計算となると、桁数をごまかす。 無限だから後ろの方はどこまでも同じだと考えて、桁数をごまかす。 実はそのことに詐欺とペテンが含まれているのだが、 ほとんどの人はそのことに気付かない。
236:132人目の素数さん
17/10/31 18:58:41.66 NnVBd0Ra.net
>>211
> そんな○○に
> 0.99999……は1ではない
> ということが分るはずがないし、まして
> 2 いくらでもあるが有限
> ということが分るはずがない(笑
一番不思議なのは他人に公理も定義も説明できない人が数学を一番理解してるってことなんですがね。
237:132人目の素数さん
17/10/31 19:23:02.80 Ip5PN5gW.net
>>202
>サイコロ振りを無限に繰返して、箱に出た目を入れる。どの箱も確率1/6
>時枝記事は、その内どれか一つの箱を99/100で的中できるという
>だが、その一つの箱が他の箱と区別されるべき数学的根拠がないでしょ?
>だって、単純にサイコロ振りを無限に繰返して、箱に出た目を入れただけなのだから
なにいってんだかわかんないよ、もうろくじいちゃん
決定番号d以降のxではs_x=s'_xだよ
選んだ列以外の決定番号の最大値をDとして
選んだ列の決定番号をdとすると
列がどれだけたくさんあってもd>Dになる列は高々一つだよ
あとは必ずd<=Dになる。D+1以降の尻尾から代表元とったら
d=Dだとしたって、D番目の箱は当たるんだよ
あんたの時代は終わったよ 耄碌爺チャン
Rest in peace
238:132人目の素数さん
17/10/31 19:28:13.10 Ip5PN5gW.net
>>208
乃木坂46は正直全然大したことないが、生田絵梨花は別だ
なんで彼女が乃木坂46に居るのか謎
239:132人目の素数さん
17/10/31 19:29:49.42 FVq7krTI.net
無限小数に全てのけたなんてねぇの!
240:132人目の素数さん
17/10/31 20:33:35.67 DGMoT5Pm.net
>>202
>"当てずっぽ"って・・、確率論におけるサイコロ振りのような確率現象の定義1/6(P面サイコロを使うと、確率1/Pとなる。時枝の通り任意の実数なら確率0)を言っているのだよ
だからそれが当てずっぽだと言ってるのだ、サルが理解できないだけ
{0} から一元を当てずっぽで当てたら確率1/1で当たる
{0,1} から一元を当てずっぽで当てたら確率1/2で当たる
{0,1,2,3,4,5} から一元を当てずっぽで当てたら確率1/6で当たる
{r∈R} から一元を当てずっぽで当てたら確率0で当たる
サルはこう言っているに過ぎない
時枝戦略は当てずっぽ戦略ではないから 完 全 な 的外れ
241:132人目の素数さん
17/10/31 20:39:01.72 DGMoT5Pm.net
>>201
>勝手に相手を”小粒”とか(^^
>笑える
勝手ではない。タワケモノ君は何の根拠も示さずにネタだとかジョークだとかほざいている。
小粒と呼ばれるのが不本意なら>>195に答えればいいだけ。
タワケモノ君頼りのサルはキーキー騒いでないで知恵の一つも貸してやることだ
もっともサル知恵貸されても有難迷惑かもしれんがw
242:132人目の素数さん
17/10/31 20:45:08.84 DGMoT5Pm.net
>>200
言い訳?はあ?
人のレス勝手に改竄する手癖の悪いサルを叱りつけただけだが?
ところでサル知恵とはよく言ったものだな
>見苦しい言い訳だな
>それ、言い訳になってないぜ~(^^
↑たった数行の中でさえ自己矛盾してやがるw
243:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/31 21:55:53.19 GENG+CRL.net
>>207
>>みんなから、「うそつき」と思われているよ。それで良いのか?(^^(>>187)
>みんなから、「うそつき」と思われているのは人のレスを勝手に改竄しちゃうサルの方だが?
なに言っているのか?(^^
”Sergiu Hartの論文は論文誌に掲載されている
彼の著書でも紹介されている”(>>149)
で、普通の日本人の反応は、「うそつき」の濡れ衣を晴らすには、掲載誌と掲載論文を出典としてしっかり示すこと以外にあり得ないでしょ?(著書も同じ)(^^
で、それが出来ないということは、どういうことなの?
出来ないって、それ根拠無しに、>>149の発言”Sergiu Hartの論文は論文誌に掲載されている 彼の著書でも紹介されている”をしたわけだよね
結論は、「”サイコパス”のお得意のウソ」(>>154)以外の何物でもないでしょ(^^
まあ、落ちこぼれ同士のかばい合い
美しい友情と思えなくもないが、貴方も「うそつき」の仲間と思われますよ~(^^
244:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/31 21:56:05.37 GENG+CRL.net
>>208
おっちゃん、どうも、スレ主です。
論文も頑張ってな~(^^/
245:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/31 21:58:00.73 GENG+CRL.net
>>214
ID:NnVBd0Raさん、どうも。スレ主です。
>一番不思議なのは他人に公理も定義も説明できない人が数学を一番理解してるってことなんですがね。
正確には、「数学を」→「数学における無限の概念を」ですな(^^
まあ、哀れな素人さん、古代ギリシャ以降コーシーくらいまでの無限の概念を再検証しているのかも知れないね
だが、古代ギリシャと決定的に違うのは、大
246:きくは次の3点 1.いわゆる無限小解析=ライプニッツ(&ニュートン)の微分積分は、古代ギリシャには無かったこと 2.射影幾何における無限遠点の導入(古代ギリシャの円錐曲線論に淵源があると思うが) 3.あと、リーマン球面における無限大の扱い 上記1~3を扱えるようにするために、19世紀末から20世紀初等の大数学者達が苦労したという 哀れな素人さんは、文系だから上記1~3はご縁が薄いらしい(^^ これが、哀れな素人さんに対する正確な評でしょうね(^^
247:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/31 21:58:30.31 GENG+CRL.net
>>215
ピエロえらいね、小学生なのに、沢山作文書いて
でも、君はウソつきなんだよね~。でも、君はサイコパスなんだよね~。(^^
248:
17/10/31 22:20:36.03 PQ6XV+dv.net
>>223
>いわゆる無限小解析=ライプニッツ(&ニュートン)の微分積分は、古代ギリシャには無かったこと
いや、それでもアルキメデスはπも計算したし、放物線の面積、球の体積や表面積、円柱の表面積、円錐の体積などを求めている
ニュートンの1000年前に、もう微分積分の一歩手前まで来ていたんだとおもいます。
249:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/31 22:58:32.07 GENG+CRL.net
>>225
これはこれは、C++さん、お元気そうでなによりです(^^
>>いわゆる無限小解析=ライプニッツ(&ニュートン)の微分積分は、古代ギリシャには無かったこと
>
>いや、それでもアルキメデスはπも計算したし、放物線の面積、球の体積や表面積、円柱の表面積、円錐の体積などを求めている
>ニュートンの1000年前に、もう微分積分の一歩手前まで来ていたんだとおもいます。
そうそう
それは、数学史に書いてあるね
で、古代ギリシャの時代に無かったことは
デカルトの座標の考えかな?(^^
あと、文字式の扱い
まあ、方程式から、文字式+デカルトの座標→関数の考え
ここまで来ないと、微積にはつながらないかもしれない
古代ギリシャの求積法だったか取り尽くし法だったかは、問題毎にやり方を工夫した
で、ライプニッツは、それを統一的に扱う方法を、微積として編み出したってことですよね
250:132人目の素数さん
17/10/31 23:15:23.27 DGMoT5Pm.net
>>199
残念だったなサル
お前が縋ろうとしたタワケモノ君は怖気づいて逃亡しちゃったみたいだよ
ウキッキーと鳴いて呼び戻せば?
呼び戻そうにも自演じゃ無理か?w サルの浅知恵w
251:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/31 23:17:14.32 GENG+CRL.net
>>219-220
>>190において
1.現代数学では、”具体的に何項目”と指定できないが、存在しうる概念があると思うよ。(すぐ、貴方に分かりそうな具体例が挙げられないが(^^ )
2.で、「”しっぽの後ろ”とは具体的に何項目のことを指しているのか?(>>142)」と、貴方がしつこく聞いてくる
3.要するに、「存在するなら、具体的に何項目が答えられるべし」という固定観念があると思うんだ
4.で、その対偶から「具体的に何項目が答えられない→存在しない」が言えると。だが、それ(対偶)未証明だろ?
5.そもそも、時枝記事は「実数列の集合 R^Nを考える.
s = (s1,s2,s3 ,・・・),s'=(s'1, s'2, s'3,・・・ )∈R^Nは,ある番号から先のしっぽが一致する∃n0:n >= n0 → sn= s'n とき同値s ~ s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると,sとs'が1962番目から先一致し,s'とs"が2015番目から先一致するなら,sとs"は2015番目から先一致する.」(>>18)なのだよ
6.同値類の定義からして、”具体的に何項目が答えられない”概念を扱っているということを、すっかり失念しているか、あるいは、(こちらの可能性大だが)理解できていないかだと思った次第だ
以上
252:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/10/31 23:22:26.76 GENG+CRL.net
>>227
笑える(^^
”件の2ページの``論文''は
おそらく``パラドックス・ジョーク''ネタ帳みたいなものだろう
混乱させて楽しんでるんじゃないか”(>>189)
は、数学科学部3~4年で確率論や確率過程論を学べば正常な感覚だぜ
あんたらのレベルを超えているだけのことさ(^^
253:132人目の素数さん
17/10/31 23:28:36.90 DGMoT5Pm.net
>>228
なに訳の分からないこと言ってんだ?このサルは
”しっぽの後ろ”なるものの定義を言わなきゃ>>139は何の意味も為さないんだが。
いくらサルでもそのくらい理解できるだろ
254:132人目の素数さん
17/10/31 23:31:46.06 DGMoT5Pm.net
>>229
>は、数学科学部3~4年で確率論や確率過程論を学べば正常な感覚だぜ
と、数学科学部1年1学期の内容を全く理解していないサルが申しております
255:132人目の素数さん
17/10/31 23:42:27.77 PXlXbhUU.net
> ”件の2ページの``論文''は
> おそらく``パラドックス・ジョーク''ネタ帳みたいなものだろう
> 混乱させて楽しんでるんじゃないか”(>>189)
> �
256:ヘ、数学科学部3~4年で確率論や確率過程論を学べば正常な感覚だぜ 実数列R^Nが与えられたとき99/100以上で1個のr∈Rを当てられる、というのは完璧に証明されているわけだが。 証明を読めないことを自慢する意味が分からない
257:132人目の素数さん
17/10/31 23:49:45.16 PXlXbhUU.net
実数列R^Nが与えられたとき99/100以上で1個のr∈Rを当てられる
この証明が理解できない奴、間違ってると思う奴、スレ主と素人氏以外にいるなら手を上げてみな(笑)
258:132人目の素数さん
17/10/31 23:56:51.37 PXlXbhUU.net
1) 実数列R^Nが与えられたとき
2) 実数列R^Nが確率変数のとき
この違いが分からない奴も手をあーげて(笑)
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^πを入れてもよいし,すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
この記事の設定が(1)と(2)どちらか分からない奴も恥ずかしがらずに手を上げなさい(笑)
259:132人目の素数さん
17/11/01 00:01:46.53 KHKKYC3d.net
>>229
自演と白状してるも同然だと気付かないのか?w
やはりサルの浅知恵w
260:132人目の素数さん
17/11/01 00:04:30.68 jXwBNhI8.net
(1) 任意の実数列R^Nが与えられたとき99/100以上で1個のr∈Rを当てられる
これを理解して始めて次のステップに進める。
つまり
(2) 実数列R^Nが確率変数のとき99/100以上で1個のr∈Rを当てられるのか?
という問題の考察である。
この問題に対する測度論的証明はHart氏も時枝氏も与えていないことに注意せよ。
的外れな批判をしている奴は、まずもって(1)が分かっていない(そこのお前だよ、「決定番号は∞」君!)
261:132人目の素数さん
17/11/01 00:05:04.85 KHKKYC3d.net
お~い タワケモノ君
サルの自演と疑われてるぞw
さっさと疑いを晴らしたらどうだ?w
サルには決して言えない数学的なことを言えば疑いが晴れるよ?w
262:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/01 00:11:56.61 RUsb8++B.net
>>206 >>215 >>218
>>202において
1.まず、繰返すが”サイコロ振りを無限に繰返して、箱に出た目を入れる。どの箱も確率1/6
その一つの箱が他の箱と区別されるべき数学的根拠がないでしょ?
だって、単純にサイコロ振りを無限に繰返して、箱に出た目を入れただけなのだから”
2.ここのところは、最初の状態の1列の原始状態(並び変え前)な
3.これ、時枝記事いうところの、”n番目の箱にXnのランダムな値を入れられて,ある箱の中身を当てようとしたって,その箱のX と他のX1,X2,X3,・・・がまるまる無限族として独立なら”
で、”確率変数の無限族は,任意の有限部分族が独立のとき,独立,と定義される”ってことだよ
4.だから、この段階では、任意のXnを特別扱いする理由がない。それ、定義なんだしね(^^
5.で、並び変えて、どこかの箱Xn’が、的中率99/100だとしましょう。それ、並びを戻して1列にできるよね。そしたら、どの箱にしろ上記4項(確率1/6)に矛盾しているでしょ?
6.これが正常なセンスで、 ID:HNynrBDdさん(>>189)が言っていることだと思うよ(^^
7.妄想で、同値類を使ったら当てられると思い込んでいる?(^^
8.貴方が>>218に書いているように、2列なら確率1/2、3列なら確率2/3、4列なら確率3/4、・・・、100列なら確率99/100、・・・、h列なら確率(h-1)/h、・・・
で、各hで、当てられる箱が異なると仮定すると・・、hは任意の正整数に取れるから、可算無限! とすると、”可算無限個の箱で、確率1/2以上の的中率になる”?
9.さすがにそれは可笑しいだろうよ(^^
10.固定だFIXだと勝手な仮定をおくが、仮に各列の決定番号が、1,2,3,・・,99,100となったとしましょうか。確かに、max は100で、時枝の通りだ。
が、それ一例にすぎない。
固定だと言って、一例を言ったところで、定理の証明には成り得ないよ。
一例でなく、全ての場合を尽くさないとね(^^
以上
263:132人目の素数さん
17/11/01 00:19:12.18 jXwBNhI8.net
> 固定だと言って、一例を言ったところで、> 定理の証明には成り得ないよ。
> 一例でなく、全ての場合を尽くさないとね(^^
任意のR^Nに対して成り立つ。
アホはだまっとれ
264:132人目の素数さん
17/11/01 01:12:01.00 KHKKYC3d.net
>>238
>そしたら、どの箱にしろ上記4項(確率1/6)に矛盾しているでしょ?
確率1/6とか全く関係無いから
まったく関係無いものの間で矛盾もクソも無いから
何でサルは時枝戦略を語らずにまったく関係無いことを語るのか?
265:132人目の素数さん
17/11/01 06:25:32.08 j/3k7nLS.net
>>229
>数学科学部3~4年で確率論や確率過程論を学べば
数学科で学んでない人には関係ないよ
266:132人目の素数さん
17/11/01 06:31:19.81 j/3k7nLS.net
>>238
>どこかの箱Xn’が、的中率99/100だとしましょう。
>それ、並びを戻して1列にできるよね。
>そしたら、どの箱にしろ確率1/6に矛盾しているでしょ?
矛盾しないけど
1~6のどの値も確率1/6だけど
単に時枝記事の方法で選んだ箱s_n'において、
代表元の対応する項s'_n'と一致する確率が
少なくとも99/100ということだけど
あなたのいってることは大学3年生の確率論とは無関係
小学校の確率で習うこと しかも時枝記事とは全く矛盾しない
もういいかげん諦めたら 無駄だから
あなたが勝つ確率なんかゼロだから
267:132人目の素数さん
17/11/01 06:36:06.74 j/3k7nLS.net
>2列なら確率1/2、3列なら確率2/3、4列なら確率3/4、・・・、
>100列なら確率99/100、・・・、h列なら確率(h-1)/h、・・・
>で、各hで、当てられる箱が異なると仮定すると・・、
>hは任意の正整数に取れるから、
>可算無限! とすると、”可算無限個の箱で、確率1/2以上の的中率になる”?
なりませんよ 可算無限個の列の集まりでは、
決定番号の最大値が存在しない場合があるから
有限個だから、最大値が存在する、といえる
いまだに有限と無限の違いが分かんないんだね
268:132人目の素数さん
17/11/01 06:38:30.98 j/3k7nLS.net
>>238
>固定だFIXだと勝手な仮定をおくが、それ一例にすぎない。
>固定だと言って、一例を言ったところで、定理の証明には成り得ないよ。
>一例でなく、全ての場合を尽くさないとね(^^
証明の読み誤りw
数列の各項が確率変数でない、というだけであって
ある特定の数列について証明したわけではない
任意の数列について証明しているから上記の反駁は誤り
もういいかげん諦めたら 無駄だから
あなたが勝つ確率なんかゼロだから
269:132人目の素数さん
17/11/01 06:40:50.43 j/3k7nLS.net
>>240
>何でサルは時枝戦略を語らずにまったく関係無いことを語るのか?
文章が読めないんでしょうな
分けも分からず極限をとるのは、
他人のいうことが理解できない
自分勝手な人にありがちな行為
270:132人目の素数さん
17/11/01 07:04:38.91 j/3k7nLS.net
>>242
>単に時枝記事の方法で選んだ箱s_n'において、
>代表元の対応する項s'_n'と一致する確率が
>少なくとも99/100ということだけど
言っとくけどX_nを確率変数として
X_n=X'_n'となる確率が99/100
という意味じゃないよ
上記の文章は正確には、iを確率変数として
s^i_D^i=s'i_D^iとなる確率が99/100
だから
だから1/6と99/100が同じ土俵で比較できる
と思ってる時点で大学三年生の確率論が
全く理解できてない証拠なんだよな
271:哀れな素人
17/11/01 09:21:17.46 5pvziOp4.net
>>214
一体何の公理、何の定義なのか(笑
お前らはアホだからすぐに語の意味を定義せよ、という(笑
いくらでもある、という語の意味くらい誰でも分っているし、
有限の意味も誰でも分っているのだ(笑
しかし、いくらでもあるとは有限ということなのである(笑
そのことをギリシャ人は理解していたし、
可能無限とは有限ということ、と正しく説明しているサイトも
いくらでもある(笑
要するにバカなのはお前らなのに、そのことに気付いていない(笑
272:哀れな素人
17/11/01 09:30:08.17 5pvziOp4.net
>>223
スレ主よ、1も2も3も、僕の言っていることとは何の関係もない(笑
ついでにいうと、無限遠点なんて存在しないし、
無限大も存在しないのである(笑
存在しないのに存在すると仮定して理論を立て、
その理論内で矛盾はない、などと言っても何にもならない(笑
要するにお前も僕の言っていることを全然理解していない(笑
273:132人目の素数さん
17/11/01 18:28:33.36 Gr+Xy0/3.net
>>232
そっちもジョークのつもりかと思うが
件の2ページ後半のはさらに強烈だ
274:132人目の素数さん
17/11/01 19:49:09.83 KHKKYC3d.net
>>247
>いくらでもある、という語の意味くらい誰でも分っているし、
>有限の意味も誰でも分っているのだ(笑
「誰でも」にはお前も入るのか?
275:132人目の素数さん
17/11/01 19:54:35.92
276: ID:KHKKYC3d.net
277:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/01 20:11:07.87 RUsb8++B.net
>>249
ID:Gr+Xy0/3さん、どうも。スレ主です。
>そっちもジョークのつもりかと思うが
>件の2ページ後半のはさらに強烈だ
うんうん
後半に
1.区間[0,1]の有理数の10進展開を使う類似の例で、選択公理不要版だね
2.あと、Remarkがあるよね。有限長の数列だと、当てられない
(GAME1で確率1で、GAME2で確率9/10で、Player 1が勝てるというから、通常の確率理論通り!)
なので、Sergiu Hart氏は、ちゃーんと「ジョークだ」ということをほのめかしていると読んだけど(^^
278:132人目の素数さん
17/11/01 20:17:46.93 j/3k7nLS.net
>>252
自作自演?
279:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/01 20:17:56.77 RUsb8++B.net
>>251
High level people さんか
おまえ、必死だな(^^
サンドバッグ状態は自分だろ?(^^
小学生のピエロと、落ちこぼれ同士のかばい合い
美しい友情と言いたいが
レベルが低すぎて、なんとも形容しようがない(^^
280:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/01 20:23:26.71 RUsb8++B.net
>>241
ウソつき小学生のピエロ、ご苦労(^^
”Sergiu Hartの論文は論文誌に掲載されている
彼の著書でも紹介されている”(>>149)
で、普通の日本人の反応は、「うそつき」の濡れ衣を晴らすには、掲載誌と掲載論文を出典としてしっかり示すこと以外にあり得ないでしょ?(著書も同じ)(^^
で、それが出来ないということは、どういうことなの?
出来ないって、それ根拠無しに、>>149の発言”Sergiu Hartの論文は論文誌に掲載されている 彼の著書でも紹介されている”をしたわけだよね
結論は、「”サイコパス”のお得意のウソ」(>>154)以外の何物でもないでしょ(^^
281:132人目の素数さん
17/11/01 20:53:41.76 j/3k7nLS.net
>>254-255
なんだ、>>242-244に反論できず
数学と無関係の言いがかりで発狂か
人でなしの畜生とは醜いものだな
282:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/01 20:55:06.99 RUsb8++B.net
>>240
>>そしたら、どの箱にしろ上記4項(確率1/6)に矛盾しているでしょ?
>確率1/6とか全く関係無いから
>まったく関係無いものの間で矛盾もクソも無いから
>何でサルは時枝戦略を語らずにまったく関係無いことを語るのか?
そうなんかね~?(^^
時枝が記事に書いているように、
「Rより一般に,勝手な集合Sの元の無限列S^Nを使
った構成も異曲同工.特に, {O,1}を使って
シュレーディンガーの猫みたいなお話が紡げる.」(>>64)
で、つまりは、
コイン トスなら {O,1}で確率1/2、
サイコロなら確率1/6、
ルーレットなら確率1/38、
トランプなら確率1/52、
・
・
P面サイコロなら確率1/P、
・
・
任意の自然数を入れるなら確率1/ω(=可算無限)
任意の有理数を入れるなら確率1/ω(=可算無限)
任意の実数を入れるなら確率1/ω1(=非可算無限)
・
・
というふうに、本来箱に入れる数の種類に応じて、的中確率は変わるべきところ、時枝記事の理論では99/100と一定だという
それって、まっとうな数学感覚があれば、違和感を感じるべきと思うがね~(^^
まあ、落ちこぼれは鈍感だわな(^^
283:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/01 21:09:35.99 RUsb8++B.net
>>256
サイコパス、必死だな(^^
数学と無関係の言いがかりだ~?
それが、ウソをついた側の言い草かね(^^
必死だな
つづく
284:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/01 21:10:10.10 RUsb8++B.net
>>258 つづき
えーと、話の流れはこうだったろ?
(>>149より)
”>>136
>世間一般の数学界には、時枝の記事の解法は、
>まっとうな数学としては認められていない
>実際、数学の投稿論文にもなっていないし、
>テキストでも扱う例なしだ
↑真っ赤な嘘だな
Sergiu Hartの論文は論文誌に掲載されている
彼の著書でも紹介されている
数学として認められている証拠だ”
これの前段が(>>136より)
”>つまり間違っているのは あ な た 只 一 人 です。
確かに、このスレでは、落ちこぼれ3人 VS スレ主(一人)だが
しかし、世間一般の数学界には、時枝の記事の解法は、まっとうな数学としては認められていないよ(^^
実際、数学の投稿論文にもなっていないし、テキストでも扱う例なしだ”
サイコパスのウソが確定すれば、
”世間一般の数学界には、時枝の記事の解法は、まっとうな数学としては認められていない”=”実際、数学の投稿論文にもなっていないし、>テキストでも扱う例なし”
ってことですよ(^^
つづく
285:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/01 21:12:00.89 RUsb8++B.net
>>259 つづき
実際にも、私は、Sergiu Hart氏関連の投稿論文、あるいは他の人の投稿論文は、過去数回検索して調べた経験があるんだよ
その通りの結論(”世間一般の数学界には、時枝の記事の解法は、まっとうな数学としては認められていない”=”実際、数学の投稿論文にもなっていないし、テキストでも扱う例なし”)じゃないですか?
あなたが、「うそつき」の濡れ衣を晴らすために、掲載誌と掲載論文を出典としてしっかり示すことできなければ、実際その通りでしょ?(^^
落ちこぼれくん(^^
以上
286:132人目の素数さん
17/11/01 21:35:06.12 KHKKYC3d.net
>>257
一体何度言わせるんだ?サル
>というふうに、本来箱に入れる数の種類に応じて、的中確率は変わるべきところ、
その的中というのは当てずっぽでの的中
>時枝記事の理論では99/100と一定だという
時枝戦略は当てずっぽではない、よって何の違和感も感じないのが正常な人間
違和感を感じるのはサル一匹(タワケモノ君はサルの自演なのでカウントしない)
287:132人目の素数さん
17/11/01 21:37:05.14 KHKKYC3d.net
>>252
もうとっくに自演バレてるのにアホかよこのサルは
288:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/01 22:54:44.25 RUsb8++B.net
>>261
落ちこぼれ、必死だな(^^
なんだ? その”当てずっぽでの的中”って
数学かい?(^^
標準確率論にない独自の未定義用語で数学ごっこかい(^^
289:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/01 22:55:34.66 RUsb8++B.net
>>262
自演自演か(^^
落ちこぼれが救いを求めるところは、そこか(^^
あわれだな
290:132人目の素数さん
17/11/01 23:20:58.10 7HXAvKFn.net
>>249
具体的に指摘すりゃいいじゃん。
> (1) 任意の実数列R^Nが与えられたとき99/100以上で1個のr∈Rを当てられる
これの何が間違ってるのか、具体的に指摘してみな
291:132人目の素数さん
17/11/01 23:24:33.03 KHKKYC3d.net
>>263
やはりサルには理解不能だったか いと憐れなり
292:132人目の素数さん
17/11/02 00:18:12.14 JU78cC+G.net
>>264
まだバレてないと思ってるのか? いと憐れなり
293:132人目の素数さん
17/11/02 06:27:31.41 gkHUdXs2.net
>>257
>時枝記事の理論では99/100と一定だという
いや、
2列なら1/2、3列なら2/3、・・・、100列なら99/100
で変わるが?
可算無限個なら? その場合は最大値がないから成立しない
294:132人目の素数さん
17/11/02 06:30:59.84 gkHUdXs2.net
>>260
>私は、Sergiu Hart氏関連の投稿論文、あるいは他の人の投稿論文は、
>過去数回検索して調べた経験があるんだよ
検索じゃ見つからないよ 論文誌や著書読まないとね
そういう粗雑な態度だから、箱入り無数目の記事が理解できないんだよ
295:132人目の素数さん
17/11/02 06:41:57.16 HRjxCKLU.net
おっちゃんです。
【専門書】数学の本第73巻【啓蒙書】スレのレスをしていたら
何の根拠もなくステマとかいい出す人が現れて、一回レスをしたらマジメなバトルが続くことになった。
私は一度謝罪をすることになって謝ったが、誠実といわれた一方で、
今日逆に頭がおかしいといわれてね、どうしようもないような状態になった。
そのままマジメにレスを続けると、際限なく同じことが続くことになると思われ、
そいつの相手をするのをやめようと思い、煽りには煽りで返す書き方をし皮肉を込めて書く意味でも、
レスをするにあたり、スレ主の書き方を一回マネさせてもらった。
スレ主、悪いな。許してくれ。
296:132人目の素数さん
17/11/02 06:42:04.52 gkHUdXs2.net
落ちこぼれのために2列で考えようw
列s^1の決定番号は自然数d^1
列s^2の決定番号は自然数d^2
d^1=d^2の場合 (確率o)
s^1を選べばs^1_d^2はs'1^d^2と一致するから 成功 (確率o/2)
s^2を選べばs^2_d^1はs'2^d^1と一致するから 成功 (確率o/2)
d^1>d^2の場合 (確率p)
s^1を選べばs^1_d^2はs'1^d^2と一致するとは限らないから 失敗 (確率p/2)
s^2を選べばs^2_d^1はs'2^d^1と一致するから 成功 (確率p/2)
d^1<d^2の場合 (確率q)
s^1を選べばs^1_d^2はs'1^d^2と一致するから 成功 (確率p/2)
s^2を選べばs^2_d^1はs'2^d^1と一致するとは限らないから 失敗 (確率p/2)
成功の確率はo/2+o/2+p/2+q/2
o+p+q=1だから、上記はo/2+1/2と等しい
したがって、1/2以上になる
s1,s2のどっちを選んでも失敗するには、
d^1=d^2でもd^1>d^2でもd^2>d^1でもない
「あり得ない場合」が発生するしかない
どうだ、反論の余地があるまい 落ちこぼれ
297:132人目の素数さん
17/11/02 06:44:15.73 gkHUdXs2.net
いかんいかん、落ちこぼれは恥知らずだから
文字の誤りにもいいがかりをつけるに違いない
自慢げに誤り指摘するまえに直して失望落胆させないとw
---
落ちこぼれのために2列で考えようw
列s^1の決定番号は自然数d^1
列s^2の決定番号は自然数d^2
d^1=d^2の場合 (確率o)
s^1を選べばs^1_d^2はs'1^d^2と一致するから 成功 (確率o/2)
s^2を選べばs^2_d^1はs'2^d^1と一致するから 成功 (確率o/2)
d^1>d^2の場合 (確率p)
s^1を選べばs^1_d^2はs'1^d^2と一致するとは限らないから 失敗 (確率p/2)
s^2を選べばs^2_d^1はs'2^d^1と一致するから 成功 (確率p/2)
d^1<d^2の場合 (確率q)
s^1を選べばs^1_d^2はs'1^d^2と一致するから 成功 (確率q/2)
s^2を選べばs^2_d^1はs'2^d^1と一致するとは限らないから 失敗 (確率q/2)
成功の確率はo/2+o/2+p/2+q/2
o+p+q=1だから、上記はo/2+1/2と等しい
したがって、1/2以上になる
s^1,s^2のどっちを選んでも失敗するには、
d^1=d^2でもd^1>d^2でもd^2>d^1でもない
「あり得ない場合」が発生するしかない
どうだ、反論の余地があるまい 落ちこぼれ
298:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/02 08:37:30.05 vmclUwKr.net
>>266-267
落ちこぼれ、ご苦労さん
必死だな(^^
299:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/02 08:37:42.16 vmclUwKr.net
>>270
おっちゃん、どうも、スレ主です。
論文も頑張ってな(^^
>レスをするにあたり、スレ主の書き方を一回マネさせてもらった。
>スレ主、悪いな。許してくれ。
無問題
そもそも、おれだって、無意識にだれかのマネかもしれないし
落ちこぼれ相手には、落ちこぼれなりの対処法があり
小学生相手には、小学生なりの対処法があり
サイコパス相手には、サイコパスなりの対処法があるってことだな(^^
300:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/02 08:37:55.30 vmclUwKr.net
>>269
ウソつきサイコパスのピエロご苦労(^^
>検索じゃ見つからないよ 論文誌や著書読まないとね
簡単な話で、ピエロがこれですと、具体的に論文誌名、論文名、掲載年月日を出せないってことを誤魔化しているんだろ(^^
誤魔化し通せると思っているところが、幼稚な小学生そのものだな(^^
なお、Sergiu Hart氏は、下記サイトに自分の論文を纏めているよ(^^
URLリンク(www.ma.huji.ac.il)
Sergiu Hart -- Publications
301:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/02 08:38:13.08 vmclUwKr.net
>>272
ピエロご苦労(^^
小学生なのに、作文頑張っているね
>文字の誤りにも
そうそう、文字の誤りにも気を付けようね
算数も頑張ってな!(^^
302:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/02 08:38:39.27 vmclUwKr.net
>>268
ピエロご苦労(^^
マジレスすれば
>2列なら1/2、3列なら2/3、・・・、100列なら99/100
>で変わるが?
重み付き計算をしないといけないと思うんだ
例えば、100点満点の試験が優しくて、8割の人が100点取ったとする
例えば、3人の点数が全部100点になる確率は、0.8^3=0.512
で、時枝理論なら、1/3=0.333
それで、100点満点の人の割合によって(多くなれば)は、
2列なら1/2、3列なら2/3、・・・、100列なら99/100
の計算が成り立たないでしょ(^^
”s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.”(>>19より)
303:132人目の素数さん
17/11/02 11:37:06.33 vzTHHQ6P.net
URLリンク(news.mynavi.jp)
【連載】2 史上初、中性子星合体の重力波の観測に成功 - いったい何がすごいのか?
重力波と電磁波を使った宇宙観測の時代! 世界を創った物質の起源に迫れ! 鳥嶋真也 マイナビニュース [2017/11/02]
304:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/02 11:51:43.04 vzTHHQ6P.net
コテ抜けた(^^
URLリンク(www.nikkei.com)
瀬戸際の技術立国 新たな創造の循環を ニッポンの革新力 2017/11/1 2:00日本経済新聞
景気回復や株高が続きながら、高揚感に欠ける日本社会。新産業を生み続ける米国や急成長する中国に押され「技術立国」の看板が色あせているためだ。
問われるのは技術を生かし社会や産業を変革するイノベーション(革新)の力。世界は進化する人工知能(AI)など新たな産業革命のさなかにある。技術立国をどう再建するか。その挑戦がニッポンの未来のかたちをつくる。
神奈川県厚木市のNTT物性科学基礎研究所。大型冷蔵庫よりも大きい箱型の「量子コンピューター
305:」試作機を研究者が整備する。11月27日から公開し、顧客に無償で利用してもらうためだ。 小さな粒子で起きる物理現象を利用する量子コンピューターを使えば、3年以上かかるデータ処理を理論上、1秒でできる。 あらゆる機器にAIが載る時代の基幹技術で、西森秀稔東京工業大学教授が理論を提唱するなど日本が先行してきた。NTTは試作機の公開で実用化へ一歩進むが、世界はその先を行く。 「未来へようこそ」。カナダ・バンクーバー郊外にあるスタートアップ企業、Dウエーブ・システムズの本社は垂れ幕で顧客を迎える。同社は2011年、世界で初めて量子コンピューターを商用化した。 「ドクター・ニシモリがもたらした変革に我々は鼓舞されている」。営業部門トップのボウ・エワルド氏は笑みを交えて語る。Dウエーブ製は得意な計算領域が限られる「簡易型」だが、デンソーとの利用契約を決めるなど実績を重ねている。 「性能は我々の方がずっと上だが、Dウエーブはマーケティングがうまい。日本はそこが弱い……」。NTTの技術者はこうぼやく。 だが、世界が高性能の製品ができるまで待ってくれると考えるのは、楽観的すぎる。時代や市場の変化に即応し、革新を実現する経営力の貧しさがにじむ。 つづく
306:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/02 11:52:22.31 vzTHHQ6P.net
>>279 つづき
日本は明治維新後、欧米の模倣(イミテーション)から出発し、技術を改良(インプルーブメント)して魅力的な商品を創ってきた。
最近のノーベル賞ラッシュは日本が発明(インベンション)で力を持ったことの証左だが、それをビジネスに結びつけ、社会を変える革新力では後手に回る。
日本の革新力は現在、世界でどんな水準にあるのか。日本経済新聞社は日米独中韓5カ国について、革新力を示す4つの指標を選び、06年と16年を比較した。
日本は「稼ぐ力」を示す上場企業の営業利益の合計が11%増えた。しかし、7.3倍の中国などに遠く及ばず、伸び率は最低。産業の「新陳代謝力」を示す株式公開から10年未満の企業の時価総額は約半分に減った。
「基礎研究力」を示す科学技術の有力論文数を推計すると、米中独韓は大幅に増えたが日本は2%減少。「応用開発力」を示す国際特許の出願も中国が追い上げ、日本は4指標を総合した「革新力指数」が伸び悩む。
瀬戸際の技術立国・日本をどう立て直せばいいのか。同じコンピューター分野にヒントがある。
「AIの利用が世界で広がれば、コンピューターを動かす電力が足りなくなる」。ペジーコンピューティング(東京・千代田)の斉藤元章社長はこんな問題意識でスーパーコンピューターの開発に取り組んでいる。
世界のスパコン開発は13年以降、中国勢が計算速度で独走する一方、消費電力をどう抑えるかという難題が浮上する。ペジーなど
307:スタートアップ2社は半導体回路を工夫し、機器を液体に直接浸して冷やす独自手法で電力消費を抑える。 10月には、日本最速の計算速度と世界トップ級の省エネ性能を両立したスパコンを開発したと発表。技術ありきという発想を転換したことが日本を最前線に呼び戻した。 市場のニーズに真摯に耳を傾け、「使われる技術」を生み出す新たな創造のサイクルを築ければ、日本は世界の先頭に立つ力があるはずだ。 以上
308:132人目の素数さん
17/11/02 18:51:05.74 gkHUdXs2.net
>>277
>>2列なら1/2、3列なら2/3、・・・、100列なら99/100
>>で変わるが?
>マジレスすれば
>重み付き計算をしないといけないと思うんだ
>例えば、100点満点の試験が優しくて、
>8割の人が100点取ったとする
「満点」はあり得ませんよ
「試験の点」=「決定番号」でしょ?
最大の自然数はありませんよ
だから満点はありません
したがって、上記の重み付け計算は全く必要ありません
御愁傷様でした(-||-)
ついでに言うと
誤 優しくて
正 易しくて
近所の小学生に見せたら笑われましたよ
まったく・・・漢字も正しく書けないんですか?w
>100点満点の人の割合によって(多くなれば)は、
>2列なら1/2、3列なら2/3、・・・、100列なら99/100
>の計算が成り立たないでしょ(^^
100点満点の人は存在し得ないので
あなたの言いがかりは全くの無意味、無駄です
御愁傷様でした(-||-)
309:132人目の素数さん
17/11/02 18:51:54.83 gkHUdXs2.net
>>279-280
無駄なコピペは要らんですよ
あなたは自分が数学を理解しているとアピールしたいようですが
ここの板の人はあなたがわけもわからずコピペするのを見て
「ああ、こいつ数学が全然分からないんだな」
と思ってます
図星でしょ?
数学の話がしたいなら、コピペなんかしませんよ
できないのに、わかってるフリしたいから、コピペするわけで
御愁傷様でした(-||-)
310:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/02 20:02:28.71 vmclUwKr.net
>>281
ウソつきサイコパスのピエロご苦労(^^
早く、Sergiu Hart氏の投稿論文と著書を示せよ(>>275)
出来ないんだろ? ウソついたんだろ?(^^
311:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/02 20:05:36.05 vmclUwKr.net
>>283 補足
<再録>(>>136より)
確かに、このスレでは、落ちこぼれ3人 VS スレ主(一人)だが
しかし、世間一般の数学界には、時枝の記事の解法は、まっとうな数学としては認められていないよ(^^
実際、数学の投稿論文にもなっていないし、テキスト(教科書)でも扱う例なしだ”
サイコパスのウソが確定すれば、
”世間一般の数学界には、時枝の記事の解法は、まっとうな数学としては認められていない”=”実際、数学の投稿論文にもなっていないし、テキスト(教科書)でも扱う例なし”
ってことですよ(^^
312:132人目の素数さん
17/11/02 20:10:33.98 gkHUdXs2.net
>>283-284
リストのタイトルだけ見たって中身分からないだろうよ
決定番号に「満点」(=最後)なんかないよ
御愁傷様(-||-)
313:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/02 20:15:59.10 vmclUwKr.net
>>281 補足
反例は1つで良い
時枝の示す
”s^kの決定番号が他の列の決定番号どれよりも大きい確率は1/100に過ぎない.”(>>19より)
これが、ある重み付き計算の場合に、成り立たない例を、一つ示した
反例は1つで良い
が、証明は、全ての場合を尽くさなければならない
つまり、証明は重み付き計算を考慮したものでなければならない!(有限列でも無限列でも、重み付き計算を考える必要があるよ(^^ )
あるいは、「”重み付き計算”を考慮しなくても良い!」ということを証明する必要があるってことだな(^^
そこを(難しいからと)スルーしたら、算数だぜ!(^^
「100列だから、99/100」で証明終わりなら、算数だろ?(^^
314:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/02 20:17:34.88 vmclUwKr.net
>>285
簡単な話で、ピエロがこれですと、具体的に論文誌名、論文名、掲載年月日を出せないってことを誤魔化しているんだろ(^^
誤魔化し通せると思っているところが、幼稚な小学生そのものだな(^^
(>>275より)
315:132人目の素数さん
17/11/02 20:24:24.91 JU78cC+G.net
>>277
これは酷い
316:132人目の素数さん
17/11/02 20:25:35.37 knQD6GcP.net
>>277
>>286
> ある重み付き計算の場合に、成り立たない例を、一つ示した
示していないじゃん
>> 8割の人が100点取ったとする
数当て戦略によると100列の無限数列の内の80列の決定番号が等しい場合は数当ては成功する
317:132人目の素数さん
17/11/02 20:27:59.84 JU78cC+G.net
>>286
これは酷い
318:132人目の素数さん
17/11/02 20:30:06.93 gkHUdXs2.net
「雑談君」が見たら発狂しそうな動画
URLリンク(www.youtube.com)
319:132人目の素数さん
17/11/02 20:31:20.83 gkHUdXs2.net
はり直し
「雑談君」が見たら発狂しそうな動画
URLリンク(www.youtube.com)
320:132人目の素数さん
17/11/02 21:26:20.76 gkHUdXs2.net
>>286
>反例は1つで良い
もしかしてまだ無限列には最後の項があって
決定番号は確率1でその最後の項の番号になる
と狂信し続けている?
321:狂ってるの?●違いなの?
322:132人目の素数さん
17/11/02 23:22:32.01 PkAkZP9u.net
この戦いは論理よりも根気だな。
スレ主はほんとすごいよ
こんなに話が通じないやつが世の中にいるんだなあ・
世界はひろい
323:132人目の素数さん
17/11/03 00:56:01.34 oQmyG/Qw.net
URLリンク(xorshammer.com)
よりエレガントな問題をスレ主へ:
反論できるかな?w
324:132人目の素数さん
17/11/03 07:00:33.78 TU6x80Ac.net
>>295
無限帽子は、箱入り無数目よりさらに単純だよな
どの人も自分から先の人の帽子の色の情報から
同値類の代表元をとって、自分の帽子の色を予測すれば
有限人数を除いて、皆当たる
この予測を否定するには、もはや代表元がとれることを否定するしかない
325:132人目の素数さん
17/11/03 07:05:52.12 oQmyG/Qw.net
>>296
hat problemが全ての基礎になってますね
paperも多いし
さてf(x)を当てる問題、スレ主はどう難癖つけてくるかな?w
自分が理解できない部分を「未証明だ!」と吠える、に一票
326:132人目の素数さん
17/11/03 08:57:38.50 oQmyG/Qw.net
>>297
> さてf(x)を当てる問題、スレ主はどう難癖つけてくるかな?w
> 自分が理解できない部分を「未証明だ!」と吠える、に一票
ちがうか。
「英語を正しく読めない」に5票くらい集まりそうだな
327:132人目の素数さん
17/11/03 11:13:35.25 TU6x80Ac.net
>>298
多分、「任意の有限の範囲において、当たる確率がゼロ」とか
わけわからんこと吠えそう
328:132人目の素数さん
17/11/03 11:28:57.90 9GAIKbdJ.net
puzzle はまっとうな数学と認められていない に1票
329:132人目の素数さん
17/11/03 11:34:38.94 oQmyG/Qw.net
>>300
> puzzle はまっとうな数学と認められていない に1票
puzzleはまっとうな数学ではないという証明をスレ主がやるのか。
「puzzleはまっとな数学ではない」ではないという証明を俺達がやるのか。
不毛すぎて禿げそうだ
330:132人目の素数さん
17/11/03 11:36:33.40 oQmyG/Qw.net
>>299
> わけわからんこと吠えそう
わけわからんこと言っとけばスレ伸びますからね
スレ主がわけわからんこと言う
→スレ主にわけがわからんと言う
→スレ主がお前はバカだという
→スレ主にお前がバカだという
→(以下繰り返し)
やっぱり不毛すぎて禿げそうだ
331:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/03 11:50:45.17 lM51R0MT.net
>>295 >>297-298 >>301-302
ピエロご苦労(^^
小学生なのに、作文一杯書いて、えらいね(^^
>URLリンク(xorshammer.com)
それ、見たことあるとおもったら、2017/08/12におれが紹介したやつだよ(下記)(^^
<参考>
スレ38 スレリンク(math板:91番)
91 自分:現代数学の系譜 古典ガロア理論を読む[sage] 投稿日:2017/08/12(土) 11:57:49.54 ID:J214zEo3 [20/30]
>>89
どうも。スレ主です。
>氏は原型をルーマニアあたりから仕入れたらしい
この”ルーマニアあたり”は、地名とよむのが、普通だろうね
で、Sergiu Hartはユダヤ人だがルーマニア生まれなので、ソースは同じかもね
因みに URLリンク(www.ma.huji.ac.il) Sergiu Hart Choice Games より PDFには
”1Source unknown. I heard it from Benjy Weiss, who heard it
from ..., who heard it from ... . For a related problem, see
URLリンク(xorshammer.com)”
と注釈が入っているよ
(引用終り)
332:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/03 11:52:49.67 lM51R0MT.net
>>303 つづき
で、関連部分引用する(^^
URLリンク(xorshammer.com)
SET THEORY AND WEATHER PREDICTION XOR’S HAMMER Some things in mathematical logic that
333:I find interesting WRITTEN BY MKOCONNOR Blog at WordPress.com. AUGUST 23, 2008 (抜粋) For some interesting comments on this puzzle, see Greg Muller’s blog post on it here http://cornellmath.wordpress.com/2007/09/13/the-axiom-of-choice-is-wrong/ (引用終り) つづく
334:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/03 11:54:09.20 lM51R0MT.net
>>304 つづき
下記「選択公理は間違っている」に対し、Terence Taoのコメントが3つ
URLリンク(cornellmath.wordpress.com)
The Axiom of Choice is Wrong By Greg Muller Everything Seminar blog at WordPress.com. September 13, 2007
(抜粋)
Terence Tao Says:
September 13, 2007 at 9:58 pm | Reply
Terence Tao Says:
September 19, 2007 at 1:45 am | Reply
Terence Tao Says:
September 20, 2007 at 12:42 pm | Reply
(引用終り)
つづく
335:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/03 11:57:33.05 lM51R0MT.net
>>305 つづき
で、Alan D. Taylor さんの2つの論文のPDFリンク切れているから、検索し直した
下記、ご参照
1)
URLリンク(www.cs.umd.edu)
William Gasarch Professor of Computer Science Affiliate of Mathematics University of Maryland at College Park
URLリンク(www.cs.umd.edu)
Papers on Hat Problems I want to read by William Gasarch
21. An Introduction to Infinite Hat Problems by Christopher Hardin and Alan Taylor. HAT GAME- infinite number of people, need to get all but a finite number of them right. Needs AC. Infinite Hats and AC
URLリンク(www.cs.umd.edu)
An Introduction to Infinite Hat Problems Chris Hardin and Alan Taylor THE MATHEMATICAL INTELLIGENCER 2008 Springer Science+Business Media, Inc
2)
URLリンク(citeseerx.ist.psu.edu)
A peculiar connection between the Axiom of Choice and predicting the future THE MATHEMATICAL ASSOCIATION OF AMERICA Monthly February 2008
URLリンク(citeseerx.ist.psu.edu)
3)Taylorさん
URLリンク(en.wikipedia.org)
Alan D. Taylor
Alan Dana Taylor (born October 27, 1947) is an American mathematician who, with Steven Brams, solved the problem of envy-free cake-cutting for an arbitrary number of people with the Brams?Taylor procedure.
Taylor received his Ph.D. in 1975 from Dartmouth College.[2]
He currently is the Marie Louise Bailey professor of mathematics at Union College, in Schenectady, New York.
以上
336:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/03 11:58:23.53 lM51R0MT.net
>>305 補足
「選択公理は間違っている」か(^^
そういや、ピエロも過去にそんなことを言っていたね(^^
337:132人目の素数さん
17/11/03 12:42:14.19 oQmyG/Qw.net
正解は
直答せずにリンクを張りまくる
でした。全員没シュートです。
338:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/03 14:15:49.89 lM51R0MT.net
>>308
ピエロ逃がさないよ(^^
<Sergiu Hartの論文について>
(>>149より)
”>世間一般の数学界には、時枝の記事の解法は、
>まっとうな数学としては認められていない
>実際、数学の投稿論文にもなっていないし、
>テキストでも扱う例なしだ
↑真っ赤な嘘だな
Sergiu Hartの論文は論文誌に掲載されている
彼の著書でも紹介されている
数学として認められている証拠だ”
だったよね。
で、普通、”Sergiu Hartの論文は論文誌”と”彼の著書”とを把握していて、「はい、これです」と提示できるべ
339:し それが出来ないのに、上記の主張はどういうことなのか? 当然、みな出典を聞くよ。「”Sergiu Hartの論文は論文誌”と”彼の著書”とを、提示せよ」というよ それが予想できるにも関わらず、ウソをつくとは・・、病的なウソつき(サイコパスなど)としか、解釈できない でさらに、(>>275)”Sergiu Hart氏は、下記サイトに自分の論文を纏めているよと(^^ http://www.ma.huji.ac.il/hart/publ.html Sergiu Hart -- Publications” と指摘したら (>>285より) 「リストのタイトルだけ見たって中身分からないだろうよ」 とは、どういう言い草なのかね? まあ、”リストのタイトルだけ見たって中身分からないだろう”から、ウソつきましたか? ほんとに、おまえ、病的なウソつき(サイコパスなど)としか、解釈できない そうやって、自分にウソをついて、自分を騙し騙されるから ピエロのロジック(論理)は、結構細部で破綻しているんだ ピエロ本人は、それ(自分で自分を騙している)に気付いていないうようだが・・
340:132人目の素数さん
17/11/03 14:23:40.35 9GAIKbdJ.net
>>309
嘘でも真実でもどっちでもいい
自分自身が理解・発見することが数学であって、世間の評価を気にすることが数学ではない
数学をできない奴に限って世間の評価ばかり気にする
341:132人目の素数さん
17/11/03 14:27:44.97 TU6x80Ac.net
>>308
これじゃidiotといわれるわけだな
>>309
あんたこそ逃さないよw
無限帽子認めるの?
認めるならあんた負け犬だよ
342:132人目の素数さん
17/11/03 14:47:45.01 TU6x80Ac.net
ま、雑談君はこの本でも読んで勉強するようにwww
The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems (Developments in Mathematics) 2013 edition
by Hardin, Christopher S., Taylor, Alan D. (2013) Hardcover
Springer Verlag
URLリンク(pdfs.semanticscholar.org)
343:132人目の素数さん
17/11/03 14:57:13.69 TU6x80Ac.net
Chris Hardin & Alan Taylor の論文もあるね
An introduction to infinite hat problems
URLリンク(www.cs.umd.edu)
THE MATHEMATICAL INTELLIGENCER に掲載されたものだな
344:132人目の素数さん
17/11/03 15:01:50.12 kjmyFZWR.net
おっちゃんです。
世間の評価という考え方なんて、確率論も含めて解析の人には通用せんよ。
代数の人でも幾何の人でもなく、解析の人が一番多いんだからな。
原理的には、代数は解析や幾何の下請け。
代数や幾何や表現論、応用的な数学も含めて、一番汎用性が高いのも解析。
あと、スレ主は紙で計算したことはあるのかい。
345:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/03 15:08:09.01 lM51R0MT.net
>>310-312
>嘘でも真実でもどっちでもいい
ああ、そうだったね
君たち落ちこぼれには、不都合な真実(^^
プロ数学者達、数学界では
時枝の記事の解法は、まっとうな数学と認められていないということ(^^
346:132人目の素数さん
17/11/03 15:11:30.19 kjmyFZWR.net
それにしても、工学部のような理工系に進んだ人が
ここまで任意に固定された正整数の値が
無限ではなく有限であることが分からないのも珍しいな。
347:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/03 15:14:37.14 lM51R0MT.net
>>314
おっちゃん、どうも、スレ主です。
>世間の評価という考え方なんて、確率論も含めて解析の人には通用せんよ。
新しい概念や解法は、論文として発表され、みんな(プロ数学者たち)が正しいと認めて確立され、テキスト(教科書)に採用される
であれば、上記のようなパズル類(時枝の記事のパズルを含む)の中には、プロ数学者たちが正しいと認めていないものが存在するってことだよ(^^
>あと、スレ主は紙で計算したことはあるのかい。
当然あるが、コンピュータの計算もある(^^
348:132人目の素数さん
17/11/03 15:14:56.38 TU6x80Ac.net
>>315
雑談君、Chris Hardin & Alan Taylor をプロ数学者と認めずwww
349:132人目の素数さん
17/11/03 15:17:07.24 TU6x80Ac.net
>>317
雑談君、Chris Hardin & Alan Taylorによる
Springerから出版された著作を
テキスト(教科書)と認めずwww
The Mathematics of Coordinated Inference:
A Study of Generalized Hat Problems (Developments in Mathematics)
350:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/03 15:18:23.33 lM51R0MT.net
>>316
おっちゃん、どうも、スレ主です。
>ここまで任意に固定された正整数の値が
>無限ではなく有限であることが分からないのも珍しいな。
おっちゃんらしいな(^^
おれが言っているのは、自分勝手に、”固定”とか言って
なにかを証明した気
351:でいることは、”数学の厳密な証明から遠いよ”ってことさ(^^
352:132人目の素数さん
17/11/03 15:25:14.36 TU6x80Ac.net
>>320
>自分勝手に、”固定”とか言って なにかを証明した気でいる
箱の中身を確率変数にしなければいけない と思い込むのが馬鹿
選んだ箱の位置Dが選んだ列の決定番号d以上なら
箱の中身が代表元の項と一致するから成功
馬鹿は同値関係理解しないからいつまでも間違いに気づけない
353:132人目の素数さん
17/11/03 15:26:58.56 kjmyFZWR.net
>>317
>パズル類(時枝の記事のパズルを含む)の中には、
>プロ数学者たちが正しいと認めていないものが存在するってことだよ(^^
正しいかどうかではなく、何らかの数学的な価値があるかどうかの問題だよ。
認めていないというより殆ど知られていないといった方が適切だろうな。
354:132人目の素数さん
17/11/03 15:27:27.18 9GAIKbdJ.net
>>317
>であれば、上記のようなパズル類(時枝の記事のパズルを含む)の中には、プロ数学者たちが正しいと認めていないものが存在するってことだよ(^^
だから、そんなことはどうでもいいのだ(立場が変われば変わるが、少なくともお前にとっては)
お前自身が理解したかどうかが重要なの
で、お前はまるで理解してないの
理解してないお前がネット掲示板に嘘八百書いてるの
だから叩かれるの
355:132人目の素数さん
17/11/03 15:31:19.89 TU6x80Ac.net
>>317
>パズル類(時枝の記事のパズルを含む)の中には、
>プロ数学者たちが正しいと認めていないものが存在する
雑談君にとって、集合論研究者は、プロ数学者ではないらしいw
選択公理を認める集合論も、認めない集合論も、数学としては正当
一方が正しく他方が間違いだとほざくのは
ユークリッド幾何が正しく双曲幾何は間違いだと
ほざくのと同様の馬鹿
356:132人目の素数さん
17/11/03 15:39:50.02 EKoRnR+/.net
固定しようが確率的に選ぼうが、一旦選ばれてしまえば
その後の議論でやることは全く同じなんだから、
「元を任意に取って固定し、それをsとする」
ではなく
「元を確率的に選び、それをsとする」
という文章で始まる証明を誰かが書き下してやれば、
スレ主は反論できなくなるんじゃないですかね
357:132人目の素数さん
17/11/03 15:48:01.22 TU6x80Ac.net
>>325
>「元を確率的に選び、それをsとする」
「任意のsについて」という文言はついてますよ 当たり前でしょう
ただ、何の確率を求めるのかいえば、
「予測が成功する箱の中身」じゃなくて
「予測が成功する列の選択」だということ
馬鹿が納得しなくても馬鹿だから仕方ない
358:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/03 15:51:27.61 lM51R0MT.net
>>319
ピエロ必死(^^
でも、ピエロは他の落ちこぼれより
そうやって、必死に文献を挙げてくるところが、小学生なのにえらいね~(^^
(必死で、事後検索していることがまる分かりで、微笑ましいがね(^^ )
>The Mathematics of Coordinated Inference:
>A Study of Generalized Hat Problems (Developments in Mathematics)
これなかなか面白そうだがね(^^
URLリンク(www.amazon.co.jp)
The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems (Developments in Mathematics) (英語)
ハードカバー ? 2013/10/28 Christopher S. Hardin (著), Alan D. Taylor (著) 109ページ 出版社: Springer;
(引用終り)
内容について、「なか見! 検索」があるよ
URLリンク(www.amazon.co.jp)
なかを、ちらっと見ると、>>306の二つのPDFの論文を詳しく解説したような内容と見た
全部をみることは出来ないが、おそらく時枝記事の問題は無いと見た
つづく
359:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/03 15:53:18.22 lM51R0MT.net
>>327 つづき
で、ピエロが、ウソつきの汚名を晴らすには、足りないぜ(^^
あんたのウソは、
”Sergiu Hartの論文は論文誌に掲載されている
彼の著書でも紹介されている”(>>149より)だった
それ、Sergiu Hartの論文でもなく
彼の著書でもないよ(^^
だから、サイコパス症状を抑えてさ(^^
もっと一般に、”類似の話”(例えばHat Problems)とかがあるとか、まあ、普通の日本人のように、正直に率直に話せば良かったね(^^
360:132人目の素数さん
17/11/03 16:01:50.51 EKoRnR+/.net
>>326
>「任意のsについて」という文言はついてますよ 当たり前でしょう
スレ主は「固定」という用語に難癖をつけており、
「確率的に選ばれた場合は未証明」とか ぬかしてるので、
「固定」という言葉を使わず、「確率的に選ぶ」という言葉に差し替えれば、
361:そこには反論できなくなるんじゃないか、という意味です。 我々からしたら単なる言葉遊びですが、スレ主にとっては大切なんでしょう。
362:132人目の素数さん
17/11/03 16:03:43.01 TU6x80Ac.net
>>327
雑談君、焦ってるねw
まさかSpringerのシリーズなんて出てくると思ってなかったんだろうなw
>おそらく時枝記事の問題は無いと見た
なんか些末な言い訳してるね
じゃ訊くけど、無限帽子は認めるのかい?
363:132人目の素数さん
17/11/03 16:05:42.43 TU6x80Ac.net
>>328
何を赤の他人相手に唾飛ばして喋ってんだこの耄碌爺www
>サイコパス症状を抑えてさ(^^
あんたこそアルツハイマーなら書き込み控えろよ
364:132人目の素数さん
17/11/03 16:11:58.30 TU6x80Ac.net
>>329
>スレ主は「固定」という用語に難癖をつけており、
>「確率的に選ばれた場合は未証明」とか ぬかしてるので、
>「固定」という言葉を使わず、「確率的に選ぶ」という言葉に差し替えれば、
>そこには反論できなくなるんじゃないか、という意味です。
いちいちの試行で、その都度箱の中身を変える、ということなら
そういう形での計算はできないでしょうね
しかし、そもそも、箱入り無数目の記事での確率計算は、
箱の中身をいちいち変えた場合のものではないことは
記事を読めば明らかなので、耄碌爺のいいかがりは
無意味なのですよ
365:132人目の素数さん
17/11/03 16:14:16.15 oQmyG/Qw.net
>>329
> スレ主は「固定」という用語に難癖をつけており、
> 「確率的に選ばれた場合は未証明」とか ぬかしてるので、
> 「固定」という言葉を使わず、「確率的に選ぶ」という言葉に差し替えれば、
> そこには反論できなくなるんじゃないか、という意味です。
「s∈R^Nを確率的に選ぶ」と問題を無意味に限定してもいいですが、
結局のところ、その選ばれたsが定数である(固定されている、確定している)ことを認識してもらわないと、
むしろ誤解を招いて厄介なことになるかとw
というのも、定数として扱わずに確率変数と扱われたら議論は収束しないからです。
確率の専門家さんが言った「測度論では計算できない」を何度もコピペしてくるでしょう。
確率変数の問題を考えるのか、定数の問題を考えるのか。
まずは定数の場合を理解してもらわないと全く先に進まんでしょうね。
366:132人目の素数さん
17/11/03 16:19:46.67 TU6x80Ac.net
>>333
>(sを)定数として扱わずに確率変数と扱われたら議論は収束しない
というより「当たる確率」という場合、sを確率変数として扱う必要がない
もし、ある特定の箱を「固定」して、この箱の中身を当てろというならともかく
箱入り無数目では、その都度違う箱を選べるのだから全然意味がないわけで
むしろ、「箱は固定じゃない」と言い返すのがいいだろうな 記事を読み直せとw
367:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/03 16:21:09.08 lM51R0MT.net
>>289
>>> 8割の人が100点取ったとする
>数当て戦略によると100列の無限数列の内の80列の決定番号が等しい場合は数当ては成功する
時枝記事の解法で、二つ問題がある
1.100列で99/100(k列で、1-1/k)
2.的中できない
ここで、問題にしているのは、1の「100列で99/100」の方
”P(f(X)=X_{g(X)})=99/100
ということだが,それの証明ってあるかな?
100個中99個だから99/100としか言ってるようにしか見えないけど.”(>>26より)
ってこと
99/100を否定する反例を提示した
2の「的中できない」は、別に示すよ(^^
368:132人目の素数さん
17/11/03 16:24:00.61 9GAIKbdJ.net
>「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
>どんな実数を入れるかはまったく自由,例えばn番目の箱にe^πを入れてもよいし,すべての箱にπを入れてもよい.
>もちろんでたらめだって構わない.そして箱をみな閉じる.
>今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
>どの箱を閉じたまま残すかはあなたが決めうる.
>勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
>勝つ戦略はあるでしょうか?」
いいか?
>もちろんでたらめだって構わない.そ し て 箱 を み な 閉 じ る.
>今 度 は あ な た の 番 で あ る.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
箱を閉じた�
369:椏_で中の数は固定されるの 固定された後に回答者の数当てが始まるの 数学以前に国語が壊滅状態のアルツハイマー患者
370:132人目の素数さん
17/11/03 16:27:30.09 9GAIKbdJ.net
数を確率的に選ぼうが関係無いの
>どんな実数を入れるかはまったく自由
と書かれてるでしょうが
それでも勝てる戦略が証明されてるの
理解してないのはアルツハイマー患者だけなの
371:132人目の素数さん
17/11/03 16:28:29.52 oQmyG/Qw.net
>>334
> >>333
> >(sを)定数として扱わずに確率変数と扱われたら議論は収束しない
>
> というより「当たる確率」という場合、sを確率変数として扱う必要がない
その言い方自体が誤解を招きますけどね。
確率的に選んだs∈R^Nをその後定数と扱うのか、
確率的に選ばれるR^Nで直積確率空間を考えるのか、で全然違いますから。
前者であれば、必要がない、といえますが、
後者であれば、それ測度論で証明できますか?と突っ込まれて困ると思いますが。
372:132人目の素数さん
17/11/03 16:29:48.89 TU6x80Ac.net
>>335
>P(f(X)=X_{g(X)})=99/100 ということだが
P(f(X)=X_{g(X)})=99/100ということではないがw
記事読み直せ
373:132人目の素数さん
17/11/03 16:38:37.24 TU6x80Ac.net
>>338
>>「当たる確率」という場合、sを確率変数として扱う必要がない
>その言い方自体が誤解を招きますけどね。
sといってるのは、正確には無限個の数ですけどね
これを全部定数とするということです
これで誤解は招きませんね
別にある特定のR^Nの元だけについていえるのではなく
任意のR^Nの元についていえる
だから耄碌爺の言いがかりも無意味
時枝氏は非可測性の問題を回避する形で戦略を説明しているから
非可測性を持ち出す言いがかりも無意味
374:132人目の素数さん
17/11/03 16:42:26.13 TU6x80Ac.net
>>338
>確率的に選んだs∈R^Nをその後定数と扱うのか
むしろ「確率的に選んだ」という言葉こそが相手に付け入る隙を与えませんか?
「任意のs∈R^Nで成り立つ」といえばいいだけでしょう
「固定」という言葉は「変化させない」というだけであって
「特定」という意味ではない 「特定」だと思うヤツが馬鹿なだけ
375:132人目の素数さん
17/11/03 16:56:13.46 TU6x80Ac.net
だいたい、耄碌爺の
「無限列は有限列の極限だから、有限列と全く同じことが成り立つ」
とかいう「極限論法」が誤りとして論破された時点で
数学的に死んだわけです
376:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/03 17:00:35.49 lM51R0MT.net
>>330
必死だな(^^
帽子の話は、1年くらい前にもあったよ
同じかどうか、はっきり覚えていないがね(^^
で、将棋格言で、「不利なときは戦線を拡大せよ」というのがある
追い詰められた、落ちこぼれさんたちは、戦線を拡大しているんだね?(^^
時枝やSergiu Hart氏から、多少は関係するのだろうが、Alan D. Taylor氏のGeneralized Hat Problems に話題を散らそうと
まあ、ここは雑談スレだから、別に構わんがね
一つクギをさしておくが
数学では、命題Aに対し、類似命題Bが証明されたからと言って、命題Aの証明の代用にはならんぜ(^^
つづく
377:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/03 17:01:40.16 lM51R0MT.net
>>343 つづき
えーと、日本語の文献がありそうだな
”無限 帽子 色 パズル”で検索すると、いろいろあるが、まあ下記PDFでも(^^
URLリンク(www.kurims.kyoto-u.ac.jp)
RIMS Kokyuroku No.1988 公理的集合論の最近の進展 Recent Developments in Axiomatic Set Theory RIMS 研究集会報告集 2015/09/16~2015/09/18 塩谷 真弘 Masahiro Shioya
4. Some remarks on infinite hat guessing games (Recent Developments in Axiomatic Set Theory)----------------------------------------43
大阪府立大学理学系研究科 / 大阪府立大学理学系研究科 嘉田 勝 / 静間 荘司 (Kada,Masaru / Shizuma,Souji)
URLリンク(www.kurims.kyoto-u.ac.jp)
(抜粋)
このように,何人かの囚人と何色かの帽子が登場し,各囚人が他の囚人の帽子に色
という情報のみで自身の見えない帽子の色を推測し発�
378:セするパズルを総称してHat Ploblem, 囚人と帽子パズル,帽子当てゲームなどと呼ばれる.本論文では単に帽子パ ズルと呼ぶ.1959 年のMartin Gardner による”The 2nd Scientific American Book of Mathematical Puzzles & Diversions'' [3] で紹介された上記のような帽子パズルは1965 年にはFred Galvin によって無限の囚人や色が登場するパズルヘ拡張され,21 世紀に入 り,集合論での結果を用いた帽子パズルについての定理が数多く発表され,2010 年には Christopher S. Hardin とAlan D. Taylor によってそれらの結果を統一的にまとめたテ キスト "The mathematics of Coordinated Inference" [5] が出版された. 参考文献 [5] C. S. Hardin and A. D. Taylor. The Mathematics of Coordinated inference. Springer, 2010. (引用終り) 追記:これを見ると、A. D. Taylorの本は、初版が2010だろう(アマゾンは2013だが) (あと通俗解説下記) http://logicpuzzle.seesaa.net/article/282671328.html 囚人と帽子クイズ(無限バージョン)論理パズルで楽しく脳トレ 2012年07月23日 つづく
379:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/03 17:02:52.40 lM51R0MT.net
>>344 つづき
だから、それで良いんじゃ無い?(^^
私スレ主が、以前からお願いしているのは、A. D. Taylorの本レベルの証明を、どうぞどなたかが、きちんと纏めて、どこかに投稿してくださいと
そして、ここに投稿したと、発表してもらえれば良いのだ(^^
思うに、A. D. Taylorの本には、時枝の記事の解法の証明(99/100の定量評価も含め)は、無いんじゃないかな(^^
だから、論文1本書けるチャンスですよ。すでに証明がある? なら、こんなバカ板に書かずに、英文にして投稿すべきですよ!(^^
以上
380:132人目の素数さん
17/11/03 17:54:47.89 TU6x80Ac.net
>>343
>将棋格言で、「不利なときは戦線を拡大せよ」というのがある
駒の動かし方を間違って覚えてる耄碌爺には将棋は無理だよ
無限列は有限列の極限じゃないから
いつまでも「無限列にも最後の項がある」とか狂信すんなよw
381:132人目の素数さん
17/11/03 17:57:36.32 TU6x80Ac.net
>>345
>99/100の定量評価
ん?100列あって、どの列も同じ確率で選ばれるという前提で
外れの列が高々1つなら、少なくとも99/100だろ
小学生でもできる計算じゃ、論文にはならないよw
382:132人目の素数さん
17/11/03 18:03:07.61 TU6x80Ac.net
>>345
>だから、それで良いんじゃ無い?(^^
無限帽子の戦略が成り立つと認めるんなら
耄碌爺には全く勝ち目はないなw
どの列s^iにも決定番号d^iがある
d^i以外の決定番号の最大値をD^iとすると
箱入り無数目の戦略で、予測が外れるのは
d^i>D^iの場合だけであって
上記の不等式が成り立つ列は存在しても唯一だ
なぜなら2つ以上の列について
d^i>d^j かつ、d^j>d^i
となることはないから
こないだこの話を小学生にしたらちゃんと理解したぞ
耄碌爺は小学生以下だなw
383:132人目の素数さん
17/11/03 18:55:35.42 oQmyG/Qw.net
>>340
> sといってるのは、正確には無限個の数ですけどね
> これを全部定数とするということです
> これで誤解は招きませんね
そうですね。s∈R^Nが任意でconstantなら、それをどう選ぶかという設定は無駄ですね。
確率的に選ぶという無駄なバックストーリーを加える必要はないですね。
>>341
> > >>338
> > 確率的に選んだs∈R^Nをその後定数と扱うのか
>
> むしろ「確率的に選んだ」という言葉こそが相手に付け入る隙を与えませんか?
> 「任意のs∈R^Nで成り立つ」といえばいいだけでしょう
私もそう思いますよ。もともとは>>329さんの提案から話が始まってますね。
私の意見は>>333です。
384:132人目の素数さん
17/11/03 19:04:50.25 TU6x80Ac.net
>>349
>私の意見は>>333です。
よく承知しております。
385:132人目の素数さん
17/11/03 20:00:14.19 NaiWRSIv.net
スレ主ついに諦めたか(笑)
386:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/03 20:31:08.77 lM51R0MT.net
>>346-351
素人衆がなにをぐだぐだと言っているのか
387:?(^^ ちょっと、経緯を整理すると 1.”しかし、世間一般の数学界には、時枝の記事の解法は、まっとうな数学としては認められていないよ 実際、数学の投稿論文にもなっていないし、テキストでも扱う例なしだ”(>>136) 2.”Sergiu Hartの論文は論文誌に掲載されている 彼の著書でも紹介されている”(とウソつきピエロ >>149 ) 3.”簡単な話で、ピエロがこれですと、具体的に論文誌名、論文名、掲載年月日を出せないってことを誤魔化しているんだろ Sergiu Hart氏は、下記サイトに自分の論文を纏めているよ http://www.ma.huji.ac.il/hart/publ.html”(>>275) 4.”The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems (Developments in Mathematics)”(>>327) ”Hat Ploblem, 囚人と帽子パズル 大阪府立大学理学系研究科 嘉田 勝 / 静間 荘司 RIMS 2015”(>>344) 注)調べた限りでは、Hat Ploblem には、時枝記事の解法は含まれていない (>>345) 以上の通りで、さらに纏めると 1.Generalized Hat Problems は、きちんと論文になり数学の理論として認められている 2.一方、Sergiu Hart氏PDF(2013.11)や時枝(2015.10)以降、この解法は”Generalized Hat Problemsの変形”として、投稿論文やテキスト(教科書)で扱われても良いはずが、2017.11現在そうなっていない!!(^^ 3.ということは、Sergiu Hart氏PDF(2013.11)や時枝(2015.10)は、まだまっとうな数学として認められていないってことさ 4.これから導かれる選択肢は3つ a)Sergiu Hart氏PDF(2013.11)や時枝(2015.10)を扱った投稿論文かテキストを見つける b)証明に自信があるなら、自分が投稿する c)Sergiu Hart氏PDF(2013.11)や時枝(2015.10)は、数学的な扱いが難しく、現状では否定的なのだろう なので、2017.11現在の結論は ”世間一般の数学界には、時枝の記事の解法は、まっとうな数学としては認められていないよ 実際、数学の投稿論文にもなっていないし、テキストでも扱う例なしだ”ってことだ 素人衆がなにをぐだぐだと言っているのか?(^^ 証明に自信があるなら、自分が投稿すべし!(^^
388:132人目の素数さん
17/11/03 20:57:17.19 NaiWRSIv.net
>>352
なんか吠えてんな(笑)
内容がないけど
389:132人目の素数さん
17/11/03 21:06:13.89 NaiWRSIv.net
スレ主はついに負けを認めたな(笑)
論文を書けって、結局自分には分からないと放棄したわけだろ
こんなかんたんな問題何で分からないの?
オマエ論文投稿したことないでしょ(笑)
390:132人目の素数さん
17/11/03 21:46:55.75 bNV/YL/F.net
無限帽子は一点での差異を考えなくてはならないのに
設定したfgの違いを指摘しているだけでなんの意味もないことよ
391:132人目の素数さん
17/11/03 21:48:37.65 bNV/YL/F.net
これに騙される人は根本的に確立事象がわかってないな
392:132人目の素数さん
17/11/03 22:13:06.85 oQmyG/Qw.net
>>355-356
きちんと記述してみなよ。何がいいたいの?
393:132人目の素数さん
17/11/03 22:35:23.00 bNV/YL/F.net
ぷ
394:132人目の素数さん
17/11/03 22:44:27.51 oQmyG/Qw.net
>>355-356, >>358
ああお前か。下の質問から逃げ回ってる男ね。
>>167
> >>152
> > 元記事はジョークだよ
>
> 説明を。
195 名前:132人目の素数さん[] 投稿日:2017/10/30(月) 23:32:05.21 ID:O23IfNyE [7/8]
>>193
ネタだのジョークだのと言うなら、具体的に記事のどの部分がどう数学的じゃないのかを指摘すればいい話。
それができずにネタだのジョークだのほざいたところで、タワケモノのタワゴトに過ぎない。
お前の本気を見せてみろよ タ ワ ケ モ ノ
196 名前:132人目の素数さん[] 投稿日:2017/10/30(月) 23:40:09.71 ID:O23IfNyE [8/8]
>>195続き
タワケモノ君、サルが君に縋りたいようだからサルのためにも頑張って示してね
395:132人目の素数さん
17/11/03 23:57:31.91 bNV/YL/F.net
下らんことをいつまでも理解できない御仁が居るみたいね
396:132人目の素数さん
17/11/03 23:58:49.76 9GAIKbdJ.net
>>355-356, >>358
また逃げるのかい?
397:132人目の素数さん
17/11/03 23:59:59.56 bNV/YL/F.net
まあ
ハッキリ言えるのは
帽子云々でマジで書いてる人が居たら
他の数学者からは
アアこれはダメな奴と
レッテル貼られるってことかな
398:132人目の素数さん
17/11/04 06:15:51.10 aW5QzIg8.net
「現代数学の系譜 工学物理雑談 古典ガロア理論も読む」氏は
11/3(金) 認知症による発作のため 亡くなりました
ご冥福
399:をお祈りいたします(-||-)
400:132人目の素数さん
17/11/04 06:52:25.46 ASJ8jdbh.net
>>362
まだ逃げるのかい?
401:132人目の素数さん
17/11/04 08:14:44.03 ASJ8jdbh.net
>>356
> これに騙される人は根本的に確立事象がわかってないな
確率という単語を滅多に使わない人のあるある現象が出ちゃってますけどw
402:132人目の素数さん
17/11/04 09:12:24.20 aW5QzIg8.net
どの列s^iにも決定番号d^iがある
d^i以外の決定番号の最大値をD^iとすると
箱入り無数目の戦略で、予測が外れるのは
d^i>D^iの場合だけであって
上記の不等式が成り立つ列は存在しても唯一だ
なぜなら2つ以上の列について
d^i>d^j かつ、d^j>d^i
となることはないから
こないだこの話を小学生にしたらちゃんと理解したぞ
403:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/04 09:45:33.08 sjIJjomh.net
>>353-366
ご苦労さん(^^
つづく
404:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/04 09:46:08.08 sjIJjomh.net
>>367 つづき
<おちこぼれ達のための補習講座9>再録
スレ44 スレリンク(math板:630-633番)
630 名前:現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日:2017/10/22(日) 14:09:43.51 ID:jBlaYViq [3/14]
<おちこぼれ達のための補習講座9>
幼い小学生ピエロは無視して、
High level people さんたちのために(^^
(形式的冪級数環と多項式環とを使った証明のスケッチ)
(まあ、突然かたい証明文を投下しても、どうも読めないようだし・・、なのでまずスケッチから・・)
1)形式的冪級数環←→時枝の箱の無限数列:(下記”より形式的な定義”にご注目)
URLリンク(ja.wikipedia.org)
形式的冪級数
(抜粋)
定義
A を可換とは限らない環とする。A に係数をもち X を変数(不定元)とする(一変数)形式的冪級数 (formal power series) とは、各 ai (i = 0, 1, 2, ...) を A の元として、
Σ _{n=0~∞ } a_n*X^n=a_0+a_1*X+a_2*X^2+・・・
の形をしたものである。ある m が存在して n >= m のとき an = 0 となるようなものは多項式と見なすことができる。
形式的冪級数全体からなる集合 A[[X]] に和と積を定義して環の構造を与えることができ、これを形式的冪級数環という。
より形式的な定義
N を非負整数全体の集合とし、集合 AN すなわち N から A への関数(A に値を持つ数列)全体を考える。この集合に対し
(a_n)_n+(b_n)_n=(a_n+b_n)_n
(a_n)_n*(b_n)_n=(Σ _{k=0~∞ } a_{k}*b_{n-k} )_n
によって演算を定めると、A^N は環になることが確かめられる。これが形式的冪級数環 A[[X]] である。
ここでの (a_n) は上の Σa_n*X^n と対応する。
つづく
405:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/04 09:46:39.17 sjIJjomh.net
>>368 つづき
631 自分:現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日:2017/10/22(日) 14:10:11.40 ID:jBlaYViq [4/14]
2)多項式環←→時枝の箱の無限数列の同値類
URLリンク(ja.wikipedia.org)
多項式環
(抜粋)
定義
体 K に係数を持つ不定元 X に関する多項式とは
p(X)=p_m*X^m+p_m-1*X^m-1+・・・ +p_1*X+p_0 =Σ _{k=0~m }p_k*X^k
の形の式のことである。ここで p_0, ・・・, p_m は K の元で、p の係数といい、X, X^2, ・・・ は形式的な記号だが X の冪という。
注意すべき点として、多項式には項が有限個しかないこと -つまり十分大きな k(ここでは k > m)に関する係数 p_k がすべて零であるということ- は、暗黙の了解である。
体 K に係数を持つ多項式全体の成す集合は可換環を成し、K[X] で表して、K 上の多項式環 (ring of polynomials over K) と呼ぶ。
環 K[X] の性質
体上の多項式環 K[X] は多くの面で整数全体のなす環 Z と非常によく似ている。この類似�
406:ォと多項式環の算術はガウスによって徹底的に調べられ、ガウスの理論は19世紀後半のクンマー、クロネッカー、デデキントらの手による抽象代数学の発展のモデルとしての役割を果たした。 (引用終り) つづく
407:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/04 09:47:12.86 sjIJjomh.net
>>369 つづき
632 自分返信:現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日:2017/10/22(日) 14:10:38.23 ID:jBlaYViq [5/14]
3)補足1:特に上記2)について
1.上記1)は、分るでしょ(^^。形式的冪級数環の元と、可算無限個の箱の数列とが対応する
2.上記2)は、補足が必要だろう。形式的冪級数環の元sとs'とで、”ある番号から先のしっぽが一致する”なら、差 Δ=s-s'は、多項式になり多項式環の元になる
3.時枝の箱の無限数列の同値類”U”について、任意の二つの元sとs'について、上記2は当然成り立つ
4.まとめると、同値類”U”で、ある元s∈U(例えば代表)と、任意のs'∈Uで、s'=s-Δ、 Δ∈多項式環K[X]とできる
4)補足2:決定番号について(有限ではあるが、上限はない)
1.決定番号は、上記同値類の差 Δ=s-s' 多項式の次数mを通して考えることができる
2.多項式環K[X]に属する多項式の次数mには、上限がない。∵m次多項式と1次多項式の積からm+1次多項式ができる。(ペアノに同じ)
3.しかし、任意のmは有限である。(自然数の元に同じ)
5)補足3:しっぽの同値類の共通部分 co-tailについて
1.上記”4)補足2”の4項より、s'=s-Δ で、Δは有限次数だから、しっぽが空(φ)となることはない
つづく
408:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/04 09:47:49.71 sjIJjomh.net
>>370 つづき
633 自分返信:現代数学の系譜 工学物理雑談 古典ガロア理論も読む[sage] 投稿日:2017/10/22(日) 14:11:05.95 ID:jBlaYViq [6/14]
6)補足4:多項式環K[x]の完備化が形式的冪級数環K[[x]]になること
URLリンク(ja.wikipedia.org)(%E7%92%B0%E8%AB%96)
完備化 (環論)
(抜粋)
R = K[x_1,・・・,x_n] を体 K 上の n 変数多項式環とし、 m=(x_1,・・・ ,x_n)を変数によって生成された極大イデアルとする。
このとき完備化 R_mは K 上の n 変数形式的冪級数環 K[[x_1,・・・,x_n]] である[4]。
(引用終り)
(同英語版)
URLリンク(en.wikipedia.org)(algebra)
Completion (algebra)
(抜粋)
Examples
2. Let R = K[x_1,・・・,x_n] be the polynomial ring in n variables over a field K and m=(x_1,・・・ ,x_n) be the maximal ideal generated by the variables.
Then the completion R_m is the ring K[[x_1,・・・,x_n]] of formal power series in n variables over K.
(引用終り)
以上
つづく
409:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/04 09:51:01.63 sjIJjomh.net
>>371 つづき
で、本題(^^
<おちこぼれ達のための補習講座10>
1.<おちこぼれ達のための補習講座9>にあるように、可算無限数列のしっぽによる同値類~と代表との関係は、形式的冪級数環を、ある一つの形式的冪級数を代表として、そのしっぽ(指数の高い項の一致で)の同値類~を考えることに同じ。
2.同じ同値類の形式的冪級数二つ
(第m+1項からしっぽが一致するとして)
f =a0+a1*X+a2*X^2+a3*X^3+・・・+am*X^m+ am+1*X^m+1 +・・・
f'=a'0+a'1*X+a'2*X^2+a'3*X^3+・・・+a'm*X^m+ am+1*X^m+1 +・・・
f-f'= (注:多項式になる)
(a0-a'0)+(a1-a'1)*X+(a2-a'2)*X^2+(a3-a'3)*X^3+・・・+(am-a'm)*X^m+ 0*X^m+1 +0*X^m+2 +・・・
なので、f-f'=ΔP(X) とおくと
f'=f-ΔP(X) と表わすことができる
3.fを出題された数列に対応する形式的冪級数、f'を代表に対応する形式的冪級数とすると、決定番号dは d=m+1 つまり、多項式ΔP(X)の次数m プラス1になる
4.素人衆が間違っているのは、各列の決定番号 d=m+1を直接選べるように勘違いしているところだよ。選べるのは、多項式ΔP(X)
5.多項式ΔP(X)を選ぶ場合、例えば任意の2次多項式を選ぶことは、(係数が3つなので)3次元空間の1点を選ぶが如し。
つまり、任意の3次元空間の1点(a0,a1.a2)を選んだ
410:とき、確率1でa2≠0 であり、2次式が1次や0次に退化することはない(1次や0次は零集合) 6.同様に、m次の場合、m+1次元空間の1点を選ぶが如しで、確率1で、より低次元に退化することはない 7.さて、上記より、多項式環において多項式の次数の上限はないから、ある常数Dに対して、多項式環から選んだ100個の多項式の次数、d1,d2,・・・d100 がいずれもD以下になる確率は0 QED (これは、”無限”が分っていないと、理解できないだろうな。思うに、プロの目から見れば、ここらがネックで、真っ当な数学と認められないのではと思う今日この頃(^^ ) 以上
411:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/04 09:51:49.67 sjIJjomh.net
>>366
ピエロご苦労
小学生が小学生相手に、教えて学び合いか・・、うるわしいね(^^
マジレスすれば、批判力のない小学生に、古代ギリシャの数学を教えればそれを学び、18世紀を教えればそれを学ぶってことだな
ピエロが間違ったことを教えれば、それを真に受けるということよ(^^
412:132人目の素数さん
17/11/04 10:04:02.30 FlBMOH6D.net
>>372
これは酷い
413:132人目の素数さん
17/11/04 11:58:42.18 xEg7yE5p.net
>>372
プロの煽り士
414:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/11/04 13:19:37.43 sjIJjomh.net
>>372 つづき
<おちこぼれ達のための補習講座11>
(πと√2による同値類の考察)
1.πと√2による無限列の同値類を考えよう
2.補題1:π-√2は有限小数にはならない。
Proof:t=π-√2 として、√2=π-tで、2=(π-t)^2となる。
もし、tが有限小数=有理数なら、πが有理数係数の代数方程式の根になるので、πが超越数であることに反する。
3.πと√2とを、十進法表示したときの各桁の1~9の数を順に入れて、無限数列を作るとする
数列 Rπ =(3,1,4,1,5,・・・)
数列 R√2=(1,4,1,4,2,・・・)
4.形式的冪級数を作る
A[[X]]π =3+1*X+4*X^2+1*X^3+5*X^4・・・
A[[X]]√2=1+4*X+1*X^2+4*X^3+2*X^4・・・
5.補題1より、差 A[[X]]π-A[[X]]√2 は、なお形式的冪級数である。
6.一方、例えば、数列 Rπを数列のしっぽの同値類(Uπとする)の代表として、
同値類に属する任意の数列は、<補習講座10>の記号に倣って
A'[[X]]π=A[[X]]π-ΔP(X) と表わすことができる。
7.補題2:A'[[X]]π=A[[X]]π-ΔP(X) はゼロ級数(0,0,0,0,・・・)には成り得ない。ΔP(X)がm次多項式とすると、必ずm+1以降のどこかにゼロでない項が存在する。
(逆に言えば、ΔP(X)=A[[X]]π-A'[[X]]π となる)
Proof:ΔP(X)は定義より、有限次数の多項式であり、A[[X]]πは定義より、真性の形式的冪級数であるから。その後の命題は自明。
8.同じことだが、補題2より、ΔP(X)は多項式環に属し、有限次数であるから、必ずしっぽが残る。同じことは√2についても言える。
つまり、co-tailπとco-tail√2とが存在することが証明された。
(∵co-tail(しっぽの先)が存在しないということは、ゼロ級数(0,0,0,0,・・・)が実現できることになり、補題2に反する)
9.補題2以降は、任意の同値類について成り立つ。
以上
415:132人目の素数さん
17/11/04 13:21:42.31 FlBMOH6D.net
>>376
これは酷い
416:132人目の素数さん
17/11/04 13:42:58.63 ASJ8jdbh.net
>>376
> 8.同じことだが、補題2より、ΔP(X)は多項式環に属し、有限次数であるから、必ずしっぽが残る。同じことは√2についても言える。
> つまり、co-tailπとco-tail√2とが存在することが証明された。
いきなり無定義のco-tailπなるものが証明されたらしいのだが、ナニソレ?