19/01/09 20:25:18.90 yTPA4eYw.net
>>506
＞数学的問いから逃げ回るスレ主
ああ、スレ主は只の見栄坊だから
真実より自分の体面が大事なんだよ
551:１３２人目の素数さん
19/01/09 20:27:03.65 hTPkrY2R.net
「ある特定の対象でしか通用しない手法」は、その対象に特化した手法なので、
その対象だけが持っている深い性質を反映した手法となる
もしそんな手法が考案できたなら、その対象は理解できたも同然だ
アペリーはそこが凄かった。ζ(3)だけが持っている深い性質を
(たまたまかもしれないが)見抜いたのであり、だからζ(3)の無理性が証明できた
おっちゃんには、そんな仕事は不可能なので、自動的に、この人が生成する証明は
「特定の対象でなくても広く通用してしまう証明」にしかならないｗ
つまり、この人には、誰でも知っている浅い性質の猿真似しかできない。
そんな性質だけを寄せ集めて証明を作っても、その対象に特化した証明にはならないので、
反例が紛れ込んでしまってうまくいかない
しかもおっちゃんは、この構造自体を理解していない(特化した証明という概念が欠落している)ので、
何度も同じ間違いを繰り返すｗ
552:１３２人目の素数さん
19/01/09 20:27:16.55 yTPA4eYw.net
>>508
時枝記事も読解できずに
初歩的な間違いを絶叫するスレ主に
リーマン予想なんか一万年早い！
553:１３２人目の素数さん
19/01/09 20:31:24.82 yTPA4eYw.net
スレ主のトンデモぶりは>>495を読めば明らかだろう
世の中にいかにバカが多いとはいえ、スレ主ほど
考えなしのバカは他に類を見ない
554:１３２人目の素数さん
19/01/09 20:37:44.40 OkYIIJsc.net
＞そもそも、スレ主は論文書いたことないだろ。
スレ主は論文執筆の前に変数と定数の区別を中学生に教わる必要がある。
555:１３２人目の素数さん
19/01/09 20:37:52.39 hTPkrY2R.net
または、打ち立てた定理が奇跡的に正しい定理になったとしても、
その証明は結局は浅い性質の寄せ集めなので、定理そのものがほぼ自明であり、価値がないｗ
実際、「少し考えれば簡単に分かる定理」を、
おっちゃんが長文の証明つきで書き込んだことが何度かある
長文の証明なので、おっちゃんにとっては意味のある行為に感じられているのかもしれないが、
その長文のほとんどは書く必要のない冗長な議論であって(これもおっちゃんの癖だね)、
記述を適切に省いていけば、「自明な定理の自明な証明」にまで矯正できる
つまり、その定理には価値がない
この人の
556:書き込みは昔からこの程度であり、 これで未解決問題を解こうと研究者ごっこを続けてるのが奇数芸人そっくり
557:１３２人目の素数さん
19/01/09 20:41:45.48 OkYIIJsc.net
>>482
たしかに、スレ主とかいうトンデモも変数と定数の違いを近所の中学生に教われとアドバイスしても聞く耳持たないからなあ
558:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/09 20:43:00.22 7a4TsQ8k.net
>>508
過去スレ37にも、こんなのがありましたね（＾＾
ｽﾚﾘﾝｸ(math板:284番)
現代数学の系譜 古典ガロア理論を読む37
284 名前：１３２人目の素数さん[] 投稿日：2017/08/05(土) 15:41:15.77 ID:OWtd+42v
コンヌはコンサニとマルコーリを好きなだけ抱けて、何だか羨ましいよね。でも、抱くためにはバイアグラが必須の年齢にとっくになってるんだよね。
ｽﾚﾘﾝｸ(math板:84番)
84 名前：￥氏 ◆2VB8wsVUoo [sage] 投稿日：2017/08/02(水) 18:45:15.33 ID:6XC/wDpJ [16/20]
私は「コンヌ式の教育をみっちりと受けた」ので、だから：
☆☆☆『（遣り方、ではなくて）モノの考え方こそが学問研究の本質という思想圏の住人』☆☆☆
ですわ。なので「正しい方向」ってのは当たり前の感覚ですわ。まあコンヌ先生が言う知性と
は「自分のアタマの遣い方が自分で判ってる事」という認識ですかね。
つまり道具とか、或いはそのスキルなんていうものは『目標物を定めてから選ぶ』という発想
です。でも中にはそうではない人も（特に日本には）沢山いるし、なので何が正解かなんて事
は誰にも判りません。だから『私自身はそうしています』というだけです。
￥
(引用終り)
559:１３２人目の素数さん
19/01/09 20:43:03.54 OkYIIJsc.net
>>483
＞確かに（＾＾
＞そんな気がする
＞勝手にべらべらしゃべって
＞人のいうことを聞いていないね（＾＾；
自己紹介乙
560:１３２人目の素数さん
19/01/09 20:44:10.53 yTPA4eYw.net
>>515
おっちゃんは「数学ごっこ」してるときが一番幸せなんだろ
人生不遇そうだからな ま、無能だから仕方ないが
それでも生まれながらの変質者のスレ主よりは人間的にはマシ
561:１３２人目の素数さん
19/01/09 20:45:45.81 yTPA4eYw.net
＞勝手にべらべらしゃべって
＞人のいうことを聞いていないね
中身がないくせにリコウぶってるスレ主のことかｗ
562:１３２人目の素数さん
19/01/09 20:45:55.04 OkYIIJsc.net
>>485
＞このトンチンカンで
＞論旨ムチャクチャな応答が、
＞おっちゃんの典型かな？（＾＾
トンチンカンで論旨ムチャクチャな応答はスレ主と同じだろ
トンデモ同士仲良くやれや
但しチラシの裏でな
563:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/09 20:46:50.73 7a4TsQ8k.net
>>500
>＞せいぜい、Wiki とかを読めば済む。
>と、wikiを理解できずにコピペするアホが申しております
それ多分、早とちりの、相手が人違いやで（＾＾；
564:１３２人目の素数さん
19/01/09 20:55:01.26 yTPA4eYw.net
スレ主は生まれてから一度も反省したことがない変質者
565:１３２人目の素数さん
19/01/09 20:56:14.16 OkYIIJsc.net
>>489
そのアドバイスは的を射ているぞ？
それを余計なお世話の一言で片づけるのがおっちゃんやスレ主といったトンデモ連中
566:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/09 21:12:27.29 7a4TsQ8k.net
>>494
どもありがとう
これ、面白いね
追加引用しておきます（＾＾
URLﾘﾝｸ(www.jstage.jst.go.jp)
数学 2002 Volume 54 Issue 1 Pages 99-105
Riemann予想 本橋洋一
P102
π(χ)の展開を終る.ここに,μ はMobius函数である.展開(15)がExplicit Formula
である.今日流布するものと形式が異なるが,同値である.
では,何故にRiemannはπ(χ)の展開をかくも重要視したのか.各複素零点の寄与を,‘ 振動項’と
彼は称しているが,意味深い暗示であろうか.それとも,単にFourier展開が模範とされたことの反映
にすぎないのであろうか.他方,微分作用素の固有値とFourier展開との関係もまた彼の視界にあっ
たに相違ない.複素零点の‘意味’を定めることに較べれば,予想(11)は確かに二義的な問題である.
それ故に,‘ 必要無きもの'と彼は記したのであろうか.
あと、さらに追加
P104
Hilbert及びPolyaに
端を発するこの漠然たる推測が正しいのであるならば,おそらく,簡明な構造であろう.さもなくば,
RHは普遍性を持ち得ない.しかしながら,言うは易し.種々のゼータ函数につき臨界線上の平均値の
考察から,筆者はRHに形容を絶する深淵を見る.[5]の終段を参照されたい.
斯くの如き委細を知りつつも,Riemannはなお且つ(11)を記したであろうか.深き謎掛けが解け
たとき,人々の脳裏にはどの様な思いが廻るのであろう.‘ 久遠の彼方から墜ちてくる.緩やかに,燦
らめきながら、星が我に向かいて.’ と独語するのか,それとも‘我らはいかに愚かであったか.'と嘆
息するのか.
567:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/09 21:16:30.69 7a4TsQ8k.net
>>522-523
ピエロちゃん、ご苦労さん（＾＾
568:１３２人目の素数さん
19/01/09 21:17:54.76 OkYIIJsc.net
>>497
たしかにね～
「選択公理を仮定すれば代表系が取れる」と言うと、何故かスレ主は「選択公理は免罪符か？」
とか言い出すしね。選択公理をまったくわかってない証拠を自ら吹聴するハクチに違いないｗ
569:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/09 21:25:16.58 7a4TsQ8k.net
>>508
URLがおかしいので、下記へ変更（＾＾
（まあ、別にURLをクリックする必要はないですが（＾＾； ）
ｽﾚﾘﾝｸ(math板:466番)
↓
ｽﾚﾘﾝｸ(math板:466番)
570:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/09 21:25:59.28 7a4TsQ8k.net
>>526
選択公理は免罪符か？（＾＾；
571:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/09 21:27:34.53 7a4TsQ8k.net
>>527
ああ、そうかそうか
これらのURLは、正規のサイトじゃないので、制限しているのか・・（＾＾；
572:
19/01/09 21:33:13.90 cjmWlePf.net
>>461
ガウスの整数論(1801)もラテン語ですね、いつか読んでみたい URLﾘﾝｸ(la.wikisource.org)(1870).djvu/11
573:１３２人目の素数さん
19/01/09 21:38:15.84 OkYIIJsc.net
>>528
ようスレ主、ホイホイへの回答まだか？
574:
19/01/09 21:41:23.12 cjmWlePf.net
>>464
＞それ、アマチュアでしょ？
初等整数論は私を含めたアマチュアのあこがれですし、実際、私達にとっては「数学とはどういうものか」を感じさせる（あくまで「感じさせる」です）いい題材だと思います
1時間ほどかけて毎日歩いていますが、「公倍数は最小公倍数の倍数」「公約数は最大公約数の約数」からはじめて証明を順番に考えるようにしています
調子のいい日はユークリッドの補題とかベズーの等式とか百五減算とかどんどんいけますが、調子の悪い日は a, b ∈ Z, ab = lcm(a, b)・gcm(a, b) で途中式が見えなくなり難航します
575:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/09 21:55:00.31 7a4TsQ8k.net
>>530
C++さん、どもありがとう
それ、ご存知と思うが
高瀬 正仁の和訳が出てますね（＾＾
図書館で借りたらどうですか？
URLﾘﾝｸ(www.amazon.co.jp)
ガウス 整数論 (数学史叢書) 単行本 ?
576: 1995/6/1 カール・フリードリヒ ガウス (著), Carolo Friderico Gauss (原著), 高瀬 正仁 (翻訳)
577:
19/01/09 22:11:38.85 cjmWlePf.net
>>533
高木サダハルがすでにしてあるのから…特に日本語でガウスを読まなくてもいいと私のfeelingは述べております
いえ、初等整数論に固執しているわけではないんですよ、教科書はやっぱり新しい方が、証明も新しい方がわかりやすいに決まっていますから
そのガウスの証明は「公倍数は最小公倍数の倍数」「公約数は最大公約数の約数」からはじめているのかどうかは気になってはいます
578:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/09 23:25:10.37 7a4TsQ8k.net
>>534
ああ、そうでしたか（＾＾
ガウスね。前にも紹介しましたが（＾＾
URLﾘﾝｸ(reuler.bl) + og108.fc2.com/bl ＋ og-entry-1660.html
日々のつれづれ Author:オイラー研究所の所長 高瀬 正仁
岡潔先生の情緒の世界 8 ガウスのように 2012-03-04
(抜粋)
だいぶ前のことになりますが、アンドレ・ヴェイユがはじめて来日したとき、日本の若い数学者たちと話し合ったことがあります。
ヴェイユは「（数学は）ガウスのようにはじめよ」というアドバイスをしたのだそうです。
ガウスのようにというのはどのような意味なのか、そのあたりの説明はありませんが、数学はアイデアが大事だという発言もありますから、「ガウスのようにアイデアをもってはじめよ」というほどの意味だったのかもしれません。
ヴェイユの言葉は続き、ガウスのようにはじめるとすぐに、自分はガウスではないとわかるだろう、とのこと。ですが、それでもいいから、ともかくガウスのようにはじめよというのです。
ガウスのようにというところに何だか深遠で雄大な感じがあって感激した覚えがあります。
ガウスを読んだ後になって顧みると、「ガウスのように」というのは、「数学のカンバスに描こうとする絵の姿が心に描かれてからはじめよ」という意味の言葉のように耳に響きます。
もしそうであれば、ヴェイユもまたガウスと同じ「一番はじめの人」である可能性がありますが、ここは議論の余地があります
ガウスのように出発せよと日本の若者を煽動したヴェイユは、「そうすれば，自分はガウスではないことがすぐにわかるだろう」と間髪を入れずに続け、それからさらに、それでもいいからとにかくガウスのように出発するようにと言い添えました。
ヴェイユというのはそんなことを平然と口にする数学者でした。
ヴェイユの言葉でもうひとつ問題になるのは「アイデア」の一語です。
ヴェイユの見るところ、数学にはアイデアのあるものとないものがあるというのですが、では、ある論文を見たとして、はたしてそこにアイデアがあるのか否か、どうしたらわかるのでしょうか。
それで、アイデアとは何かという問いを受けることになるのですが、これに対してヴェイユは「それはフォックステリアの問題だ」と応じました。
略
(引用終り)
579:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/09 23:26:05.14 7a4TsQ8k.net
>>535
URLが通らないので、”＋”を入れた
まあ、キーワード検索から飛ぶ方が早いでしょう（＾＾
580:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/09 23:30:52.58 7a4TsQ8k.net
>>532
C++さん、どもありがとう
>＞それ、アマチュアでしょ？
>初等整数論は私を含めたアマチュアのあこがれです
まあ、アマにとって、初等整数論が、数学の女王であるかもしれない
ですが、プロ数学者は、ガウスの定理の再発見と再証明で終わっては、プロ失格と思いますけどね
「数論は数学の女王」ね
最近、あまり見聞きしませんが、如何ですか？（＾＾
581:１３２人目の素数さん
19/01/09 23:36:59.58 XpN0tpF/.net
URLﾘﾝｸ(youtu.be)
582:１３２人目の素数さん
19/01/10 00:17:09.00 d0sov1uq.net
おっちゃんです。
>>523
>>482では
>足元（中高レベルの証明問題）から見直すべき
と書かれているが、中高の証明問題では「任意の」と「或る」を使っていない。
これでは、証明にはならんだろ。
高校の問題も、問題文から論理的に答えを出す問題だけではなく
583:、 問題文を満たすような何か(答え)を求める問題もある。 一般には、後者を厳密に扱って論理的に書くことは難しい。 後者のタイプの問題はその「何か(答え)」についての存在性の問題だけでなく、 その「何か(答え)」があるとしても、それは複数個あるような問題になることの方がずっと多い。
584:１３２人目の素数さん
19/01/10 00:27:24.70 d0sov1uq.net
>>499
>>501
>>503
特化した或る一定の条件を満たすような複数個の微分方程式をまとめて
関数解析の手法で抽象的に扱うことも出来る。そういう分野はある。
585:１３２人目の素数さん
19/01/10 01:28:01.71 d0sov1uq.net
>>510
>>514
>これで未解決問題を解こうと研究者ごっこを続けてる
未解決問題を解こうとしたことは過去にも何度かあるが、未解決問題を解くことを続けている訳ではない。
586:１３２人目の素数さん
19/01/10 07:16:35.67 +VSLcfs/.net
>>528
>選択公理は免罪符か？（＾＾；
選択公理を命題として正しく記載してご覧
そうすれば「免罪符」とかいう言葉が間違ってるとわかる
587:１３２人目の素数さん
19/01/10 07:20:22.91 +VSLcfs/.net
選択公理とは公理的集合論における公理のひとつで、
「どれも空でないような集合を元とする集合があったときに、
それぞれの集合から一つずつ元を選び出して新しい集合を作ることができる」
というものである。
（ｂｙ wikipedia）
つまり同値類（空でない集合）を元とする集合があったときに
それぞれの同値類から一つずつ（代表）元を取り出して
新しい集合をつくることができる
ただ、それだけのこと。免罪符もクソもない。
588:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 07:52:05.52 vW1xEmFq.net
>>542-543
>ただ、それだけのこと。免罪符もクソもない。
それ、
全く同意なんだけど（＾＾
前スレ覚えてる？
前スレ56 ｽﾚﾘﾝｸ(math板:652番)
(引用開始)
652 返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2018/12/30(日) 08:46:23.26 ID:A4Yw8jtX [4/8]
(抜粋)
細かいけど
昨日の選択公理の確認（>>621）でやったので、念押ししておくが
・選択公理の有限版 ⊂ 可算選択公理 ⊂ 選択公理（フルバージョン）
正確な表記ではないが、マンガ風に図解すれば、こうだと
・つまり、上位互換で、選択公理（フルバージョン）は、適用できる集合は連続無限集合でも、あるいは連続無限より上位の濃度の無限集合でも適用可
（もちろん、下位の可算無限集合および有限集合にも適用できる。選択公理の定義の通り、適用できる集合に制限無し！ ）
・可算選択公理は、可算無限以下の集合にのみ適用できる
・選択公理の有限集合版は、公理というよりむしろ原理とか定理という方が良いかもしれないが
（補足、>>622 尾畑先生テキスト：
「Λ が有限の場合は, ZF 公理系 (と論理) だけから (11.11)
が証明される. 大雑把には, 順序対の存在は公理に含まれており, 順序対を繰り
返すことで有限列の存在が数学的帰納法で証明される」ご参照
あるいは、>>625 Axiom of choice Restriction to finite sets をご参照 ）
(引用終り)
（選択公理の細かい話しは、過去スレ56をご参照）
さて、
命題：仮定A＋B＋C→結論D
対偶：￢D→￢（A＋B＋C）
A：選択公理
B：ある無限集合から代表が取れる
C：確率計算可能
D：時枝記事が成立
とする
で、
ピエロちゃんの主張：￢D→￢(A+B) だ～～！と （これ、初期に何度も繰り返し主張してたでしょ？（＾＾； ）
（言葉で言えば、「選択公理を使って、無限集合から、代表を選ぶことができるのは当たり前。それを否定するのはおかしい！！」と）
私の主張：選択公理は免罪符か？ ”￢C”をまじめに議論してないでしょ？と
QED
589:１３２人目の素数さん
19/01/10 07:52:49.68 STlk6BwF.net
免罪符なんでしょ
スレ主のトンデモ数学では（遠い目）
590:１３２人目の素数さん
19/01/10 08:19:27.44 STlk6BwF.net
>>544
＞命題：仮定A＋B＋C→結論D
こっからして既に間違えてる
スレ主はおっちゃん以上の誤答爺さんだな
591:１３２人目の素数さん
19/01/10 08:33:55.69 STlk6BwF.net
>>544
＞さて、
＞命題：仮定A＋B＋C→結論D
＞対偶：￢D→￢（A＋B＋C）
＞A：選択公理
＞B：ある無限集合から代表が取れる
＞C：確率計算可能
＞D：時枝記事が成立
＞とする
時枝記事を全く読めてないね
592:１３２人目の素数さん
19/01/10 08:34:45.61 STlk6BwF.net
>>544
で？時枝解法が実行できない決定番号の値は何？
593:１３２人目の素数さん
19/01/10 08:40:37.50 STlk6BwF.net
>>544
＞ ”￢C”をまじめに議論してないでしょ？
代表系が存在するなら、100個の数列から100個の決定番号（自然数）が得られる。
そこから無作為に選んだ1個が最大値でない確率を求めるのにどんな議論が必要だと
主張したいの？
594:１３２人目の素数さん
19/01/10 08:42:07.71 STlk6BwF.net
>>544
＞私の主張：選択公理は免罪符か？
言いがかりである。スレ主は数学がわかっていない。
595:１３２人目の素数さん
19/01/10 09:00:20.53 STlk6BwF.net
>>544
＞ ”￢C”をまじめに議論してないでしょ？と
「100個の自然数から無作為に1個選び、それが最大値である確率」
を計算できない場合ってどんな場合？どんな100個自然なら計算できないと主張するの？
596:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 09:59:56.60 siIhzGLM.net
>>551
ピエロちゃん、おは（＾＾
平日の朝は忙しいの？
小学生を教えに行っているだって？
小細工しているヒマがないんだね？（＾＾；
597:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 10:26:03.74 siIhzGLM.net
>>549
さて
(引用開始)
>>544
＞ ”￢C”をまじめに議論してないでしょ？
代表系が存在するなら、100個の数列から100個の決定番号（自然数）が得られる。
そこから無作為に選んだ1個が最大値でない確率を求めるのにどんな議論が必要だと
主張したいの？
(引用終わり)
うん、大体反応は予想通りだよ～
まあ、サイコパス性格だから、認めないよね、”絶対に”！（＾＾
そして、次の議論も、認めないよね、”絶対に”！ｗ （＾＾；
＜あなたの述べた時枝記事の手順＞
１）代表系が存在する
２）100個の数列から100個の決定番号（自然数）が得られる
３）そこから無作為に選んだ1個が最大値でない確率を求める
＜あなたの述べた時枝記事の手順終わり＞
この１）～３）の手順（論法）は、箱が有限個でも成立します
ですが、この時枝記事の反例が、>>209に示した有限モデルです
（（ >>209より）有限モデルの場合は、標本空間Ωは有限で、全ての事象Fも有限になるので、必ず場合の数として確率計算ができることを強調しておきます）
で、これ、時枝記事では、「確率99/100」です
ところで、>>209に示した Sergiu Hart氏のPDFに記載のRemark定理により
（>>202より、Sergiu Hart氏のPDF URLﾘﾝｸ(www.ma.huji.ac.il) ）
{1,2,・・・,q}とq個の数を入る場合
任意のk番目の箱（1 <= k < m）で、的中確率は1/qです。（確率99/100にならない）
繰り返すが、これ反例です
そして、反例は一つで良い！！
さらに付言すれば、この{1,2,・・・,q}とq個の数を入る場合に、
”的中確率は1/q”となるのは、
だれが考えても、これ至極妥当だろうと
逆に、入れる数qに依存しない確率99/100になるとしたら、
（例えば、コイントスだろうが、サイコロだろうが、ルーレットだろうが・・・）
それって、どっか間違っていませんか？と（＾＾；
598:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 10:58:40.98 siIhzGLM.net
蛇足だが
ある命題とその証明に対して
反例が一つ示された
そして、その反例が正しいとしよう
その場合、その命題と証明について語る必要は、全く無い！
もし、語るとすれば、「その反例を除いた形で、命題と証明を再構築できるか？」ということだけだろう
つまらん質問に答える必要性を全く感じないｗ （＾＾；
599:１３２人目の素数さん
19/01/10 11:15:26.49 jvbSBBul.net
つまりスレ主は、Sergiu HartのTheorem 1とTheorem 2 は間違ってるが
Remarkは正しいと思う�
600:ﾌか。都合のいいつまみ食いだねw
601:１３２人目の素数さん
19/01/10 11:18:12.23 jvbSBBul.net
TheoremとRemarkが矛盾するものなら、Sergiu Hartは
そんなことに気づかなかったと思うのかい？
そういうバカなところがおっちゃんと一緒だねっw
602:１３２人目の素数さん
19/01/10 11:28:04.80 d0sov1uq.net
>>556
>そういうバカなところがおっちゃんと一緒だねっw
私とスレ主を一緒にするな。
こう見えても、私は或る対象の統一的な区別に主眼を置いて研究している。
603:１３２人目の素数さん
19/01/10 11:36:57.73 d0sov1uq.net
あと、>>515は
>変数と定数の違いを近所の中学生に教われとアドバイスしても聞く耳持たないからなあ
>>482にレスしているが、中学でその違いを認識して証明する問題を解いた記憶はない。
その部分の意図するところを説明してほしい。
604:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 11:36:57.92 siIhzGLM.net
モーデル予想（ファルティングスの定理）（下記）は、「ある有限個の有理点の例外を除いて、すべて無理点だ」と
そういう命題もありですよね～～ （＾＾
つまらん質問を繰り返すヒマがあったら、
時枝記事を反例を除くように、再構築しろよ！！
（まあ、不可能と思うがね～（＾＾； ）
URLﾘﾝｸ(ja.wikipedia.org)
ファルティングスの定理
(抜粋)
数論では、モーデル予想(Mordell conjecture)は、Mordell (1922) で提出された予想で、有理数体 Q 上に定義された 1 よりも大きな種数を持つ曲線は、有限個の有理点しか持たないであろうという予想である。後日、この予想は Q を任意の数体へ置き換えた予想へ一般化された。この予想は Gerd Faltings (1983) により証明されたので、ファルティングスの定理(Faltings' theorem)として知られている。
背景
C を Q 上の種数 g の非特異代数曲線とすると、C の有理点の集合は次のように決定することができる。
・g = 0 の場合：全く点が存在しないか、もしくは無限個： C は円錐の断面（英語版）である。
・g = 1 の場合：全く点が存在しないか、もしくは C が楕円曲線で、有理点が有限生成アーベル群である。（モーデル定理 (Mordell's Theorem)は、後日、モーデル・ヴェイユの定理(Mordell?Weil theorem)へ一般化された。さらにメイザーの捩れ定理[1]は捩れ部分群の構造を制限している。）
・g > 1 の場合：モーデル予想、現在はファルティングスの定理である。C は有限個の有理点しか持たない。
証明
ファルティングスの元々の証明は、テイト予想の既知の場合へ帰着させることと、ネロンモデルの理論を含む代数幾何学の多くのツールを使う方法であった。ディオファントス近似を基礎とする全く異なる証明は、ポール・ヴォイタ（英語版）(Paul Vojta)により得られている。さらにヴォイタの証明の初等的な証明はエンリコ・ボンビエリ(Enrico Bombieri)が与えた。
(引用終わり)
605:１３２人目の素数さん
19/01/10 11:37:46.70 jvbSBBul.net
昨日おっちゃんについて書いてたひとの論が成程と思った。
おっちゃんが数学書を必要とする理由
→証明をパクるため
それはいいとして、おかしいのは
パクった証明で著者も世界中の誰も
証明できないことを「証明」できてしまうが
「何かおかしくないか？」と省みることができない点。
606:１３２人目の素数さん
19/01/10 11:42:44.46 d0sov1uq.net
>>560
>おっちゃんが数学書を必要とする理由
>→証明をパクるため
全く違うん。見当外れでした。
607:１３２人目の素数さん
19/01/10 11:46:07.91 d0sov1uq.net
>>560の訂正：
全く違うん。 → 全く違う。
608:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 11:47:25.10 siIhzGLM.net
>>555-556
ピエロちゃん、平日はお忙しいのに、ありがとう
>>554と>>559な（＾＾；
609:１３２人目の素数さん
19/01/10 11:50:32.83 jvbSBBul.net
成程と思ったのは、おっちゃんのやってることが「猿真似」だということ。
だが、適切に真似するなら学習と言えるが、肝心なところで
誤解しているために、少し改変して誰も証明できない
すごいことが「証明」できてしまう（できたと思い込む）
610:１３２人目の素数さん
19/01/10 11:52:43.07 jvbSBBul.net
>>559
理解してもいないファルティングスの定理を引用しても無駄。
スレ主にとってコピペは自分のバカさを粉飾するためのモノw
611:１３２人目の素数さん
19/01/10 11:57:24.61 d0sov1uq.net
>>564
具体例に取り掛かるのは抽象論を気付いた後。
具体的手法で証明出来る一定の条件を満たす対象には限界がある。精々可算個だ。
具体的に取り掛かる手法の証明では、非可算個のその対象についてはムリ。
612:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 12:03:43.43 siIhzGLM.net
>>555-556
>TheoremとRemarkが矛盾するものなら、Sergiu Hartは
>そんなことに気づかなかったと思うのかい？
もちろん、彼は、気付いているよ
で、Sergiu Hart氏のPDF URLﾘﾝｸ(www.ma.huji.ac.il)
このURL中で、”/puzzle/”にご注目
Sergiu Hart氏のサイト中で
URLﾘﾝｸ(www.ma.huji.ac.il)
Some nice puzzles:
とあって
ここに
・Choice Games
で、リンクがあって、これが上記のPDFです。
まあ、”Some nice puzzles”です
日本語で言えば、なぞなぞですね（下記）
これ、読んで笑えってことですよｗ （＾＾；
URLﾘﾝｸ(nazo-nazo.com)
面白いなぞなぞ問題（オススメ）－006
ボールはボールでも、四角いボールってどんなボール？
613:１３２人目の素数さん
19/01/10 12:04:59.18 jvbSBBul.net
>>566
おっちゃんの抽象論は、正しいときは自明な命題を無駄な計算で粉飾して悦に入ってるだけ
自明じゃないことを言ってるときは100％間違ってる。
そして、間違いを指摘されても本当には分かっていないため
また間違う。スレ主と一緒。
614:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 12:06:11.21 siIhzGLM.net
>>565
まあ、平日はお忙しいのに、ピエロちゃん
必死だね～
サイコパスさん、ご苦労さんｗ （＾＾；
615:１３２人目の素数さん
19/01/10 12:08:46.12 jvbSBBul.net
>>567
>もちろん、彼は、気付いているよ
>これ、読んで笑えってことですよｗ （＾＾；
すごい解釈だなw
みんなが笑ってるぅ～♪
笑われてるのはスレ主w
616:１３２人目の素数さん
19/01/10 12:13:50.89 jvbSBBul.net
たとえ冗談めかした要素が入ってるとしても
研究者が「定理」と書いて、自分が誤りだと思ってる主張を
載せることはないだろう。研究者として終わりだから。
「藁をもすがる」と言うけど、スレ主はもう正気じゃない
何でも自分に都合よくしか考えられなくなってる。
617:１３２人目の素数さん
19/01/10 12:57:50.91 jvbSBBul.net
「成り立たないパズル」は"nice puzzle"にはならない
という当たり前の事実さえ曲解するスレ主
618:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 13:13:17.57 siIhzGLM.net
>>570-572
まあ、平日はお忙しいのに、ピエロちゃん
必死だね～
サイコパスさん、ご苦労さんｗ （＾＾
( オマエモナー という突っ込みは、無しね （＾＾； )
>たとえ冗談めかした要素が入ってるとしても
>研究者が「定理」と書いて、自分が誤りだと思ってる主張を
>載せることはないだろう。研究者として終わりだから。
彼は、学会で発表（例えば、パワーポイントのスライドなどを含む）をしたわけじゃないよね
（あるいは、望月先生のように、又はペレリマン先生のようにarxivに、まっとうな数学論文として投稿発表したわけじゃない）
単に、自分のサイトの”Some nice puzzles:”として掲載している
まあ、Hart氏のサイトから、関連を全文を引用すれば下記で、
７つの項目を掲載している中の一つが、上記”Choice Games”のPDFってわけさ（＾＾
Some nice puzzles:
・Grade-C Rector
・21
・Pyramids
・Why Are Average People Overweight
・100 Cards
・Choice Games
・Pursuing to the Limit
Highly recommended books:
Peter Winkler, Mathematical Puzzles, A Connoisseur's Collection (A K Peters Publishers 2003)
Peter Winkler, Mathematical Mind-Benders (A K Peters Publishers 2007)
(引用終わり)
で、これのどこをどう読んだら、これらが、まともな数学のPDFたち�
619:ﾉなるのかね～？（＾＾ ついでに、 その後に、”Now for the fun ...”とあって、100近くの同様の項目とリンクがあって 最後に ”For Jokes about Economists and Economics, go to JokEc For Mathematical Humor, read this recent article in the Notices of the AMS 52 (2005), 1, 24-34 and/or go to http://www.math.utah.edu/~cherk/mathjokes.html” とあるんですけどね～（＾＾ 以上
620:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 13:30:23.80 siIhzGLM.net
>>573 補足
最初からネタバレしたら
”Some nice puzzles:”や、”Jokes”や、”・・mathjokes.html”
にならんでしょ？
「これ定理です～」と、その証明読ませて、納得したころに・・、
「どっきりカメラです」と看板を見せて、びっくりさせる
そのピエロちゃんの
おどろく表情が面白いんですよ～ｗ （＾＾
621:１３２人目の素数さん
19/01/10 13:30:34.42 jvbSBBul.net
Sergiu Hartが「冗談」として"Choice Games"を文書として公開した
そして、"Theorem"は誤りだが、"Remark"の方は正しい
それがスレ主の読み方らしいが、恣意的で勝手読みすぎる
何の客観性もないね
Sergiu Hartの主張をつまみ食いして自分の主張に沿わせたい
だけの卑怯者の解釈
622:１３２人目の素数さん
19/01/10 13:32:48.33 d0sov1uq.net
>>568
>おっちゃんの抽象論は、正しいときは自明な命題を無駄な計算で粉飾して悦に入ってるだけ
計算は余りしないんだがね。またまた見当違いでした。
623:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 13:34:38.51 siIhzGLM.net
>>574 補足
だから、Hart氏はいいよ
それ、自分のサイトで、”Some nice puzzles:”で看板出しているんだからね
だけど、時枝先生よ
天下の数学セミナーで、みんな真面目に読んでいるのに、「どっきりカメラ」やっちゃいかんぜよ（＾＾
624:１３２人目の素数さん
19/01/10 13:35:17.57 jvbSBBul.net
「実はSergiu Hartも間違ったんだよ」「俺だけが正しい」
と堂々と主張すればいいのに、「Sergiu Hartは冗談を言った」
「そんなことにも気づかないの？」と何の根拠もないことを
言うアホで卑怯者のスレ主
625:１３２人目の素数さん
19/01/10 13:40:56.48 jvbSBBul.net
>>576
あんたにできるのは冗長な計算しかないんだから、書かないはずないだろw
前に添削してやった覚えがあるよ
626:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 13:41:08.59 siIhzGLM.net
>>577 補足
まあ、数学セミナーの記事なら
ちゃんとネタバレまで書いて
オチの解説まで書かないとね、いけないよね （＾＾
627:１３２人目の素数さん
19/01/10 13:46:35.41 d0sov1uq.net
>>579
>あんたにできるのは冗長な計算しかないんだから、書かないはずないだろw
どちらかというと、最初は抽象代数の手法になるんだが。見当違い。
628:１３２人目の素数さん
19/01/10 13:55:39.57 jvbSBBul.net
>>581
おれの見たところでは、あんたに使いこなせているのは中高生でもできるような初等的な計算のみ
一般的なトンデモと全く同じ。大学数学の断片的な知識はあっても実際は無駄。
そして核心的なのは、正しいのは自明な主張のみで
自明じゃないことを言ってるときは、100%間違ってるということ。
629:１３２人目の素数さん
19/01/10 14:03:42.26 d0sov1uq.net
>>582
まあ、人を批評する前に、自分なりの理論でも構築して見るんだな。
以前、「戯け者」と書いていた記憶があることからすると、東海地方にでもいたんだろうかね。
「タワケ」はそのあたりの方言のようだしな。
630:１３２人目の素数さん
19/01/10 14:07:52.52 jvbSBBul.net
>以前、「戯け者」と書いていた記憶があることからすると
人違いだな。
自分を批判してるのが同一だと思うのもスレ主と似てるw
631:１３２人目の素数さん
19/01/10 14:12:28.05 d0sov1uq.net
>>582
まあ、経験からすると、そういうことを書くのは教�
632:tに多い気がするんだがな。 教師は、よく高校数学が出来ないと大学数学は出来ない、 とかいう、それこそバカげたことをいっていたんだがな。
633:１３２人目の素数さん
19/01/10 14:14:58.63 d0sov1uq.net
>>584
スレ主が「ピエロ」といっている人物とは別人か。
634:１３２人目の素数さん
19/01/10 14:43:26.95 jvbSBBul.net
スレ主の住む世界では、無限≒巨大な有限らしいから
Sergiu Hart のTheoremとRemarkでは主張が違うじゃないか！
「そうかドッキリ企画だな」とか訳の分からない解釈をするw
無限と有限では異なる帰結になるという
数学的に普通の主張であることが受け入れられない
635:１３２人目の素数さん
19/01/10 14:51:20.85 d0sov1uq.net
それじゃ、おっちゃんもう寝る。
636:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 17:06:33.82 siIhzGLM.net
>>587
>無限と有限では異なる帰結になるという
>数学的に普通の主張であることが受け入れられない
それ、数学的に無意味な主張だね
「無限と有限では異なる帰結になる」場合と、
「無限と有限で同じ帰結になる」場合と
両方あるから
どちらになるかは、個別具体的に決定していく必要があるよ（以下に示す通り）
なので、「選択公理は免罪符にならない！」（＝”選択公理を使ったから良いのだ～！”とは言えないってこと ）
＜選択公理の補足＞
人は、有限集合と同じ操作が、無限集合にもできるようにと、そういう公理が必要だと思った
だが、選択公理では、無限集合との組み合わせで、人の直感通りの場合と、一見直感に反するパラドキシカルな場合と両方ありえる（下記ご参照）
「無限と有限で同じ帰結になる」（あるいは、人の直感通りの場合）場合：
整列可能定理、ツォルンの補題、比較可能定理、直積定理、右逆写像の存在、ケーニッヒ（Julius Konig）の定理、ベクトル空間における基底の存在、チコノフの定理、クルルの定理
（英文版にはもっとあったね）
あるいは、人の直感と整合する下記定理など
・可算集合の可算個の和は可算である
・任意の無限集合は可算集合を含む
・任意のフィルターは極大フィルターに拡大できる
・全ての体には代数的閉包が存在する
しかし、パラドキシカルな定理も導かれる
「無限と有限では異なる帰結になる」（あるいは、一見直感に反するパラドキシカルな）場合：
・ハウスドルフのパラドックス
・バナッハ＝タルスキーの定理
・ルベーグ非可測集合の存在
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
選択公理
(抜粋)
選択公理と等価な命題
整列可能定理
任意の集合は整列可能である。
ツォルンの補題
順序集合において、任意の全順序部分集合が有界ならば、極大元が存在する。（実際の数学では、この形で選択公理が使われることも多い。）
テューキーの補題
有限性（英語版）を満たす空でない任意の集合族は包含関係に関する極大元を持つ。
比較可能定理
任意の集合の濃度は比較可能である。
つづく
637:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 17:10:06.25 siIhzGLM.net
>>589
つづき
直積定理
無限個の空集合でない集合の直積は空集合ではない。
右逆写像の存在
全射は右逆写像を有する。
ケーニッヒ（Julius Konig）の定理
濃度の小さい集合の直和より、濃度の大きい集合の直積のほうが濃度が大きい。
ベクトル空間における基底の存在
全てのベクトル空間は基底を持つ（1984年にen:Andreas Blassによって選択公理と同値であることが証明された。ただし、正則性公理が必要になる）。
チコノフの定理
コンパクト空間の任意個の積空間はコンパクトになる。
クルルの定理
単位元をもつ環は極大イデアルを持つ。
応用
選択公理、もしくはそれと同値な命題を適用することで、以下を示すことができる。
・可算集合の可算個の和は可算である
・任意の無限集合は可算集合を含む
・任意のフィルターは極大フィルターに拡大できる
・全ての体には代数的閉包が存在する。
・ハウスドルフのパラドックス
・バナッハ＝タルスキーの定理
・ルベーグ非可測集合の存在
(引用終わり)
以上
638:１３２人目の素数さん
19/01/10 19:09:19.22 +VSLcfs/.net
>>544
>全く同意なんだけど（＾＾
つまりスレ主、貴様が間違ってたと認めたわけだな（＾＾
>前スレ覚えてる？
今更貴様の便所の落書き持ち出すな
>・選択公理の有限版 ⊂ 可算選択公理 ⊂ 選択公理（フルバージョン）
まず、これが意味不明な便所の落書き
（ついでにいうと「
639:選択公理の有限版」は定理） で、いったいこれで何が言いたい？ 時枝記事で使うのは、 箱の中身の種類が有限でも 「非可算選択公理」だぞ （同値類の数が非可算だから）
640:１３２人目の素数さん
19/01/10 19:17:49.78 +VSLcfs/.net
>>544
>さて、
>命題：仮定A＋B＋C→結論D
>対偶：￢D→￢（A＋B＋C）
>A：選択公理
>B：ある無限集合から代表が取れる
>C：確率計算可能
>D：時枝記事が成立
>とする
いきなり間違ってるな
まず、B(代表元の取得)は
A(選択公理)から導かれる命題
A→B
ついでにいうと
「ある無限集合から代表が取れる」
といういい方は見当違い
「無限個の(有限でも無限でも構わない)集合から
それぞれ代表元がとれる」
が正しい
次に、B（代表元の取得）だけでは
時枝記事の戦略が必ず実行できるとはいえない
（有限列の場合、列の終端があるから）
したがって必ず時枝記事の戦略が実行できるとして
その成功確率を予測の成功確率と主張するには
列が無限列である必要がある。
O＆B→C
O:ペアノの公理
最後にC(予測成功確率計算可能）から
D(時枝記事が成立)は自明である
C→D
したがって全体を通して見れば以下の通り
O＆A→D
￢D→(￢O OR ￢A）
641:１３２人目の素数さん
19/01/10 19:22:18.72 +VSLcfs/.net
>>544
>で、 ピエロちゃんの主張：￢D→￢A OR ￢B だ～～！と
>（これ、初期に何度も繰り返し主張してたでしょ？（＾＾； ）
それ、スレ主の勝手な誤解
正しくは
￢D→￢O∨￢A
つまり、スレ主の「エセ極限」論法で時枝記事が成立しない場合、
ペアノの公理を否定するか、選択公理を否定するしかない
>私の主張：選択公理は免罪符か？ ”￢C”をまじめに議論してないでしょ？と
いや、スレ主一匹が時枝記事を読解できてないだけ
O＆A→C
だから
￢C→￢O OR ￢A
がいえる
スレ主の「エセ極限」論法の結論は
「B(代表元の取得)が成り立っても、
決定番号が∞なら無限列の終端しか一致しないから
その先の箱を開けられず時枝記事の戦略が実行できない」
だろ？
しかし、無限列に終端は存在しない
それを保証するのがペアノの公理
642:１３２人目の素数さん
19/01/10 19:29:05.06 +VSLcfs/.net
>>553
>＜時枝記事の手順＞
>１）代表系が存在する
>２）100個の数列から100個の決定番号（自然数）が得られる
>３）そこから無作為に選んだ1個が最大値でない確率を求める
>＜時枝記事の手順終わり＞
>この１）～３）の手順（論法）は、箱が有限個でも成立します
>ですが、この時枝記事の反例が、>>209に示した有限モデルです
残念だが、箱が有限個の場合
「任意の決定番号に対して必ず次の箱が存在する」
とはいえないね なぜなら
「有限個の場合、終端の箱が存在するから」
そして、有限個の場合の
「任意のk番目の箱（1 <= k < m）で、的中確率は1/q」
という結果は、根本的に
「決定番号が列の終端の場合、次の箱が存在せず
予測に必要な情報が得られない」
という点に依存している。
スレ主が
「箱が無限個でも時枝論法は成立しない」
と主張したいなら、その理由は
「無限列でも終端が存在して、予測が失敗する」
の一点に尽きるが、ペアノの公理により
「無限列には終端が存在しない」
から、スレ主の主張は間違ってるわけだ。
>繰り返すが、これ反例です
>そして、反例は一つで良い！！
繰り返すが、有限個の場合の結果なんて
時枝記事の反例にもなんにもなりゃしない
>入れる数qに依存しない確率99/100になるとしたら、
>（例えば、コイントスだろうが、サイコロだろうが、ルーレットだろうが・・・）
>それって、どっか間違っていませんか？と（＾＾；
スレ主の「有限列も無限列も終端がある」と思う直感が間違ってるｗ
スレ主が何を言おうが
自然数論におけるペアノの公理
と矛盾するトンデモな結論に落ち着くだけ
これじゃスレ主はおっちゃんを笑えないなｗ
643:１３２人目の素数さん
19/01/10 19:31:30.31 +VSLcfs/.net
>>554
>蛇足だが
蛇足だな
>ある命題とその証明に対して
>反例が一つ示された
無限列について成立する命題に対して
有限列では成り立たない
と示したところで反例にはならない
>そして、その反例が正しいとしよう
反例になってないからそもそも意味がない
「無限列でも成り立たない」
と示せてはじめて反例になる
>その場合、その命題と証明について語る必要は、全く無い！
>もし、語るとすれば、
>「その反例を除いた形で、命題と証明を再構築できるか？」
>ということだけだろう
>つまらん質問に答える必要性を全く感じないｗ （＾＾；
有限列と全く同様に無限列でも反例になる、と主張するなら
「無限列の終端(=共通の尻尾）は存在するのか？
無限列と代表元が終端でのみ一致する場合
の決定番号はいくつか？
上記の決定番号は、ペアノの公理と矛盾するが
君はペアノの公理が間違ってると主張するのか？」
という質問は、スレ主にとって重要であり答える必要がある
もしつまらんとすれば、それは
スレ主が「ペアノの公理」という
初歩的レベルで間違ってるからだろう
644:１３２人目の素数さん
19/01/10 19:33:04.93 +VSLcfs/.net
>>559
>つまらん質問を繰り返すヒマがあったら、
>時枝記事を反例を除くように、再構築しろよ！！
>（まあ、不可能と思うがね～（＾＾； ）
そもそも時枝記事は無限列が対象だから
�
645:u有限列での”反例”」は はじめから除かれている 何を今更寝言いってんだ？スレ主は 逆に 「有限列での反例が無限列でも反例になる」 と言い張るなら、反例のポイントである 「無限列の終端の存在およびその桁番号」 について回答する必要がスレ主にはある （まあ、スレ主には答えられまい（＾＾ 終端がある、といえば、ペアノの公理に反する。 終端がないが、自然数の決定番号が存在しない 無限列がある、といえば、同値関係の定義に反する。 終端がなく、どの無限列も自然数の決定番号がある と認めれば、反例でもなんでもなくなる。 つまりどう答えてもスレ主の負け） スレ主はもう詰んでるんだよ
646:１３２人目の素数さん
19/01/10 19:34:02.63 +VSLcfs/.net
>>577
>時枝先生よ 天下の数学セミナーで、
>みんな真面目に読んでいるのに、
>「どっきりカメラ」やっちゃいかんぜよ（＾＾
どっきりカメラじゃないけどな
>>580
>数学セミナーの記事なら
>ちゃんとネタバレまで書いて
>オチの解説まで書かないとね、
>いけないよね （＾＾
残念ながらスレ主が期待するネタバレもオチもないよ
647:１３２人目の素数さん
19/01/10 19:40:05.23 +VSLcfs/.net
>>589
>>「無限と有限では異なる帰結になる」
>それ、数学的に無意味な主張だね
>「無限と有限では異なる帰結になる」場合と、
>「無限と有限で同じ帰結になる」場合と
>両方あるから どちらになるかは、
>個別具体的に決定していく必要があるよ
時枝戦略の実行可能性に関していえば
列の終端がある→終端の場合、実行できない
列の終端がない→どこでも実行可能
という性質があるから
有限列→終端で実行できない
無限列→どこでも実行可能
となり、明らかに異なる帰結になる
これ、選択公理とは無関係
したがって、>>589でこの後
スレ主がグダグダと選択公理について
述べてる箇所は全部無意味
残念だったな
わけもわからずコピペした苦労が水の泡ｗ
648:１３２人目の素数さん
19/01/10 19:48:50.38 +VSLcfs/.net
スレ主は>>591-598をよく読んで反論すべし
無限モデルの反例が示せるか？
反例となる無限モデルの列には終端があるか？
終端があるとしてペアノの公理との矛盾はどう解決するのか？
まさかペアノの公理から矛盾が導けるとでもいうのか？
４行目はもし可能ならゲーデルの不完全性定理をはるかにしのぐ大成果だなｗ
649:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 20:31:02.41 vW1xEmFq.net
>>591-599
ピエロちゃん、お帰りなさい
朝な夕なに、カキコご苦労さん（＾＾
必死だね～
サイコパスさん、えらいね～ｗ （＾＾
650:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 20:34:13.22 vW1xEmFq.net
なんか、おっちゃんに似てきたな～（＾＾
（って、お互い、「おっちゃんは、そちらの側の人だー」って、言い合いしてんだね～？ （＾＾； ）
651:１３２人目の素数さん
19/01/10 20:47:06.69 +VSLcfs/.net
>>600
貴様 反論できないと「ご苦労さん」で誤魔化すな
それ悪いクセだぞ 貴様がバカなのはその悪弊のせい
652:１３２人目の素数さん
19/01/10 20:51:55.91 +VSLcfs/.net
>>601
スレ主はおっちゃんほどの集中力もないからな
ヘラヘラと軽薄にコピペするだけのサル
653:１３２人目の素数さん
19/01/10 20:55:22.72 +VSLcfs/.net
スレ主よ、貴様本当に>>591-598読んだのか？
あれ読んでも自分の誤りに気づけないほど
貴様は甘ったれの弱虫野郎なのか？
マジで見損なったよ 人間じゃねえんだな
654:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 21:07:22.12 vW1xEmFq.net
>>602-604
（>>544で）変更 ：ムービング・ゴールポスト（後述）（＾＾；
（変更前）
命題：仮定A＋B＋C→結論D
対偶：￢D→￢（A＋B＋C）
A：選択公理
B：ある無限集合から代表が取れる
C：確率計算可能
D：時枝記事が成立
↓
（変更後）
命題：仮定A＋B＋C＋C'→結論D
対偶：￢D→￢（A＋B＋C＋C'）
A：選択公理
B：ある無限集合から代表が取れる
C：確率計算可能
C'：確率99/100（例えば100列で）
D：時枝記事が成立
（変更終了）
ピエロちゃん、悪いね（＾＾
問題点を分りやすくするために
上記のように、変更するよ
ところで、だれが考えても、数学的に一番怪しいのは、下記の
「C'：確率99/100（例えば100列で）」でしょ？
これ、ピエロちゃんが一人で、気合いで主張しているだけ（数学になってない）
証明らしい証明なし。言えてないよね、これ
二番目に怪しいのが、「C：確率計算可能」の部分
これきちんと、確率空間 ( Ω , F , P ) を与えて、
測度
655:論を使うコルモゴロフ流確率計算の定義がきちんと出来ているのかどうか？ 出来てないよね、それが。で、コルモゴロフ流以外でも良いが、数学として定義はきちんと出来てないといけない そうでないと、それは数学じゃ無いよね（＾＾； 以上 (参考) https://ja.wikipedia.org/wiki/%E3%83%A0%E3%83%BC%E3%83%93%E3%83%B3%E3%82%B0%E3%83%BB%E3%82%B4%E3%83%BC%E3%83%AB%E3%83%9D%E3%82%B9%E3%83%88 ムービング・ゴールポスト (抜粋) 約束・宣言・合意・条約などを勝手に変更または無視して決定事項を履行せずに、追加要求をする状況を意味する時に使われる
656:１３２人目の素数さん
19/01/10 23:00:06.02 STlk6BwF.net
>>552
＞小学生を教えに行っているだって？
それが本当ならスレ主も教わりに行った方がいいと思うよ
657:１３２人目の素数さん
19/01/10 23:14:36.17 STlk6BwF.net
>>553
＞繰り返すが、これ反例です
ごくごく単純に、ごくごく当たり前に考えて
無限モデルの反例は無限モデルでないとｗ
なんで有限モデルが無限モデルの反例になると思ったんだろうか？ どんな腐った脳ならそんなうんこ思考が生まれるの？
おっちゃんの間違いが微笑ましく見えてくるｗ
658:１３２人目の素数さん
19/01/10 23:16:08.47 STlk6BwF.net
>>554
＞そして、その反例が正しいとしよう
前提が大間違いｗ
659:１３２人目の素数さん
19/01/10 23:21:07.18 STlk6BwF.net
>>559
＞時枝記事を反例を除くように、再構築しろよ！！
反例が存在するという前提が大間違い
なぜ間違いなのか既出
スレ主とかいう腐った脳の持ち主が理解できないだけの話
660:１３２人目の素数さん
19/01/10 23:24:06.02 STlk6BwF.net
>>560
朝鮮人が日本のパクリしかできないのにノーベル賞がもらえないと騒いでるのといっしょだねｗ
661:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/10 23:27:36.51 vW1xEmFq.net
>>606-610
なんだよ
ピエロちゃん、それしか言えなくなったのか？
もうちょっと、数学的にましなこと言えないのか？
662:１３２人目の素数さん
19/01/10 23:31:31.81 STlk6BwF.net
>>567
スレ主は英語もダメだね
arbitrarily large を可能無限って訳してたから薄々感付いてたけど
663:１３２人目の素数さん
19/01/10 23:34:41.79 STlk6BwF.net
>>570
スレ主は何でもかんでも独善解釈するからね
世界はスレ主を中心に廻っていると勘違いしているらしい
664:１３２人目の素数さん
19/01/10 23:39:25.83 STlk6BwF.net
スレ主は上から目線が三度の飯より好き
だからおっちゃんのような餌が撒かれると水を得た魚のように飛び付く
しかし自分が見下したおっちゃんから「スレ主といっしょにしないでくれ」と言われてしまうのが現実ｗ
665:１３２人目の素数さん
19/01/10 23:39:41.02 FO/lAWLA.net
これはひどい
666:１３２人目の素数さん
19/01/10 23:42:56.10 FO/lAWLA.net
「一石」というのはID:STlk6BwFと同一人物なのか？
667:１３２人目の素数さん
19/01/10 23:49:59.32 STlk6BwF.net
>>574
どっきりなのか否かはともかく（実際はどっきりではないがスレ主には理解できない）
スレ主がどっきりだと認定する理由が馬鹿過ぎなことが問題
「有限モデルで無限モデルの反例を示した」とドヤ顔って馬鹿にもほどがあるだろｗ
668:１３２人目の素数さん
19/01/10 23:54:38.52 STlk6BwF.net
>>577
＞天下の数学セミナーで、みんな真面目に読んでいるのに、「どっきりカメラ」やっちゃいかんぜよ（＾＾
スレ主の3年間の成果：時枝記事はどっきりカメラ
↑
死んだ方がいいレベル、いや冗談抜きに
669:１３２人目の素数さん
19/01/10 23:56:44.81 STlk6BwF.net
>>580
そう思うなら出版社に抗議文送ったら？
鼻で笑われるだけだろうけどｗ
670:１３２人目の素数さん
19/01/10 23:58:53.80 STlk6BwF.net
>>584
＞自分を批判してるのが同一だと思うのもスレ主と似てるw
ほんとそれｗ
671:１３２人目の素数さん
19/01/11 00:02:59.32 1wT/mStY.net
>>589
＞「無限と有限では異なる帰結になる」場合と、
＞「無限と有限で同じ帰結になる」場合と
＞両方あるから
じゃあ何故スレ主の有限モデルが時枝解法の反例になると言えるのか説明よろ
あ、いいや、どうせ間違ってるからｗ
672:１３２人目の素数さん
19/01/11 00:09:38.71 /MXRdj4S.net
>>589
＞なので、「選択公理は免罪符にならない！」（＝”選択公理を使ったから良いのだ～！”とは言えないってこと ）
選択公理を仮定することで行っている主張は「代表系が存在する」だけだぞ？ｗ
脳みそ腐ってんのか？ｗ
673:１３２人目の素数さん
19/01/11 00:20:55.81 /MXRdj4S.net
結局スレ主は無限と有限の区別がついていないんだな
だから↓のような間違いを平気で犯す
・数列の連結
・
674:無限に近い大きな数 ・有限モデルが無限モデルの反例になる ・arbitrarily large＝可能無限 ・決定番号＝∞
675:１３２人目の素数さん
19/01/11 00:26:39.16 /MXRdj4S.net
>>605
＞（変更後）
＞命題：仮定A＋B＋C＋C'→結論D
変更後の1行目から間違えてるｗ
馬鹿丸出しｗ
おっちゃんだって1行目からは間違えないぞｗ
676:１３２人目の素数さん
19/01/11 00:29:28.49 /MXRdj4S.net
>>605
＞ところで、だれが考えても、数学的に一番怪しいのは、下記の
＞「C'：確率99/100（例えば100列で）」でしょ？
怪しいと言ってるのはスレ主一人なのになんで「だれが考えても」になっちゃうの？ｗ
馬鹿丸出しｗ
677:１３２人目の素数さん
19/01/11 01:13:43.37 /MXRdj4S.net
>>605
重複を許す100個の自然数から無作為に一つ選んだものが唯一の最大値でない確率は99/100以上
（最大値が複数ある場合は確率１で唯一の最大でない）
これが間違いだと言うなら、スレ主は確率いくつだと思うの？
678:１３２人目の素数さん
19/01/11 01:41:19.47 /MXRdj4S.net
そっか、スレ主は自然数がわかってないんだっけか
そりゃ確率うんぬん以前だわな
679:１３２人目の素数さん
19/01/11 01:45:44.97 /MXRdj4S.net
>>611
自然数がわかってないスレ主相手に数学的なこと言うのは難しいんでね
680:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 06:54:41.44 pJoAjWCL.net
>>616
どもありがとう
>「一石」というのはID:STlk6BwFと同一人物なのか？
Yes
私は、そう思っています（＾＾
681:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 06:57:52.42 pJoAjWCL.net
>>617-628
数学的な内容がスカスカなんだけど
まあ、今日もがんばってくれ
682:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 07:07:40.02 pJoAjWCL.net
URLﾘﾝｸ(president.jp)
プレジデントオンライン > 政治・社会 > 職場に増殖中"サイコパス"タイプ別対処法
こんな社員がいたら要注意
2018.1.4 ライター＆エディター 長山 清子
PRESIDENT 2017年7月31日号
(抜粋)
「サイコパスとは、近年は反社会性人格障害と呼ばれる、人格障害の1種。他人の権利を無視し、侵害するのが大きな特徴です」
説明するのは矢幡心理カウンセリング研究所所長の矢幡洋氏である。ほかにも「非常に利己的で他人の痛みを意に介さない」「道徳心や倫理観が希薄で、ウソをつくのも平気」「目的のためには手段を選ばない」などの特徴がある。
男性の3％、女性の1％がサイコパスに該当する、というアメリカの研究もある。日本の総人口で単純計算すれば、男性は約185万人。女性は約65万人。決して少ない数字ではない。
683:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 07:19:37.15 pJoAjWCL.net
これ（下記）、
・「Ωは{1,･･･,100}でOKなんで、N^100とか考える必要はない」
・「わざわざ決定番号の分布に基づく確率計算を実施する必要はない」
証明がないんですけど？
（実際、時枝先生の記事には、この通りの記述ないよね（＾＾； ）
”数学は気合いだ～！”かな（＾＾
(引用開始)
前スレ56 ｽﾚﾘﾝｸ(math板:503番) より
503 名前：１３２人目の素数さん[] 投稿日：2018/12/28(金) 06:23:03.55 ID:fkehK+Gv [2/25]
>>476
>> 100個の相異なる決定番号からなる有限集合をΩとする。Ωの濃度は card(Ω)＝100。
>これで話が済むなら、時枝先生が書いている 非可測集合の話とか
>現代確率論が、測度論に基づいているが、それがカノニカルという保証はないのだとか
>可算無限個の確率変数の話とか そんなことを、グダグダ書く必要は無かったんだよ！！！
実際、蛇足としてしか書いてないけどな
Ωは{1,･･･,100}でOKなんで、N^100とか考える必要はない
時枝記事の戦略の成功確率が
「有限事象の確率の計算」
に帰着されるのは
a. 1～100の
684:いずれかkをランダムに選ぶ b. 選ばれた列s~kの決定番号d(s~k)が 他の列の決定番号どれよりも大きい 場合はたかだか1つ の２点に基づいているから わざわざ決定番号の分布に基づく 確率計算を実施する必要はない (引用終り)
685:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 07:22:54.26 pJoAjWCL.net
URLﾘﾝｸ(ja.uncyclopedia.info)
アニマル浜口
「気合だー！！」
686:１３２人目の素数さん
19/01/11 08:34:11.47 /MXRdj4S.net
>>630
>>628
687:１３２人目の素数さん
19/01/11 08:39:06.99 /MXRdj4S.net
>>630
>>626のような純粋に数学的問いから
＞数学的な内容がスカスカなんだけど
の一言で逃亡するスレ主の脳がスカスカだと思います
688:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 08:44:24.33 pJoAjWCL.net
どもありがとう
だけど、それだけ
もっと書いてくれよ（＾＾
689:１３２人目の素数さん
19/01/11 08:45:34.22 /MXRdj4S.net
すごいよね
都合の悪い問いには相手を罵倒して問い自体が無かったことにしちゃうんだから
サイコパスと言われるわけだわ
690:１３２人目の素数さん
19/01/11 08:47:40.37 /MXRdj4S.net
>>636
＞それだけ
は答えた後に言うセリフだろｗ 逃亡しといて何言ってるの？ｗ
691:１３２人目の素数さん
19/01/11 08:51:55.68 /MXRdj4S.net
>>630
>>622も無視か？
お前都合の悪いレスは全部無視だなｗ
＞数学的な内容がスカスカなんだけど
って便利な言葉だなｗ
692:１３２人目の素数さん
19/01/11 09:07:32.24 nNamvzws.net
こいつは単に相手にしてもらいだけの老人ですよ
プロ固定って言うひとがいたけど、プロ暇つぶし
お金かからない暇つぶしできれば年金老人にとってはプラスだからね
693:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 09:46:58.14 sNu+oq3U.net
>>640
ありがとう
>こいつは単に相手にしてもらいだけの
別に相手はいらんけどね（＾＾
もっとも、居てもいいけど（＾＾；
>暇つぶし
半分当り
スレのテンプレにあるよ（下記）
（>>8 "個人的には、下記のように、”知恵袋の人>>> ５ＣＨ（旧２ＣＨ）の人”と思う（＾＾ "
>>7 "大学新入生もいると思うが、間違っても５ＣＨ（旧２ＣＨ）で数学の勉強なんて思わないことだ
このスレは、趣味と遊びのスレと思ってくれ（＾＾；" )
なお、
残りの半分は、ここはおれのメモ帳だな
次のテンプレに入れるかな（＾＾
694:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 09:49:39.15 sNu+oq3U.net
>>639
いや、単に、スレの賑やかしと
小学生がどこで躓いているか
みんなに分かるように
もっと書いたらどうかと
695:１３２人目の素数さん
19/01/11 10:25:55.80 1LzkJaeF.net
URLﾘﾝｸ(blogs.yahoo.co.jp)
日本では地検特捜部や裁判所は安倍内閣の使い走り犬コロである、と当の安倍内閣が世界に向かって喚き散らしているのだ。
安倍日本政府は完全に狂っている、国家の体をなしていない。
↓
●安倍日本は韓国に対して詩織さん事件を自慢して文大統領も同じに「裁判検察を揉み消し」にしろと言っているのだ。
URLﾘﾝｸ(blogs.yahoo.co.jp)
文大統領と詩織さん↑↓
URLﾘﾝｸ(blogs.yahoo.co.jp)
696:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 11:01:21.59 sNu+oq3U.net
>>643
賑やかし
ありがとう（＾＾
697:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 11:02:46.44 sNu+oq3U.net
>>632
>・「Ωは{1,･･･,100}でOKなんで、N^100とか考える必要はない」
>・「わざわざ決定番号の分布に基づく確率計算を実施する必要はない」
>
>証明がないんですけど？
�
698:ﾅ、 これ小学生が躓いているところを推察すると （小学生証明） 自然数の集合をNとする 代表が、100個 これは、ある自然数の100個で d1,d2,・・・,d99,d100 と書ける これを並び替えて d'1 < d'2 < ・・・ < d'99 < d'100 （等号成立は、頻度が少ないので確率として無視できるとする） 単なる並び替えなので、集合として、等しい。つまり {d1,d2,・・・,d99,d100}＝{d'1,d'2,・・・,d'99,d'100} さて {d'1,d'2,・・・,d'99,d'100} ↓ {1,･･･,100} は、全単射だと（＾＾ {d1,d2,・・・,d99,d100}の最大値 max {d1,d2,・・・,d99,d100}＝d'100 任意のd_k (1<=k<100)で d_k < d'100 が成立する確率は、99/100 これで、時枝の確率99/100と合うのだ（＾＾； QED つづく
699:１３２人目の素数さん
19/01/11 11:04:25.18 1EUqlQd9.net
おっちゃんです。
「戯け者」と書いていた人(スレ主がいう元祖「ピエロ」)は昨日の ID:STlk6BwF と見ていいのか。
700:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 11:05:27.90 sNu+oq3U.net
>>645
つづき
＜反例説明＞
ある有限の自然数の集合を定義する
N_m＝{1,･･･,m}
とする
m＝d'100＋１とする
そうすると、
{d1,d2,・・・,d99,d100}＝{d'1,d'2,・・・,d'99,d'100} ⊂ N_m とできる
こうすると、上記の証明のロジックがそのまま使え
確かに、
「任意のd_k (1<=k<100)で
d_k < d'100
が成立する確率は、99/100」
が言える
しかし、時枝記事の類似で、
数列の長さｍの有限モデルが構築できる
（>>129ご参照）
この場合、Sergiu Hart氏のPDFに記載のRemark定理 （>>553 ご参照）
により、箱の数の的中確率は、
q個の数で{1,2,・・・,q}をランダムに入れるとき、1/qになるので
99/100は言えない
では、どこがおかしいかというと
（>>605で）
数学的に一番怪しいのは、「C'：確率99/100（例えば100列で）」
次、二番目に怪しいのが、「C：確率計算可能」の部分、
きちんと、確率空間 ( Ω , F , P ) を与えて、
測度論を使うコルモゴロフ流確率計算の定義がきちんと出来ているのかどうか？
コルモゴロフ流以外でも良いが、それは数学として定義はきちんと出来てないといけない
反例説明は、以上です
まあ、これ小学生が理解するには、難しだろうね
701:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 11:09:05.75 sNu+oq3U.net
>>646
＞「戯け者」と書いていた人(スレ主がいう元祖「ピエロ」)は昨日の ID:STlk6BwF と見ていいのか。
おっちゃん、どうも、スレ主です。
「戯け者」と書いていた人というのが、いつのどの人か記憶にない
それに、その人を特定しようという気は無いが
昨日の ID:STlk6BwFを含め
いま、小学生レベルのカキコをしているのは
ピエロちゃんですよ
さすがに、これだけサイコパスで、小学生レベルのカキコを続けられるのは、
ピエロちゃん以外おらんだろう
702:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 11:17:26.94 sNu+oq3U.net
>>645 訂正
代表が、100個
↓
決定番号が、100個
（決定番号については、>>22ご参照）
注：
時枝記事を熟知している人には、これでも分かるだろうが、あまり知らない人には不親切だな
703:１３２人目の素数さん
19/01/11 11:23:51.83 1EUqlQd9.net
>>649
まとめて「ピエロ」と呼ぶのは止めてくれ。ややこしい。
>「戯け者」と書いていた人というのが、いつのどの人か記憶にない
このスレにいたね。それが昨日の ID:STlk6BwF なんだろう。
「戯け者」と書いた余り見ない表現が記憶にある。
704:１３２人目の素数さん
19/01/11 11:30:35.91 1EUqlQd9.net
>>648
>>650は、>>649ではなく、>>648宛て。
まあ、age て緑のレスで「戯け者」と書いていた。
それじゃ、あとは午後。
705:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 13:03:10.29 sNu+oq3U.net
>>650
>まとめて「ピエロ」と呼ぶのは止めてくれ。ややこしい。
おっちゃん、どうも、スレ主です。
おっちゃんらしいな
基本認識が大きくずれているが、そのことに気付かないのか？
ここでは、複数IDを使う成りすましは、2019年現在では普通に可能でね
だが、注意してみていれば、”なりすまし”はある程度見分けがつくよ
で、ピエロちゃんは、「哀れな素人」さんが居たころ登場した人物だよ
706:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 13:07:10.32 sNu+oq3U.net
>>651
>まあ、age て緑のレスで「戯け者」と書いていた。
それ、多分よそのスレだろうね
このスレと、前56スレで、”戯け者”でキーワード検索かけたが、それらしい発言はヒットせず
707:それ以上、深堀する気が無いし、十分だろ >それじゃ、あとは午後。 はいはい 但し証明書くなよ 証明ごっこお断りだよ（＾＾ 概要を書いてくれればいいんだよ
708:１３２人目の素数さん
19/01/11 15:01:45.37 1EUqlQd9.net
>>652
>基本認識が大きくずれているが、そのことに気付かないのか？
>ここでは、複数IDを使う成りすましは、2019年現在では普通に可能でね
そういうことは、知らんな。
ネットにつながる機器は、パソコン1台しかない。スマホは持っていない。
>>653
>それ以上、深堀する気が無いし、十分だろ
まあ、私もそこまで詮索する気はない。
>概要を書いてくれればいいんだよ
何の概要を書けばいいんだ？
まあ、人間が十年間の間に使える鉛筆の本数は知りたい。
但し、鉛筆の芯は削らないとする。肥後守で鉛筆の木の部分は削って取り除けるとする。
これは興味がある。
人体実験してみて、紙に書いても書いても尚一向に減らないことは既に体験している。
709:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 15:43:09.23 sNu+oq3U.net
>>654
おっちゃん、どうも、スレ主です。
>>概要を書いてくれればいいんだよ
>何の概要を書けばいいんだ？
おれの持論だが
この数学バカ板では、本格的な数式や記号が書けないから
（テンプレ>>7ご参照）
証明ごっこはやめろと
で
１．既に定理となっている証明なら、出典を明示するか、ネット検索で関連URLを提示すれば済む
ここに書くのは、検索に必要なキーワードを含んだ文だよと
２．新規の証明なら、ここに書かずに、プロの学会へ発表するのが筋でしょ
３．まあ、本当に簡単な証明とか、証明の簡単な概要とか、会話のついでにやるのは可だが
おっちゃん、みたいに、ぐだぐだ長文証明書いても、上記のように無益と思うから
>まあ、人間が十年間の間に使える鉛筆の本数は知りたい。
>但し、鉛筆の芯は削らないとする。肥後守で鉛筆の木の部分は削って取り除けるとする。
>これは興味がある。
>人体実験してみて、紙に書いても書いても尚一向に減らないことは既に体験している。
ほんと石器時代やね
「シャーペン」きらいなんやね
先輩で、そういう人いた
Bの鉛筆でね。直筆が味があるとか豪語してね
おっちゃん、Bの鉛筆使え
710:１３２人目の素数さん
19/01/11 16:10:36.48 1EUqlQd9.net
>>655
>「シャーペン」きらいなんやね
>先輩で、そういう人いた
>Bの鉛筆でね。直筆が味があるとか豪語してね
>おっちゃん、Bの鉛筆使え
シャーペンもあるけど、シャーペンは余り使わないね。
シャーペンは、書いていると芯の減りがはやい。あと、芯が折れることがある。
シャーペンやボールペンは、書いたモノの痕跡を記録として残すときに使うね。
普段、私は芯ホルダーに鉛筆の芯を入れて使っているね。そうすれば、ムダなく鉛筆使えるだろ。
短くなった鉛筆の芯を使い切るのはかなり大変だ。1ヶ月は持つんじゃないかね。
おっちゃん的には、鉛筆の芯の濃さはBよりHBだね。
HBの鉛筆は使い易いね。紙に滑らかに書けるというか何というか。
711:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 16:39:38.81 sNu+oq3U.net
>>656
＞普段、私は芯ホルダーに鉛筆の芯を入れて使っているね。そうすれば、ムダなく鉛筆使えるだろ。
うん、古代、そういう道具があったね
なるほどね～（＾＾
>おっちゃん的には、鉛筆の芯の濃さはBよりHBだね。
>HBの鉛筆は使い易いね。紙に滑らかに書けるというか何というか。
HBが標準とよく言われる
数式ならHBか
ところで、エクセルは使わないの？（＾＾
712:１３２人目の素数さん
19/01/11 16:59:18.72 1EUqlQd9.net
>>657
>HBが標準とよく言われる
>数式ならHBか
芯の標準的な濃さはB、HB、Hのどれかだけど、数学なら、HBかHだね。HBより硬いHの芯もあり。
Hには、2Bより濃い芯のように書いた痕跡が途中で見えにくくなり易い訳ではない、という利点もある。
>ところで、エクセルは使わないの？（＾＾
使っていない。
713:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 17:04:20.47 sNu+oq3U.net
>>647
>まあ、これ小学生が理解するには、難しだろうね
どうせ、
また小学生が、わけわからんことを
ぐだぐだ、書くんだろうな（＾＾；
714:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 17:13:38.97 sNu+oq3U.net
>>658
>>ところで、エクセルは使わないの？（＾＾
>使っていない。
ぷっ ｗ （＾＾
シャンクスの世界やね
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
円周率の歴史
(抜粋)
1681年
[値] 暦の作成にあたって円周率の近似値が必要になったため、関孝和が正 131,072 角形を使って小数第 16 位まで算出した。関が最終的に採用した近似値は「3.14159 26535 9微弱」というものだった[58]が、エイトケン補外を用いた途中計算では小数第 16 位まで正確に求めている[59]。
1722年
[値] 建部賢弘が『綴術算経』（てつじゅつさんけい）を著し、正 1024 角形を用いて小数第 42 位まで求めた[65]。「累遍増約術」（Richardson補外）を適用し、関孝和の計算に比べて遥かに少ない計算で精度を大いに改善している。なお、ルイス・フライ・リチャードソンによる同手法の提案は1910年頃である。
18世紀中頃
[法] オイラーによって、多くの π に関する式が発見される。
オイラーは
π/4 =5arctan 1/7+2arctan 3/79
を用いて、 たった1時間で円周率を小数第 20 位まで計算した[67]。
1850年頃 ? 1873年
[値] (527) イギリスのウィリアム・ラザフォードとその弟子のウィリアム・シャンクスがマチンの公式を用いて桁数の記録を塗り替えた。
シャンクスの計算で正しかったのは、小数第 527 位までであった。その後、シャンクスは1872年に小数第 707 位まで達したが、この誤りが最後までつきまとった[71]。
715:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 17:21:17.25 sNu+oq3U.net
>>478
>私がする専ら手による計算が出来る人がいると思う。開平法とかもそういうのに含まれる。
遠隔レスやけど
流石に、開平法を手で計算する人（遊びじゃなく仕事でだが）は、居なかったな～（＾＾
三乗根とか五乗根とか、どうするの？
まあ、開平法類似の手法があるかもしらんけどね（確か三乗根はなんとなく記憶がある）
そこまで行けば、級数展開使って、積和に直して、電卓叩いた方が早そう（＾＾
まあ、おれなら、小数点の精度をチェックしながら、エクセルだな
そのエクセルの結果を電卓で検算するとかね（＾＾；
716:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 17:24:17.41 sNu+oq3U.net
まあ、小数点以下数十桁になるなら
プログラム作成にチャレンジするけどね
いまどき、大概の関数は、既存のプログラムありそう（＾＾
717:１３２人目の素数さん
19/01/11 17:33:46.93 1EUqlQd9.net
>>647
時枝記事についてはもう議論する気がなくなったけど、
>コルモゴロフ流以外でも良いが、それは数学として定義はきちんと出来てないといけない
古典的な確率論については、しっかりと定義出来なくはないけど、特に定義する必要はないな。
高校までの数学が特別に苦手でなければ、古典的な確率論には慣れているといっていいだろう。
>>661
>三乗根とか五乗根とか、どうするの？
簡易電卓にもそういうのの数値を求める機能はないから、求める必要は余りないだろう。
エクセルは、統計で多く使われるソフトではないかね。そんな話を聞いたことはある。
今日は文房具について語ったけど、それじゃ、おっちゃんもう寝る。
718:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 18:08:50.79 sNu+oq3U.net
>>663
>時枝記事についてはもう議論する気がなくなったけど、
本格的に議論に参加しようというならば、原論文には一度は目を通さないと
かつ、コピーくらいは手元に持たないとね
>>コルモゴロフ流以外でも良いが、それは数学として定義はきちんと出来てないといけない
>古典的な確率論については、しっかりと定義出来なくはないけど、特に定義する必要はないな。
標本空間Ωが有限集合なら、高校の範囲でしょ
ガウス分布は、－∞から＋∞まで積分するけど、シッポのところは
719:急減少するから、結局無視できて、ほぼ有限集合の範囲だよね 時枝はそうはいかんぜよ（＾＾ >エクセルは、統計で多く使われるソフトではないかね。そんな話を聞いたことはある。 エクセル触ったことないのか？（＾＾ おっちゃん、石器時代というよりも、数学仙人やね。完全に浮世離れしているわ（＾＾
720:現代数学の系譜 雑談 古典ガロア理論も読む
19/01/11 18:18:15.69 sNu+oq3U.net
>>663
>簡易電卓にもそういうのの数値を求める機能はないから、求める必要は余りないだろう。
関数電卓でも、いまどき数千円で、結構高機能のが買えるだろう
カシオとかシャープとか
（参考）
URLﾘﾝｸ(www.kagua.biz)
カグア！
関数電卓おすすめ8機種と人気メーカーが使いやすい
（本まとめは、2017年4月12日時点での国内Amazonにおけるレビュー内容と、レビュー投稿数を基準に選出しています。）
(抜粋)
こんにちは、数学大好きカグア！です。関数電卓は大学の研究室でさんざん使っていましたが、今はほんと進化していますね。
この記事の目次
おすすめの関数電卓とは
関数電卓の主な機能
関数電卓が持ち込みOKな試験
関数電卓のおすすめメーカー
おすすめの根拠
関数電卓で評価が高い7機種
カシオ関数電卓の名機
土地家屋調査士の試験に対応
安い値段で人気・数学自然表示
スリムでスタイリッシュ
プログラム可能な関数電卓
測量の計算に関数電卓
関連情報リンク
まとめ
721:１３２人目の素数さん
19/01/11 19:04:25.55 WpJxchDl.net
はじめてボードゲームを作ってはじめてゲームマーケットに出店した ので、ひとり反省会をしてみる。
URLﾘﾝｸ(datecocco.hatenablog.com)
はじめて作ったボードゲームを売った話
URLﾘﾝｸ(nrmgoraku.hateblo.jp)
ボードゲームイベント「ゲームマーケット」から業界が見えた！
URLﾘﾝｸ(entertainmentstation.jp)
ゲームマーケットに挑む人向けガイド
URLﾘﾝｸ(spa-game.com)
ボードゲームはどう作るのか、自分なりに考えた
URLﾘﾝｸ(roy.hatenablog.com)
オトナも遊べるボードゲーム！自作するといくらになるのか
URLﾘﾝｸ(www.d-laboweb.jp)
自作ボードゲーム販売への道・販売場所編
URLﾘﾝｸ(kdsn.xyz)
はじめての同人ボードゲーム作り
URLﾘﾝｸ(ameblo.jp)
アナログゲーム市場が「クラウドファンディング」で盛り上がるワケ
URLﾘﾝｸ(www.sbbit.jp)
722:１３２人目の素数さん
19/01/11 19:11:43.30 ejTB5Q2T.net
>>605
>（変更後）
>命題：仮定A＋B＋C＋C'→結論D
>対偶：￢D→￢（A＋B＋C＋C'）
>A：選択公理
>B：ある無限集合から代表が取れる
>C：確率計算可能
>C'：確率99/100（例えば100列で）
>D：時枝記事が成立
>（変更終了）
>ピエロちゃん、悪いね（＾＾
>問題点を分りやすくするために
>上記のように、変更するよ
スレ主、>>592読んでないだろ
>>592読めよ
Cの代わりにC'とするのは結構だが
あとは全然だめ
まず、B(代表元の取得)は
A(選択公理)から導かれる命題
A→B
次に、B（代表元の取得）だけでは
時枝記事の戦略が必ず実行できるとはいえない
（有限列の場合、列の終端があるから）
したがって必ず時枝記事の戦略が
723:実行できるとして その成功確率を予測の成功確率と主張するには 列が無限列である必要がある。 O＆B→C' O:ペアノの公理 最後にC'(確率99/100）から D(時枝記事が成立)は自明である C→D したがって全体を通して見れば以下の通り O＆A→D ￢D→(￢O OR ￢A） スレ主の「有限モデル」では O（ペアノの公理）を否定してる （最大限ｍについて、次の元ｍ＋１が存在しない） だから時枝記事の否定にはならない ザ・ン・ネ・ン・デ・シ・タ
724:１３２人目の素数さん
19/01/11 19:12:57.43 ejTB5Q2T.net
>>605
>だれが考えても、数学的に一番怪しいのは、下記の
>「C'：確率99/100（例えば100列で）」でしょ？
いや、C'は全然怪しくない
こんなの疑ってるのはスレ主のみ
>証明らしい証明なし。言えてないよね、これ
100個のうち、単独最大元はたかだか1/100
それさえ選ばなければ成功だから確率は99/100以上
これ証明
ついでにいえば、時枝戦略の実行には
「選んだ決定番号が終端でないこと」
が不可欠だが、無限列ではペアノの公理により
「いかなる決定番号も終端でない」
といえるから、問題ない
これまた証明
>二番目に怪しいのが、「C：確率計算可能」の部分
>これきちんと、確率空間 ( Ω , F , P ) を与えて、
>測度論を使うコルモゴロフ流確率計算の定義が
>きちんと出来ているのかどうか？
>出来てないよね、それが。
C'の確率99/100の計算では
確率空間 ( Ω , F , P ) による
測度論を使うコルモゴロフ流確率計算
の定義ができてますよ
ただΩが{1,・・・,100}であってN^100ではない
というだけのこと
したがって数学としてきちんと定義できてます
ザ・ン・ネ・ン・デ・シ・タ