X



トップページ数学
1002コメント761KB
Inter-universal geometry と ABC予想 (応援スレ) 47
■ このスレッドは過去ログ倉庫に格納されています
0001現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/05/25(月) 23:50:50.61ID:eyKRxUQp
20200403の記者会見により、望月Inter-universal Teichmuller theory (abbreviated as IUT) (下記)は、新しい局面に入りました。
査読が終り、IUTが正しいことは、99%確定です。
このスレは、IUT応援スレとします。番号は前スレ43を継いでNo.44からの連番としています。
(なお、このスレは本体IUTスレの43からの分裂スレですが、実は 分裂したNo43スレの中では このスレ立ては最初だったのです!(^^;)

(参考)
https://mainichi.jp/articles/20200403/k00/00m/040/295000c
望月教授「ABC予想」証明 斬新理論で数学界に「革命」 京大数理研「完全な論文」【松本光樹、福富智】毎日新聞2020年4月3日
(抜粋)
https://cdn.mainichi.jp/vol1/2020/04/03/20200403k0000m040296000p/6.jpg
会見には同研究所の柏原正樹特任教授と、玉川安騎男教授が出席。
2018年にはピーター・ショルツ独ボン大教授が望月論文に疑義を唱え、その行方に注目が集まった。玉川教授は「望月教授自身が反論もしており、(ショルツ教授からの)再反論もない」などとし、論文の価値判断に影響はないとの認識を示した。
玉川教授は「全く新しい理論で、さらなるインパクトを生み出す可能性がある。この研究所を中心として世界的に研究が活性化すれば喜ばしい」と胸を張った。
https://www.youtube.com/watch?v=7BnxK_NMwaQ
数学の難問ABC予想 京大教授が証明 30年以上未解決 2020/04/03 FNNプライムオンライン
0532現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/04(木) 21:02:19.59ID:f8QhyC0+
>>528-531

おれは、様子見はありと思うがね
圏論が出てきたとき
1.アブストラクトナンセンスと言った人
2.圏論が、性に合った人 例 グロタンディーク
3.グロタンディークの成功を見て、ついて行った人

IUTもそうなるよ
IUTが性に合わない人は、無理にIUTやらなくてもいいでしょ
ショルツ氏のパーフェクトイドとかラングランズやれば良いでしょ
でも、整数論−ディオファントス近似は、ABCが定理を前提に考えざるを得ない(だれか本スレでが書いていたが、ディオファントス近似の革命です)
0533132人目の素数さん
垢版 |
2020/06/04(木) 21:12:28.76ID:IoyhZIIr
>グロタンデューク

スレ主はイデアル、ミンコフスキー
の定理ロスの補題どころか
同値関係類別も怪しかったのに、
専門がIUT応援とコピベ集めと大人の都合
だからか
0534132人目の素数さん
垢版 |
2020/06/04(木) 21:24:53.74ID:ULwEdFIf
望月=グロタンディク と思ってるのは数学が全く分らん素人だけ

グロタンディクを様子見したヤツなんか皆無

◆yH25M02vWFhP 頭オカシイのか?
0535132人目の素数さん
垢版 |
2020/06/04(木) 23:38:05.13ID:T+8ezTvV
>>525
こんなけ使ってたら叩かれても仕方ない
0536現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/05(金) 07:19:32.28ID:s8RZ7bUI
<メモ>
星 裕一郎 続・宇宙際 Teichm¨uller 理論入門
IUT理解のためのキモは、「§ 3. 多輻的 Kummer 両立系」の部分だね
ようやく、分かってきたな〜(^^
ここを中心にして 読んで行けば良いんだ!

https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/244746/1/B72-16.pdf
RIMS K?oky?uroku Bessatsu
B72 (2018), 209?307 Received April 27, 2016. Revised June 16, 2017.
続・宇宙際 Teichm¨uller 理論入門
(Introduction to Inter-universal Teichm¨uller Theory,Continued)
By 星 裕一郎 (Yuichiro Hoshi)
(抜粋)
P10(P217)
§ 3. 多輻的 Kummer 両立系
[2] の §4 から §12 までで与えられた説明のとおり, Diophantus 幾何学的不等式 (§26
の冒頭の主張を参照) を得るために, 我々は,
・ (§1 で固定した) 楕円曲線 E に関連する正則的設定の, 2 つの独立した “コ
ピー” を用意して,
・ それら 2 つの正則的設定を
テータ関数の特殊値 {(q1^2v, q2^2v, . . . , q(l*)^2v )}v∈Vbad (§4, (a), や §7, (b), を参照)
|Θ→ q パラメータ (の 2l 乗根) {qv}v∈Vbad
という形で結び付けて,
・ この結び付き Θ の “左辺” と “右辺” がそれぞれ定める数論的直線束の次数
を比較
します. 楕円曲線 E に関連するそのような正則的設定に属する
(a) 各々の v ∈ V に対する局所的な対数殻 (つまり, 数論的直線束を定義する
ための局所的加法的整構造 “(OKv)+” の近似 ー [2], §8, を参照),
(b) テータ関数の特殊値 {(q1^2v, q2^2v, . . . , q(l*)^2v )}v∈Vbad (とその (a) への作用),
(c) 数体 Fmod (とその (a) への作用)
というデータからなる 3 つ組を
T
と書くことにしましょう.

つづく
0537現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/05(金) 07:20:41.63ID:s8RZ7bUI
>>536
つづき

Diophantus 幾何学的不等式を得るためにもっとも肝心となる
“数論的直線束の次数の比較” は, 結び付き Θ に対する, この 3 つ組 T の一種の両立性を
用いて実行されます ([9], Corollary 3.12, を参照). そして, この一種の両立性が, 宇宙際
Teichm¨uller 理論の主定理 ([9], Theorem 3.11, を参照) の基本的な内容です:
宇宙際 Teichm¨uller 理論の主定理, つまり, Θ に対する T の一種の両立性
=⇒ Θ の “左辺” と “右辺” の次数の比較 =⇒ Diophantus 幾何学的不等式.
一方, 上述の “Θ” や “T” の説明から,
結び付き Θ は, その “左辺” と “右辺” にそれぞれ対応する正則的設定の正則構
造とは両立的ではないにも関わらず, 3 つ組 T ー の少なくとも従来的な定義/
構成の方法 ー は, T が属する正則的設定の正則構造に強く依存している
という事実を簡単に確認することができます. つまり, (一種の) 両立性を主張したい対象
T は, 正則的な対象であるにも関わらず, 2 つの正則的設定の間の結び付き Θ は, 設定の
正則構造を放棄して単解的設定へ移行しなければ考察することはできないということで
す. この観察により, 所望の両立性を証明するためには,
従来的には正則的である 3 つ組 T を, 結び付き Θ の (その定義から単解的な) コ
ア的対象 (つまり, 結び付き Θ で両立/共有可能な対象 ー [2], §5, を参照) の
観点から記述する必要がある
ということになります. [2], §7, で解説された用語を用いるならば, 所望の両立性を証明す
るためには,
結び付き Θ で両立/共有可能な対象をコア的データとする, 3 つ組 T の多輻的な
表示を確立する必要がある
ということになります:

つづく
0538現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/05(金) 07:21:19.66ID:s8RZ7bUI
>>537
つづき

T の多輻的な (=コア的対象の観点からの) 表示 =⇒ Θ に対する T の一種の両立性.
§2 の冒頭で述べたとおり, 宇宙際 Teichm¨uller 理論では, T の多輻的な表示を確立す
るために, 関心のある様々な対象のエタール的な構造/側面と Frobenius 的な構造/側面を
区別して考察して, そして, それらを Kummer 同型で関連付けます. §2 で行った復習か
ら, 所望の “(Frobenius 的) T の多輻的な表示” を得るためには,
“T” をエタール的出力とする多輻的な単遠アーベル的アルゴリズムを与えて, そ
して, “T” に対する多輻的な Kummer 同型を確立
すれば充分であるということがわかります:

T に対する多輻的 Kummer 離脱
(= 多輻的エタール的 T の構成 + T に対する多輻的 Kummer 同型)
=⇒ T の多輻的な表示.
また, §2 での Kummer 同型の説明で触れたとおり, Kummer 同型は円分剛性同型から生
じます. したがって, T に対する多輻的な Kummer 同型を確立するためには, T に対する
多輻的な円分剛性を確立すれば充分です:
T に対する多輻的円分剛性 =⇒ T に対する多輻的 Kummer 同型.
[2], §6, や [2], §8, で説明されているとおり, T を構成する対象の 1 つである (a) (=
対数殻) は, そもそも, コア的対象の 1 つです. それでは, (b) (=テータ関数の特殊値) と
(c) (=数体) に対する “多輻的エタール的表示” と “多輻的円分剛性” は, どのようにし
て得られるのでしょうか. [2], §11, で説明されているとおり, 我々は, それぞれ (b) と (c)
の多輻的な表示を得るために,
(b′) テータ関数,
(c′) κ コア的関数
の多輻的な表示を経由します. 結論としては,
(b′) の多輻的エタール的表示として, [2], §16, (e), で与えられている表示,
(c′) の多輻的エタール的表示として, [2], §24, (i), で与えられている表示
を用いて,

つづく
0539現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/05(金) 07:21:39.93ID:s8RZ7bUI
>>538
つづき

(b′) のそのような表示の “コア的部分と輻的 ([2], §7, を参照) 部分との分離” を,
[2], §16, (h), で与えられている分解によって実現,
(c′) のそのような表示の “コア的部分と輻的部分との分離” を, E の非自明な 2 等
分点から定まる点に付随する分解群による Galois 代入から生じる分解 ([2], §24,
の冒頭の “κ コア的関数” の定義の 3 つ目の “・” を参照) によって実現
して, そして,
(b′) に対する多輻的円分剛性として, [2], §15, で説明された “単テータ環境の円
分剛性性質によって得られる円分剛性同型”,
(c′) の多輻的円分剛性として, [2], §24, で説明された “初等的な事実 Q>0 ∩ Zb× =
{1} から得られる円分剛性同型”
を用います.
我々に残された課題は, 上述の様々な “多輻的 Kummer 離脱に関連する対象たち” を
大域的に編成して, そのような対象たちのなす大きな両立的な系, つまり, “多輻的 Kummer
両立系” を構成することです:
([2] で説明された様々な対象による) “多輻的 Kummer 両立系” の編成
=⇒ T の多輻的な表示 =⇒ Θ に対する T の一種の両立性
=⇒ Θ の “左辺” と “右辺” の次数の比較 =⇒ Diophantus 幾何学的不等式.
§4 から §25 までの間で, そのような複雑な多輻的 Kummer 両立系の編成/設営の説明を行いましょう.
(引用終り)
以上
0540現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/05(金) 07:40:52.24ID:s8RZ7bUI
>>534
>グロタンディクを様子見したヤツなんか皆無

そんなことないだろw(^^;
グロタンディクの通った後は、ぺんぺん草も生えないと言われたらしい

グロタンディクの通り道の前を歩く人は、蒸気機関車のような グロタンディク に轢かれる
だから、グロタンディクに教えて貰える人か、グロタンディクからちょっと離れた場所からつまみ食いする人か

成功したのはそういう人達だったろうね
グロタンディクに近い人は、洪水に溺れるか、バキュームクリナーに吸い込まれるか、機関車に轢かれるかだったろうよ(下記ご参照)

(参考)
https://twilog.org/Auf_Jugendtraum/month-1905/2
twilog
2019年05月28日(火)
(抜粋)
数学の歩みbot@Auf_Jugendtraum
グロタンディークは,まるで川のない所に洪水を起こすような,バキュームクリナーに大きな機関車をつけて数学の世界を走る回るような人物だった.(広中平祐)
posted at 23:06:40

数学の歩みbot@Auf_Jugendtraum
グロタンディークなどが展開している数学の世界というものは,一つの全体としてのユニバースであって,個々のもの,例えば,数とは何か,函数とは何か,あるいは空間とは何か,それら一つ一つが個別に定義されているのではないのです.全体との関連において相互が意味を持っているのです.(佐藤幹夫)
posted at 22:06:46

数学の歩みbot@Auf_Jugendtraum
問題が解けないのは,その仮定がまだ十分一般的でないために本当はより基本的で「やさしい」はずなのにそれが見えていないからだ,という精神です.この思想と実践の代表格は,かのグロタンディークでしょう.彼によると「大部分の数学者は最も基本的な所を十分考え抜くだけの忍耐力を持っていない」
posted at 21:06:40

数学の歩みbot@Auf_Jugendtraum
赤子のようにならなくては EGA は読めない.(飯高茂)
posted at 20:06:43
0541132人目の素数さん
垢版 |
2020/06/05(金) 08:03:40.71ID:DjuEYg2K
>>536-539
古典的な代数曲線論すら全く知らん素人が何ほざいてんだ?

文章も正しく読めない読字障害には無理 諦めろ
0542132人目の素数さん
垢版 |
2020/06/05(金) 08:10:24.66ID:DjuEYg2K
>>540
グロタンディクは望月とは全然違うよ
何年も理解されないまま放置されたことは
一度もなかった
0543132人目の素数さん
垢版 |
2020/06/05(金) 08:24:15.18ID:DjuEYg2K
>>509
DupuyがScholze&Stixの解釈を否定するのは
望月の不等式(Cor 3.12)を前提したいから

Scholze&Stixのレポートでは、
IUTからCor 3.12は導けない
と断じてるからな

だからといって、Dupuyが望月を支持していると考えるのはアサハカ
Cor 3.12の証明が十分だと考えてるなら、そもそも独自解釈論文を書く必要がない
証明にギャップがある、と考えてるから、独自解釈論文を書いた

ABC予想の解決が、Dupuyにもっていかれる可能性はもちろんある
いや、Dupuyだけではない ScholzeもPerfectoidを使って
ABC予想の完璧な解決を目指してるかもしれんぞ
0544132人目の素数さん
垢版 |
2020/06/05(金) 08:32:31.33ID:DjuEYg2K
Dupuyであれ、Scholzeであれ、数学者たちが理解できる形で
ABC予想が解決するなら、そのほうが数学界にとって利益がある

日本人に拘る意味なんて全くない
数学はオリンピックじゃないから
表彰台なんかないし国旗の掲揚も国歌の演奏もない
https://www.youtube.com/watch?v=0SLqZP4v6SE&;t=4m40s
0546132人目の素数さん
垢版 |
2020/06/05(金) 09:01:30.14ID:PX7m9wPy
>星裕一郎

不正確で本文を読めサーベイの星も
例のB本加藤文元もIUT研究者ではない

・科研費宇宙際幾何学のさらなる展開
 山下剛 望月新一

科研費で布教活動.サーベイやパーフェクトイド.RHへ首の突っ込み、なぞの
不等式を振り回すなど活動する。
結果は
「おくれている」
「大きな展望では宇宙際幾何を
Riemannゼータの研究に応用することを最終的な目標にしているが、
そもそもの問題がやはり極めて
難しい問題であるということも
進捗が遅れている理由の1つである」
成果があるはずもなく
IUTの布教活動に使われている、
科研費の打ち切りが妥当だ
0547132人目の素数さん
垢版 |
2020/06/05(金) 09:24:38.92ID:PX7m9wPy
>DupuyがScholze&Stixの解釈を否定
> 独自解釈論文を書いた


日本トンデモ本大賞には
「ノストラダムス複合解釈」がある
IUT論文はトンデモ大賞の超超有力候補だ
0549132人目の素数さん
垢版 |
2020/06/05(金) 10:29:56.18ID:PX7m9wPy
また expect expect expectですかw
0552現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/05(金) 15:08:53.22ID:RXfoxQyV
これ、ちょっと面白い
こういう真面目な動きも出つつあるってことですね(^^

https://www.youtube.com/watch?v=MP4u-WAZnq8
IUTを勉強する
903 回視聴?2020/04/04 にライブ配信

梅崎直也
チャンネル登録者数 955人
何かを解説するということではないです。詳しい方いればぜひコメントください。星さんのサーベイを読む予定。飽きたらやめます。
続・宇宙際 Teichm¨uller 理論入門 (Introduction to Inter-universal Teichm¨uller Theory, Continued) By 星 裕一郎 (Yuichiro Hoshi)
0553現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/05(金) 15:11:54.20ID:RXfoxQyV
ついでに(^^

https://www.youtube.com/watch?v=cDBUNL7VbEU
現代数学レクチャーシリーズ第3回「代数幾何学の空間概念」講義内容紹介
2,298 回視聴?2020/02/14

株すうがくぶんか
チャンネル登録者数 125人
すうがくぶんか主催東京工業大学理学院協力でお届けする現代数学レクチャーシリーズ第3回「代数幾何学の空間概念」の講義内容紹介です。【オンライン】で講座を開講いたします!
予習回:4月26日, 5月3日, 13:30-16:30
加藤先生の講義:5月10日, 5月17日, 13:30-16:00
お申し込みはこちらのページから!
https://sugakubunka.com/gendaisugaku-3/

講師:加藤文元先生(東京工業大学理学院教授)
講義内容:代数幾何学とはざっくり言って「多項式=0で定義される図形の幾何学」ですが、そこで扱う空間概念によって、その見方ややり方はさまざまです。
代数幾何学で扱う空間概念や点の概念とは、どういうものなのか。直観的に見やすい「平面曲線」から出発して、代数多様体やスキームの理論における空間の概念を概観します。

株式会社すうがくぶんかでは「もっと社会に数学を」を理念に主に社会人に向けた数学や統計学の講座を開講しています。詳しくはこちら
web site:https://sugakubunka.com/
twitter:https://twitter.com/sugakubunka
facebook:https://www.facebook.com/sugakubunka/
https://twitter.com/5chan_nel (5ch newer account)
0554132人目の素数さん
垢版 |
2020/06/05(金) 15:14:13.52ID:Hotb1Jb/
>星はIUTの改良版に取り組んでる

IUTの改良ならIUT論文に致命的な
欠陥があるから

・星は望月と共にショルツスティックス
ミーティングへ出席したがノーコメント
つまり全面的に望月レポへ同意した。
・星はRIMS2020IUTイヤーでIUTワークショップの責任者だった

星には重大な責任がある
0555132人目の素数さん
垢版 |
2020/06/05(金) 15:23:03.32ID:Hotb1Jb/
woit blog

Taylor Dupuy says.
April 14 2020 at 8.37 pm

Yep, the theta pilot doesn’t map to the
actual theta values *on the theta side*.
On the q-side it does.
I will check your manuscript again in a bit.
Dinner then bedtime (I am barbecuing).
I want to check again to make sure
I didn’t miss something

Dupuyは逃亡したな
0558132人目の素数さん
垢版 |
2020/06/05(金) 16:00:51.37ID:Hn9N6xjf
数学掲示板群 ttp://x0000.net/forum.aspx?id=1

学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net
数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など

PS 連続と離散を統一した!
ttp://x0000.net/topic.aspx?id=3709-0
微分幾何学入門
ttp://x0000.net/topic.aspx?id=3694-0
0559132人目の素数さん
垢版 |
2020/06/05(金) 16:16:27.24ID:nu+Fr9fz
1.高名で年配の数学者が自明であると言った場合、その主張はほぼ間違いない。
またギャップがあると言った場合には、その主張はまず間違っている。

2.査読の限界を測る唯一の方法は、墓場まで持っていくと言われることまでやってみることである。

3.十分に発達した数学は、妄想と見分けがつかない。
0560現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/05(金) 16:56:24.86ID:RXfoxQyV
>>556
>黒板とチョークさえあればできる仕事で七億引っ張れるとかな

まあ、そういう時代なのでしょう

<Proof>w
1.江戸時代まで、お金とは小判であり、金(”きん”=黄金のことw)
2.明治ころから、紙幣が主になった。お金とは”紙幣”なり
3.21世紀では、お金とは銀行のコンピュータ内の数字なりw(^^;
4.これからは、”デジタル通貨”の時代と言われる。小銭は、なんとかペイで払う。給料は、銀行振込。紙幣も使わなくなるかもね(^^;
5.そういう時代は、東大数学科出身者が社長になる
6.そもそも、21世紀 2020年以降のお金とは 「コンピュータ内の数字」なのですからw(^^;
QED

(参考)
https://ja.wikipedia.org/wiki/%E3%83%87%E3%82%B8%E3%82%BF%E3%83%AB%E9%80%9A%E8%B2%A8
デジタル通貨

https://www.nikkei.com/article/DGXMZO54417800V10C20A1MM8000/
日経
三菱UFJ、社長兼CEOに亀沢氏 メガ銀で初の理系出身
【イブニングスクープ】
2020/1/15 18:00

亀沢氏は指名・ガバナンス委員会の承認を受けて4月に就任する。東京大学の理学部数学科の出身で、1986年に三菱銀行(現三菱UFJ銀)に入行した。為替や債券の売買を担う市場部門に長く在籍した。
融資管理の責任者などを経て、14年から米ニューヨークに駐在し、海外での管理能力も高めた。16年からは持ち株会社、銀行の両方でデジタル戦略の責任者を務める。

亀沢 宏規氏(かめざわ・ひろのり)86年(昭61年)東大院修了、三菱銀行(現三菱UFJ銀行)入行。10年執行役員。19年副頭取、三菱UFJフィナンシャル・グループ副社長。58歳
0561現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/05(金) 17:21:25.91ID:RXfoxQyV
>>560
>三菱UFJ、社長兼CEOに亀沢氏 メガ銀で初の理系出身

三菱UFJ 社長の年俸が分からないが、仮に5千万円として
4年で、2億+退職金が1億以上
あと、会長になるか、関係会社の社長か、顧問に退くかで違うが
個人で七億引っ張れるかもよ(^^
0563132人目の素数さん
垢版 |
2020/06/05(金) 18:15:50.74ID:uR5cjjji
>疑う

だいぶ解明も進んできたが
疑うって疑獄事件ということか?
0564132人目の素数さん
垢版 |
2020/06/05(金) 18:23:41.83ID:uR5cjjji
>>563
応援団のスレ主が参考とし
>>525を貼った
0565132人目の素数さん
垢版 |
2020/06/05(金) 19:08:18.05ID:zyMsw8vK
ギャップを取り上げて論文にするって超めんどくさいし評価されにくいやつじゃん。

他人に勧める前に自分でやれば?
応援としてはこの上ないんじゃない?
0566132人目の素数さん
垢版 |
2020/06/05(金) 19:56:53.73ID:uR5cjjji
>>552
>>553

スレ主は参加しろ
>>552について多数の疑問を質問し
深く解明しろよ
0567132人目の素数さん
垢版 |
2020/06/05(金) 19:59:46.10ID:uR5cjjji
>>566
ていせい
>>552について→ >>525について
0568粋蕎 ◆C2UdlLHDRI
垢版 |
2020/06/05(金) 22:19:59.52ID:n7VSCHHP
KingOfUniverse ◆667la1PjK2
旧コテハン2003-2004 supermathmania ◆ViEu89Okng時代にて数学板で2ch時代から今も尚続く長寿の
質問スレで起こした回答ミスに対する指摘受け逆切れ問題により伝説にも成ったコテ
mixiにて相変わらず奇人ぶりを見せ付ける

KMの日記
20200512

KM
日本語で書け.
御前に何が分かるというか.
日本語で書け.
御前に何が分かるというか.

07:00
0569現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/05(金) 23:19:20.86ID:s8RZ7bUI
>>565
>ギャップを取り上げて論文にするって超めんどくさいし評価されにくいやつじゃん。

本庶語録「教科書を信じない」「常に疑いを持って本当はどうなんだろうという心を大切にする」「つまり、自分の目で物を見る。そして納得する。そこまで諦めない」
数学でも同じでしょ。でもそれは、ショルツの尻馬に乗る話とは、真逆だよ

そして、その一方で RIMSの記者会見:「査読は完了した」「証明は正しいと思ってもらって良い」と 玉川先生が言った。これもまた事実
ショルツの尻馬でなく、各人しっかり確認しましょうってことです(^^

https://togetter.com/li/1272617
togetter.com.
2018年10月2日
「教科書を信じない」というノーベル賞 本庶佑先生の金言の真意について

https://pbs.twimg.com/media/Doea98UXsAEFZQO.jpg

読売新聞 編集委員室 @y_seniorwriters
本庶佑さんの言葉〜科学者をめざす小中学生へ:「一番重要なのは、不思議だな、という心を大切にすること。教科書に書いてあることを信じない。常に疑いを持って本当はどうなんだろうという心を大切にする」「つまり、自分の目で物を見る。そして納得する。そこまで諦めない」 (1日夜の記者会見より) pic.twitter.com/SKIxIR3oOA
2018-10-02 13:11:13

https://pbs.twimg.com/media/DofuyqkW4AEddWW.jpg

https://pbs.twimg.com/media/Dofuy1KXoAAEhs0.jpg

https://pbs.twimg.com/media/DofuzFBWsAA-Gt-.jpg
https://twitter.com/5chan_nel (5ch newer account)
0570132人目の素数さん
垢版 |
2020/06/05(金) 23:46:16.55ID:ugHvusjI
ほんしょさん、226億訴訟か
スケールがちがうな
IUTの経済価値どのくらいだろ
0571132人目の素数さん
垢版 |
2020/06/05(金) 23:57:55.22ID:ohUIRwdg
報道があって3か月ぐらいたつけど、いつ掲載されるの?
進捗どうなん。
0572132人目の素数さん
垢版 |
2020/06/06(土) 01:06:01.72ID:cg14T5Sp
瀬田、>>497からまたもや逃亡w
0573132人目の素数さん
垢版 |
2020/06/06(土) 07:18:12.48ID:6i3R8dZd
ブンゲンが「数学とはお金のかかる学問である」と書いていたとき
こいつ何言ってんだ、と思った。
数学でかかるお金って人件費とか交通費くらいでしょ。
人件費は質素なもん食べてりゃそんなにかからない
交通費はテレビ会議などを利用すれば抑えられるはず
岡潔は「わたしは数学をやる喜びを食べて生きているようなもの」
と言ってたのに。
0574132人目の素数さん
垢版 |
2020/06/06(土) 07:25:37.00ID:FDjhvHjP
>>573
> 交通費はテレビ会議などを利用すれば抑えられるはず
じゃあ、例えば、世の中の営業職は全員、交通費いらないですね?
0575132人目の素数さん
垢版 |
2020/06/06(土) 07:33:51.91ID:FDjhvHjP
>>573
> 人件費は質素なもん食べてりゃそんなにかからない
これは、数学とほとんど関係ないですね。
肉体労働でなければ、人件費はほとんどかからないと。
その方針で会社経営でもしたらいかがですか?
0576現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/06(土) 08:02:42.04ID:SrYikU2t
>>536 追加

星による Corollary 3.12の説明、下記(^^

https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/244746/1/B72-16.pdf
RIMS Kokyuroku Bessatsu
B72 (2018), 209?307 Received April 27, 2016. Revised June 16, 2017.
続・宇宙際 Teichm¨uller 理論入門
(Introduction to Inter-universal Teichm¨uller Theory,Continued)
By 星 裕一郎 (Yuichiro Hoshi)
(抜粋)

P218
Diophantus 幾何学的不等式を得るためにもっとも肝心となる
“数論的直線束の次数の比較” は, 結び付き Θ に対する, この 3 つ組 T の一種の両立性を
用いて実行されます ([9], Corollary 3.12, を参照).
そして, この一種の両立性が, 宇宙際
Teichm¨uller 理論の主定理 ([9], Theorem 3.11, を参照) の基本的な内容です:
宇宙際 Teichm¨uller 理論の主定理, つまり, Θ に対する T の一種の両立性
=⇒ Θ の “左辺” と “右辺” の次数の比較 =⇒ Diophantus 幾何学的不等式.
一方, 上述の “Θ” や “T” の説明から,
結び付き Θ は, その “左辺” と “右辺” にそれぞれ対応する正則的設定の正則構
造とは両立的ではないにも関わらず, 3 つ組 T ? の少なくとも従来的な定義/
構成の方法 ? は, T が属する正則的設定の正則構造に強く依存している
という事実を簡単に確認することができます. つまり, (一種の) 両立性を主張したい対象
T は, 正則的な対象であるにも関わらず, 2 つの正則的設定の間の結び付き Θ は, 設定の
正則構造を放棄して単解的設定へ移行しなければ考察することはできないということで
す. この観察により, 所望の両立性を証明するためには,
従来的には正則的である 3 つ組 T を, 結び付き Θ の (その定義から単解的な) コ
ア的対象 (つまり, 結び付き Θ で両立/共有可能な対象 ? [2], §5, を参照) の
観点から記述する必要がある
ということになります. [2], §7, で解説された用語を用いるならば, 所望の両立性を証明す
るためには,
結び付き Θ で両立/共有可能な対象をコア的データとする, 3 つ組 T の多輻的な
表示を確立する必要がある

つづく
0577現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/06(土) 08:04:29.11ID:SrYikU2t
>>576
つづき

ということになります:
T の多輻的な (=コア的対象の観点からの) 表示 =⇒ Θ に対する T の一種の両立性.
§2 の冒頭で述べたとおり, 宇宙際 Teichm¨uller 理論では, T の多輻的な表示を確立す
るために, 関心のある様々な対象のエタール的な構造/側面と Frobenius 的な構造/側面を
区別して考察して, そして, それらを Kummer 同型で関連付けます. §2 で行った復習か
ら, 所望の “(Frobenius 的) T の多輻的な表示” を得るためには,
“T” をエタール的出力とする多輻的な単遠アーベル的アルゴリズムを与えて, そ
して, “T” に対する多輻的な Kummer 同型を確立
すれば充分であるということがわかります:
T に対する多輻的 Kummer 離脱
(= 多輻的エタール的 T の構成 + T に対する多輻的 Kummer 同型)
=⇒ T の多輻的な表示.
また, §2 での Kummer 同型の説明で触れたとおり, Kummer 同型は円分剛性同型から生
じます. したがって, T に対する多輻的な Kummer 同型を確立するためには, T に対する
多輻的な円分剛性を確立すれば充分です:
T に対する多輻的円分剛性 =⇒ T に対する多輻的 Kummer 同型.
[2], §6, や [2], §8, で説明されているとおり, T を構成する対象の 1 つである (a) (=
対数殻) は, そもそも, コア的対象の 1 つです. それでは, (b) (=テータ関数の特殊値) と
(c) (=数体) に対する “多輻的エタール的表示” と “多輻的円分剛性” は, どのようにし
て得られるのでしょうか. [2], §11, で説明されているとおり, 我々は, それぞれ (b) と (c)
の多輻的な表示を得るために,
(b′) テータ関数,
(c′) κ コア的関数
の多輻的な表示を経由します. 結論としては,
(b′) の多輻的エタール的表示として, [2], §16, (e), で与えられている表示,
(c′) の多輻的エタール的表示として, [2], §24, (i), で与えられている表示
を用いて,

つづく
0578現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/06(土) 08:04:58.12ID:SrYikU2t
>>577

つづき

(b′) のそのような表示の “コア的部分と輻的 ([2], §7, を参照) 部分との分離” を,
[2], §16, (h), で与えられている分解によって実現,
(c′) のそのような表示の “コア的部分と輻的部分との分離” を, E の非自明な 2 等
分点から定まる点に付随する分解群による Galois 代入から生じる分解 ([2], §24,
の冒頭の “κ コア的関数” の定義の 3 つ目の “?” を参照) によって実現
して,
そして,
(b′) に対する多輻的円分剛性として, [2], §15, で説明された “単テータ環境の円
分剛性性質によって得られる円分剛性同型”,
(c′) の多輻的円分剛性として, [2], §24, で説明された “初等的な事実 Q>0 ∩ Zb× =
{1} から得られる円分剛性同型”
を用います.
我々に残された課題は, 上述の様々な “多輻的 Kummer 離脱に関連する対象たち” を
大域的に編成して, そのような対象たちのなす大きな両立的な系, つまり, “多輻的 Kummer
両立系” を構成することです:
([2] で説明された様々な対象による) “多輻的 Kummer 両立系” の編成
=⇒ T の多輻的な表示 =⇒ Θ に対する T の一種の両立性
=⇒ Θ の “左辺” と “右辺” の次数の比較 =⇒ Diophantus 幾何学的不等式.
§4 から §25 までの間で, そのような複雑な多輻的 Kummer 両立系の編成/設営の説明を
行いましょう.

P301
この §25 の最後に, 上述の多輻的 Kummer 離脱を用いた q 標対象の次数の計算に
ついて, 簡単に説明しましょう. (詳しくは, [9], Corollary 3.12, の証明を参照ください.)

不定性 (Ind1), (Ind2), (Ind3) の作用による ‡ 0Θ 標対象の軌道の和集合の (“‡ の側”
の正則構造による) 正則包 (holomorphic hull ? cf. [9], Remark 3.9.5) ([2], §12, の
後半の議論を参照) の行進正規化対数体積として定義しましょう. すると, 両立的同型
† 0RFrob?→ ‡ 0RFrob の存在から,
† 0Θ 標対象の対数体積は, vol(‡ 0Θ) 以下とならざるを得
ません. したがって, 結論として, 不等式
vol(‡ 0Θ) >= deg(‡ 0q 標対象)
が得られます
(引用終り)
以上
0579現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/06(土) 08:16:04.57ID:SrYikU2t
>>572
おサルさー、そろそろ気付けよw(^^
 時枝記事(>>485ご参照)
ここの人達は、大学レベルの確率論・確率過程論を 学んだ人が大半なんだよ

だから、時枝先生の数学セミナーの記事(>>485)は 、そのままは成立たないってこと
彼ら(大学レベルの確率論・確率過程論を 学んだ人)には、”それは、一目で分かること”だよ

時枝記事やりたければ、下記のスレ使え!
このスレはIUTスレだよww
現代数学の系譜 カントル 超限集合論2
https://rio2016.5ch.net/test/read.cgi/math/1576852086/856
0580132人目の素数さん
垢版 |
2020/06/06(土) 08:23:49.44ID:MlYkEfP9
応援団スレ主コピベ乙
5周おくれのトップランナーだけど
専門がコピベ集めだし、
はやくmath jinの秘密の部屋へ行き
情報公開しろよ
0581132人目の素数さん
垢版 |
2020/06/06(土) 08:26:47.89ID:MlYkEfP9
>詳しくは, [9], Corollary 3.12, の証明を.参照ください
0582132人目の素数さん
垢版 |
2020/06/06(土) 09:27:40.89ID:cg14T5Sp
>>579
一目で分かるのになぜかいつまで経っても証明は示さない瀬田w

>時枝記事やりたければ、下記のスレ使え!
なんでおまえはそっちに不成立の証明書かんの?
主張してるのはおまえなのに
0583現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/06(土) 09:46:06.53ID:SrYikU2t
>>582
>>時枝記事やりたければ、下記のスレ使え!
>なんでおまえはそっちに不成立の証明書かんの?

うるせー サルだなw
じゃ、一言だけなww(^^

(参考:>>370より)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む80
https://rio2016.5ch.net/test/read.cgi/math/1578091012/50-51
(抜粋)
時枝問題(数学セミナー201511月号の記事)
1.時枝問題(数学セミナー201511月号の記事)の最初の設定はこうだった。
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^πを入れてもよいし,すべての箱にπを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる.
勝負のルールはこうだ. もし閉じた箱の中の実数をピタリと言い当てたら,あなたの勝ち. さもなくば負け.
勝つ戦略はあるでしょうか?」
(引用終り)

<証明>
勝つ戦略はありません!
一目ですw(^^;
QED!!

あと
時枝記事やりたければ、下記のスレ使え!
このスレはIUTスレだよww
現代数学の系譜 カントル 超限集合論2
https://rio2016.5ch.net/test/read.cgi/math/1576852086/856
0584132人目の素数さん
垢版 |
2020/06/06(土) 09:52:14.71ID:cg14T5Sp
>>583
><証明>
>勝つ戦略はありません!
>一目ですw(^^;
証明にギャップがありますよ?

>時枝記事やりたければ、下記のスレ使え!
だからおまえがそっちに不成立の証明を書けばいい
不成立を主張してるのはおまえなんだから
0585132人目の素数さん
垢版 |
2020/06/06(土) 10:59:33.04ID:6i3R8dZd
ブンゲンが「数学とはお金がかかる」とあえて本に書いたの見て
このひとお金大好きなんだなと思った
0586132人目の素数さん
垢版 |
2020/06/06(土) 11:01:03.75ID:6i3R8dZd
宗教にはお金がかかる
教祖はいいもん食べないとやる気が起きないし
信者集めてハイにならないと、信仰が続かないもんねww
0587132人目の素数さん
垢版 |
2020/06/06(土) 11:16:56.38ID:D0vIqk2k
>>585
数学ならば、一億円ぐらいあれば御の字。
100億ぐらいが普通に動く学問でないと、優秀な学生は入ってこない。
0588132人目の素数さん
垢版 |
2020/06/06(土) 11:18:21.37ID:fDRShCP8
>>579
そもそも集合論の初歩の∈と⊂すら間違う君に、
確率論も確率過程論も全く分かるわけないがね

選択公理のステートメントを全く読まずに
「全ての集合が整列可能」という整列定理を
選択公理そのものだと誤解する君に数学が分かるわけはない

君は「同じ」と同値が全く区別できない

以前も、正規部分群の定義の中の
(集合として)「同じ」という記述を
(群として)同型写像があるという意味だと取り違えた

それは数学を学ぶ人間としては致命的な誤りだよ 

PとQが同値だからといって、
論理式として同じだということにはならない

君は、「箱入り無数目」の記事中の、
箱の中身を自分勝手に確率変数だと誤解し
しかも無限個の箱全体が独立だと自分勝手に誤解した

独善的な誤解をやらかし続ける君は数学は一字たりとも理解できない

諦めたまえ
0589132人目の素数さん
垢版 |
2020/06/06(土) 11:19:06.84ID:an2/Uu+L
Bの奥さんが好きなアニメについて人に話したら「ああ、それってモテない男性が好きなのですよね(笑)」って言われてショック受けた話好き
稼いだお金でBDを買ってあげてほしい
0590132人目の素数さん
垢版 |
2020/06/06(土) 11:19:56.97ID:fDRShCP8
>>583
「箱入り無数目」の記事こそ勝てる戦略であることを
理解できない人には数学など無理 諦めたまえ
0591132人目の素数さん
垢版 |
2020/06/06(土) 11:27:50.92ID:fDRShCP8
>>576-578
君のコピペ芸はつまらんね

望月はオリンピック選手ではないんだがね
君のような人がいるから、ドーピングがなくならないんだろうな

ドーピング禁止理由
1.スポーツの価値を損うため
 ドーピングは、競技の楽しみや厳しさを奪い、結果としてスポーツの価値を損なうことになる。
2.フェアプレイの精神に反するため
 ドーピングは経済的な理由などで使える人が限られるため公平では無い。スポーツは統一したルールのもと、公平に競い合うことが前提である。
3.健康を害するため
 ドーピングは、使用者の心身に悪影響を与える副作用が確認されており[7]、競技者等の安全や健康を守るためにもドーピングは禁止されている。
4.反社会的行為であるため、社会や青少年に悪影響を及ぼすため
 選手がドーピングに手を染めていれば、ドーピングをよしとする風潮が蔓延してしまう。

望月論文のアクセプトは、数学の価値を損うのみならず
数学における公正(fairness)の精神に反する
0592132人目の素数さん
垢版 |
2020/06/06(土) 11:34:46.65ID:fDRShCP8
>>573
>「数学とはお金のかかる学問である」

旅費程度のことでお金がかかるっていっちゃう数学者って
ビル・ゲイツやスティーブ・ジョブズとかからみたら
鼻クソレベルの存在なんだろうな
0593132人目の素数さん
垢版 |
2020/06/06(土) 11:46:21.98ID:fDRShCP8
>>587
数学ってそもそも金勘定の学問だったんだけどね

ビル・ゲイツは数学専攻の学生だったらしいが
数学どころか情報科学でも何の成果も出してない
(BASICのインタプリタのプログラムを書くなんて
 命題論理の充足可能性問題がNP完全だと証明した
 なんてのに比べたらまさにハエのフンレベル)

世界一のお金持ちになるのに世界一の頭脳は必要ない

某島国のイケメン気取りの数学者が、たかが旅費程度で
「数学とはお金のかかる学問である」とほざくのは
世間知らずなだけで全く罪もない可愛い話であるが
アメリカの数学で落ちこぼれたマイコンヲタク野郎が
世界一の金持ちになるとかいうのは、実に有害である
0594132人目の素数さん
垢版 |
2020/06/06(土) 11:56:20.60ID:fDRShCP8
>>589
https://twitter.com/FumiharuKato/status/1256949270273380352
「Zoom飲み会で、最近ウチの奥さんがネフリで観まくっているアニメの話を、
 とあるその手の業界にも詳しいお方に話したら
 「あぁ、あのオタクの男が大好きなヤツですね」と返された。
 奥さんはまだ寝込んでいる。」

そもそもBの奥チャンはアニメがどうこういう前に
数学者と結婚した時点で立派な変態(pervert)
であることに気づくべきだろう(マジ)
https://twitter.com/5chan_nel (5ch newer account)
0595132人目の素数さん
垢版 |
2020/06/06(土) 12:10:48.32ID:fDRShCP8
余談

仮に、乃木坂の推しメンは久保史緒里!と答えて
「ああ、あのネガティブ思考の乃木坂ヲタクで
 ブログにひたすら長文を書くコでしょう?」
と返されたら
「それこそが正しい乃木坂メンバーというものです!
 はふーんとかずっきゅん!とかやっちゃうのは俗物!」
と言い返したい

参考
http://nogiradi.com/archives/19156976.html
0596現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/06(土) 13:18:13.96ID:SrYikU2t
>>595
今日のミスター維新=あほサルは、 ID:fDRShCP8 か
 自称数学科修士の落ちこぼれさんよ!w(^^
0598132人目の素数さん
垢版 |
2020/06/06(土) 13:19:03.34ID:X0vDHMkX
てかBは数学者っていってもイケメン寄りだし話も普通だし物腰も柔らかいからモテたんだろうな
0599現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/06(土) 13:28:12.10ID:SrYikU2t
>>593
(引用開始)
ビル・ゲイツは数学専攻の学生だったらしいが
数学どころか情報科学でも何の成果も出してない
(BASICのインタプリタのプログラムを書くなんて
 命題論理の充足可能性問題がNP完全だと証明した
 なんてのに比べたらまさにハエのフンレベル)
世界一のお金持ちになるのに世界一の頭脳は必要ない
(引用終り)

1.世界一のお金持 vs 世界一の頭脳
 の比較の話をしているのかな?
 ゴキブリのフン以下の ”オトコ” がよ w (情けないやつ)
2.”アメリカの数学で落ちこぼれたマイコンヲタク野郎が
 世界一の金持ちになるとかいうのは、実に有害である”
 かww 数学の落ちこぼれにして 人生の落伍者のおサルさんの嫉妬以外のなにものでもない 語りだなw(^^
3.いまどき、数学者だって 職業の1つ アカデミックなポストが得られなければ、高校数学教師でも、小学校教員でもなれよ
 あるいは、稼ぐ女のヒモとかもあるぜ
 だが、おサルは どれも無理だったんだ。それで、 人生の落伍者かなw
0600132人目の素数さん
垢版 |
2020/06/06(土) 13:28:56.90ID:6i3R8dZd
奥さんがどんなひとか知らないけど、ちょっとだけツイート見た感じだと
虚栄心旺盛な、いかにも大学教授に寄って来そうな
ミーハー女だな、という印象。あくまで印象ねw
世間一般ではそういう女をハズレと言う。
0601132人目の素数さん
垢版 |
2020/06/06(土) 13:29:40.25ID:QGciaLcI
BGの布教動画を見て最初に受けた印象はIUT教の上祐だったことを告解せねばなるまい
0602132人目の素数さん
垢版 |
2020/06/06(土) 13:38:37.64ID:6i3R8dZd
>Bと奥さんのなれそめ知りたい
こういう発想は数学板住人にはない。
全然興味ないしどうでもいい話。
メンヘラおばさんは自分に近いものを感じるんだろうなw
貴様も当然ハズレだよ、キモがられてるだろw
0603132人目の素数さん
垢版 |
2020/06/06(土) 13:55:28.12ID:X0vDHMkX
>>602
そういう無駄に攻撃的なところが数学板っぽいよね
細かいとこにこだわらず暇潰し会話を楽しむと人生豊かになると思うよ
もっちーさんだってアイドル好きなわけだし
0604132人目の素数さん
垢版 |
2020/06/06(土) 14:05:24.83ID:6i3R8dZd
数学者の理想の嫁は、鶴の恩返しに出てくる鶴女房みたいな子w
加藤和也が語っていた。
素朴で飾り気のない子がいい。
0605132人目の素数さん
垢版 |
2020/06/06(土) 14:21:11.61ID:fDRShCP8
>>597-598
Bの奥チャンはヲタク属性満載の人だと思う

>>600
https://twitter.com/fumiharukato/status/1127454097416675328
>妻「私はあなたに数学を広めるためにいろいろアドバイスするのに、
>  あなたは何一つやってくれない!
>  VTuberにもならないし、小説も書く気ないようだし!」
>私「…」

この発言を見る限り・・・やっぱりヲタク属性満載ですね
フツーの奥様はそもそもVTuberを知りません
(注:Youtuberのことではないですよ 検索しましょうね)
https://twitter.com/5chan_nel (5ch newer account)
0606現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/06(土) 14:25:52.35ID:SrYikU2t
>>602
おれも、Bと奥さんのなれそめ知りたい w (^^;
0607132人目の素数さん
垢版 |
2020/06/06(土) 14:31:11.63ID:fDRShCP8
>>603
Bの奥チャンが数学科出身者でなさそうなことはわかる
アニヲタかつツッコミキャラ、という特性からするとこんな感じか
https://www.youtube.com/watch?v=h6J9PjSM23g&;t=4m33s
ちなみに上記の彼女が乃木坂に入った真の動機は
アイドルをネタにした同人作品が描きたかったから
だと勝手に想像している(ヤバイ)

>>604
いまどきそんな都合のいい女はいませんw
0608粋蕎 ◆C2UdlLHDRI
垢版 |
2020/06/06(土) 14:40:50.86ID:ero6ji90
今時でも探せば居るがポーッとし過ぎて詐欺に引っ掛かった経験が有りそうな
おっかなびっくり系な上にトロい雰囲気な上に格好にも疎い不出来系が多い
0611132人目の素数さん
垢版 |
2020/06/06(土) 17:36:47.71ID:EWpFkq/J
>このスレはIUTスレだよww

だからこのスレはスレ主のおうち
【閲覧注意】妄想コピベ集【隔離スレ】
自宅療養もあるし
0612132人目の素数さん
垢版 |
2020/06/06(土) 17:53:58.90ID:cg14T5Sp
>>596
サルでも落ちこぼれでも何でもいけど
不成立の証明からは逃げないでね
0613現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/06(土) 19:23:27.44ID:SrYikU2t
>>583
じゃ、もう一言w

「反例の存在証明」
<まず確認>
1.箱への数の入れ方は、「どんな実数を入れるかはまったく自由」である
2.したがって、”独立同分布である i.i.d. IID”(下記)で、箱に数を入れることは可能
3.時枝記事の”勝つ戦略”なるものは
 「ある1つの箱を残して、他の箱を全て開けることを許せば、
 その1つの箱の実数を 確率99%(あるいは確率1-ε(εは任意に小さく取れる))で的中できる」
 ということだった
<反例証明>
1.”独立同分布 i.i.d. IID”で、箱に数を入れるとする
 (可算無限個の確率変数を扱うことは、大学レベルの確率論&確率過程論の射程内である)
2.IIDとして、サイコロで箱に数を入れれば、的中確率は1/6である
 どの箱も例外無し。どの1つの箱も 確率99%にならないので、反例となる
3.区間[0,1]の一様分布から、任意の実数を選んで IIDで 数を入れる
 ルベーグ測度では区間[0,1]の1点r( 0 =< r =< 1 ) の測度は0(∵零集合)で、的中確率0
 これも、反例となる
QED
(補足:”独立”だから、問題の箱以外を開けても、問題の箱の確率には 何ら影響しない。サイコロなら1/6、区間[0,1]の一様分布内の1点rなら的中確率0)
w(^^;

この「反例証明」が分からないのは、小学生レベルの”数学落ちこぼれ”ww

(参考)
https://www.practmath.com/iid/
実用的な数学を
2019年6月20日 投稿者: TAKAN
独立同分布である i.i.d. IID
(抜粋)
|| 同じ分布のデータは互いに不干渉だよ
これは「確率変数を別々に扱えるよ」という『仮定』です。
これが仮定されていると、非常に計算がしやすくなります。
相関を考えなくて良いので、共分散などを使う必要がありません。
なにせ条件付き確率の発想から分かる通り、独立性は特別なものです。
といっても、そうそうおかしなことにはならないわけですけど。
(引用終り)

あとは
時枝記事やりたければ、下記のスレ使え!
このスレはIUTスレだよww
現代数学の系譜 カントル 超限集合論2
https://rio2016.5ch.net/test/read.cgi/math/1576852086/856
0614現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/06(土) 19:30:22.85ID:SrYikU2t
>>608
粋蕎 さん、どうも
まあ、数学科を選んだ時点で、彼女に贅沢言えるのは、ショルツくらいの天才だけですよね
佐藤幹夫先生は、天才度が過ぎたのか、足りなかったのかは知らないが、結婚が非常に遅れた
(数学を考えながら寝て、起きたら即数学なんてやっていると、女を考える時間が無かったか。その点、ショルツは大天才ですな(^^)

数学科なら、彼女が出来ただけで
”おんの字”でしょw(^^;
0615132人目の素数さん
垢版 |
2020/06/06(土) 19:32:21.55ID:lkKVc4BQ
>>610
該当しないから引き合いに出すな
17歳にしてイギリスのミュージックアワードの授賞式で英語でスピーチしたり、アンチで有名なコワモテ女性評論家をシンパに転向させたり
超有能そのものだよ
Dragonforceのハーマン・リーはSU-METALは通訳より英語が上手いと言ったくらいだしな
凄まじいほどの集中力でものにしてしまうのが彼女の特徴でボーとしてるのは真逆だから
さくら学院当時のは千葉プロデューサーが武藤彩未を推すために中元下げを意図した演出だからね
本気にしないようにな
0616132人目の素数さん
垢版 |
2020/06/06(土) 20:23:58.30ID:fDRShCP8
>>615
SU-METALは高校卒業後、NYに住んでるといわれてるので
そりゃ英語も上手くなる

しかし、根本的には天然かつ地味

ちなみにカッコイイ曲でカリスマ感を出してるのに
好きな曲はメタ太郎とOh!Majinai 
どっちもカワイイ感じ

https://www.youtube.com/watch?v=avEdUi4kzj4

ま、でも乃木坂の連中には無理だろうな
久保と賀喜には悪いが、SU-METALは天才だからな
0618132人目の素数さん
垢版 |
2020/06/06(土) 23:19:45.17ID:N9hPIowj
維新がオタ知識披露か
0619132人目の素数さん
垢版 |
2020/06/07(日) 01:01:44.08ID:ll40Vh7Z
>>613
不正解。
「サイコロで箱の中身を決めたら確率1/6で当てられる」という主張は「当てずっぽうで当てようとしたら」という前提があって初めて成立する。
時枝戦略には存在しない前提を勝手に置いている時点で不正解。
実際時枝戦略は同値類から情報をもらう戦略であり、当てずっぽうで当てようとする戦略ではないから、時枝戦略に対する反例になっていない。
0620132人目の素数さん
垢版 |
2020/06/07(日) 09:14:40.21ID:pdmWlwPF
>>613
誤り


【第1の誤り】

「1.「どんな実数を入れるかはまったく自由」」から
「2.”独立同分布である i.i.d. IID”」が云えると思ったこと

箱入り無数目の記事では箱の中身の分布に全く言及してない

なぜなら、箱は確率変数ではないからである

【第2の誤り】

「「ある1つの箱を残して、他の箱を全て開けることを許せば、
  その1つの箱の実数を 確率99%で的中できる」を
 「ある1つの箱を決めたら、その箱の中身を何度入れ替えても
  中身を確率99%で的中できる」と読み違えたこと」

箱入り無数目の記事では実は箱の中身は一切入れ替えない

「選べる箱100個のうち、1個を選んだ場合
 代表元の対応する項と、中身が一致する箱が99箱ある」
というのが正しい読解

確率変数が分かってないから、読み違える

箱入り無数目の記事における確率変数は 
選んだ箱の中身ではなく選べる箱の番号1〜100
0621132人目の素数さん
垢版 |
2020/06/07(日) 09:31:51.42ID:pdmWlwPF
>>620
>区間[0,1]の一様分布から、任意の実数を選んで IIDで 数を入れる
>ルベーグ測度では区間[0,1]の1点r( 0 =< r =< 1 ) の測度は0(∵零集合)で、
>的中確率0
>どの箱も例外無し。どの1つの箱も 確率99%にならないので、反例となる

記事を全く読まずに、自分勝手な理解だけで考えるから間違う

記事の方法で選べる箱は100個である

そしてその100個のうち、99個は代表元の項と中身が一致してしまう

中身が不一致となる箱を2個以上にすることは不可能である

なぜなら、n>mかつm>nとなる自然数の組n,mは存在し得ないからである
0622132人目の素数さん
垢版 |
2020/06/07(日) 11:33:40.27ID:ll40Vh7Z
「サイコロで箱の中身を決めたら確率1/6で当てられる」という主張は「当てずっぽうで当てようとしたら」という前提があって初めて成立する。

「サイコロで箱の中身を決めたら確率1/6でしか当てられない」という主張は「当てずっぽうで当てようとしたら」という前提があって初めて成立する。
の方が分かり易いかな
0623132人目の素数さん
垢版 |
2020/06/07(日) 13:40:58.38ID:pdmWlwPF
>>622
サイコロで箱の中身を決めても、
サイコロの目を知ることができれば
確率1で当てられる

逆に箱の中身が必ず1だとしても
箱の中身の情報を1から6のいずれかだと言って
その中身を予想するのにサイコロを用いるなら
当たる確率は1/6

つまり
箱の中身の分布確率=箱の中身の的中確率
とはいえない
0624現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/07(日) 14:42:00.65ID:Q0Rzcycw
>>619-623
  ID:ll40Vh7Z ね
  ID:ll40Vh7Z がおサルか(下記)

”純粋・応用数学”
https://rio2016.5ch.net/test/read.cgi/math/1582599485/400
400 名前:哀れな素人[] 投稿日:2020/06/07(日) 12:49:39.25 ID:0G5Peiut [5/5]
ID:ll40Vh7Z
スレ主よ、こいつは質問少年の真似をしているが、サル石だ(笑
だまされないように(笑
(引用終り)

なるほど
で、もう一人
 ID:pdmWlwPFは
 ”High level people”(下記)の一人 か(^^
スレ28 http://rio2016.2ch.net/test/read.cgi/math/1483314290/ (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
High level peopleの一人が、時枝記事(数学セミナー2015年11月号の記事『箱入り無数目』)を紹介してくれたなのだが(下記見るとこの人が、スレ28を立てたみたい。この人は、昔Tさんと私が呼んでいた人だと思う)
0625現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/07(日) 14:46:35.49ID:Q0Rzcycw
>>619-623

要するに
1.大学教程の「確率論&確率過程論」が、からっきし理解できていない
2.”箱”? 大学教程の抽象化された数学では、”箱”でも”袋”でも、あるいは、”目隠し”でも同じですよ
 「”箱”だから、うんぬん かんぬん」なんて、小学生ですな、ご両人w(^^

あとは
時枝記事やりたければ、下記のスレ使え!
このスレはIUTスレだよww
現代数学の系譜 カントル 超限集合論2
https://rio2016.5ch.net/test/read.cgi/math/1576852086/856
0627132人目の素数さん
垢版 |
2020/06/07(日) 15:15:02.09ID:pdmWlwPF
>>625
無限個の確率変数もIIDも、確率過程論じゃないな

たまたま見つけたページが確率過程について書かれてただけで
「確率過程とは無限個の確率変数だ! IIDだ!」
と思ったんなら、全然見当違い

>大学教程の抽象化された数学では、
>”箱”でも”袋”でも、あるいは、”目隠し”でも同じですよ

これまた、全然見当違い

箱入り無数目の記事で、何を確率事象として扱ってるか分かれば
確率変数が箱の中身ではなく、箱の番号だと分かる
だって、選んでるのは箱であって、中身ではないから

箱の中身を当てる=確率変数は箱の中身 と脊髄反射するのは考えてない証拠
0628現代数学の系譜 雑談 ◆yH25M02vWFhP
垢版 |
2020/06/07(日) 15:20:53.64ID:Q0Rzcycw
>>625 補足
> 1.大学教程の「確率論&確率過程論」が、からっきし理解できていない

要するに
大学教程の「確率論&確率過程論」
に無知ってことですね(^^;

時枝記事の”勝つ戦略”なるものも
十分、大学教程の「確率論&確率過程論」の射程内
なのですw(^^;
0630132人目の素数さん
垢版 |
2020/06/07(日) 15:34:42.47ID:pdmWlwPF
>>628
時枝記事の”勝つ戦略”は、同値関係、同値類の定義と
選択公理の使用を除けば、小学生レベルの確率だけどね

100個中、外れがたかだか1個なら、当たる確率は99/100

無限個の箱=無限個の確率変数 という誤りに気づけないようじゃ、数学は無理
0631132人目の素数さん
垢版 |
2020/06/07(日) 15:37:20.58ID:pdmWlwPF
∈と⊂の違いも分からず、公理と公理図式の違いも分からない
そんな素人に、大学数学が分かるわけないよ
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況