17/07/04 16:13:32.47 Pxg5T/MA.net
(>>358の続き)
>例えばkが選ばれたとせよ.
>s^kの決定番号が他の列の決定番号「の」どれよりも大きい確率は「1/99」に過ぎない.
> 第1列～第(k-1) 列，第(k+1)列～第100列の箱を全部開ける.
>第k列の箱たちはまだ閉じたままにしておく.
>開けた箱に入った実数を見て，代表の袋をさぐり， S^1～S^(k-l),S^(k+l)～SlOOの決定番号のうちの最大値Dを書き下す.
> いよいよ第k列 の(D+1) 番目から先の箱だけを開ける：S^k(D+l)， S^k(D+2)，S^k(D+3)，・・・.いま
> D >= d(S^k)
>を仮定しよう.この仮定が正しい確率は「1/100」，そして仮定が正しいばあい，上の注意によってS^k(d)が決められるのであった.
>おさらいすると，仮定のもと， s^k(D+1)，s^k(D+2)，s^k(D+3)，・・・を見て代表r＝r(s~k) が取り出せるので
>列r のD番目の実数r(D)を見て， 「第k列のD番目の箱に入った実数はS^k(D)＝r(D)と賭ければ，めでたく確率「1/100」で勝てる.
>確率1-ε で勝てることも明らかであろう.
「いよいよ…」以降の確率が「1/100」であるような確率空間や標本空間も構成することは出来る。
401:現代数学の系譜 古典ガロア理論を読む
17/07/04 17:02:00.60 8fQUKD9a.net
>>354-355 >>357
￥さん、どうも。スレ主です。
細かい点は、後にして（＾＾
>こういうのを勉強してて何時も思う事ですが、独創的な仕事の源流をたどれば殆ど常に
>『またフランス人か！』というのばっかしですわ。私は生まれた国を間違えたよね。
ヨーロッパ数学の中心は、仏と独と英でしょうね
その中でお国柄があるように思います。
独は独特の（ギャグか（＾＾）厳密性を追求する哲学があり
仏は発想が自由で独創の方にウェートがあり
英はニュートンに代表されるように、どちらかと言えば、実戦的というか目の前の問題を解く道具つくりに主眼があるような（ディラックのδ関数もそんな感じを受けます）
これに今は、大戦の戦勝国で、各国から英才を集めた米国が、台頭している
対して、日本は、なんでも、芸道（茶道、華道などなど）にならって、型にはめようとするところがありますね
独創や個性を伸ばそうとするよりもね。そこがちょっと問題かも（＾＾
402:現代数学の系譜 古典ガロア理論を読む
17/07/04 17:17:07.90 8fQUKD9a.net
>>356
おっちゃん、どうも、スレ主です。
レスありがとう
さらに質問
おっちゃん、解析や測度論に強そうだから、聞くが・・（＾＾
>>317より
"「1 点の長さは0」は数学の常識として、多くの場合に成り立つと思っています。
これを認めるなら、実数R∋r で、１点rをピンポイントで的中させることは、普通確率0（ゼロ）でしょうね。よほど、特殊な条件が無ければ。"は、同意しますか？
さらに、
１）例えば、別の例として、半開区間 (0,1] の任意の実数の点 0<r<=1 を的中させる確率は、0(ゼロ)だと。（普通に測度論より）
２）例えば、半開区間 (0,1] のn個の半開区間 に分割してたとして、 (0,1/n], (1/n,2/n],・・,((i-1)/n,i/n],・・,((n-1)/n,n/n(=1)] で、どの区間かを的中させる確率は、1/nだと。
３）２）でn→∞ とすれば、的中させる確率は、0(ゼロ)だと。
いかが？
403:￥
17/07/04 17:20:41.74 wspk9Yjr.net
まあ色んな見方があるでしょうが、概ねは：
１．欧州大陸は論理構造が優先。まあ批判的精神と啓蒙思想がその源流でしょう。
２．イギリスはプラグマティズム。但しMaxwellとかDira
404:cみたいな特異点は居ますが。 ３．アメリカは「高い給料で輸入した」だけ。あとは軍事研究絡み。 であり、そして日本の場合は： ★★★『（ものの考え方、ではなくて）遣り方の文化。だから「ナントカ道」という思想。』★★★ ですよね。 だからコレじゃ勝ち目がないのは当たり前かと。私にしてみれば芳雄とか筑波とかさ。 もうトラウマでしかないわね。 ￥
405:現代数学の系譜 古典ガロア理論を読む
17/07/04 17:21:16.72 8fQUKD9a.net
>>361 訂正
２）例えば、半開区間 (0,1] のn個の半開区間 に分割してたとして、
↓
２）例えば、半開区間 (0,1] をn個の半開区間 に分割してたとして、
406:現代数学の系譜 古典ガロア理論を読む
17/07/04 17:39:24.79 8fQUKD9a.net
>>362
￥さん、どうも。スレ主です。
>★★★『（ものの考え方、ではなくて）遣り方の文化。だから「ナントカ道」という思想。』★★★
>だからコレじゃ勝ち目がないのは当たり前かと。私にしてみれば芳雄とか筑波とかさ。
まあ、だから、これから数学を本格的に学ぼうという人は、早く海外へ出た方が良いということかも
特に、一流と言われる先生のところに。そこに、先生以上に優秀な人（含む学生）が居たりして
小平先生のスペンサーとか
広中先生のマンフォードとか URLﾘﾝｸ(ja.wikipedia.org) 1974年にフィールズ賞を受賞
古くは高木先生も、ヒルベルトのところへ留学した・・
佐藤幹夫先生も、年取ってからだが、プリンストンへ行ったし。あれ、きっと役に立っていると思う・・
わたしゃ、語学ができなかったから、留学は夢の又夢だったけど・・
407:１３２人目の素数さん
17/07/04 17:44:40.05 Pxg5T/MA.net
>>361
>これを認めるなら、実数R∋r で、１点rをピンポイントで的中させることは、普通確率0（ゼロ）でしょうね。
>よほど、特殊な条件が無ければ。"は、同意しますか？
これは実数の全体Rにおいてという意味ではYes。0を含む零集合上での確率なら話は別。
>１）例えば、別の例として、半開区間 (0,1] の任意の実数の点 0<r<=1 を的中させる確率は、0(ゼロ)だと。（普通に測度論より）
>２）例えば、半開区間 (0,1] のn個の半開区間 に分割してたとして、
>(0,1/n], (1/n,2/n],・・,((i-1)/n,i/n],・・,((n-1)/n,n/n(=1)] で、どの区間かを的中させる確率は、1/nだと。
普通に考えれば、この2つはYes。
>３）２）でn→∞ とすれば、的中させる確率は、0(ゼロ)だと。
2)のn個の半開区間に対し、n→+∞ とすると、無限個の半開区間を構成することになるが、
n→+∞ としたとき生じる半開区間 (0,0]、(1,1] の2つに限られて、矛盾が生じるから、
2)において単純に n→+∞ とすることは出来ない。従って、No。
408:￥
17/07/04 17:53:37.73 wspk9Yjr.net
そういうのって「語学の問題じゃない」ですよ。英語で押し切っても普通は何とかなる
でしょう。私はロシア語なんか出来ませんが、でもロシアでもいいから脱出したかった
ですよ。実際にパリの親方には『先ずはロシアに逃げろ』っていう真剣なアドバイスが
ありましたからね。
でもまあ今は安全に暮らせてますんで、毒を浴びる事もありませんが。
￥
409:１３２人目の素数さん
17/07/04 17:59:16.67 Pxg5T/MA.net
>>361
>>365の下から2行目の訂正：
n→+∞ としたとき生じる半開区間 → n→+∞ としたとき生じる半開区間「は」
410:￥
17/07/04 18:05:38.29 wspk9Yjr.net
それとね、佐藤さんみたいな傍若無人というか厚顔無恥な人は『何処に居ても平気』な
んでしょうね。でもそれこそが佐藤さんの天才性でしょうね。私はその空気を傍で吸え
ただけでも幸せでしたが。実際に佐藤さんは私に取っては『手本中の手本』ですよね。
実際に佐藤さんが数学をスル『その基本的態度』というのこそが、私の希望の光です。
どんな人を相手にしても『絶対に怯まない』のは、あのGelfandの頑固爺と非常に似て
いてですね、彼が毎年夏休みにIHESでやってた合宿には出来る限り参加しまし、とても
糧になりました。この頑固で執拗な様は、あのGromovにもありまして、彼のセミナーに
も極力参加しました。彼も流石に凄い人ですわ。私の大好きな数学者です。
￥
411:１３２人目の素数さん
17/07/04 18:09:23.10 Pxg5T/MA.net
>>361
>>365の訂正：
(0,0]、(1,1] の2つに限られて → (0,0]、(1,1]、(0,1] の3つになって
n→+∞ としたときに生じる半開区間には (0,1] もあったな。
じゃ、おっちゃん寝る。
412:￥
17/07/04 18:19:10.79 wspk9Yjr.net
小平先生の留学先はH.Weylで、広中さんの留学先はO.Zariskiですわ。
￥
413:現代数学の系譜 古典ガロア理論を読む
17/07/04 18:39:38.01 8fQUKD9a.net
>>366
￥さん、どうも。スレ主です。
>そういうのって「語学の問題じゃない」ですよ。英語で押し切っても普通は何とかなる
>でしょう。私はロシア語なんか出来ませんが、でもロシアでもいいから脱出したかった
まあ、人間は「語学など、窮地になるとなんとかする」潜在能力があるのかもしれません
江戸時代の日本人（下記）など
が、まあ背水の陣というか
でも、なかなかそれは凡人には難しいですよね（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
大黒屋 光太夫（だいこくや こうだゆう、宝暦元年（1751年） - 文政11年4月15日（1828年5月28日））
天明2年（1782年）、嵐のため江戸へ向かう回船が漂流し、アリューシャン列島（当時はロシア領アラスカの一部）のアムチトカ島に漂着。
ロシア帝国の帝都サンクトペテルブルクで女帝エカチェリーナ2世に謁見して帰国を願い出、漂流から約9年半後の寛政4年（1792年）に根室港入りして帰国した。
彼らとともに暮らす中で光太夫らはロシア語を習得。
URLﾘﾝｸ(ja.wikipedia.org)
高橋是清
(抜粋)
横浜のアメリカ人医師ヘボンの私塾であるヘボン塾（現・明治学院大学）にて学び、1867年（慶応3年）に藩命により、勝海舟の息子・小鹿と海外へ留学した。
ホームステイ先である彼の両親に騙され[3]年季奉公[4]の契約書にサインし、オークランドのブラウン家に売られる。
牧童や葡萄園で奴隷同然の生活を強いられ[注釈 1]、いくつかの家を転々とわたり、時には抵抗してストライキを試みるなど苦労を重ねる。この間、英語の会話と読み書き能力を習得する。
1868年（明治元年）、帰国する。帰国後の1873年（明治6年）、サンフランシスコで知遇を得た森有礼に薦められて文部省に入省し、十等出仕となる。
英語の教師もこなし、大学予備門で教える傍ら当時の進学予備校の数校で教壇に立ち、そのうち廃校寸前にあった共立学校（現・開成中学校・高等学校）の初代校長をも一時務めた。教え子には俳人の正岡子規やバルチック艦隊を撃滅した海軍中将・秋山真之がいる。
414:￥
17/07/04 18:51:12.64 wspk9Yjr.net
それはどうなんでしょうなあ。人に拠るとは思いますが。フランスに入国した時に私は
一言も喋れませんでしたが、でもまあ最初の二年程度で「何とかなる」っていう状態に
までなりましたね。尤も鍛えてくれた人が何人も居ましたけどね。但しフランス語とか
ロシア語は、英語みたいに簡単じゃないので、そういう違いはありますが。でも講義す
るだけならば『下手でも大丈夫』でしょうね。実際に私の知り合いで「ちゃんと日本語
で講義してる」っていう外国人が日本に居るので。日本語は相当に難しい筈ですが。
￥
415:１３２人目の素数さん
17/07/04 19:14:17.71 cqAioHPV.net
>>1はおっちゃんの>>359が正しいと思うか Y or N
※Y（正しい）でもN（誤り）でも、必ず証明すること
416:現代数学の系譜 古典ガロア理論を読む
17/07/04 19:14:26.22 8fQUKD9a.net
>>370
￥さん、どうも。スレ主です。
>小平先生の留学先はH.Weylで、広中さんの留学先はO.Zariskiですわ。
ああ、そうでしたよね
「小平先生の留学先はH.Weyl」というのは
「小平邦彦が拓いた数学」を買って読むと、そんなことが書いてありました（下記）（＾＾
この本を読むまでは、知らなかった
フィールズ賞を貰ったとか、調和解析だとか、秋月先生が書いていた記憶があったが・・（＾＾
URLﾘﾝｸ(www.iwanami.co.jp)
URLﾘﾝｸ(www.iwanami.co.jp) 立ち読みPDF
小平邦彦が拓いた数学 上野 健爾 著
(抜粋)
■著者からのメッセージ
今年，2015年は小平邦彦の生誕100年にあたる．小平邦彦は第二次世界大戦中に数学者として成長し，戦後，複素多様体論の研究者として世界をリードした．その過程は，20世紀の数学が一大発展を遂げた時期と軌を一つにする．
本書では小平邦彦がどのようにして複素多様体の研究へ導かれ，何をヒントにして研究を進めていったかを，小平の残した講演やエッセイをもとに小平の論文を読みながら考察していくことにする．（中略）
小平の複素多様体論の研究は調和積分論がその基礎になっている．複素多様体の理論が進展して新しい局面にさしかかったときに，その理論の根底を支えたのは，常に，形を変えた調和積分論であった．
そして，数学の進展の常として，調和積分論に根ざしたそうした理論はほとんどの場合，最終的には調和積分論を必要としない新しい理論に取って代わられた．そうしたことから，今日，調和積分論を学ぶ機会はそれほど多くない．
しかしながら，小平邦彦の調和積分論がなかったならば複素多様体の理論の新しい進展は今よりはるかに遅れたものになっていたことは確かである．
ヘルマン・ワイル（Hermann Weyl, 1885～1955）の『リーマン面の概念』をヒントに始まった小平の調和積分論の研究が，複素多様体の理論の進展にどのように関わり，理論の進展を推し進めたかを知ることは，数学の研究に大きな示唆を投げかけるであろう．本書が数学の研究とは何かを知るヒントになることを希望する．
―本書「はじめに」より
417:１３２人目の素数さん
17/07/04 19:17:17.94 cqAioHPV.net
>>361
＞おっちゃん、解析や測度論に強そうだから
・・・算数や論理は滅茶苦茶弱そうだがな
418:￥
17/07/04 19:23:30.26 wspk9Yjr.net
まあ『函数解析を使って複素幾何の定理を証明する』みたいな、そういう新しい数学。
こういう事をやって新しい局面を切り開いたのは小平先生でしょうね。でも小平先生は
解析学と幾何学と代数学が交差する、数学の真の姿でしょうね。直接に先生と面識を持
たせて頂く前に先生が亡くなられたのは、とても残念でした。院生時代に中野さんの講
義には出てましたが。
￥
419:現代数学の系譜 古典ガロア理論を読む
17/07/04 19:32:56.57 8fQUKD9a.net
>>372
>それはどうなんでしょうなあ。人に拠るとは思いますが。フランスに入国した時に私は
>一言も喋れませんでしたが、でもまあ最初の二年程度で「何とかなる」っていう状態に
￥さん、どうも。スレ主です。
それは大変でしたね。
夏目漱石など、留学で”神経衰弱”になったという（下記）
異境の地に耐えられるかどうかですが・・
まあ、夏目漱石と異なり、現代は飛行機や国際電話もありますから、漱石とは異境のレベルが違うかも
しかし、我々の友人でも留学や海外赴任した人を何人か知っていますが、みなその体験で成長していますね（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
夏目漱石
(抜粋)
イギリス留学
1900年（明治33年）5月、文部省より英語教育法研究のため（英文学の研究ではない）英国留学を命じられる。
英文学研究への違和感がぶり返し、再び
420:神経衰弱に陥り始める。 1901年（明治34年）、土井晩翠によれば下宿屋の女性主人が心配するほどの「驚くべき御様子、猛烈の神経衰弱」に陥り、1902年（明治35年）9月に芳賀矢一らが訪れた際に「早めて帰朝（帰国）させたい、多少気がはれるだろう、文部省の当局に話そうか」と話が出て、そのためか「漱石発狂」という噂が文部省内に流れる。 漱石は急遽帰国を命じられ、同年12月5日にロンドンを発つことになった。帰国時の船には、ドイツ留学を終えた精神科医・斎藤紀一がたまたま同乗しており[5]、精神科医の同乗を知った漱石の親族は、これを漱石が精神病を患っているためであろうと、いよいよ心配したという[6]。
421:￥
17/07/04 19:38:25.43 wspk9Yjr.net
いや、大変じゃないですよ。茨城芳雄塾での牢屋みたいな生活から比べたら天国ですわ。
とても懐かしい『楽しい思い出』ですわ。そして数理研での数学漬けの院生時代も天国
でしたね。その後の筑波時代の20年間も、猛烈に辛かったですがね。
￥
422:￥
17/07/04 19:40:45.45 wspk9Yjr.net
訂正：
茨城芳雄塾 ⇒ 茨木芳雄塾
まあ『子供時代は地獄だった』ですよ。そして茨城時代も。
￥
423:現代数学の系譜 古典ガロア理論を読む
17/07/04 19:46:03.20 8fQUKD9a.net
>>376
￥さん、どうも。スレ主です。
>院生時代に中野さんの講義には出てましたが。
中野茂男さんかな？（下記）
昔は、中野茂男さんの本もよく書店で見かけましたが・・
いや、一冊も買わなかったのですが・・（＾＾
>小平先生は解析学と幾何学と代数学が交差する、数学の真の姿でしょうね。
先の本では、スペンサーが当時最新だった層理論の勉強をしようと誘われて、層理論を勉強したとありましたね（＾＾
URLﾘﾝｸ(study-guide.hatenablog.jp)
岡潔の「多変数複素関数論」の概要に，独学で入門するPDF資料まとめ。解析接続や正則性の概念を多様体上で一般化 勉強メモ （大学の講義動画や，資格試験の対策）
(抜粋)
・幾何学的関数論
中野茂男は秋月を経由して岡の講義を聞いたが，昭和35年より非コンパクトの見地から多変数に近づく。45年から49年にかけて，弱１完備複素多様体の消滅定理を得て，モノイダル変換の逆問題を解き，弱１完備の有効性を認識させた。…
424:￥
17/07/04 19:53:59.91 wspk9Yjr.net
あのね、芳雄っていう人は：
★★★『首輪を付けて縛り付け、常に監視して、そして「常識という犬小屋」に閉じ込める。』★★★
という人ですわ。そして（学問を行う、のではなくて）「大学教授にナル」ってのを人生
の目的に『強制的にさせる』んですよね。だから安全を取って「工学部にシロ」って。
まあついでに言えば、日本では作用素環も「函数解析っていう檻に閉じ込める」し、また
筑波でも「代数学っていう檻に閉じ込める」でしょう。まあ、これだけではないけど。
まあ日本では、こういう考え方は何処でも普通の事柄なんでしょうがね。でもああいう
窮屈な家庭環境で育てば、もうコレは『地獄でしかない』です。
でもパリの親方は『絶対にこういう事はしない』です。
￥
425:現代数学の系譜 古典ガロア理論を読む
17/07/04 19:54:51.66 8fQUKD9a.net
>>380 訂正
スペンサーが当時最新だった層理論の勉強をしようと誘われて、
↓
スペンサーから当時最新だった層理論の勉強をしようと誘われて、
かな、日本語としては（＾＾
426:￥
17/07/04 19:58:59.49 wspk9Yjr.net
でもSpencerからはテンソル解析とか、色々と教わったそうです。しかもこの変形理論は
『先生がFields賞を受賞なさった「アトの話」』ですわ。でもこの仕事はかなり大きい
と思いますが。だから何チャラ賞なんて関係ありませんわ。まさか芳雄じゃあるまいし。
芳雄の人生の目的は『何チャラ賞を受賞する事』だそうなので。あのアホめ。
￥
427:現代数学の系譜 古典ガロア理論を読む
17/07/04 20:03:25.61 8fQUKD9a.net
>>378
>その後の筑波時代の20年間も、猛烈に辛かったですがね。
>>381
>筑波でも「代数学っていう檻に閉じ込める」でしょう。まあ、これだけではないけど。
>まあ日本では、こういう考え方は何処でも普通の事柄なんでしょうがね。
まあ、一般にはそうでしょうね
で、日本の大学が、昔は、講座制でしたよね。教授が絶対君主でね（＾＾
（今は少し変わっているようですが・・）
あと、筑波ならその中での縄張りがあったりして（＾＾
で、「縄張り守れ」的な（＾＾
あと、絶対君主かそれに類する人のパワハラとかも・・
￥さんの場合も、パワハラでしょうかね？ 単なる邪推ですが・・
ああ、辛いことを思い出させて悪いかも・・・
428:￥
17/07/04 20:04:18.32 wspk9Yjr.net
そう言えば（大学入試の採点を逃げ回る）佐藤センセに対して『サトウにやらせろ～』って
叫んではりましたわ、あの中野教授。今となっては笑い話ですが。
￥
429:￥
17/07/04 20:07:46.27 wspk9Yjr.net
そういう事はですね、私がどう思ってるかとアチラ側がどう思ってるかは「全く別の事」
ですわ。だから言っても無駄ですわ。もう関係がないので、どうでもいいです。拘わら
なければいいだけなので。
￥
430:現代数学の系譜 古典ガロア理論を読む
17/07/04 20:07:53.67 8fQUKD9a.net
>>383
￥さん、どうも。スレ主です。
>でもSpencerからはテンソル解析とか、色々と教わったそうです。しかもこの変形理論は
>『先生がFields賞を受賞なさった「アトの話」』ですわ。でもこの仕事はかなり大きい
>と思いますが。だから何チャラ賞なんて関係ありませんわ。まさか芳雄じゃあるまいし。
ああ、そうなんですか？ 小平先生のお仕事の全容は、とてもとても
まだまだ、端っこをちょっとかじっただけです
￥さん、詳しいね～（＾＾
431:現代数学の系譜 古典ガロア理論を読む
17/07/04 20:13:09.49 8fQUKD9a.net
>>385
￥さん、どうも。スレ主です。
>そう言えば（大学入試の採点を逃げ回る）佐藤センセに対して『サトウにやらせろ～』って
>叫んではりましたわ、あの中野教授。今となっては笑い話ですが。
「佐藤さんみたいな傍若無人というか厚顔無恥な人は『何処に居ても平気』な
んでしょうね。でもそれこそが佐藤さんの天才性でしょうね。私はその空気を傍で吸え
ただけでも幸せでしたが。」>>368やね（＾＾
432:￥
17/07/04 20:17:08.10 wspk9Yjr.net
あの当時は『あんなのでも大学教授が勤まった』っていう幸運もあるだろうけどね。
でもそのお陰で数理研が、そして日本全体が「凄い恩恵を受けた」んですよね。
￥
433:１３２人目の素数さん
17/07/04 20:22:59.17 Q4IpMpI6.net
>>353
お前アホだろ
誰一人として上限があるなんて言ってないだろ
何でそんな質問してるんだ？アホにも限度というものがあるぞ？
434:￥
17/07/04 20:28:36.34 wspk9Yjr.net
￥
435:現代数学の系譜 古典ガロア理論を読む
17/07/04 20:49:23.76 8fQUKD9a.net
>>389
>あの当時は『あんなのでも大学教授が勤まった』っていう幸運もあるだろうけどね。
>でもそのお陰で数理研が、そして日本全体が「凄い恩恵を受けた」んですよね。
￥さん、どうも。スレ主です。
細かいことは忘れてしまったが、佐藤先生のもとに優秀な弟子が集まって
佐藤先生の天才的独創性と、優秀な弟子の共同作業
その好循環
そういうサイクルが、うまく回ったという感じがしますね
優秀な弟子が、やる気を出して、どんどん前に進んでいくみたいな
それは、数学の能力だけではなく、人間力でもありますよね（＾＾
436:￥
17/07/04 21:02:57.72 wspk9Yjr.net
その人間力という言い方は「都合のいい部分を何でもソコに押し込める」という言い方
だから、従って『何も言ってないのと同じ』です。きちんと分析しないと何も判りませ
んよ。例えば複雑系っていう言い方がありますが、これは『何でも入ってるガラクタ箱』
であり、非線形とかカオスとかフラクタルとか、まあ何でもアリというか、でも実際に
は「現代数学の普通の手段では歯が立たないから、そういう言い方をしてるだけ」では
ないかと。でも実際に（例えばKolmogorovの時代に）：
★★★『数ある確率モデルの中からきちんと厳密化できる部分を切り出すのに成功した。』★★★
のが、まあ云わば「あの公理系」ではないかと。
だから私が思うに：
１．あの公理系では�
437:u本来は成り立ってはいけない主張」が成立する。 ２．その一方で『扱えて欲しいものが定式化出来ない』（時枝問題とか）がある。 という印象を私は持っています。 ￥ 追加：例えば超関数を考えてみれば、DistributionとHyperfunctionとでは、そういう 違いが『確かに』あります。
438:￥
17/07/04 21:20:41.61 wspk9Yjr.net
もうひとつ実例を挙げましょう。例えば：
★★★『この（物理、或いは社会）現象は「計算機でシュミレートできる」という場合。』★★★
ですが、これはまあ「そういうアルゴリズムが存在する」という意味では、まあそれな
りの『説明が存在する』とは言えるでしょう。実際にフラクタル関係の書籍を見れば、
こういう事で以て「何がしかが言えた」（まあ物理の人の言い方はコレに相当するか）
ですが、では『それで数学の厳密なモデルが出来上がった』と言っていいのか、という
問題ですよね。纏めれば：
１．そのモデルは「どういう意味で厳密」なのか。
２．そのモデルが「どういう意味で現実の記述になってる」のか。
という事です。（道具としての数理統計が「どういう意味でPlausibleか」という疑問
と基本的に同じではないかと思います。コッチ方面は私はド素人ですが。）
要は『説明とは何か？』という事柄ですが、例えば別の事例では：
★★★『Isingモデルでは「3次元では厳密解が存在しない」けど、でも計算機では扱える。』★★★
という事実があり、そしてご承知の通り「2次元（の特別な場合）では厳密解がある」
となり、でも『その函数解析は厳密なのか』みたいな問題です。
かつて三輪・神保・尾角と荒木・松井の違いは以前に私見として言いましたが。
￥
439:１３２人目の素数さん
17/07/04 21:23:29.34 Q4IpMpI6.net
頼むから社会から弾かれたアホと痴漢の慣れ合いは止めてくれないか？
お前らのゴミレスのせいで本題レスがどんどん流れてくんで非常に迷惑している
それでなくてもどっかのアホには誰も読まないコピペを延々繰り返す癖があるのに
440:１３２人目の素数さん
17/07/04 21:28:59.18 Q4IpMpI6.net
>>381
＞あのね、芳雄っていう人は：
＞★★★『首輪を付けて縛り付け、常に監視して、そして「常識という犬小屋」に閉じ込める。』★★★
＞という人ですわ。
なら、さっさと縁切って自立して好きなことすりゃいいだけじゃね？
それができないのはお前の弱さ以外にどんな原因があったんだ？
自分の弱さを親のせいにして最低な奴だよお前
441:１３２人目の素数さん
17/07/04 21:38:13.26 Q4IpMpI6.net
＞でもパリの親方は『絶対にこういう事はしない』です。
じゃあパリの親方は赤ん坊のお前を引き取って成人するまで面倒見てくれる、そんな聖者みたいな奴なのか？
いい加減に妄想を追い回すのはやめたらどうだ？
お前がしなきゃいけないのは、痴漢なんて馬鹿な真似してどうもすみません、と育ててくれた親に頭下げることだろうが
442:現代数学の系譜 古典ガロア理論を読む
17/07/04 22:38:47.70 8fQUKD9a.net
>>393
>その人間力という言い方は「都合のいい部分を何でもソコに押し込める」という言い方
>だから、従って『何も言ってないのと同じ』です。きちんと分析しないと何も判りませ
>んよ。
￥さん、どうも。スレ主です。
ああ、￥さんやっぱり、フランス系の思考ですね
私ら、どっぷり日本系だから・・・（＾＾
でも、これでも理屈っぽいと・・・（＾＾
>（例えばKolmogorovの時代に）：
>★★★『数ある確率モデルの中からきちんと厳密化できる部分を切り出すのに成功した。』★★★
>のが、まあ云わば「あの公理系」ではないかと。
ああ、そうですね。１年ほど前から、￥さん、そう言われていましたね
ようやく、意味が分かってきました（＾＾
> １．あの公理系では「本来は成り立ってはいけない主張」が成立する。
> ２．その一方で『扱えて欲しいものが定式化出来ない』（時枝問題とか）がある。
>という印象を私は持っています。
そうそう。おっしゃる通りかな
”１．あの公理系では「本来は成り立ってはいけない主張」が成立する”は、ピンと来ていませんが
”２．その一方で『扱えて欲しいものが定式化出来ない』（時枝問題とか）”は、確かに、測度論的確率論には、乗らないですね（＾＾
だから、数学セミナーの記事としては、適切ではなかったと
数学セミナーの記事としては、「測度論的確率論には乗らない。だから、これで扱える」くらいまで書かないと、数学セミナーの読者レベルでは混乱します
あるいは、「測度論的確率論には乗らない。だから、皆さん、新しい確率論を、一緒に考えましょう」とか
443:￥
17/07/04 22:56:02.72 wspk9Yjr.net
これは私の考え方ですが、もし目の前の「ある現象」を分析したいとします。その際に
選択肢としては：
１．微分方程式を立てる。（可能性はたったひとつ「ではない」けど。）
２．確率モデルを立てる。（これもひとつ「ではない」のは当然。）
３．もっと複雑な『何がしか』という可能性。
この１．場合でさえ『シュワルツでOK、佐藤でOK、どちらでもダメ』という可能性があ
るでしょう。即ち：
★★★『現象を解析する場合に、正しいモデルを立てる事と、それを正しく扱う事とは「別だ」』★★★
という事であり、従って：
（あ）モデル自身のPlausibility。
（い）解析手段の厳密性のヒエラルヒー。
とは別です。数学がとやかく言えるのはこの二つ目だけです。但し信念として：
☆☆☆『由緒正しき対象を正しくモデライズすれば、それは「必ず」純粋数学としてもOK。』☆☆☆
という宗教には、我々は入信してるのではないかと。
だから私が言いたかったのは、例えば生物学のモデルでもいいし、或いは経済学でもい
いんですが、その中で「うまいクラスをきちんと選ぶ」という様な事をすれば、或いは
『Kolmogorovとは全く違う公理系を発見するチャンスがある』という可能性です。
￥
444:現代数学の系譜 古典ガロア理論を読む
17/07/04 22:57:24.82 8fQUKD9a.net
>>394
>★★★『この（物理、或いは社会）現象は「計算機でシュミレートできる」という場合。』★★★
>では『それで数学の厳密なモデルが出来上がった』と言っていいのか、という
>問題ですよね。纏めれば：
まあ、それは、量子力学の繰り込み理論とか
パスインテグラルとかの類似かと
厳密な数学が出来上がっていない
だから、解けるところから解いてみようという話と類似では？
あるいは、確率論のKolmogorovも同じかも
で、量子力学の繰り込み可能性が、現代素粒子論の結構セントラルドグマのようになってしまった
これに関連しているかどうか不明ですが、ミレニアム問題にも、量子力学の質量の導出が数学の未解決問題として挙げられています
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
ヤン?ミルズ方程式の存在と質量ギャップ問題とは、量子色力学および数学上の未解決問題である。2000年、アメリカ合衆国のクレイ数学研究所はミレニアム懸賞問題の一つとしてこの問題に100万ドルの懸賞金をかけた。
問題文は次の通り[1]。
ヤン・ミルズ方程式の存在と質量ギャップ問題。任意のコンパクトな単純ゲージ群 G に対して、非自明な量子ヤン・ミルズ理論がR^4 上に存在し、質量ギャップ Δ > 0 を持つことを証明せよ。
存在とは、Streater & Wightman (1964)、Osterwalder & Schrader (1973) や Osterwalder & Schrader (1975) で挙げられているものと少なくとも同等以上に強い公理的性質を確立することを含む。
このステートメントにおいて、ヤン＝ミルズ理論は素粒子物理学の標準模型の基礎にあるものと類似した非可換な場の量子論である。R^4 は4次元ユークリッド空間であり、質量ギャップ（英語版） Δ はこの理論によって予言される最小質量を持つ粒子の質量である。
従って、勝者となるには以下を証明する必要がある。
・ヤン・ミルズ理論が存在し、現代の数理物理学、なかんづく構成�
445:I場の理論を特徴付けている厳密さの基準を満たすこと[2][3]。 ・その理論が予言する力場における最小質量を有する粒子の質量が厳密に正であること。
446:￥
17/07/04 23:04:52.08 wspk9Yjr.net
ちょっと気に入ってる人が居るので宣伝しますが、来週末に数理研で「高木レクチャー」
があります。そこで若いフランス人数学者で素晴らしく優秀な人が喋るようです。是非
とも聞きに行かれるといいと思います。彼は：
★★★『「今まで厳密に出来るかどうか判らなかった世界」をかなり厳密な数学で切り込む。』★★★
というハイパワーの数学者だと思います。
こういう人がちゃんと出て来るフランスって素晴らしいですよ。とても楽しみな人です。
￥
447:現代数学の系譜 古典ガロア理論を読む
17/07/04 23:08:39.62 8fQUKD9a.net
>>399
>これは私の考え方ですが、もし目の前の「ある現象」を分析したいとします。その際に
>選択肢としては：
>１．微分方程式を立てる。（可能性はたったひとつ「ではない」けど。）
> ２．確率モデルを立てる。（これもひとつ「ではない」のは当然。）
> ３．もっと複雑な『何がしか』という可能性。
￥さん、どうも。スレ主です。
その話は、アインシュタインの一般性相対性理論の話を思い出しますね
アインシュタインの一般性相対性理論のあと、「一般相対性理論以外の重力理論も、数多く提案されているが、現在までにほとんどが観測的に棄却されている」と書かれていますね
「他に提案されたどの重力理論よりも一般相対性理論は単純な形をしていることから、重力は一般相対性理論で記述される、と考えるのが現代の物理学である」とも
URLﾘﾝｸ(ja.wikipedia.org)
一般相対性理論
(抜粋)
アインシュタイン以後、一般相対性理論以外の重力理論も、数多く提案されているが、現在までにほとんどが観測的に棄却されている。
実質的に対抗馬となるのは、カール・ブランスとロバート・H・ディッケによるブランス・ディッケ重力理論であるが、現在の観測では、ブランス・ディッケ理論のパラメーターは、ほとんど一般相対性理論に近づけなくてはならず、両者を区別することが難しいほどである。
量子論と一般相対論の統一という物理学の試みは未だ進行中であるものの、一般相対性理論を積極的に否定する観測事実・実験事実は一つもない。他に提案されたどの重力理論よりも一般相対性理論は単純な形をしていることから、重力は一般相対性理論で記述される、と考えるのが現代の物理学である。
448:￥
17/07/04 23:13:24.05 wspk9Yjr.net
その問題には私は真面目に興味を持った事がないから、なので判りません。Feynmanの
本だったか論文だったかに「ちゃんとやれば出来る筈」と書いてあった様な気が…
まあでもソコは『Diracが正に気に入らない部分そのもの』ですよね。
私自身の興味は所詮は『数学そのもの』でしかないので、だから：
★★★「物理を問題にして、そしてそれがネタになって数学を豊かにすればそれで充分。」★★★
という風に思ってますがね。
￥
449:現代数学の系譜 古典ガロア理論を読む
17/07/04 23:15:45.69 8fQUKD9a.net
>>401
>ちょっと気に入ってる人が居るので宣伝しますが、来週末に数理研で「高木レクチャー」
>があります。そこで若いフランス人数学者で素晴らしく優秀な人が喋るようです。
今週？ ７月８日（土）-９（日）ですね。” Hugo Duminil-Copin (Institut des Hautes Etudes Scientifiques)”ですね
URLﾘﾝｸ(www.ms.u-tokyo.ac.jp)
第１９回高木レクチャー
平成２９年７月８日（土）-９（日）
京都大学数理解析研究所
大講義室420号室
招待講演者： ? Mark Braverman (Princeton University)
"Information Complexity and Applications"
（情報の複雑性の理論とその応用）
［アブストラクト（HTML）］
? Hugo Duminil-Copin (Institut des Hautes Etudes Scientifiques)
"Sharp Threshold Phenomena in Statistical Physics"
（統計物理における相転移現象について）
［アブストラクト（HTML）］
? Roger E. Howe (Yale University)
"Duality and Rank in Representation Theory"
（表現論における双対性と階数）
［アブストラクト（HTML）］
450:￥
17/07/04 23:20:16.67 wspk9Yjr.net
その『どっちのモデルでもそれなりに正しい』という話であれば、その典型例は天動説
と地動説（の違い）ですよ。数値的に「合う・合わないの議論」が如何に当てにならな
いか（ならなかったか）というのは、どうやら科学史の有名な話みたいです。
但しどこにこんな話が書いてあったかは、もう忘れましたが。
￥
追加：但しPoincareの「どれか」には、ソレに近い議論はありましたね。確か。
451:￥
17/07/04 23:23:07.53 wspk9Yjr.net
訂正：
来週末 ⇒ 今週末
￥
452:現代数学の系譜 古典ガロア理論を読む
17/07/04 23:29:43.41 8fQUKD9a.net
>>405
>その『どっちのモデルでもそれなりに正しい』という話であれば、その典型例は天動説
>と地動説（の違い）ですよ。数値的に「合う・合わないの議論」が如何に当てにならな
>いか（ならなかったか）というのは、どうやら科学史の有名な話みたいです。
￥さん、どうも。スレ主です。
その話は、私も読んだことがあります。
私も、いつだったか忘れましたが（＾＾
でも、結局、地動説の方がすっきりしているし、予言能力が高い
ニュートンの法則で、全てが説明できますから
453:現代数学の系譜 古典ガロア理論を読む
17/07/04 23:30:56.46 8fQUKD9a.net
>>406
￥さん、どうも。スレ主です。
長時間お付き合いありがとうございます
日付変更線が近づいてきましたので、また明日
では
454:￥
17/07/04 23:31:13.99 wspk9Yjr.net
本来は成り立ってはいけない主張：
これが具体的に何かは私にも判りません。でもΩの任意の可測部分集合に対して「現実
の何がしかに対応物がある」というのは無理ですよね。これはあたかもvon Neumannが
定式化する量子力学で「全ての自己共役作用素は観測可能量に対応する」というウソと
同じでしょうね。
何か『こういう感じの事柄』です。つまり「Kolmogorovの公理系は何か無理してる」と
いう印象です。（制限がキツ過ぎると同時に、何か大事なクラスを排除してる？）
￥
455:￥
17/07/04 23:33:04.23 wspk9Yjr.net
そうですか。ではまた。
￥
456:￥
17/07/04 23:33:13.25 wspk9Yjr.net
そうですか。ではまた。
￥
457:１３２人目の素数さん
17/07/05 06:08:22.01 VRdN7kIX.net
なんだ >>1は>>359の誤りにも気づけない数痴か
>例えばkが選ばれたとせよ.
>s^kの決定番号d_kが他の列の決定番号「の」
>どれよりも大きい確率は「1/99」に過ぎない.
誤 1/99
正 1/100
kは１～100の「100個」の数の中から選ばれる
全てのd_iがそれぞれ異なる数である場合
100個のd_iの最大元は1つしかない
その1つを選ぶ確率は1/100 決して1/99ではない
こんな簡単なこと小学生でもわかる
わからないおっちゃんと>>１は幼稚園児か？
458:１３２人目の素数さん
17/07/05 06:13:19.94 VRdN7kIX.net
なんだ >>1は>>359の誤りにも気づけない数痴か
> S^1～S^(k-l),S^(k+l)～SlOOの決定番号のうちの最大値Dを書き下す.
> いよいよ第k列 の(D+1) 番目から先の箱だけを開ける
>：S^k(D+l)， S^k(D+2)，S^k(D+3)，
>・・・.いま
> D >= d_k
>を仮定しよう.この仮定が正しい確率は「1/100」
誤 1/100
正 99/100
D＜d_k となる確率が1/100（注：1/99ではない)
したがってD >= d_kとなる確率は1-1/100=99/100
こんな簡単なこと小学生でもわかる
わからないおっちゃんと>>１は幼稚園児か？
459:１３２人目の素数さん
17/07/05 06:17:54.76 VRdN7kIX.net
>>412-413
こんな明確な誤りを看過して
「おっちゃん、解析や測度論に強そう」
とかいってる>>1氏も、おっちゃん同様 数痴数盲か
460:１３２人目の素数さん
17/07/05 06:23:27.08 VRdN7kIX.net
>>1とおっちゃんに質問
n人の人がカラオケバトルしたとします
トップは平均何回入れ替わるでしょう？
・当たりまえですが、採点基準は皆同じ（えこひいきなし）
・採点の分布は問題の答えには依存しません
（えこひいきなしの条件のみから答えが導けます）
解ければ「数痴数盲」の汚名返上
461:１３２人目の素数さん
17/07/05 06:28:01.88 VRdN7kIX.net
>>415の追記
最初の人がトップのままなら入れ替わりなし
つまり、入れ替わりの回数は最大n-1回です
462:１３２人目の素数さん
17/07/05 07:41:29.30 UG4Em6wf.net
おっちゃんです。
>>412
>>どれよりも大きい確率は「1/99」に過ぎない.
の直前に
>s^kの決定番号が他の列の決定番号「の」どれよりも大きい確率
と書いてあるから、100個ある決定番号から最大の決定番号は
取り除いて考えないと文章として意味がなくなる。最大の決定番号を選ぶと、
そのどれよりも大きい決定番号は100個ある決定番号の中には存在せず、
条件を満たすように比較のしようがない
(そういうように比較しようがないのが最大の決定番号)。
なので、100個ある決定番号から最大の決定番号を取り除いて考えた結果、
他の列のどれよりも大きい確率は「1/99」になる。
>>413
最初にkが定められているから、「D >= d_k」の「d_k」は固定されている。
kの定め方は100通りあるから、その不等式によるような仮定の仕方は100通りある。
だから、「D >= d_k」の仮定が正しい確率は「1/100」になる。
463:１３２人目の素数さん
17/07/05 07:42:40.38 UG4Em6wf.net
昨日の>>369は取り消し。
464:１３２人目の素数さん
17/07/05 07:56:39.46 UG4Em6wf.net
>>412
>>417の「>>412」宛てのレスで
>そのどれよりも大きい決定番号は100個ある決定番号の中には存在せず、
の部分は
>それ(s^kの決定番号d_k)の他の列の決定番号「の」 どれよりも大きい確率は「99/100」に過ぎない
>という条件を満たさず、その確率は「99/100」に過ぎないどころかそれに反して「1」になって、
と訂正。
465:１３２人目の素数さん
17/07/05 08:01:03.81 UG4Em6wf.net
>>415
>n人の人がカラオケバトルしたとします
カラオケバトルとは何ですか？
ルールとかサッパリ分かりません。
466:１３２人目の素数さん
17/07/05 08:12:46.12 UG4Em6wf.net
>>412
ややこしくなったから、>>417の前半とそこの訂正>>419はまとめて一旦書き直し。
>どれよりも大きい確率は「1/99」に過ぎない.
の直前に
>s^kの決定番号が他の列の決定番号「の」どれよりも大きい確率
と書いてあるから、100個ある決定番号から最大の決定番号は
取り除いて考えないと文章として意味がなくなる。最大の決定番号を選ぶと、
それ(決定番号が最大となるような実数列)の他の列の決定番号「の」 どれよりも大きい確率は「99/100」に過ぎない
という条件を満たさず、その確率は「99/100」に過ぎないどころかそれに反して「1」になって、
条件を満たすように比較のしようがない
(そういうように比較しようがないのが最大の決定番号)。
なので、100個ある決定番号から最大の決定番号を取り除いて考えた結果、
他の列のどれよりも大きい確率は「1/99」になる。
467:１３２人目の素数さん
17/07/05 08:51:35.60 5mqowMq5.net
>>420
フィギュアスケートでも体操でもわかるような採点競技で読み替えれば？
468:１３２人目の素数さん
17/07/05 08:56:30.70 UG4Em6wf.net
一応、>>421の1番下の行の訂正：
他の列のどれよりも大きい確率 → 他の列の「決定番号の」どれよりも大きい確率
469:１３２人目の素数さん
17/07/05 12:25:33.81 UG4Em6wf.net
>>415
カラオケバトルや採点競技の採点方法のルールがよく分からんが、解釈が正しければ、以下の通り。
n≧2 としてよい。
各 t＝1,2,…,n に対して第t番目の歌い手を a_t とする。
各 t＝1,2,…,n を a_t が歌う時刻とする。
時刻 t＝1,…,n でトップが入れ替わる回数を b_t とする。
t＝1 では a_1 の他にトップはいないから b_1＝0。
t＝2 では a_2 がトップを狙うから b_2＝1。
t＝3 では a_1, a_2, a_3 の間でトップを競い、
a_3 しか入れ替わってトップになり得る人はいないから b_3＝1。
……
以下同様に、各 t＝2,…,n では a_1,…,a_t の間でトップを競い、
a_t しか入れ替わってトップになり得る人はいないから b_t＝1。
よって、n回観測することから、トップが入れ替わる平均回数は
(Σ_{t=1,…,n}(b_t))/n＝(b_1＋Σ_{t=2,…,n}(b_t))/n
＝( 0＋1×(n－1) )/n
＝(n－1)/n。
470:現代数学の系譜 古典ガロア理論を読む
17/07/05 16:04:15.77 bBYN/6y/.net
>>409
￥さん、どうも。スレ主です。
昨夜はありがとうございました
￥さんとの会話、なかなか深いので、私のレベルでは、ついて行くのが大変です（＾＾
>Ωの任意の可測部分集合に対して「現実の何がしかに対応物がある」というのは無理ですよね。これはあたかもvon Neumannが
>定式化する量子力学で「全ての自己共役作用素は観測可能量に対応する」というウソと同じ
文の前半は、”確率を求めたい「現実の何がしか」→Ωの任意の可測部分集合”の対応が存在すれば、十分なのでしょうかね
でも”同→Ωの非可測部分集合”の対応にならざるを得ないので、不十分ということでしょうか
文の後半は、von Neumann以下が難しすぎるので、下記引用でお茶を濁します（＾＾
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
量子集合論と量子力学の解釈問題 - RIMS, Kyoto University 東北大学大学院惰報科学研究科小澤正直(Masanao Ozawa) 2006 年62-93
(抜粋)
10 量子観測可能量の値の実在性と量子実数の可換性
量子力学では, 個々の観測可能量は原理的に幾らでも正確に測定が可能で, その測定値の確率分布が前述のBorn の統計公式で理論的に予言される.
また, 複数個の可換な観測可能量の値は, 原理的には, 一個の観測可能量の値に帰着されるので, それらもやはり, 同時に測定が可能で, その測定値の結合確率分布が前述のBorn の統計公式で理論的に予言される.
しかし, 非可換な観測可能量の間の結合確率分布が?般には定義されないので, 観測可能量の値が同時に実在すると解釈することには困難がある.
ある種の観測可能量の値の実在論的解釈の不可能性および同時測定不可能性は, 一般に不確定性原理と呼ばれているが, その関係を正確に表現する問題はまだ十分に解明されていない.
観測可能量の値の実在性と量子集合論に関する最近の研究成果は, 以下のようにまとめることができる.
与えられた状態ψ のもとで, 観測可能量A とB の値が同時に実在すると考えられる(実在論的解釈を持つ) ための必要十分条件は,
状態ψ における任意のaA+bBの任意の実係数多項式p(aA+bB)=f(A, B) の期待値がA とB の値の結合確率分布で表現できることである.
(引用終り)
つづく
471:現代数学の系譜 古典ガロア理論を読む
17/07/05 16:04:54.22 bBYN/6y/.net
>>425 つづき
>>409
>つまり「Kolmogorovの公理系は何か無理してる」と
>いう印象です。（制限がキツ過ぎると同時に、何か大事なクラスを排除してる？）
はい、その例が、>>393の"２．その一方で『扱えて欲しいものが定式化出来ない』（時枝問題とか）がある"と
可算無限個の箱の数列のしっぽでの同値類分類の決定番号の確率計算は、Kolmogorovの公理系では、制限がキツ過ぎ、排除されるということですね
472:現代数学の系譜 古典ガロア理論を読む
17/07/05 16:06:48.09 bBYN/6y/.net
>>365
おっちゃん、どうも、スレ主です。
回答ありがとう（＾＾
>n→+∞ としたとき生じる半開区間(0,0]、(1,1]、(0,1] の3つになって、矛盾が生じるから、(by >>369 修正)
おっちゃんらしいね～（＾＾
じゃ、>>361の2)3)をちょっと修正しよう
＜修正＞
２）例えば、半開区間 (0,1] のn個の半開区間 に分割してたとして、1/n＝ε >0として、
(0,0+ε], (ε,2ε],・・,((i-1)ε,iε],・・,(1-ε,1] で、どの区間かを的中させる確率は、εだと。
３）２）でε→0 (ε>0) とすれば、的中させる確率は、0(ゼロ)だと。
どう？
補足）
ここで、εを使っているのは、近傍系にして、区間を可算の範囲内で処理するとことがポイントなんだ
おっちゃんには、”いわずもがな”だがね
473:現代数学の系譜 古典ガロア理論を読む
17/07/05 16:08:39.58 bBYN/6y/.net
>>427 訂正
区間を可算の範囲内で処理するとことがポイントなんだ
↓
区間を可算の範囲内で処理するところがポイントなんだ
474:１３２人目の素数さん
17/07/05 16:59:16.62 rfoG/hYR.net
全部空集合
475:￥
17/07/05 17:00:50.00 EqTnonCD.net
この問題を正確に申し述べるのは（私には）極めて困難ですが、まあ概ねは：
１．Ωの可測部分集合というだけであれば、かなり無茶苦茶なものが取れる。
２．任意の自己共役作用素というのは無理である。（超選択則という話。）
です。ちょっと話を分けます。
第一点：古典確率論とでも言うべきか：
例えば気体分子運動論ではΩは物理の位相空間（Phase space）として無茶な空間を考え
て理論展開しますが、ここで「どんな実数値函数でも物理量である」とすれば、例えば
『エルゴード定理を証明する』というのは、厳密にはアウトですよね。田崎晴明さんを
始め、何人もの
476:物理学者がこの問題を指摘してるのは半年ほど前に知りました。私の印 象ではBrown運動を基礎に据えた方が、まだマシではないかと。（この先は未だちゃん と考えてませんが。）そもそも相互作用をしない筈の理想気体では、エネルギー交換は しないから、従って理論全体はConsistentではないかと。 尤も普通の物理の人はソコまで厳密には考えないだろうから、従って「気体分子運動論 とBrown運動とは概ねは同一視してる」みたいな。（例えばジャン・ペランの本とか。） まあ何れにしても『測度空間をそのままマトモに使う』というのは、何か無理をしてる 印象がどうしてもします。コレは作用素環だとvon Neumann環ですが。 （続きます）
477:￥
17/07/05 17:01:30.54 EqTnonCD.net
続き：
第二点：量子確率論とでも言うべきか：
私が指摘したのは、所謂「超選択則の問題」であり、例えばd'Espagnatの岩波の教科書
に書かれてますが、ネットでは：
URLﾘﾝｸ(www2.yukawa.kyoto-u.ac.jp)
URLﾘﾝｸ(www.phys.cs.is.nagoya-u.ac.jp)
がありました。
この問題は深入りすれば『大変な事にナル』ので、私はコレ以上はコメントしません。
でも雑駁な印象としては「von Neumannはちょっと違うのではないか」と思える部分が
あります。例えば観測可能量としての自己共役作用素をスペクトル分解して、その分解
して得られた「全ての射影作用素」というのは、ちょっとバラバラにし過ぎかと。
何れにしてもこの部分に関しては、私は未だ考えが纏まってません。但し：
★★★『von Neumannがやったのは「量子力学の計算をjustifyしただけ」であり、
この数学的な定式化が「量子力学の定式化そのもの」ではないのでは？』★★★
という様な事です。
だから私はKolmogorovの公理系に対しても「von Neumannの公理化と同様の印象」を感
じています。尤もKolmogorovはL^1-likeな確率論であり、そして量子力学はL^2-like
な確率論だろうから、この違いも気持ちが悪いですが。
￥
追伸：極めて不完全な記述で、済みませんが。もし間違いがあればご指摘下さい。
478:￥
17/07/05 17:09:22.85 EqTnonCD.net
訂正：
量子力学の定式化そのもの ⇒ 量子力学そのものの定式化（定義）
￥
479:￥
17/07/05 17:11:24.85 EqTnonCD.net
訂正：
従って理論全体はConsistentではないかと。
⇒ 従って理論全体はConsistentではないのではないかと。
￥
480:１３２人目の素数さん
17/07/05 17:12:56.07 UG4Em6wf.net
>>427
そういえば、>>365での3)への回答について、
半開区間 (0,0]、(1,1] の2つはどっちも空集合だったな。
481:￥
17/07/05 17:20:36.35 EqTnonCD.net
訂正：
「量子力学の計算をjustifyしただけ」
⇒ 「量子力学で出て来る具体的な計算をjustifyしただけ」
￥
482:１３２人目の素数さん
17/07/05 18:51:18.30 VRdN7kIX.net
>>417
おっちゃんは論理が分からんらしいから
状況を全て図示してやる
なお、100個は面倒なので3個で考える
d1最大
d2<d1 d2<d1 ○
d1<d2 d3<d2 ×
d1<d3 d2<d3 ×
d2最大
d2<d1 d2<d1 ×
d1<d2 d3<d2 ○
d1<d3 d2<d3 ×
d3最大
d2<d1 d2<d1 ×
d1<d2 d3<d2 ×
d1<d3 d2<d3 ○
どの場合もdkが他の決定番号より大きい確率は1/3
逆にdkは他の決定番号の最大値より小さい確率は2/3
483:１３２人目の素数さん
17/07/05 18:58:17.93 VRdN7kIX.net
>>424
ま、おっちゃんが解けるとははなから思ってなかったけどな
a_nがトップになる確率は1/nだよ
だから、ｎ人によるカラオケバトルで、トップの交代回数は
平均 1/2+1/3+…+1/n 回（nが大きくなればln(n)に近づく）
「箱入り無数目」で2人目、3人目と順次予測していって
予測が外れる回数も上記の通り
nが増えていけば、予測失敗確率は
lim(n→∞)ln(n)/n→0
になる
484:１３２人目の素数さん
17/07/05 20:26:50.61 rYd8v89/.net
社会から弾かれたアホと痴漢の�
485:ｩ苦しい慣れ合いはまだまだ続くのであった いるんだよね、人の迷惑考えられない奴って
486:１３２人目の素数さん
17/07/06 02:15:11.94 wqDq4a5l.net
うむうむ、￥君の社会復帰が期待されていいんじゃない
なかなか時にきらめくような（？）一行が見られて喜んでるんだがいけませんか
別に誰にも迷惑はかけてないと思うんだけど
あのセンセは昔増田の親友だったと言われるのが怖いの
そこまで自分の人生を飾らなくても
487:１３２人目の素数さん
17/07/06 04:23:08.95 7Pi2bEAD.net
>>436
おっちゃんです。
>例えばkが選ばれたとせよ.
>s^kの決定番号が他の列の決定番号「の」どれよりも大きい確率は「…」に過ぎない
と書かれた時点で最大の決定の存在性は保証したことになる。
そこで、100個は面倒なので6個で考える。d_6 が最大の決定番号としよう。
d_1,…,d_5＜d_6 となる確率は 1。このとき決定番号が他のどれよりも大きい確率は 99/100 より大きくなる。
各 i＝1,…,5 に対して d_6＜d_i とはならず、
「他の列の決定番号のどれよりも大きい」ことにはならないから、
d_6 も含めて他の決定番号と比較することは出来ない。そのようなことをすると、記事の
>s^kの決定番号が他の列の決定番号「の」どれよりも大きい確率は「99/100」に過ぎない
どころか、d_1,…,d_5＜d_6 となる確率のように、他のどれよりも大きい確率は1となることがあり得る。
d_1,…,d_5 の中で大小を考えるようなことをしてこそ、すぐ前に書いた記事の部分が
意味を持つ。最初っから最大の決定番号を選ぶようなことを考えては、
記事の文章として意味がなくなる。いっている意味分かる？
488:１３２人目の素数さん
17/07/06 04:35:49.97 7Pi2bEAD.net
>>437
>平均 1/2+1/3+…+1/n 回（nが大きくなればln(n)に近づく）
そういう公式扱いになるような下らない知識のご自慢はするな。
489:１３２人目の素数さん
17/07/06 05:09:08.77 7Pi2bEAD.net
>>436
訂正出来るとは思うが、一応>>440の訂正：
下から6行目：記事の → 記事の「文章について」
下から3行目：すぐ前に書いた記事の部分が → すぐ前に書いた記事の部分「の文章」が
下から2行目：最初っから最大の決定番号を選ぶようなこと → 最大の決定番号も含めて例の確率を考えるようなこと
490:１３２人目の素数さん
17/07/06 05:46:21.28 7Pi2bEAD.net
>>436
>>440の訂正：
上から5行目について：1つ目の文「そこで、100個は……。」と2つ目の文「d_6 が最大の決定番号としよう。」 の
真ん中に「d_1,…,d_6 を決定番号とする。」を追加。
上から6行目：このとき決定番号が他のどれよりも大きい確率 → このとき d_6 が他のどれよりも大きい確率
491:１３２人目の素数さん
17/07/06 06:00:31.26 oyrpC7ft.net
>>441
>そういう公式扱いになるような下らない知識のご自慢はするな。
こいつなに僻んでんだ？
492:１３２人目の素数さん
17/07/06 06:07:08.28 oyrpC7ft.net
>>440
＞d_6 が最大の決定番号としよう。
アタマ悪いな
選んだkの決定番号d_kが常に最大の決定番号とかどんなオカルトだよ？
>>436で、d1,d2,d3の各場合が最大の場合上げてるだろ
493:１３２人目の素数さん
17/07/06 06:08:59.07 7Pi2bEAD.net
>>436
ややこしいから、>>440の本文についてまとめて訂正する。
>例えばkが選ばれたとせよ.
>s^kの決定番号が他の列の決定番号「の」どれよりも大きい確率は「…」に過ぎない
と書かれた時点で最大の決定の存在性は保証したことになる。
そこで、100個は面倒なので6個で考える。d_1,…,d_6 を決定番号とする。d_6 が最大の決定番号としよう。
d_1,…,d_5＜d_6 となる確率は 1。このとき d_6 が他のどれよりも大きい確率は 99/100 より大きくなる。
各 i＝1,…,5 に対して d_6＜d_i とはならず、
「他の列の決定番号のどれよりも大きい」ことにはならないから、
d_6 も含めて他の決定番号と比較することは出来ない。そのようなことをすると、記事の文章について
>s^kの決定番号が他の列の決定番号「の」どれよりも大きい確率は「99/100」に過ぎない
どころか、d_1,…,d_5＜d_6 となる確率のように、他のどれよりも大きい確率は1となることがあり得る。
d_1,…,d_5 の中で大小を考えるようなことをしてこそ、すぐ前に書いた記事の部分の文章が
意味を持つ。最大の決定番号も含めて例の確率を考えるようなことを考えては、
記事の文章として意味がなくなる。いっている意味分かる？
494:１３２人目の素数さん
17/07/06 06:14:07.57 7Pi2bEAD.net
>>445
>選んだkの決定番号d_kが常に最大の決定番号とかどんなオカルトだよ？
最初に s^1,…,s^100 を選ぶんだから、最大の決定番号は記事でいうと d_1,…,d_100 の中にあるだろ。
495:１３２人目の素数さん
17/07/06 06:23:43.46 7Pi2bEAD.net
>>445
記事には
>s^kの決定番号が他の列の決定番号「の」どれよりも大きい確率は「99/100」に過ぎない.
>第1列～第(k-1) 列，第(k+1)列～第100列の箱を全部開ける
と書かれているから、1≦k≦100 だろ。
496:１３２人目の素数さん
17/07/06 07:02:44.07 oyrpC7ft.net
>>446-448
おまえ日本語が分からないのか？
自分が選んだd_kが常に最大の決定番号だとどうして言い切れるんだ？
＞いっている意味分かる？
言葉の通じない奴のいうことなんか分かるわけないだろ
497:１３２人目の素数さん
17/07/06 07:05:07.55 oyrpC7ft.net
おっちゃんは言葉が分からない発達障害だったんだな
そりゃ講義聞いても理解できないから独学に逃避するわな
498:１３２人目の素数さん
17/07/06 07:11:36.36 7Pi2bEAD.net
>>449-450
>自分が選んだd_kが常に最大の決定番号だとどうして言い切れるんだ？
そんなこと全くいっていない。
記事として文章が滅茶苦茶になって全く文脈が通らない場合があることを指摘しただけ。
499:１３２人目の素数さん
17/07/06 07:22:44.57 7Pi2bEAD.net
>>450
>講義聞いても理解できないから独学に逃避する
講義で出来る�
500:燉eなどごく僅かで限らている。 小中高生でもあるまいし、講義される内容を本当に理解するには講義はムダと考えた方がいい。
501:現代数学の系譜 古典ガロア理論を読む
17/07/06 08:13:09.32 qgJA+Zd6.net
>>430-431
￥さん、どうも。スレ主です。
￥さんの話は、レベルが高すぎて、ついて行くのが大変ですね（＾＾
普通の数学屋さんとは、おそらく会話が成り立たないかな～（＾＾
えーと、まあ、まずは自分の勉強から（＾＾
>第一点：古典確率論
”エルゴード定理”
URLﾘﾝｸ(math.tsukuba.ac.jp)
秋山茂樹 筑波大・数理物質系・数学域
URLﾘﾝｸ(math.tsukuba.ac.jp)
解説 講究録など
URLﾘﾝｸ(math.tsukuba.ac.jp)
解説 エルゴード理論と数論 数学セミナー７月号(2014) の原稿
(抜粋)
3 エルゴード定理
一般に測度論的力学系(X, T, μ) が与えられた時、T-不変な可測集合つま
りT??1(A) = A を満たす集合が空集合またはX 全体しかないときエルゴー
ド的と呼ばれる。定義は少し分かりにくいがT の軌道がX の全体に広がっ
て一つの系をなすという意味である。
これまでに挙げた３つの数
論的な例は全てエルゴード的となることが証明できる。バーコフの個別エル
ゴード定理はエルゴード理論の基本定理で、次の事を主張する。
定理1. (X, T, μ) がエルゴード的ならば、任意の可測関数f に対して
lim {N→∞}1/NΣ{n=0～N-1}f(T^n(x)) =∫{X}fdμ
が測度0 の例外を除いてすべての点x で成り立つ。
(引用終り)
つづく
502:現代数学の系譜 古典ガロア理論を読む
17/07/06 08:14:30.01 qgJA+Zd6.net
>>453 つづき
”エルゴード理論”（「エルゴード仮説との直接の関係は薄い」とか）
URLﾘﾝｸ(ja.wikipedia.org)
エルゴード理論
(抜粋)
エルゴード理論は、ある力学系がエルゴード的（ある物理量に対して、長時間平均とある不変測度による位相平均が等しい）であることを示す、すなわちエルゴード仮説の立証を目的とする理論。
この仮説は、SinaiらのDynamical billiardsの例などで正しいという証明が与えられているが、統計力学の基礎とは無関係である。また、物理学でのエルゴード性を抽象化した、数学における保測変換の理論をそう呼ぶこともある。
エルゴード仮説
エルゴード仮説とは、長い時間尺度 (time scale) でみると、微小状態からなる位相空間内で同じエネルギーをもった領域に費やされる時間は位相空間でしめる体積に比例するというもの。
すなわち、そのようなすべての実現可能な微小状態は長い目で見ると等しい確率で起こるということ。さらに言いかえれば、時間平均と、統計力学でいうアンサンブル（起こりうる微小状態の数だけある系のレプリカの集まり）内での平均は等しくなるということ。
証明されていないため仮説の域は出ないものの、この仮説を採用してシミュレーションを行うと現実を非常にうまく説明できることを疑うものはいない。その意味で特に工学分野において、証明を必要とする「仮説」の字を避けエルゴード仮設と呼ぶことがある。
問題点
エルゴード仮説は統計力学の基礎としては的を外しているという主張も専門家によってなされている[1]。
数学におけるエルゴード理論
エルゴード理論は確率論にもとづいた力学系の一つの分野である。 物理へのみならず数論など数学の他分野への応用も多い。 上記のエルゴード仮説との直接の関係は薄い。
物理学におけるエルゴード理論
物理学、特に量子力学において、エルゴード理論をパイを作るときの混合で説明している[2]
引用[編集]
1^ 田崎晴明による解説 統計力学 I, II（培風館、新物理学シリーズ） URLﾘﾝｸ(www.gakushuin.ac.jp)
2^ 伏見康治「確率論及統計論」第 VIII 章 エルゴード理論 72節. 或る今後の問題 p.413 URLﾘﾝｸ(ebsa.ism.ac.jp)
(引用終り)
つづく
503:現代数学の系譜 古典ガロア理論を読む
17/07/06 08:15:40.30 qgJA+Zd6.net
>>454 つづき
”統計力学（田崎 晴明著）”
URLﾘﾝｸ(blog.goo.ne.jp)
統計力学〈1〉（田崎 晴明著） 2009年11月04日 とね日記
(抜粋)
この本で僕はすっかり田崎先生のファンになってしまった。「統計力学〈1〉（田崎 晴明著）」は、今年僕が読んだ物理学書にランキングをつけるとすればおそらく１位となるだろう。この本で勉強できる今の学生は恵まれていると思った。
連休に時間がとれたので後半を集中して読むことができた。ありがたい連休だった。ブログ記事の投稿数がこのところ激減しているのも田崎先生の本に僕が熱中しているためである。（笑）
”統計力学（田崎 晴明著）”hiroyukikojima
URLﾘﾝｸ(d.hatena.ne.jp)
hiroyukikojimaの日記 2017-02-18 経済学者がこぞって読むべき物理の本
(抜粋)
今回は、久々に物理学の本の紹介をしようと思う。紹介するのは、田崎晴明『統計力学I』培風館だ。
なぜ今頃読んだか、というと、それは経済学的なモチベーションからなのだ。
経済学では、「ミクロとマクロがいったいどうつながっているのか」というのは、いまだに解決されていない難題であり、突破口を見つけなければならない課題である。とりわけ、マクロ経済学において、ミクロ理論での基礎付けが要求される現状では不可避のことだ。
読んでみたら、めちゃくちゃのけぞった、というか、驚いた、というか、感動した、というか、目を丸くした。そこには、ぼくの経済学的なモチベーションを刺激する記述があちこちにあったからだ。この本は、経済学者必読の物理学書と太鼓判を押せる本だったのである。
つづく
504:現代数学の系譜 古典ガロア理論を読む
17/07/06 08:16:24.52 qgJA+Zd6.net
>>455 つづき
”統計物理学の基礎”田崎 晴明
URLﾘﾝｸ(www.gakushuin.ac.jp)
田崎 晴明 学習院大学理学部物理学科
URLﾘﾝｸ(www.gakushuin.ac.jp)
統計物理学の基礎をめぐって （数理科学 1999 年 4 月号 p. 53） 平衡統計力学を、いかに特徴付け、いかに導入するか、の試み。
(抜粋)
ここでの議論は、かなり直観的で大ざっぱなものだったが、少なくとも一つの
かなり人工的な例については、以上の議論が全て厳密に遂行できて、量子力学の
時間発展と初期状態についての弱い条件だけからカノニカル分布を完全に導出す
ることができる [2]。より現実的な系で、同様の結果を示すこと（あるいは示そう
としたときに遭遇する困難を分析すること）は、難しいが重要なこれからの課題
である。
(引用終り)
つづく
505:現代数学の系譜 古典ガロア理論を読む
17/07/06 08:16:54.00 qgJA+Zd6.net
>>456 つづき
”くりこみ群とはなにか”田崎 晴明
URLﾘﾝｸ(www.gakushuin.ac.jp)
くりこみ群とはなにか （パリティ 1996 年 6 月号 p. 11） 「学部生にもわかるくりこみ群の解説」という謳い文句で書いた。 意に反して、専門家への受けがよかった。
”くりこみ理論の地平”田崎 晴明
URLﾘﾝｸ(www.gakushuin.ac.jp)
くりこみ理論の地平 は、数理科学 1997 年 4 月号の同題の特集
506:の巻頭の解説として、大野克嗣さん、東島清さんと書いたもの。 くりこみ、普遍性を軸にした科学観にも触れた。 つづく
507:現代数学の系譜 古典ガロア理論を読む
17/07/06 08:17:20.47 qgJA+Zd6.net
>>457 つづき
>第二点：量子確率論
ここは、引用された論文をちょっと読んでみます（＾＾
つづく
508:現代数学の系譜 古典ガロア理論を読む
17/07/06 08:18:20.62 qgJA+Zd6.net
>>458 つづき
>KolmogorovはL^1-likeな確率論であり、そして量子力学はL^2-likeな確率論
URLﾘﾝｸ(ja.wikipedia.org)
L^p空間
数学の分野における L^p 空間（エルピーくうかん、英: L^p space）とは、有限次元ベクトル空間に対する p-ノルムの自然な一般化を用いることで定義される関数空間である。
アンリ・ルベーグの名にちなんでルベーグ空間としばしば呼ばれる (Dunford & Schwartz 1958, III.3) が、Bourbaki (1987) によると初めて導入されたのは Riesz (1910) とされている。L^p 空間は関数解析学におけるバナッハ空間や、線型位相空間の重要なクラスを形成する。物理学や統計学、金融、工学など様々な分野で応用されている。
(引用終り)
URLﾘﾝｸ(ja.wikipedia.org)
自乗可積分函数
(抜粋)
自乗可積分函数（じじょうかせきぶんかんすう、英: square-integrable function）とは、実数値または複素数値可測函数で絶対値の自乗の積分が有限であるものである。
誘導される空間
上で定義した内積により決まる計量の下で、自乗可積分函数は完備距離空間を成すことを示すことができる。この完備距離空間は、その空間における数列がコーシー列の場合にそしてそのときに限り収束するので、コーシー空間（英語版）とも呼ばれている。
ノルムによって決まる計量のもとで完備な空間はバナッハ空間である。したがって自乗可積分函数の空間は、内積で決まるノルムによる計量のもとでバナッハ空間である。内積に関するこの性質から、この空間は内積によって決まる計量のもとで完備であること、すなわちこれはヒルベルト空間であることが分かる。
多くの場合L2 と略記される[1]。
自乗可積分函数の空間は、Lp 空間のp = 2 に対応する。
(引用終り)
とりあえず、以上です
あと、勉強しないと、なにも言えない（＾＾
509:現代数学の系譜 古典ガロア理論を読む
17/07/06 08:20:22.30 qgJA+Zd6.net
>>434
おっちゃん、どうも、スレ主です。
>半開区間 (0,0]、(1,1] の2つはどっちも空集合だったな。
あーあ、ド素人にミスリードされた？（「全部空集合」>>429）（＾＾
１．もう一度、下記Riemann 積分の定義の復習を請う。「全部空集合」なら、Riemann 積分 定義できないぜ！（＾＾
URLﾘﾝｸ(www.ma.noda.tus.A^c.jp)
（上記>>203Lebesgue 積分論に同じ）解析学 1 （3年通年）37p ルベーグ積分論 ana1.pdf 419kb ('16/12/01) 平場 誠示>>276
(抜粋)
1.2 Riemann 積分からLebesgue 積分へ
測度の概念を用いてLebesgue 積分が定義されるのだが, まずRiemann 積分について復習しよう.
(引用終り)
２．y=1/xのグラフが、下記にあるよ。「ｘ＝０は、定義できない」を思いだそう！ いまの場合、x=εでy=nだよ
URLﾘﾝｸ(mtf.z-abc.com)
反比例のグラフ 中学から数学だいすき！ 2007.06.19
３．大学数学で、εはデフォルトで、”0<ε<=1 の微小な実数”をイメージすべし。これでほぼ、問題ない。もちろん、”0<ε の 実数”って場合もある（もちろん、デフォルト以外もある）
４．ε→0 は考えて良いが、ε＝0は普通考えない。理由は、２の通り
５
510:．これ、わざわざご親切に”1/n＝ε >0”と書き換えた>>427こころだよ ６．これを踏まえて、もう一度、>>427と>>361を読んでみて！（＾＾
511:現代数学の系譜 古典ガロア理論を読む
17/07/06 08:22:12.01 qgJA+Zd6.net
>>440
おっちゃん、どうも、スレ主です。
>d_1,…,d_5 の中で大小を考えるようなことをしてこそ、すぐ前に書いた記事の部分が
>意味を持つ。最初っから最大の決定番号を選ぶようなことを考えては、
>記事の文章として意味がなくなる。いっている意味分かる？
意味は分からん！ が、気持ちは分かる（＾＾
ひょっとして、私と考え方が近いかも（＾＾
私の考えは、決定番号の上限はないから、「最初に最大の決定番号を選ぶ」ことは条件付き確率だよと
512:現代数学の系譜 古典ガロア理論を読む
17/07/06 08:23:17.14 qgJA+Zd6.net
>>439
どうも。スレ主です。
>なかなか時にきらめくような（？）一行が見られて喜んでるんだがいけませんか
私も、￥さんのレス大いに喜んでいますよ（＾＾
513:１３２人目の素数さん
17/07/06 08:34:38.23 7Pi2bEAD.net
もう、時枝記事は本人もいっているように、茶飲みがてらの話だろ。
記事自体にやや大幅な修正を要する状態になっているような部分があるんだからな。
514:１３２人目の素数さん
17/07/06 08:47:54.51 7Pi2bEAD.net
>>461
>>440や>>446などでは、国語として記事の文章がメチャクチャになって、
数値が書かれている値とは異なったりして来て、記事自体に意味がなくなり、
その内容としておかしくなる場合を挙げたんだよ。
いわゆる、記事が適用出来なくなるような場合だよ。
515:￥
17/07/06 08:54:17.21 zEDyZoZZ.net
そうそう、その田崎氏の統計力学の本ですわ。培風館の黄色いヤツで、旅先の地方都市
で本屋さんに入ったら「発見した」ので、立ち読みしたんですが、最初の話が終わった
所の100頁当たりだったかと。何と書いてあったかは覚えてませんがエルゴード理論に関
して『問題の切り取り方が正しくない』（コレは数学者式か？）とか、或いは「定式化
としては正しい方向じゃない」（物理学者ならこう言う？）とか。彼が数学者か物理学
者かは私は知りませんが、一流の研究者なので『そんなツマラン事はどうでもヨロシ』
としか思いませんね。
それはともかく、物理量として理論構成の中で問題になるのは「空間平均」なんだろう
けれど、でも実際に測定されるのは「時間平均」なので、だからこれらが等しいという
事を『証明できないから仮定する』というのは、ちょっと妥当ではないと思いますね。
どんな実際の気体でも拡散とか緩和とか、そういう風に「有限の時間を要する」と思う
ので。だからもしこれが『大数の法則の部分に相当する』というのであれば、その構成
した物理モデルを表現する数学の枠の中で「厳密に証明する」か、或いは「モデルの選
択が悪い」のではないかと。
物理の人がどう思ってるかは知りませんが、数学としては「問題の切り取り方が違う」
様な気がしないでもないです。不正確な言い方で、悪いんですが。
￥
516:￥
17/07/06 10:33:45.94 zEDyZoZZ.net
いや、これじゃ説明になってないですね。まあ言いたかった事はですね：
もし数学として「正しい問題を切り取る」という観点に立てば、所謂気体分子運動論
というのは然程適当ではなくて、その理由は：
１．理想気体というのは無理がある。
２．Ωの上の勝手な実数値可測函数を物理量とするのは良くない。
３．エルゴード定理は一般的には成立しない。
という様な事です。だからまだBrown運動という見方の方が、物理的にも現実に近く、
そして『数学としても好都合である』という様な事です。
もしこういう観点に立った時に、例えば「Feynman-Kacが成立する」という要求をする
だけであれば、果たして『Kolmogorovの公理系でなければダメか？』という疑いと言
ってもいいでしょう。つまり問題の切り取り方として他にないのか、という疑問です。
だから第二点に関しても全く同じであり、通常のvon Neumannの公理系は（もしかする
と）問題の切り取り方として不充分である、という様な疑いはないのか、という疑問
です。但しココを変えたからと言って、あの『観測の問題が避けられる』というのは
違うのかも知れませんが。というのは「密度行列だけで定式化」しても、ああいう厄
介な問題は生じるみたいなので。でもせめて超選択則みたいな事が起こらない様な形
での公理化ならばあってもいいのかと。ド素人の勝手な考えではありますが。
￥
追加：私自身の頭がまだ整理出来てないので、これは無視して下さっていいです。
517:￥
17/07/06 11:22:06.19 zEDyZoZZ.net
何れにしても、物理学者の議論は『分厚いコンクリートの壁の向こう側で何か叫んでる』
という様な話ばっかしなので、ソコから綺麗な数学だけを掬い取るのは至難の業ですわ。
だから昔のKolmogorovがやったのはBachelierとかWienerとかをちゃんと勉強して、そん
で「あんな公理系を抽出する」という、まあ超人じゃないと決して出来ない話なんでしょ
うね。例のvon Neumannの公理系だって、かなり異常な超人でなければあんな事は出来ま
せわね。だからちゃんとした応用数学ってのは、猛烈に難しいですわ。
￥
518:現代数学の系譜 古典ガロア理論を読む
17/07/06 15:10:28.91 qgJA+Zd6.net
>>463
おっちゃん、どうも、スレ主です。
>もう、時枝記事は本人もいっているように、茶飲みがてらの話だろ。
>記事自体にやや大幅な修正を要する状態になっているような部分があるんだからな。
同意（＾＾
519:現代数学の系譜 古典ガロア理論を読む
17/07/06 15:10:53.30 qgJA+Zd6.net
>>464
おっちゃん、どうも、スレ主です。
>その内容としておかしくなる場合を挙げたんだよ。
>いわゆる、記事が適用出来なくなるような場合だよ。
細かい点はともかく（＾＾
数学セミナーという、どちらかと言えば、大学生とかアマ数学愛好家向けの雑誌記事としては、不適切な（あるいは不親切な）記事だと思うね（＾＾
520:現代数学の系譜 古典ガロア理論を読む
17/07/06 15:12:22.39 qgJA+Zd6.net
>>465-467
￥さん、どうも。スレ主です。
>だから昔のKolmogorovがやったのはBachelierとかWienerとかをちゃんと勉強して、そん
>で「あんな公理系を抽出する」という、まあ超人じゃないと決して出来ない話なんでしょ
>うね。例のvon Neumannの公理系だって、かなり異常な超人でなければあんな事は出来ま
>せわね。だからちゃんとした応用数学ってのは、猛烈に難しいですわ。
はあ？？ Kolmogorovやvon Neumannと、”対等目線”で考えているんだね・・
私ら、Kolmogorovやvon Neumannが作った舞台の中でしか、思考が働きませんが・・（＾＾
しかし、私見では、von Neumannの量子力学の基礎より、Kolmogorovの測度論的確率論に対する方が、21世紀の各方面の人々の問題意識は高そうですよね（＾＾
「Kolmogorovの測度論的確率論は不十分！」という論文は、検索のキーワードをうまく選ぶと、結構多く見つかりますし・・
>物理学者の議論は『分厚いコンクリートの壁の向こう側で何か叫んでる』
ここ、例えは悪いかもしれないが、物理学者を臨床医に例えると、まあ目の前に病人が居て、「さてどう治療するか」と、対処療法を叫んでいる
数学者を、大学の医学研究者に例えると、「病気の原因をきちんと突き止めるのが先だろう」と。「まず、この病気の”定義”を議論しようよ」と（＾＾
521:現代数学の系譜 古典ガロア理論を読む
17/07/06 15:13:58.62 qgJA+Zd6.net
>>459 補足
>L^p空間
おっちゃん、どうも、スレ主です。
おっちゃん、関数解析に詳しそうだから聞くが・・（＾＾
「数列空間」というのがあるらしいですね。まっとうな数学の研究対象として（下記）
で、一見時枝記事の数列も、「数列空間」と思ったけれど
まっとうな数学の研究対象とするには、数列に”上限ノルム”や”収束”など、数学的に扱いやすいように、限定するみたいですね～（＾＾
時枝記事の数列のように、全く制限なしだと、その数学的取り扱いが難しいように思いますが、おっちゃん、どう思いますか？
URLﾘﾝｸ(ja.wikipedia.org)
数列空間
(抜粋)
関数解析学および関連する数学の分野における数列空間（すうれつくうかん、英: sequence space）とは、実数あるいは複素数の無限列を元とするベクトル空間のことを言う。またそれと同値であるが、自然数から実あるいは複素数体 K への関数を元とする関数空間のことでもある。
そのような関数すべてからなる集合は、K に元を持つ無限列すべてからなる集合であると自然に認識され、関数の点ごとの和および点ごとのスカラー倍の作用の下で、ベクトル空間と見なされる。すべての数列空間は、この空間の線型部分空間である。通常、数列空間はノルムを備えるものであり、そうでなくとも少なくとも位相ベクトル空間の構造を備えている。
解析学におけるもっとも重要な数列空間のクラスは、p-乗総和可能数列からなる関数空間 ?p である。それらの空間は p-ノルムを備え、自然数の集合上の数え上げ測度に対するLp空間の特別な場合と見なされる。
収束列や零列のような他の重要な数列のクラスも数列空間を構成し、それらの場合はそれぞれ c および c0 と表記され、上限ノルムが備えられる。任意の数列空間は各点収束の位相を備えるものでもあり、その位相の下でのそれらの空間は、FK空間（英語版）と呼ばれるフレシェ空間の特殊な場合となる。
522:￥
17/07/06 15:52:09.03 zEDyZoZZ.net
例えば「山中さん」を考えるとですね、彼の目の前には「相手とすべき細胞の組織分化」
が、まあ（ずっと遠くで、雲の上から）『叫び声を上げてる』んでしょうね。相手は猛烈
に複雑な対象だからそりゃ大変であり、それこそ数学者の苦悩なんてメじゃないでしょう。
でもメンデル⇒ダーウィン⇒シュレディンガー⇒モノー⇒…と進歩して来て、今は彼が
その最前線に立ってる、確実にそのうちの一人でしょうね。
研究を行うというのは「そういう事」なのではないかと。
￥
523:￥
17/07/06 15:57:22.61 zEDyZoZZ.net
訂正：
「シュレディンガー⇒モノー」
➡ 「シュレディンガー⇒ワトソン・クリック⇒モノー」
もっと他にも「挟まってる人達」が居るのかもしれませんが。
￥
524:￥
17/07/06 16:04:41.55 zEDyZoZZ.net
いやだってですね、例えば確率論ってのはFermatとかLaplaceに始まり、そして：
１．ケインズの「信念の度合い」、まあ選挙速報とか天気予報の降水確率とか。
２．ミーゼスの「あくまでも頻度」、物理測定はコッチかと。
という様な議論が散々あって、それでKolmogorovですからね。でも昨今ではBayesianと
かが応用上では幅を利かせていて、なので明らかに『Kolmogorovでは役不足』ではない
かと（部外者の私でさえ）思いますんで。
だから、誰かが何かをしなきゃいけないと思いますわ。
￥
525:￥
17/07/06 16:09:00.15 zEDyZoZZ.net
それこそ「一生を掛けて数学を行う」んだったら、そりゃ『やりました、出来ました』
だけではアカンですよ。
￥
526:￥
17/07/06 16:12:29.19 zEDyZoZZ.net
どういう風に探せは『Kolmogorovではアカンという文献が出るのか』、そういうのこそ
が価値があります。
￥
527:￥
17/07/06 16:21:09.77 zEDyZoZZ.net
でもその時枝問題というのは、そういう叫び声の（何がしかの）断片なのではないかと。
￥
528:￥
17/07/06 17:04:05.12 zEDyZoZZ.net
そもそもですね。他人から与えられた犬小屋に黙って住むというのは『アカンです』よ、
確実に。そりゃあですね、やっぱし『自分で住む家は自分で創る』という態度で臨むべ
きであり、そういう努力は当然にするべきですわ。（出来上がるかどうかは別ですが、
でもそんな事は「どうでもいい事」なので。）
先ずはやってみるべき、なので。
￥
529:現代数学の系譜 古典ガロア理論を読む
17/07/06 17:08:47.29 qgJA+Zd6.net
>>472-477
￥さん、どうも。スレ主です。
>でもメンデル⇒ダーウィン⇒シュレディンガー⇒ワトソン・クリック⇒モノー⇒…と進歩して来て、
"モノー"はこれか？ 知らなかったな～（＾＾
￥さんの話について行くのは大変ですね（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
ジャック・モノー
(抜粋)
ジャック・リュシアン・モノー（Jacques Lucien Monod、1910年2月9日パリ ? 1976年5月31日カンヌ）はフランスの生物学者。フランソワ・ジャコブとともにオペロン説を提出し、これによって1965年度ノーベル生理学医学賞を受賞した。生物
530:における調節の分子メカニズムを中心として画期的な業績を挙げ、レジオンドヌール勲章など数多くの賞を受けている。 来歴 動物学を学んで1931年にパリ大学を卒業し、第二次世界大戦中にはレジスタンス運動に参加した。1959年パリ大学に招聘され、1967年にコレージュ・ド・フランスに移り、1971年にはパスツール研究所所長に任命された。 戦後も大腸菌の研究を継続し、これによって1950年代から60年代にかけ、mRNAを介した遺伝情報の発現や、フィードバックによる遺伝子の調節を説明するオペロン説など、すべての生物に共通する分子遺伝学の基礎的概念を確立した。 さらに酵素学の分野でもJ.ワイマン、J.P.シャンジューとともにアロステリック調節モデルを提出している。 『偶然と必然』 科学哲学にも関心が深く、特に著書『偶然と必然（Le Hasard et la Necessite）』（1970年）では現代生物学に基づく自らの世界観を示した。宗教的・唯物論的その他多くの生命観を否定し、当時の思想界に賛否両論をまき起こした。 (引用終り) つづく
531:現代数学の系譜 古典ガロア理論を読む
17/07/06 17:10:28.70 qgJA+Zd6.net
>>479 つづき
>>477
>でもその時枝問題というのは、そういう叫び声の（何がしかの）断片なのではないかと。
￥さん、どうも。スレ主です。
￥さんなりの深読みやね～（＾＾
まあ、そういう読み方もありか・・
だが、多くの一般読者は、「しっぽ同値類の商集合＋KolmogorovでOK」と読んだみたいだし・・（＾＾
『Kolmogorovではアカン』と時枝先生が思っていたなら
はっきりその主張を書け！よと（＾＾
だから、『Kolmogorovではアカン』からどうしようとか
『Kolmogorovではアカン』のは、なんでかな～？と
そういう議論なら乗るが
「しっぽ同値類の商集合＋KolmogorovでOK」という議論なら、やるだけ時間の無駄だ！と
まあ、そこらは￥さんは、最初から分かって
”見”（ケン。見ているだけ）の立場だったと思いますがね（＾＾
532:現代数学の系譜 古典ガロア理論を読む
17/07/06 17:22:45.73 qgJA+Zd6.net
>>478
>そもそもですね。他人から与えられた犬小屋に黙って住むというのは『アカンです』よ、
>確実に。そりゃあですね、やっぱし『自分で住む家は自分で創る』という態度で臨むべ
>きであり、そういう努力は当然にするべきですわ。（出来上がるかどうかは別ですが、
>でもそんな事は「どうでもいい事」なので。
>先ずはやってみるべき、なので。
いやはや、志（こころざし）が高いですね（＾＾
私ら、ほんと、『分厚いコンクリートの壁の向こう側で何か叫んでる』方の人間ですからね
でも、目の前に解くべき問題が出てくれば、取り敢ず何かの形で界を求めないといけない
綺麗な理論の形になるかどうかは別として
それは、Bachelierみたいなことかも知れません（理論がまだないなら、手作りでも、やるかと）
533:現代数学の系譜 古典ガロア理論を読む
17/07/06 17:25:12.81 qgJA+Zd6.net
>>481 訂正
取り敢ず何かの形で界を求めないといけない
↓
取り敢ず何かの形で解を求めないといけない
追記
余談ですが、私は、数値解より理論解の美しさが好きなんですよ（＾＾
数値解にはない美しさが、理論解（あるいは厳密解）にはあると思います（＾＾
534:現代数学の系譜 古典ガロア理論を読む
17/07/06 17:32:14.46 qgJA+Zd6.net
>>481
>取り敢ず何かの形で解を求めないといけない
話題の将棋からみ
URLﾘﾝｸ(yaneuraou.yaneu.com)
elmoがもたらしたオーパーツについて やねうら王公式サイト 20170523
(抜粋)
WCSC27で優勝したelmoがもたらしたのは、たった一行の革命だった。
交差エントロピーで勾配を求めるとき、普通は次式のようになる。
dsig = eval_winrate ? teacher_winrate;
eval_winrateは、浅い探索(qsearch)の評価値を勝率に変換する関数(シグモイド関数を用いている)で変換したもの。
teacher_winrateは、深い探索(
535:search)の評価値を勝率に変換する関数で変換したもの。 交差エントロピーで勾配を求める場合、上式のように差をとるだけだ。この式の導出については、第4回電王トーナメントのときの白美神のPR文書にある。 http://denou.jp/tournament2016/img/PR/Hakubishin.pdf elmo式の雑巾絞りはこの式を次のように改良した。 dsig = (eval_winrate -t) + 0.5 * (eval_winrate ? teacher_winrate); tはこの局面の手番側が最終的に勝っているなら1(勝率100%)、負けているなら0(勝率0%)とする。 もともと、ゲームの勝敗を用いて強化学習を行うというのは、他の分野ではdeep learning + 強化学習という形でdeep learningの入門記事にもあるような内容だし、将棋ソフトにおいてもなかったアイデアではない。 どちらかと言えば、いまの雑巾絞りのようにRootStrapにするほうが特殊なアイデアである。しかし、RootStrapとして勝敗を用いるというのはなかったのではないかと思う。(Seleneが似たようなことをしていた気はするが) そして、elmoはそれがとてもうまくいくと実証したことも大きい。 興味深いことにelmo式で作成した評価関数は、以前の評価関数とは性質が異なるようで、短い時間(1スレッド1手1秒)では以前の評価関数に負け越すこともある。しかし長い時間になればなるほど以前の評価関数に勝ち越すようになる。(差が開くようになる) elmo式雑巾絞りが新たな扉を開いたことは間違いなさそうだ。 (引用終り)
536:現代数学の系譜 古典ガロア理論を読む
17/07/06 17:36:02.92 qgJA+Zd6.net
>>483 追加
URLﾘﾝｸ(yaneuraou.yaneu.com)
人間の棋譜を用いずに評価関数の学習に成功 やねうら王公式サイト 20170612
(抜粋)
今回、新たに評価関数をゼロベクトルから学習させた。追試できるように記事の前半に手順を記しておく。また、記事の後半には何回目のelmo絞りでどの程度の強さであったかも示す。
elmo絞りを知らない人のために簡単に説明すると、今回、将棋ソフトが人間の棋譜を用いずに勝率の高い形を強化学習でソフト自らが自動的に覚えたということである。
今回、1回に生成している教師の数は5億局面。対局回数で言うと400万局程度であろうか。
私は以前、elmo絞りを用いずにある程度の強さまでは到達出来たのだが、計算資源を湯水の如く消費するので途中で断念してしまった。今回はそのリベンジである。題して「Re : ゼロから始める評価関数生活」、略して「リゼロ」だ。
あらかじめ書いておくが、今回作った一連の評価関数ファイルはすでにやねうら王のGitHubのほうで公開した。興味のある人は評価関数のダウンロードのところにある「リゼロ」からダウンロードして試してもらいたい。
私は棋風を語るほどよく見ていないので本当に強いのかもよくわからないが、ちらっと技巧(2015)相手の対局を見た限り、見たことのない変な囲いから攻めて、よくわからないけど攻めを繋いで、詰みを見つけるのが数手早かった。これがこの評価関数の特徴なのかも知れない。将棋に詳しい人は、是非使ってみて、この記事にコメントをもらえると嬉しい。
人間の棋譜を用いずにプロ棋士レベルの棋力を持つ評価関数を生成するのはかねてより私の研究対象であったが、今回は追試できるように手順を詳しく書き、かつ、そのためのソースコード一式を用意できた。また条件も緩いので普通のPCでも時間さえかければ簡単に再現できるはずだ。
このような形で公開�
537:ﾅきることを嬉しく思う。そして、これは、もしかすると歴史的快挙なのかも知れない。 まとめ 一言で言うとelmo式の効果が凄すぎた。プロの棋譜を使わない評価関数の栄誉はelmoの作者である瀧澤さんに捧げられるべきである。 (引用終り)
538:現代数学の系譜 古典ガロア理論を読む
17/07/06 17:47:51.52 qgJA+Zd6.net
>>483-484 補足
従来の式：dsig = eval_winrate - teacher_winrate;
elmoの改良式：dsig = (eval_winrate -t) + 0.5 * (eval_winrate - teacher_winrate);
なにがどう改良されたのか、理屈抜きで、ともかくも、elmoは優勝した。下馬評は、圧倒的にポナンザ有利だったのに
で、それで良しと思ってしまうのが、工学系かもね
だが、「0.5にどんな数学的意味があるのか？」、「0.5は理論的にベストなのか？」、「式の形がなぜこうなるのか？」を、数学者なら掘り下げるのかも知れない・・（＾＾
URLﾘﾝｸ(ja.wikipedia.org)(%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E5%B0%86%E6%A3%8B%E3%82%BD%E3%83%95%E3%83%88)
elmo (コンピュータ将棋ソフト)
(抜粋)
elmo（エルモ）は、コンピュータ将棋のプログラム。評価関数と定跡が公開されている[1]。
概要
開発者は瀧澤誠。自身は全く将棋を指さない。第27回世界コンピュータ将棋選手権で優勝。初出場の第26回世界コンピュータ将棋選手権は1次予選敗退だった。
elmoは、過去の電王戦でも活躍した強豪AI「Apery」「やねうら王」がベース。elmo同士の対戦を重ねてどのような手を指すと勝率が高いかを調べ、そうした手を選び出せるように評価関数（形勢判断をする際の指標）を調整。その工夫の結果、より正確な形勢判断ができるようになった[2]。
名前の由来はまだまだ強くなるという意味でelectric monkey（電気で動くサル）略してelmoと最初考えていたが、elastic monkey（弾力的な感じ、めげない等の意味）略してelmoに変えると作者の瀧澤は言っている[3]。
脚注
1^ 樽井 秀人 (2017年5月11日). “第27回 世界コンピュータ将棋選手権は新星「elmo」が制覇！ ～評価関数と定跡が公開”. やじうまの杜. 2017年5月12日閲覧。 URLﾘﾝｸ(forest.watch.impress.co.jp)
(引用終り)
539:￥
17/07/06 17:59:47.65 zEDyZoZZ.net
その「AI将棋」ってヤツですが、それはDeep learningだから、従って概ねは：
★★★『3段とか4段のNeural netに学習機能が付いてる：離散構造のTree＋確率荷重、場合分け』★★★
という風に荒っぽく考えても、そうは外れてませんよね。この学習機能こそがBayesian
であり、確率論の問題ですよね。
もしこれで良ければ、自然な疑問として：
１．そういうものは、分類できるのか。つまり「AI将棋１」と「AI将棋２」の同値関係。
２．無限時間の学習をさせれば、そういう「AI将棋」は全て収束するのか。
３．その収束先は、全て同値か。
４．こういうものは『客観的と言える』のか。
という様な事は、ごく自然に気になりますが。
￥
540:￥
17/07/06 18:08:54.52 zEDyZoZZ.net
そしてその内部の評価関数として「違うモノを使う」として、AI１とAI２を構成した時、
これらに無限時間の学習をさせたとして、ではその収束先は『同じにナル』のか否か？
￥
541:￥
17/07/06 18:17:20.28 zEDyZoZZ.net
この問題は生物進化では、こういう問題と概ねは同じです。即ち：
★★★『離れ小島１と離れ小島２に、全く同じ原生種が居るとします。この時に、
「この二つの離れ小島の外的環境が全く等しい」のであれば、何万年かが
経った時に、この二つの離れ小島に居る生物種とその分布は全く同じか？』★★★
という問題と対応するでしょう。
だからこういう問題は『進化ゲーム理論にも対応物がある』と思いますが。
￥
542:現代数学の系譜 古典ガロア理論を読む
17/07/06 18:45:05.97 qgJA+Zd6.net
>>472
>例えば「山中さん」を考えるとですね、彼の目の前には「相手とすべき細胞の組織分化」
>が、まあ（ずっと遠くで、雲の上から）『叫び声を上げてる』んでしょうね。相手は猛烈
>に複雑な対象だからそりゃ大変であり、それこそ数学者の苦悩なんてメじゃないでしょう。
下記などが、数学との絡みでしょうかね？（＾＾
URLﾘﾝｸ(www.ism.ac.jp)
ゲノムなどの遺伝情報の解析から生命の進化の謎を探る：研究室訪問 No.119：統計数理研究所 足立 淳 データ科学研究系 構造探索グループ准教授
(抜粋)
子供のころから自然が好きだった。神奈川で育ち、海、山、川の自然の中で遊んだ。中高校時代は父親に連れられ山に登り、大学時代は探検部に入りヒマラヤにも遠征した。理科や数学が好きで、システム的なことに興味を持ち工学部へ進んだ。
学部ではすでにコンピューターを当たり前のように使っており、統計数理研究所の研究者から解析プログラムづくりのアルバイトの声がかかった。長谷川政美教授（現名誉教授）の研究でDNAのデータ解析を手伝ったちょうどゲノムなどの遺伝情報が分かり始めたころである。
足立はその時、「生物進化の研究は新時代に突入し、劇的に発展する」と確信した。自らの進路を制御理論から遺伝情報の解析へ方向転換し、統数研に併設された総合研究大学院大学統計科学専攻の第2期生となった。こうした足跡が実は早い段階での研究成果につながっていく。
アミノ酸配列から系統樹を最尤推定する方法を開発
かつて生物進化の系統樹を遺伝子レベルで調べる方法はDNAの4つの塩基配列から推定するしかなかった。1980 年代後半、この方法で人間はチンパンジーに近いと証明された。しかし、４つの文字しかないDNAでは限界がある。過去に何回か突然変異を起こし多重置換をしていると、その足跡は消えてしまい、大昔の生命の起源に迫ることは難しい。
足立はアミノ酸配列に注目した。アミノ酸は20 種ある。DNAの3塩基に対応し、生物の機能を担うタンパク質を構成している。DNAと比べれば種類が多く進化速度も遅いので過去の変異の記録が残りやすい。アミノ酸配列を比較することで生物のルーツに迫ることができると考えた。
つづく
543:現代数学の系譜 古典ガロア理論を読む
17/07/06 18:47:06.26 qgJA+Zd6.net
>>488 つづき
この方法は実は世界中の研究者が着目していたが、まだ実用的なモデルがなかった。
足立は、統計数理研究所の大型計算機を使って大量の遺伝子データを分析し、長谷川教授と岸野洋久元研究員（現東大教授）の指導を受けながら遺伝子のアミノ酸配列がどのアミノ酸に変わっていくかを統計的に推定し、アミノ酸置換モデルをつくった。これによってアミノ酸レベルで生物進化の系統樹を推定することが可能となった。
その結果、真核生物の起源など大昔のことまで調べることができるようになった。これが足立の初仕事であり、博士論文「分子進化のモデリングと分子系統樹の最尤推定」の1章になった。
この博士論文と公開したプログラムには世界中から反響があった。足立はこの研究成果をもって1997年に英国オックスフォード大学動物学科の研究員になった。ダーウィン以来の遺伝学の本家本元で足立の研究は注目された。
その後、帰国して理化学研究所ゲノム科学総合研究センターの研究員をしていた時、統計数理研究所の公募に応じ、2003 年2月に助教授に就任した。ここでも初期のころに画期的な研究に携わった。
現在の専門は、生物を遺伝情報などのシステム面から研究する情報生物学と、生物の進化を形
544:態ではなくゲノムなどの分子情報から研究する分子進化学である。いまは分子進化のモデリング、分子系統樹推定プログラムの開発に取り組み、今後に向けてゲノム構造の進化を解明しようとしている。 「まだ未知な部分が多い生命進化の解明は非常な楽しみ」 ここへ来て新たに浮かんだ課題がある。「当初はゲノムが読めれば全部分かるのではないかという 楽観論があったが、知らない文明の知らない言葉で書かれた百科事典を発掘したようなもので、その読み方はまだ一部しか分かっていない。 それほど生命は複雑で未知の部分が残されているのですが、その解明は非常な楽しみです。ある生物の機能が獲得されたのは、どの突然変異に起因しているのか、それを調べていくのが次の目標です」。 進化の歴史的な流れは分かってきたが、なぜそうなったかというメカニズムは分からない。今後はゲノムなどの遺伝情報から生物進化のメカニズムを解明したい、と新たな意欲を見せる。まさに生命の神秘への挑戦である。 (引用終り)
545:１３２人目の素数さん
17/07/06 19:15:10.40 oyrpC7ft.net
>>463-464
おっちゃんが日本語の文章読めないだけだろｗ
ほら目でみないとわからない
オコチャマ達のために図示してやったぞ
○ 代表元との不一致箇所
● 代表元との一致箇所
3列じゃ淋しいから、6列に増やしてみた
s1 ○●●●●●●●●
s2 ○○○○●●●●●
s3 ●●●●●●●●●
s4 ○○○●●●●●●
s5 ○○○○○●●●●
s6 ○○●●●●●●●
決定番号が最大値(6)でない列（s5以外）を選んだ場合
(確率5/6)
→選んだ列(s5以外)の6番目の箱を開ける
（★ 代表元と一致するので予測成功）
s1 ○●●●●｜★｜●●●
s2 ○○○○●｜★｜●●●
s3 ●●●●●｜★｜●●●
s4 ○○○●●｜★｜●●●
__ －－－－－＋－＋－－－
s5 ○○○○○｜●｜●●●
__ －－－－－＋－＋－－－
s6 ○○●●●｜★｜●●●
決定番号が最大値(6)の列（s5）を選んだ場合
(確率1/6)
→s5の5番目（s5以外の列の決定番号の最大値）の箱を開ける
（☆ 代表元と不一致なので予測失敗）
s1 ○●●●｜●｜●●●●
s2 ○○○○｜●｜●●●●
s3 ●●●●｜●｜●●●●
s4 ○○○●｜●｜●●●●
__ －－－－＋－＋－－－－
s5 ○○○○｜☆｜●●●●
__ －－－－＋－＋－－－－
s6 ○○●●｜●｜●●●●
たったこれだけのことが読み取れないとか
頭蓋骨に豆腐でも詰まってんのか？
546:￥
17/07/06 19:23:04.98 zEDyZoZZ.net
私の見解を述べれば、恐らくは以下の三つが重要かと。即ち：
１．生物進化として、どういう数学的モデルが作れるか。ダーウィニズムの説明。
２．同じゲノムの集合に制御された、全く異なる周期解を調べる。発生と分化。
３．ゲノム解析の結果を『暗号として読む』という事。
この最初のヤツは（進化ゲーム理論の問題だろうから）いいとして、この二つ目が：
★★★『例えば山中因子で初期化したアトに、各個別の組織に発生分化する、その仕組み。』★★★
であり、そしてこの三番目こそが、恐らくは今一番ホットで、しかも「生データが大量
に存在してる」という、遺伝情報の暗号解読の問題ですね。
コレは実際に今問題になってる「ビッグデータをスパコンで何時間もかけて処理する」
という、所謂分子生物学のドライな研究（試験管でやるのをウエットな研究と言う）だ
そうです。一台数億円するというNGS（次世代シーケンサー）からのデータを統計処理
してゲノム情報を読む際に、既存のソフトが何種類もあってそれを使うという形式に整
備されてるそうですが、でもこういう部分には『何がしかの数学の問題が潜んでる』と
は思いますがね。
但しこれがKolmogorovの公理系の一般化と直接に関係してるかどうかは知りませんが。
だから先ずは「数理統計の問題」なんだろうけど。まあ暗号解読だから、古くはTuring
がやった『