1 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/16(日) 10:45:05.23 ID:JTc4r8fR.net] このスレは、皆さまのご尽力で、伝統あるガロアすれは、 過去、数学板での勢いランキングで、常に上位です。 このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。 それで宜しければ、どうぞ。 後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾ 最近、AIと数学の関係が気になって、その関係の記事を集めています〜（＾＾ いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。 スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。 話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。 スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。 興味のある方は、過去ログを（＾＾ なお、 小学レベルとバカプロ固定 サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」） （参考）blog.goo.ne.jp/grzt9u2b/e/ 357 名前：１３２人目の素数さん [2018/12/23(日) 22:10:09.54 ID:5WsJj6Ky.net] >>315 ＞クソみたいな問いは、数学ではない。時間とスレの余白の無駄だ！ （＾＾ ではその問いにすら答えられないスレ主はクソ以下ってことになるねｗ 358 名前：１３２人目の素数さん [2018/12/23(日) 22:11:06.82 ID:5WsJj6Ky.net] >>315 数学では、証明が無い限り、認められんぜ。本人の証明は？（＾＾ 359 名前：１３２人目の素数さん [2018/12/23(日) 22:13:44.75 ID:5WsJj6Ky.net] >>321 バカを晒しまくってるお前が言うとまさにピエロだね 360 名前：１３２人目の素数さん [2018/12/23(日) 22:22:11.73 ID:5WsJj6Ky.net] スレ主は気付いてるのか？ お前が神仏の様に縋る確率の専門家は、実際には時枝解法不成立なんて一言も言ってないことを。 つまりお前の賛同者はゼロ。一人で頑張ってねサイコパスピエロ君ｗ 361 名前：１３２人目の素数さん [2018/12/24(月) 07:05:28.32 ID:6oRe+bIf.net] >>317 スレ主はなにかというとWikiに縋るが、悪い癖だ Wikiの記載は、一般人によるものだから、 信頼できるとは限らない 362 名前：１３２人目の素数さん [2018/12/24(月) 07:09:31.47 ID:6oRe+bIf.net] >>318 ＞4 非ユークリッド幾何学へ−公理とは何か？− ＞Theorem 4.1.1 (Saccheri-Legendre). 三角形の内角の和は２直角を超えない。 ここから、球面幾何が（４公準を満たす）「非ユークリッド幾何」でない、といえる なぜなら球面幾何では三角形の内角の和は常に２直角より大きいから またスレ主は自爆したね　おまえ日本語読めないで引用してんの？馬鹿？ 363 名前：１３２人目の素数さん [2018/12/24(月) 07:15:43.19 ID:6oRe+bIf.net] >>319 リンク先の記述だが 球面幾何で第一公準を満たさないのは2点が球面の対蹠点の場合に限るので 対蹠点を同一視した楕円幾何では、第一公準は満たされる 他方、第二公準については、円は「（無限に）延長可能」ではないとするのが正しい もし第二公準を満たすなら、Saccheri-Legendreの定理 「三角形の内角の和は２直角を超えない。」 が成り立たないことになる 364 名前：１３２人目の素数さん [2018/12/24(月) 07:25:19.65 ID:6oRe+bIf.net] >>320 >>327-329で述べたように 楕円幾何はユークリッド幾何から 第５公準を除いた４公準のうち さらに第２公準も満たさないから 「非ユークリッド幾何」を ”４公準は満たすが第５公準は満たさない幾何” とした場合、その中に入らない これ数学科の常識 （非ユークリッド幾何＝「ユークリッド幾何以外の幾何」　ではないことに注意） 365 名前：１３２人目の素数さん [2018/12/24(月) 07:47:46.52 ID:6oRe+bIf.net] ところでスレ主は>>259には手も足も出ず降参か 特殊相対性理論こそ非ユークリッド幾何（双曲幾何）の またとない絶好の実例なのにな 知らんかっただろう　アホスレ主！ フハハハハハハ！！！！！！！ 366 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:34:45.08 ID:1uJ+FX2v.net] ピエロちゃん えらいねー、小学生レベルなのに 沢山カキコして 今日も、ピエロおどり頼む ホイ、ホイ、ホイ 踊れ！ ピエロ！（＾＾ 367 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:35:32.31 ID:1uJ+FX2v.net] >>323 >ではその問いにすら答えられないスレ主はクソ以下ってことになるねｗ はい。その通りです。 なお、クソ質問の相手をするのは、クソ以下の以下だと そう思っていますです。はい（＾＾ 368 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:36:22.67 ID:1uJ+FX2v.net] >>324 >本人の証明は？（＾＾ 社会通念として、ある二人の人物AとBが、同一か別人かを判別するのに 指紋とか、DNA型鑑定とかがある（下記） この5chで、そのような手段が使えない以上 他人と区別して欲しいと思う当人が、自分でそれなりの努力をするべき 例えば、”名のる”とかね で、自分が名無しさん（＝１３２人目の素数さん）で出没しながら、他人と区別して欲しいなんて主張は、矛盾しているだろ？ そういう”矛盾に鈍感な数学落ちこぼれ”との議論は、ごめんこうむるよ（＾＾； （参考） https://ja.wikipedia.org/wiki/%E6%8C%87%E7%B4%8B 指紋 別人の指紋なのに同一指紋と認識してしまう率（誤受入率）は実測で10万分の1程度ある。 https://ja.wikipedia.org/wiki/DNA%E5%9E%8B%E9%91%91%E5%AE%9A DNA型鑑定 2009年現在、同じ型の別人が現れる確率は4兆7000億人に1人とされている[2][3][4]。 369 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:38:17.27 ID:1uJ+FX2v.net] >>326 >お前が神仏の様に縋る確率の専門家は、実際には時枝解法不成立なんて一言も言ってないことを。 正確には、”確率論”の専門家さんな 正確には、時枝解法不成立とは言っていないが、時枝での確率は 370 名前：未定義で計算できないということと、非可測集合で確率を定義することは意味が無いと言っているよ（下記） (引用開始) スレ20 http://wc2014.2ch.net/test/read.cgi/math/1466279209/535 非可測であることに目をつぶって計算することの意味をあまり感じないな 直感的に1/2とするのは微妙． むしろ初めの問題にたちもどって，無限列から一個以外を見たとこでその一個は決定できないだろうと考えるのが 直感的にも妥当だろう スレ20 http://wc2014.2ch.net/test/read.cgi/math/1466279209/564 時枝氏の方法は「確率は計算できない」が今の確率論の答えだと思う． 確率0というのは，可測となるような選び方をしたら，それがどのような選び方でも確率は0になるだろうってこと 残す番号を決める写像Nが可測で，また開けた箱から実数を決める写像Yが可測ならば P(X_N=x)=0が導かれるだろう (引用終り) つづく [] [ここ壊れてます] 371 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:39:52.61 ID:1uJ+FX2v.net] >>335 つづき >つまりお前の賛同者はゼロ。 現時点では、そうだが、過去には幾人か居たことは事実だし 英語圏では、>>272 >>287-294 に示した通り、時枝解法不成立が多数派で、時枝解法に引っかかるのは数学初心者か数学科落ちこぼれかだよ >一人で頑張ってねサイコパスピエロ君ｗ はい、同定しました。指紋が一致しました。あなたは、高い確率でピエロの成り済ましです（＾＾ 372 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:42:25.40 ID:1uJ+FX2v.net] >>327-331 ピエロ必死だな、落ちこぼれが（＾＾ 「非ユークリッド幾何」落ちこぼれが、確定しました（＾＾； >ここから、球面幾何が（４公準を満たす）「非ユークリッド幾何」でない、といえる ピエロ必死。笑える。ただ、笑うしかない。オレ様独自数学（＾＾； >これ数学科の常識 >（非ユークリッド幾何＝「ユークリッド幾何以外の幾何」　ではないことに注意） 笑える。ただ、笑うしかない。オレ様独自数学（＾＾； >特殊相対性理論こそ非ユークリッド幾何（双曲幾何）の >またとない絶好の実例なのにな >知らんかっただろう　アホスレ主！ おれが、高校生のときに読んで知っていた知識を 数学科の落ちこぼれは、「おれはこんなに高度で難しいことを知っているんだ〜！」と自慢しているの図かい？ 酷いね、数学科落ちこぼれは（＾＾； 373 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:45:54.77 ID:1uJ+FX2v.net] なお、 数学落ちこぼれが、選択公理を、水戸黄門の葵の紋章か、キリスト教の免罪符かわりにしようと、しているみたいなので 選択公理について、一言 バカかと 現代数学では、選択公理はデフォルトで、特別の宣言をしないかぎり、普通に採用される公理だよ おれは、別に、「選択公理は使わない。ｘｘ公理を使う」などと宣言していないから、デフォルト状態ですよ バカかと 選択公理と非可測集合の話は、ピエロが来る前、過去スレ21などで、さんざん議論はしたよ まあ、そのときの議論から、「集合論から見た非可測集合 渕野昌先生」のＰＤＦを貼っておくよ、選択公理 勉強してね https://www.weblio.jp/content/%E3%83%87%E3%83%95%E3%82%A9%E3%83%AB%E3%83%88 デフォルト 三省堂 大辞林 weblio �Aコンピューター-システムで、ユーザーが特に指定しない場合に設定されている標準の動作条件。 �B〔主にコンピューターに通じている人が用いる語〕 転じて、基本的な状態（特段の理由がない場合の状態）のこと。デフォ。 「私の朝食は−でパンだ」 https://en.wikipedia.org/wiki/Axiom_of_choice 選択の公理 スレ21 https://rio2016.5ch.net/test/read.cgi/math/1468584649/777 fuchino.ddo.jp/papers/tohoku-ws06-talk.pdf 集合論から見た非可測集合 渕野昌（中部大学，）2006 年11 月13 日 東北大学大学院理学研究科数学専攻談話会での講演 https://ja.wikipedia.org/wiki/%E3%83%B4%E3%82%A3%E3%82%BF%E3%83%AA%E9%9B%86%E5%90%88 ヴィタリ集合 ヴィタリ集合（ヴィタリしゅうごう）とはジュゼッペ・ヴィタリ（英語版）(Giuseppe Vitali (1905))によって作られたルベーグ不可測な実数集合の基本的な例である。 ヴィタリの定理はそのような集合が存在することを保証する存在定理である。不可算に多くのヴィタリ集合が存在し、それらの存在は選択公理の仮定の下で示される。 目次 1 可測集合 2 構成と証明 3 関連項目 4 参考文献 374 名前：１３２人目の素数さん [2018/12/24(月) 09:46:34.52 ID:6oRe+bIf.net] >>335 >無限列から一個以外を見たとこでその一個は決定できないだろう 上記の「一個」が決定番号の箱を指すなら 「決定できない」というのは代表元がとれない という意味になるから、選択公理の否定だな 確率論の専門家（というか「測度原理主義者」）は 非可測を認めないようだから、その時点で、 選択公理を否定しているな スレ主はこんな基本的なことすら理解できてない 正真正銘の白痴か 375 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:47:17.23 ID:1uJ+FX2v.net] ピエロちゃん えらいねー、小学生レベルなのに 沢山カキコして 今日も、ピエロおどり頼む ホイ、ホイ、ホイ 踊れ！ ピエロ！（＾＾ 376 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 09:49:26.41 ID:1uJ+FX2v.net] >>339 >上記の「一個」が決定番号の箱を指すなら >「決定できない」というのは代表元がとれない >という意味になるから、選択公理の否定だな つー >>338 ほんとにこいつバカだな（＾＾ 選択公理の理解さえあやしい（＾＾； 377 名前：１３２人目の素数さん [2018/12/24(月) 09:50:09.49 ID:6oRe+bIf.net] >>337 ＞オレ様独自数学 それは「非ユークリッド幾何」を 「ユークリッド幾何以外の幾何」と ナイーブに解釈するスレ主 歴史的には「非ユークリッド幾何」は 「４公準を満たし第５公準を満たさない幾何」 を指すから双曲幾何のことである 378 名前：１３２人目の素数さん [2018/12/24(月) 09:52:32.17 ID:6oRe+bIf.net] >>339　>>341 バカはスレ主、貴様だ 非可測性を理由にして代表元の取得を否定するなら その時点で選択公理を否定したことになる 代表元の取得を肯定するなら、 もはや時枝論法を否定する術はない あきらめろ、バカスレ主 379 名前：１３２人目の素数さん [2018/12/24(月) 09:57:06.63 ID:6oRe+bIf.net] >>338 ＞選択公理はデフォルト そう言い切った瞬間、非可測集合もデフォルト 尻尾の同値類の代表元を取得することもデフォルト 時枝論法の確率計算は、決定番号の分布と無関係に 「１００列の決定番号のうち、他より大きい決定番号を持つ列はたかだか１列」 という性質のみから決定するから、非可測性によって 上記の確率計算を否定することはできない 確率計算を否定するなら、非可測性を排除して、 代表元の取得自体を否定するしかないが それは選択公理の否定にあたる　 バカスレ主はこの単純な理屈がどうしても理解できないらしい 380 名前：１３２人目の素数さん [2018/12/24(月) 10:19:26.12 ID:6oRe+bIf.net] >>337 >>特殊相対性理論こそ非ユークリッド幾何（双曲幾何）の >>またとない絶好の実例なのにな >おれが、高校生のときに読んで知っていた知識 スレ主は 特殊相対性理論と一般相対性理論の区別 非ユークリッド幾何とリーマン幾何の区別 がついてない ここでは重力を時空の曲率で表す話などしていない 特殊相対性理論のローレンツ変換から 双曲幾何が構築できるという話をしている どうだ、馬鹿スレ主、自分のアサハカなカン違いに気づいたか？ 381 名前：１３２人目の素数さん mailto:sage [2018/12/24(月) 10:37:33.65 ID:TcgoulPh.net] スレ主が周りをバカ呼ばわりして「俺は○○を知ってんだぞー」と吠えるたびに トンチンカンなことを書くスレ主の馬鹿さ加減がはっきりしてくる 382 名前：１３２人目の素数さん mailto:sage [2018/12/24(月) 10:39:20.11 ID:TcgoulPh.net] 昔からスレ主は知ったかぶりだったが「確率過程は勉強した」とか言い始めた頃から スレ主の妙なプライドかトラウマのスイッチがさらに入ったんだろう 383 名前：１３２人目の素数さん [2018/12/24(月) 10:45:50.62 ID:6oRe+bIf.net] >>347 ＞スレ主の妙なプライドかトラウマのスイッチ スレ主は受験秀才だったんでしょうな そういう人が大学数学で挫折するのを沢山見てきましたよ 高校までの数学は所詮算数の延長だから論理もヘッタクレもないんですよ 384 名前：１３２人目の素数さん [2018/12/24(月) 12:36:16.70 ID:zYiwLYWk.net] >>335 ”確率論の専門家”は確率論の専門家かも知れないが、時枝問題に対してはまったく的外れだね。 時枝問題での確率は「100個の自然数（同じ値があってもよい）から無作為に１つ選んだ時、最大値� 385 名前：ﾅない確率」だよ。 これは小学生でもわかる確率だからそもそも確率論の専門家なんて不要。 恐らく記事後半の確率の話に惑わされたのだろう。そこは時枝氏も悪い。 "確率論の専門家"は、件の発言以来姿を見せない。 スレ主が後生大事に持ち続けてるレスの主は言い逃げ君でした。ほんとピエロだね。 [] [ここ壊れてます] 386 名前：１３２人目の素数さん [2018/12/24(月) 12:47:06.81 ID:zYiwLYWk.net] >>336 ＞英語圏では、>>272 >>287-294 に示した通り、時枝解法不成立が多数派で 英語圏にも理解できない馬鹿がいることは示されているが、その馬鹿が多数派で あることはいつ示されたの？ 印象操作も稚拙過ぎるピエロ君 387 名前：１３２人目の素数さん [2018/12/24(月) 13:09:51.12 ID:zYiwLYWk.net] >>341 ＞選択公理の理解さえあやしい（＾＾； いや、選択公理を理解してないのは真のピエロスレ主だよ 選択公理：空集合を要素に持たない任意の集合族に対して、各要素（それ自体が集合である）から一つずつその要素を選び、新しい集合を作ることができる。 「空集合を要素に持たない任意の集合族」 ： R^N/〜 「に対して、各要素（それ自体が集合である）」： R^N/〜の各同値類 「から一つずつその要素を選び」 ： R^N/〜の各同値類の代表列 「新しい集合」 ： R^N/〜の代表系 「を作ることができる。」 選択公理を仮定すれば代表系を作ることができる。 代表系が存在するなら、任意の実数列の決定番号は、その定義から自然数である。 100個の実数列から100個の自然数が得られる。 こんな簡単な理屈、なぜ理解できないの？ 388 名前：１３２人目の素数さん [2018/12/24(月) 13:21:34.17 ID:zYiwLYWk.net] >>338 ＞数学落ちこぼれが、選択公理を、水戸黄門の葵の紋章か、キリスト教の免罪符かわりにしようと、しているみたいなので そもそも公理とは証明無しで真と認める命題、つまり紋所であり免罪符である。 選択公理を理解していないスレ主には紋所や免罪符の乱発に見えてしまうだけの話。 ピエロ君が理解すればいいだけ。それ以外に何の問題も無い。 389 名前：１３２人目の素数さん [2018/12/24(月) 13:33:13.30 ID:zYiwLYWk.net] じゃあ 0,0,・・・ の決定番号は何？というのは工学バカの発想ね。 「代表系を作れるか」と「どう作るか」は別問題なのである。 そして時枝解法の成立には前者が保証されれば十分なのである。 390 名前：１３２人目の素数さん [2018/12/24(月) 16:22:52.55 ID:zYiwLYWk.net] スレ主でも理解できるように、さらに噛み砕いた 「空集合を要素に持たない任意の集合族」 ： R^N/〜（ 要素である同値類は空集合でない） に対して、 「各要素」： R^N/〜の各要素、つまり各同値類 「（それ自体が集合である）」： 同値類は同値な元の集合である から一つずつ 「その要素」： R^N/〜の同値類の代表列 を選び 「新しい集合」 ： R^N/〜の代表系 を作ることができる。 これで理解できなきゃ真性アルツハイマー確定 391 名前：１３２人目の素数さん [2018/12/24(月) 16:23:53.28 ID:6oRe+bIf.net] >>352 公理は単に前提に過ぎないが 時枝論法では選択公理を前提したのだから 「非可測を認めないなから選択公理も認めない」 というのは時枝論法からの逸脱にあたる >>353 スレ主の屁理屈は 「決定番号がどの値をとるにせよその確率は０ 　したがって決定番号が自然数の値をとることはない」 につきるようだが、「」内の１行目から２行目は導けない 決定番号が自然数の値をとることは、 選択公理で代表元がとれる時点で 決まっていることだから 392 名前：１３２人目の素数さん [2018/12/24(月) 16:30:48.23 ID:zYiwLYWk.net] 選択公理ひとつ理解しないまま3年間もアホ発言を繰り返していたスレ主こそ真性ピエロと断ぜざるを得ず よって件の如し 393 名前：１３２人目の素数さん [2018/12/24(月) 16:43:27.64 ID:6oRe+bIf.net] >>356 スレ主がピエロなのは、バカな自分を賢いと思い込んでるところだな バカは別にカッコ悪くない　バカがバカを認められないのはカッコ悪い 394 名前：１３２人目の素数さん mailto:sage [2018/12/24(月) 16:59:33.79 ID:tlnb9Rtp.net] >>355 ＞スレ主の屁理屈は ＞「決定番号がどの値をとるにせよその確率は０ ＞　したがって決定番号が自然数の値をとることはない」 ＞につきるようだが、「」内の１行目から２行目は導けない 確率0はその事象が起こらないことを意味しないからね。 このことは確率論の最初の方で学ぶこと。 それさえ理解できてないスレ主が確率過程論とか、ちゃんちゃらおかしい。 395 名前：１３２人目の素数さん [2018/12/24(月) 17:04:39.52 ID:6oRe+bIf.net] >>358 ＞確率0はその事象が起こらないことを意味しないからね。 そこもおっしゃるとおりだが、 一番の問題は、可算加法性を勝手に使って 自然数全体の確率が０だと結論してる点 ついでにいえば任意の自然数ｎについて 396 名前： ｎまでの自然数の値をとる確率が０ というのはいえるが、そこから 任意の自然数の値をとる確率が０ というのもいえない [] [ここ壊れてます] 397 名前：１３２人目の素数さん [2018/12/24(月) 17:17:01.90 ID:zYiwLYWk.net] 確率論の最初の方で学ぶことも分かってないスレ主が確率過程論を学べと説教するスレ 398 名前：１３２人目の素数さん mailto:sage [2018/12/24(月) 17:48:46.30 ID:tlnb9Rtp.net] >>359 ＞一番の問題は、可算加法性を勝手に使って ＞自然数全体の確率が０だと結論してる点 うん。その補強のような感じで、可算加法性が成り立たなくても全く変じゃない理由として、 ＞確率0はその事象が起こらないことを意味しないからね。 と言ったつもり。 399 名前：１３２人目の素数さん [2018/12/24(月) 17:57:03.45 ID:6oRe+bIf.net] >>361 了解してますよ そもそも選択公理で代表元の存在を認めた時点で 決定番号の分布に関して、可算加法性は成り立たない とわかるんですよ　数学の理屈がわかる人ならね （そしてそれゆえ非可測であることも導ける） スレ主は結局非可測集合の構成の理屈が分かってない だから●●の一つ覚えで可算加法性を平然と使うんですよ 可算加法性が成立しない設定で可算加法性を前提したら 間違うに決まってる 400 名前：１３２人目の素数さん mailto:sage [2018/12/24(月) 19:34:46.48 ID:4YmeSpg9.net] 1列にならべた可算無限個の箱に当たりが1つだけ入っているくじがある [スレ主の考え] 先頭から有限個開けたら全てハズレである よって残りの可算無限個の箱には当たりが入っていない ボケ諸法度 時枝記事を肯定すべからざる事 [一般人の考え] 箱を全部開ければ必ず当たりが入っている 当たりの位置は自然数で表すことができる 1列であれば当たりの位置の推測はできないが2列以上(ただし有限値)あれば 何列かの箱を全て開けることでそれぞれの当たりの位置(自然数)の大小を 比較することで位置の推測は可能 401 名前：１３２人目の素数さん [2018/12/24(月) 20:19:00.52 ID:6oRe+bIf.net] >>363 それはピンポイントだから当たらないな 時枝論法のキモは最大値さえ選ばなければ当たるってところにあるんで そうなるようにゲームを設定しないといえない （あるところから先が全部当たりくじとか） 402 名前：１３２人目の素数さん mailto:sage [2018/12/24(月) 21:06:18.73 ID:4YmeSpg9.net] > 箱を全部開ければ必ず当たりが入っている これは数を当てるわけではない > 最大値さえ選ばなければ この部分だけの話です この当たりが有理数の循環節の開始位置だとか代表元と全て一致 しだす最初の位置だとかにするのが > そうなるようにゲームを設定 > （あるところから先が全部当たりくじとか） これは必要ない 403 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 21:56:11.72 ID:1uJ+FX2v.net] ピエロちゃん えらいねー、小学生レベルなのに 沢山カキコして 今日も、ピエロおどり頼む ホイ、ホイ、ホイ 踊れ！ ピエロ！（＾＾ 404 名前：１３２人目の素数さん mailto:sage [2018/12/24(月) 22:08:59.16 ID:4YmeSpg9.net] >>366 大丈夫? 405 名前：１３２人目の素数さん mailto:sage [2018/12/24(月) 22:53:19.91 ID:TcgoulPh.net] スレ主以外が真面目に議論して スレ主が荒らすスレになりました 406 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 22:56:15.71 ID:1uJ+FX2v.net] >>345 >特殊相対性理論のローレンツ変換から >双曲幾何が構築できるという話をしている ああ、なるほど それ、>>320 海城中学高等学校 数学科リレー講座 2013 「現代幾何学のひろがり」と題して、非ユークリッド幾何学をテーマの中心とします の https://www.kaijo.ed.jp/wp-content/uploads/2016/02/2013summer-5_2.pdf ミンコフスキー幾何 5日目 - 海城中学高等学校 4 ユークリッド幾何とミンコフスキー幾何の関係 32 4.1 ユークリッド幾何再考 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 4.2 双曲線関数とローレンツ変換 . . . . . . . . . . . . . . . . . . . . . . . . 35 4.3 2 つの幾何の架け橋 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 (引用終り) ってあるけど、この話かい？ えらいねー、おまえの卒業した大学の数学科って、海城の数学科リレー講座 夏期講習の内容で、「えっへん」できるんだね（＾＾ 407 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 23:05:37.81 ID:1uJ+FX2v.net] 大学数学を教える先生方も、楽しい教材は歓迎だ バナッハタルスキーみたいなね もし、時枝記事が正しければ、バナッハタルスキー類似の教材ネタになるだろう 居眠りしかかっている学生の目をさまさせる教材として使える 一つは、選択公理を使えば、こんな面白いことが言えるとか 一つは、確率論の教材として、こんな面白いことが言えるとか 一つは、集合論の無限数列のシッポの同値類の教材として、こんな面白いことが言えるとか 時枝記事が正しければ、時枝記事を引用して教材が作れる トピックスとして、あるいはコラムとして、教材の囲み記事にしても良い しかし、英語圏、日本語圏とも、そういう教材の例はない（＾＾ なぜだろうか？ 不思議に思う人は、>>31-32 >>161 をやってみて下さい（＾＾； （>>272より） https:// 408 名前：ja.wikipedia.org/wiki/%E3%83%90%E3%83%8A%E3%83%83%E3%83%8F%EF%BC%9D%E3%82%BF%E3%83%AB%E3%82%B9%E3%82%AD%E3%83%BC%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9 バナッハ＝タルスキーのパラドックス [] [ここ壊れてます] 409 名前：１３２人目の素数さん [2018/12/24(月) 23:23:03.44 ID:zYiwLYWk.net] 普通のバカ：数学が分かってない 救い様の無いバカ：数学が分かってないことが分かってない スレ主は後者なので死ぬまでバカのままです 410 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 23:41:01.94 ID:1uJ+FX2v.net] >>338 補足 「カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている」とあるけど 選択公理も同様で、等価な命題が多数あってね 「整列可能定理」や「比較可能定理」や「右逆写像の存在」や「ベクトル空間における基底の存在」など これらを認めることは、選択公理を認めることだ 「整列可能定理」や「比較可能定理」や「右逆写像の存在」や「ベクトル空間における基底の存在」や、これみんな認めているんじゃないのかい？（＾＾ おれは、これらを認めるって言っているだけなんだけど？ 認めないと、不便でしょ？ ピエロ、選択公理分ってるかい？（＾＾ https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86 (抜粋) 選択公理（せんたくこうり、英: axiom of choice、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた[1]。 定義 空集合を要素に持たない任意の集合族に対して、各要素（それ自体が集合である）から一つずつその要素を選び、新しい集合を作ることができる。 あるいは同じことであるが、空でない集合の空でない任意の族 A に対して写像 f： A → ∪A := ∪ _{A ∈ A} A であって任意の x ∈ A に対し f(x) ∈ x なるものが存在する、と写像を用いて言い換えることが出来る（ここで存在が要求される写像 f を選択関数（英語版）という）。 選択公理と等価な命題 以下の命題は全て選択公理と同値である。つまり、以下の命題のいずれかを仮定すると選択公理を証明することができるし、逆に選択公理を仮定すると以下の命題が全て証明できる。 つづく 411 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 23:41:45.36 ID:1uJ+FX2v.net] >>372 つづき 整列可能定理 任意の集合は整列可能である。 ツォルンの補題 順序集合において、任意の全順序部分集合が有界ならば、極大元が存在する。（実際の数学では、この形で選択公理が使われることも多い。） テューキーの補題 有限性（英語版）を満たす空でない任意の集合族は包含関係に関する極大元を持つ。 比較可能定理 任意の集合の濃度は比較可能である。 直積定理 無限個の空集合でない集合の直積は空集合ではない。 右逆写像の存在 全射は右逆写像を有する。 ケーニッヒ（Julius Konig）の定理 濃度の小さい集合の直和より、濃度の大きい集合の直積のほうが濃度が大きい。 ベクトル空間における基底の存在 全てのベクトル空間は基底を持つ（1984年にen:Andreas Blassによって選択公理と同値であることが証明された。ただし、正則性公理が必要になる）。 チコノフの定理 コンパクト空間の任意個の積空間はコンパクトになる。 クルルの定理 単位元をもつ環は極大イデアルを持つ。 歴史 集合論の創始者ゲオルク・カントールは、選択公理を自明なものとみなしていた。 実際、有限個の集合からなる集合族であれば、そのそれぞれの集合の中から順に1つずつ元を選び出し、それらを併せて集合とすればよいのであるから、このような操作ができることは自明である。 しかし、ツェルメロによる整列可能定理の証明に反論する過程で、エミーユ・ボレル、ルネ＝ルイ・ベール、アンリ・ルベーグ、バートランド・ラッセルなどが選択公理の存在に気付き、新たな公理であることが認識されるようになった。 カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている。 (引用終り) 以上 412 名前：１３２人目の素数さん [2018/12/24(月) 23:46:42.58 ID:zYiwLYWk.net] いやいや、いくら 413 名前：コピペしても理解したことにはならないよ 実際スレ主は選択公理を仮定すれば代表系が作れるってこと理解してないじゃん 理解してたら>>338のようなアホレスは書けない [] [ここ壊れてます] 414 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 23:49:37.13 ID:1uJ+FX2v.net] 選択公理を認めてもなお、時枝記事の確率計算が成り立たない その一つの根拠は、非可測集合については、測度が定義できないゆえ、確率計算が不可能になるってこと 英語圏と日本の大学数学教員の常識 415 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/24(月) 23:50:43.59 ID:1uJ+FX2v.net] 不思議に思う人は、>>31-32 >>161 をやってみて下さい（＾＾； （>>272より） 416 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 00:27:18.88 ID:u6Dry/Od.net] >>375 > 選択公理を認めてもなお、時枝記事の確率計算が成り立たない スレ主は数当てができないとずっと主張しているが 数当てができる(or できない)は上の内容とはまた別の話ですよ 417 名前：１３２人目の素数さん [2018/12/25(火) 00:45:36.79 ID:Z37dxCS5.net] スレ主が必死でコピペしてることは皆わかってるというのになあ 418 名前：１３２人目の素数さん [2018/12/25(火) 01:36:16.65 ID:Zq9eMv+6.net] >>375 確率計算という言葉尻だけ捉まえるんじゃなく、自分が何の確率を論じているのか 少しは考えたら？他人の尻馬に乗っかって思考停止のスレ主さん 419 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 03:12:33.06 ID:Z37dxCS5.net] 周りがいくら説明しても切れるだけ 何もわかってなくて学習する気のない人には説明のしようがない 420 名前：１３２人目の素数さん [2018/12/25(火) 06:04:29.73 ID:LFNNMehR.net] >>369 で、スレ主が必死で探したリンク先に >>259の答えはあったかい？（・∀・）ﾆﾔﾆﾔ 421 名前：１３２人目の素数さん [2018/12/25(火) 06:08:39.65 ID:LFNNMehR.net] >>372 ＞「整列可能定理」・・・ ＞おれは、これらを認めるって言っているだけなんだけど？ つまり同値類から代表元がとれることを認めるわけだ したがって時枝論法を全面的に認めるわけだ 違う、とはいえないぞ 代表元がとれてしまえば決定番号が決まってしまう １００個の列の決定番号のうち他より大きいものはたかだか１つ つまり、失敗する場合もたかだか１／１００ 残念だったな　サイコピエロスレ主 422 名前：１３２人目の素数さん [2018/12/25(火) 06:12:53.81 ID:LFNNMehR.net] >>375 ＞選択公理を認めてもなお、時枝記事の確率計算が成り立たない ＞その一つの根拠は、非可測集合については、測度が定義できないゆえ、 ＞確率計算が不可能になるってこと 選択公理を認めれば、同値類の代表元がとれ、決定番号が決まる その場合１００個の列から１つを選んで、その予測に失敗する確率は１／１００ 上記の計算に「決定番号の分布が非可測」とか全く関係ない 上記の確率計算を否定するには、非可測を排除するという理由で 同値類の代表元がとれないとするしかない それは選択公理の否定と同じ　スレ主はこの理屈をどうしても認めたがらない 423 名前：１３２人目の素数さん [2018/12/25(火) 06:19:06.11 ID:LFNNMehR.net] >>377 ＞スレ主は数当てができないとずっと主張しているが スレ主は決定番号の分布に固執するから間違うわけだ 決定番号の分布は非可測だから、積分計算はできない だからといって、時枝論法の予測確率が計算できないことにはならない １００個の列があれば、１００個の代表元があり、１００個の決定番号がある １００個の中から１個えらんで、それがたまたまハズレの1個でなければいいだけ 初等的な確率の計算だけ　ザ・ン・ネ・ン・デ・シ・タ 424 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/25(火) 09:57:23.33 ID:jMORO33C.net] >>377-379 >> 選択公理を認めてもなお、時枝記事の確率計算が成り立たない >スレ主は数当てができないとずっと主張しているが >数当てができる(or できない)は上の内容とはまた別の話ですよ ＜定義＞ "数当てができない"＝”時枝記事の確率計算が成り立たない” （∵ 時枝記事では、確率99/100で数当てが出来るとしているのだから（＾＾ ） QED 425 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/25(火) 09:57:37.27 ID:jMORO33C.net] >>380 >周りがいくら説明しても切れるだけ >何もわかってなくて学習する気のない人には説明のしようがない ＜双対定理成立＞ （数学は） いくら説明しても （ある一定の理解レベルに達していなければ） 何もわかってない人には説明のしようがない （特に、基礎がない人たちには） （補足） 普通の（天才以外の）小学生に微分積分を教えるようなこと 今回の時枝記事の場合、特に確率論＆確率過程論が分かっていない人たちな（＾＾ 426 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/25(火) 09:59:15.26 ID:jMORO33C.net] >>375 補足 「選択公理を認めてもなお、時枝記事の確率計算が成り立たない その一つの根拠は、非可測集合については、測度が定義できないゆえ、確率計算が不可能になるってこと 英語圏と日本の大学数学教員の常識」 ここ５CHは、数学の学会ではない まあ、どちらかと言えば、ド素人たちのいるところ（おれも含めてな） 専門的な議論ができるはずもない（おれも含めてな） 上記の当たり前の（「ちゃんと定義しろよ」という）専門家に批判に 答えられない議論が続いている（＾＾ 427 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/25(火) 09:59:57.81 ID:jMORO33C.net] >>381-384 ピエロちゃん えらいねー、小学生レベルなのに 沢山カキコして 今日も、ピエロおどり頼む ホイ、ホイ、ホイ 踊れ！ ピエロ！（＾＾ 428 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 10:55:06.68 ID:hBtRgkOS.net] おっちゃんです。 >>380 >＜双対定理成立＞ >（数学は） >いくら説明しても >（ある一定の理解レベルに達していなければ） >何もわかってない人には説明のしようがない >（特に、基礎がない人たちには 正にスレ主に当てはまることなんだが。 ごく簡単な理屈3年以上教えても分からないのでは、どうしようもない。 429 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 11:02:17.50 ID:hBtRgkOS.net] >>306 >今回の時枝記事の場合、特に確率論＆確率過程論が分かっていない人たちな（＾＾ 時枝記事に確率論はいらん。 430 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/25(火) 11:02:38.52 ID:jMORO33C.net] >>387 タイポ訂正 上記の当たり前の（「ちゃんと定義しろよ」という）専門家に批判に 　↓ 上記の当たり前の（「ちゃんと定義しろよ」という）専門家の批判に 431 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 11:06:07.03 ID:hBtRgkOS.net] >>306 おっと、390でいう「確率論」とは「公理的確率論」のことな。 432 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/25(火) 11:09:42.21 ID:jMORO33C.net] >>389 「>>380 >＜双対定理成立＞ >（数学は）」 そこリンク間違っているよ >>380→>>386 でしょ。どうしようもないおやじだね（＾＾ なお、＜双対定理成立＞（>>386）な（＾＾； 433 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/25(火) 11:10:06.51 ID:jMORO33C.net] >>390 ＞>>306 ここもリンク間違っているよ >>306→>>386 でしょ。どうしようもないおやじだね（＾＾ >>今回の時枝記事の場合、特に確率論＆確率過程論が分かっていない人たちな（＾＾ >時枝記事に確率論はいらん。 ぷっー 吹いたぁ〜（＾＾； 434 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/25(火) 11:10:55.48 ID:jMORO33C.net] >>392 なんでそうリンク間違えるのかね〜（＾＾； 435 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/25(火) 11:15:09.83 ID:jMORO33C.net] >>392 >おっと、390でいう「確率論」とは「公理的確率論」のことな。 これな 時枝記事の確率計算が正しいと言っている人たち（落ちこぼれピエロを含む）の素朴な確率の知識をよく表現しているという意味で、それ秀逸だわ（＾＾ 436 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 11:23:04.74 ID:hBtRgkOS.net] >>395 >>389や>>390、及び>>392は、>>380ではなく、>>386(スレ主)へのレス。 437 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 11:31:42.12 ID:hBtRgkOS.net] >>394 古典的な確率論があるからこそ確率過程もある訳で、 理論的に古典的な確率論の方が確率過程より簡単なだけでなく、 歴史的にも古典的な確率論の方が古いんだが。 438 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 11:42:35.19 ID:hBtRgkOS.net] >>387 >選択公理を認めてもなお、時枝記事の確率計算が成り立たない >その一つの根拠は、非可測集合については、 >測度が定義できないゆえ、確率計算が不可能になるってこと 時枝記事では、選択公理を使ってヴィタリの非可測集合を経由して、 構成した空でない有限集合上で確率の計算が出来るようにしている。 ここは古典的な確率論の計算の話なんだが。 439 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 11:59:31.64 ID:hBtRgkOS.net] >>395 >>397は取り下げてそれを書き直すと、以下のようになる： >389や>390、及び>392は、「>>306や>>380」ではなく、>>386(スレ主)へのレス。 440 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 12:56:49.02 ID:hBtRgkOS.net] >>396 ＞>おっと、390でいう「確率論」とは「公理的確率論」のことな。 ＞ ＞これな ＞時枝記事の確率計算が正しいと言っている人たち（落ちこぼれピエロを含む）の ＞素朴な確率の知識をよく表現しているという意味で、それ秀逸だわ（＾＾ 別にわざわざ確率測度を持ち出す必要はないと思うが、もし確率測度を使いたいなら、 それを使えば、古典的な確率論も現代的な(コルもゴルフの)公理的な確率論の枠組みの中で扱える。 441 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 13:01:36.80 ID:hBtRgkOS.net] >>396 >>401の訂正： もし確率測度を使いたいなら、 → もし公理的な確率論の枠組みの中で確率を計算したいなら、 442 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 13:12:28.09 ID:hBtRgkOS.net] >>396 他にも訂正箇所があったから、>>401を次のように再訂正する： >>396 ＞>おっと、390でいう「確率論」とは「公理的確率論」のことな。 ＞ ＞これな ＞時枝記事の確率計算が正しいと言っている人たち（落ちこぼれピエロを含む）の ＞素朴な確率の知識をよく表現しているという意味で、それ秀逸だわ（＾＾ 別にわざわざ確率測度を持ち出す必要はないと思うが、もし公理的な確率論の枠組みの中で確率を計算したいなら、 確率測度を使えば、古典的な確率論も現代的な(コルモゴルフの)公理的な確率論の枠組みの中で扱える。 443 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 13:38:04.29 ID:hBtRgkOS.net] >>395 >なんでそうリンク間違えるのかね〜（＾＾； 今日は寝不足か何か原因は知らないけど、先は目が疲れていて、パソコン上の細かい文字がよく見えなかった。 444 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 17:07:31.65 ID:hBtRgkOS.net] スレ主からのレスはなかったが、それじゃ、おっちゃんもう寝る。 445 名前：１３２人目の素数さん mailto:sage [2018/12/25(火) 17:58:18.63 ID:u6Dry/Od.net] >>385 スレ主はランダムに実数を選んで箱に入れるとその箱の中身を 当てる確率は0だから当たりっこないと過去スレで書いているじゃないか つまり数当てゲームが成立しても数当てができないと主張しているわけで 決定番号が無限大になるとかはそういう観点での主張だ > "数当てができない"＝”時枝記事の確率計算が成り立たない” 数当てゲームが成立しないことと数当てができないことはイコールではないですよ 時枝記事の確率計算を省いても数当ては可能ですよ AがR^Nの元を自由に1つ選んでBに出題する 第三者のCが出題された数列を見て決定番号を求めBに決定番号を教 446 名前：える Bは教えられた決定番号から開けずに残す箱を決めてそれ以外の箱を開ける 代表元と比較すれば数当ては常に成功する この場合にもR^Nの元をランダムに選べば当たりっこないというのが スレ主の主張する「数当てができない」ということ(過去スレ参照) > ＜定義＞ > "数当てができない"＝”時枝記事の確率計算が成り立たない” だから上の定義はスレ主の主張「数当てができない」が正しいことの裏付けには なっていない [] [ここ壊れてます] 447 名前：１３２人目の素数さん [2018/12/25(火) 19:33:07.32 ID:LFNNMehR.net] >>399 おっちゃんには悪いがちょっと何言ってるのかわからない 決定番号の分布は非可測関数だが 時枝論法での予測確率を求めるのに 上記の非可測関数の積分は必要ない 決定番号１００個の中から たかだか１つの「他より大きい数」 を選ぶ確率を考えればいい 448 名前：１３２人目の素数さん [2018/12/25(火) 19:35:32.55 ID:LFNNMehR.net] >>387 ＞非可測集合については、測度が定義できないゆえ、確率計算が不可能になる 時枝論法での予測確率の計算に、非可測関数の積分計算は不必要 スレ主は不必要な計算をやりたがる馬鹿 449 名前：１３２人目の素数さん [2018/12/25(火) 19:57:23.58 ID:LFNNMehR.net] >>386 ＞小学生に微分積分を教えるようなこと 積分できない関数を積分しようとして 「できない！」と発狂してるバカはスレ主 そんな必要がないことは小学生にもわかる ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ 450 名前：１３２人目の素数さん [2018/12/25(火) 22:59:32.25 ID:Zq9eMv+6.net] >>386 ＞（数学は） ＞いくら説明しても ＞（ある一定の理解レベルに達していなければ） ＞何もわかってない人には説明のしようがない ＞（特に、基礎がない人たちには） ↑ まさにスレ主の状況ｗ 451 名前：１３２人目の素数さん [2018/12/25(火) 23:12:15.99 ID:Zq9eMv+6.net] >>387 ＞まあ、どちらかと言えば、ド素人たちのいるところ（おれも含めてな） なんで自分以外を自分と同列に置きたがるの？自惚れ？ 明らかにお前一人レベルが違うんだが 数学のレベルだけじゃなく人間としてのレベルも 452 名前：１３２人目の素数さん [2018/12/25(火) 23:13:45.76 ID:Zq9eMv+6.net] >>394 >>>今回の時枝記事の場合、特に確率論＆確率過程論が分かっていない人たちな（＾＾ >>時枝記事に確率論はいらん。 >ぷっー >吹いたぁ〜（＾＾； ↑ 馬鹿丸出し（自覚無し） 453 名前：１３２人目の素数さん [2018/12/25(火) 23:17:47.64 ID:Zq9eMv+6.net] >>396 ＞これな ＞時枝記事の確率計算が正しいと言っている人たち（落ちこぼれピエロを含む）の素朴な確率の知識をよく表現しているという意味で、それ秀逸だわ（＾＾ ↑ 馬鹿丸出し（自覚無し） 454 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/26(水) 06:55:25.62 ID:bwHtmsCY.net] 突然ですが、量子コンピューター https://wired.jp/2018/12/20/denso-quantum-annealing-ws/ 2018.12.20 THU 10:00 まもなく、デンソーの「量子アニーリング研究」が「社会の最適化」をはじき出す!? TEXT BY TOMONARI COTANI PHOTOGRAPHS BY KOUTAROU WASHIZAKI (抜粋) WIRED　ごくごく平易に、量子コンピューターの現状について教えていただければ幸いです。 門脇正史（以下門脇）　はい。まず、量子コンピューターの研究で先端を行っているのはGoogleです。彼らは、カリフォルニア大学サンタバーバラ校のジョン・マルティニス教授を研究室ごと買収しました。そこが、いま一番「ノイズの少ない量子ビット」をつくれると言われています。 IBMも、ずっと自分たちでつくっていますね。あとはそのIBMからスピンアウトしたRigettiや、マイクロソフトやインテルもヨーロッパの大学(デルフト工科大学)と組んで研究をしています。中国は、正直どれくらいすごいのかわかりませんが、人もお金も莫大な投資をしていると聞きます。 ちなみに先日、IonQが「まったく異なる技術で、Googleや他社と並ぶ量子コンピューターを実現した」という発表がありました。 門脇　「量子ゲート」です。基本的には、D-Wave以外はほとんど量子ゲートを研究開発していると捉えて間違いないと思います。 WIRED　量子ゲートと量子アニーリングは、どう違うのでしょうか？　量子ゲートは、従来のコンピューターの延長線上にあるもので、量子アニーリングは、「物質が冷やされるときに構造が安定する」という自然現象を応用している� 455 名前：Aと読んだことがあります。 門脇　量子ゲートは、ユニバーサル量子コンピューターの実装のひとつで、古典コンピューターの拡張になります。一方アニーリングは、量子力学を利用していますが、古典コンピューターの上位互換ではなく、最適化問題を解くことに特化したコンピューターです。 つづく [] [ここ壊れてます] 456 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/26(水) 06:56:02.74 ID:bwHtmsCY.net] >>414 つづき 寺部　ゲート型は何でもできるかわりに、実用化はまだまだ先だとされています。Googleが出している「72ビット」が、現状世界で一番大きいとされていますが、アニーリング型は最適化に特化した分、実際「2048ビット」まで来ています。実用化は目の前です。 WIRED　先程「ノイズの少ない」という表現がありましたが、量子コンピューターにおけるノイズとは何でしょうか？ 門脇　量子コンピューターは非常に低温、具体的には12ミリケルビンという限りなく絶対零度に近い状態で動かしています。それくらい温度を下げないと、量子ビットが情報を保てなくなるんです。 寺部　2000ビットくらいになり、ようやく「実証実験に使えるね」というレヴェルになりました。最近わたしたちは、東北大学量子アニーリング研究開発センターと共同で「工場の無人搬送車（AGV）を動かす実証実験」をおこなったのですが、それも、2000ビットあったからこそできた実験でした。 寺部　2017年に豊田通商さんと共同で、渋滞解消の実証実験をタイでおこないました。バンコクの13万台のタクシーやトラックに取り付けられた専用車載器から位置情報を取得し、渋滞解消やタクシー配車サーヴィス、配送問題などのアプリケーションの検証をしています。 そのときに実感したのですが、いまのナヴィゲーションですと、例えば「この先に渋滞があるよ」と提示しても、みんなが一番早く着きたいので、次に一番早い道をみんなが選択し、また渋滞して、また次の道にみんなが行って、渋滞して…といった具合に、渋滞が解消されません。 でも、同じクルマの台数であっても、「自分が一番早く着きたい」ではなく「みんなで早く着きましょう」ということで分散すれば、最初から渋滞なんて起きない場合もあるんです。 このように世の中全体が最適化されると、例えば渋滞がなくなったり、エネルギーの消費量が世界全体で減ったりといった、社会問題の解決にもつながっていく可能性があると考えています。 (引用終り) 457 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2018/12/26(水) 06:56:50.19 ID:bwHtmsCY.net] 小学生のピエロちゃん えらいねー、小学生レベルなのに 沢山カキコして 今日も、ピエロおどり頼む ホイ、ホイ、ホイ 踊れ！ ピエロ！（＾＾

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef