現代数学の系譜 工学物理雑談 古典ガロア理論も読む77

1 名前：現代数学の系譜 雑談 古典ガロア理論も読む mailto:sage [2019/09/09(月) 19:52:11.23 ID:w2gV7wtr.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/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日 （なお、サイコの発言集「実際に人を真っ二つに斬れたら 爽快極まりないだろう」、「狂犬」、「イヌコロ」、「君子豹変」については後述（＾＾； ） High level people （知能の低い者が、サルと呼ばれるようになり、残りました。ｗ（＾＾； ） 低脳幼稚園児のAAお絵かき 上記は、お断り！！ 小学生がいますので、18金（禁）よろしくね！（＾＾ （旧スレが1000オーバー（又は間近）で、新スレを立てた） 730 名前：１３２人目の素数さん mailto:sage [2019/09/29(日) 16:54:21.15 ID:s0bEnY0r.net] >>675 >ではどういう理屈で>>663で >＞任意の2以上の正整数xについて x≠Φ、0∈x >といったのか？ 理屈も何も、>>670や>>674に書いた通り説明が分からない。 wikiの公理的集合論の正則性公理 >空でない集合は必ず自分自身と交わらない要素を持つ。 を記号で書くと >∀A( A≠Φ → ( ∃x∈A∀t∈A ¬(t⊂x) ) ) だろうな。最後の ¬(t⊂x) が ¬(t∈x) になっている理由が分からん。 731 名前：１３２人目の素数さん mailto:sage [2019/09/29(日) 17:01:54.78 ID:WcBxaUNf.net] >>676 >正則性公理 >空でない集合は必ず自分自身と交わらない要素を持つ。 >を記号で書くと >∀A( A≠Φ → ( ∃x∈A∀t∈A ¬(t⊂x) ) ) >だろうな。 いや ∀A( A≠Φ → ( ∃x∈A.A∩＝Φ) だろう。 ∀t∈A ¬(t∈x) ⇔ A∩x＝Φ 732 名前：１３２人目の素数さん mailto:sage [2019/09/29(日) 17:02:53.96 ID:WcBxaUNf.net] >>676 >正則性公理 >空でない集合は必ず自分自身と交わらない要素を持つ。 >を記号で書くと >∀A( A≠Φ → ( ∃x∈A∀t∈A ¬(t⊂x) ) ) >だろうな。 いや ∀A( A≠Φ → ( ∃x∈A.A∩x＝Φ) だろう。 ∀t∈A ¬(t∈x) ⇔ A∩x＝Φ 733 名前：１３２人目の素数さん mailto:sage [2019/09/29(日) 17:08:13.20 ID:s0bEnY0r.net] >>677-678 定義通り、交わるの記号∩に従えばそうなる。 734 名前：１３２人目の素数さん mailto:sage [2019/09/29(日) 17:34:22.66 ID:s0bEnY0r.net] それじゃ、おっちゃんもう寝る。 735 名前：１３２人目の素数さん [2019/09/29(日) 18:38:17.04 ID:NoBnYUlZ.net] >>680 おっちゃんどうも スレ主です お疲れ様 おやすみなさい(^_^) 736 名前：１３２人目の素数さん [2019/09/29(日) 20:52:45.23 ID:rVYV+GdK.net] 5245 かずきち@dy_dt_dt_dx 9月29日 京大オープン経済190/550しか取ってないやつにマウント取られて草 お前より90点高いんだよ黙って勉強しろ https://twitter.com/dy_dt_dt_dx (deleted an unsolicited ad) 737 名前：１３２人目の素数さん mailto:sage [2019/09/30(月) 16:28:44.94 ID:liDpyXjk.net] 諸法無我。 738 名前：１３２人目の素数さん [2019/09/30(月) 16:55:48.59 ID:4OKAVLO5.net] 諸行無駄w 5chw (゜ロ゜; 739 名前：１３２人目の素数さん [2019/10/01(火) 09:58:57.72 ID:Fd75etB7.net] 数学板なんて 遊びですよ あくまでエンタです 知るは楽しみとは、昔のクイズ番組のフレーズだったが 余祿でそういうこともありだけどね(^_^) 740 名前：１３２人目の素数さん mailto:sage [2019/10/01(火) 10:49:46.90 ID:QwfVWNNN.net] >>684-685 おっちゃん=>>683です。 この世の万物は流転することを違う角度で表したのが諸行無常と諸法無我である。 その諸行無常を文字って書いたのが>>684だろう。 諸法や諸行の2つの単語が、どちらもこの世の万物を意味する仏教用語である。 だから、諸行無常を文字った 741 名前：>>684の「諸行無駄」は、この世の万物は無駄である、というように解釈出来る。 この世の万物が無駄とは限らない。例：数学板に来るのに必要なパソコンやスマホその他諸々。 [] [ここ壊れてます] 742 名前：１３２人目の素数さん mailto:sage [2019/10/01(火) 12:06:46.57 ID:QwfVWNNN.net] >>684-685 何かよく分からんが、毎日ことばのサイト ttps://mainichi-kotoba.jp/photo-20190605 というサイトによると、「もじる」について、 正しくは漢字で「文字る」の代わりに「捩る」と書くみたいだ。 そのため、>>686の下から2行目の「文字った」は「捩った」と書くことになるようだ。 確か、捩るという漢字は「よじる」と読むんでなかったかな。 まあ、>>684-685はスレ主だったようだが。 743 名前：１３２人目の素数さん mailto:sage [2019/10/01(火) 12:13:39.11 ID:QwfVWNNN.net] 捩るは「ねじる」とも読むけど。 744 名前：１３２人目の素数さん [2019/10/01(火) 13:48:04.68 ID:Fd75etB7.net] >>686 どうもスレ主です(^_^) ああ、>>683は、おっちゃんだったか どうもありがとう(^_^) 745 名前：１３２人目の素数さん mailto:sage [2019/10/01(火) 16:37:22.41 ID:QwfVWNNN.net] それじゃ、おっちゃんもう寝る。 746 名前：１３２人目の素数さん [2019/10/01(火) 20:38:24.17 ID:Fd75etB7.net] >>690 おっちゃん、どうもスレ主です レスありがとう おやすみなさい(^_^) 747 名前：１３２人目の素数さん mailto:sage [2019/10/01(火) 20:47:36.48 ID:ZtNmYqrM.net] あああいちxっskmgふj 748 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/01(火) 21:49:44.35 ID:vm59o0VQ.net] どうも。スレ主です。 復活したかな？（＾＾； 749 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/02(水) 14:10:44.11 ID:G/S4NbBk.net] メモ （＾＾ RPA ロボティック・プロセス・オートメーションか https://www.excite.co.jp/news/article/Fisco_00093500_20191002_013/ [注目トピックス　日本株]【IPO】パワーソリューションズ<4450>---初値は5110円（公開価格2000円） エキサイトニュース 2019年10月2日 (抜粋) *09:23JST 【IPO】パワーソリューションズ<4450>---初値は5110円（公開価格2000円） パワーソリューションズ<4450>の初値は公開価格の約2.6倍となる5110円となった。初値形成時の出来高は23万3200株だった。《HK》 https://www.ipokiso.com/company/2019/powersolutions.html パワーソリューションズ（4450） (抜粋) 　パワーソリューションズの事業内容は「金融機関に向けた業務コンサルティング・システムの受託開発・運用保守サービス及び業務のアウトソーシング受託、並びに法人に向けたRPAライセンスの販売及び導入サポート」で、東証マザーズ上場の小型案件（想定時価総額24.8億円、吸収金額6.1億円）です。 統計的に初値の上がりやすい「大和証券が主幹事」の案件です。 https://ja.wikipedia.org/wiki/%E3%83%AD%E3%83%9C%E3%83%86%E3%82%A3%E3%83%83%E3%82%AF%E3%83%BB%E3%83%97%E3%83%AD%E3%82%BB%E3%82%B9%E3%83%BB%E3%82%AA%E3%83%BC%E3%83%88%E3%83%A1%E3%83%BC%E3%82%B7%E3%83%A7%E3%83%B3 ロボティック・プロセス・オートメーション (抜粋) ロボティック・プロセス・オートメーション（英: robotic process automation、RPA）とは、認知技術（ルールエンジン・機械学習・人工知能等）を活用した、主にホワイトカラー業務の効率化・自動化の取組みである。人間の補完として業務を遂行できることから、仮想知的労働者[1]とも言われている[2]。 また、デスクトップ作業のみに絞ったものをロボティック・デスクトップ・オートメーションと呼び、RPAと区別することもある[3]。 750 名前：１３２人目の素数さん mailto:sage [2019/10/02(水) 17:40:36.59 ID:Pu0HYPqb.net] sm35752697 751 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/02(水) 20:55:15.12 ID:dPFItMdx ] [ここ壊れてます] 752 名前：.net mailto: >>647 どうも。スレ主です。 いま、哀れな素人さんのお誘いで ”「現代数学はインチキだらけ」 で、お前への中傷レスを投稿し始めたぞ（笑” というお誘いで、下記へ遊びに行っています よろしければ、そちらも見て下さい（＾＾ 現代数学はインチキだらけ https://rio2016.5ch.net/test/read.cgi/math/1567930973/590- [] [ここ壊れてます] 753 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/03(木) 20:39:12.69 ID:yjiqL8Jw.net] >>657 （＾＾ スレ76 https://rio2016.5ch.net/test/read.cgi/math/1566715025/867- ＜i.i.d. 独立同分布＞ ・現代確率論が、独立な確率変数の無限族を扱えることは、下記時枝記事にもある （時枝は、「箱にXnのランダムな値を入れられて」と表現しているが、数学では箱自身をXnと考えることができる（念のための注）） ・箱が1つある。それをXiとする。サイコロの目を入れる。自明にP(Xi)=1/6 ・その回りに箱を1つ増やす。独立で同分布として、サイコロの目を入れるとして、同じく確率は1/6。 ・箱をｎ個増やす。上記同様 ・箱をｎ＋１個増やす。上記同様 ・数学的帰納法により、全ての自然数で成立つ。つまりは、時枝記事の数列に適用できるということ （自明だが念のため）・そして、時枝先生は、反省しています。　（下記）「もうちょっと面白いのは，独立性に関する反省だと思う.その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら，当てられっこないではないか−−他の箱から情報は一切もらえないのだから」 （下記の独立の定義より） ・独立だから、Xi以外の箱の変数の値が分かっても、Xiの確率は変化せず、P(Xi)=1/6のまま ・”i.i.d. 独立同分布”の仮定より、全てのiについて上記は成立する QED （参考） スレ47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/22- (抜粋) 数学セミナー201511月号P37 時枝記事より 「もうちょっと面白いのは，独立性に関する反省だと思う. 確率の中心的対象は，独立な確率変数の無限族 X1，X2，X3，…である. n番目の箱にXnのランダムな値を入れられて，ある箱の中身を当てようとしたって， その箱のX と他のX1，X2，X3，・・・がまるまる無限族として独立なら， 当てられっこないではないか−−他の箱から情報は一切もらえないのだから. (引用終り) 754 名前：１３２人目の素数さん mailto:sage [2019/10/03(木) 20:52:31.14 ID:vF9CNmr9.net] ポカン口の白痴(゜ロ゜が無限論争でボロ負けして 別の話題に逃げようとしてるがそうは問屋が卸さんよ 貴様が書き続けるかぎり 貴様の馬鹿丸出しの初歩的誤りをあげつらって 嘲笑し続けてやるよ 貴様は人間じゃない　ニワトリだｗ 755 名前：１３２人目の素数さん mailto:sage [2019/10/03(木) 20:54:52.46 ID:vF9CNmr9.net] ポカン口の白痴(゜ロ゜Gスレ1のこっ恥ずかしい誤り 「ω＝{{…（無限個のカッコ）…}}は無限集合！」 ギャハハハハハハ！！！・・・笑いすぎて腹いてぇｗｗｗｗｗｗｗ 756 名前：哀れな素人 [2019/10/03(木) 21:28:07.15 ID:ITKGircK.net] このスレではサル石が本性全開（笑 757 名前：１３２人目の素数さん [2019/10/03(木) 21:30:37.20 ID:m3mklIbc.net] >>697 >・現代確率論が、独立な確率変数の無限族を扱えることは、下記時枝記事にもある 扱えたとしても勝てる戦略にならなければ無意味 まだ分からんのかｗ　物覚えの悪いサルだのうｗ 758 名前：哀れな素人 [2019/10/03(木) 21:35:27.83 ID:ITKGircK.net] ↑とIDを変えて自演（笑 ID:vF9CNmr9 ID:m3mklIbc これ、どちらもサル石（笑 759 名前：１３２人目の素数さん mailto:sage [2019/10/04(金) 06:36:47.71 ID:PGOderPE.net] >>701 Gスレ1をなんたら問題に逃がしてはいかんよ 「集合論の初歩」という明確な誤りで蒸し焼きにしようぜｗ 760 名前：１３２人目の素数さん mailto:sage [2019/10/04(金) 06:39:27.04 ID:PGOderPE.net] >>700 安達よ　Gスレ1なんかと仲良くしないほうがいいぞ 馬鹿が伝染するからｗ 761 名前：１３２人目の素数さん mailto:sage [2019/10/04(金) 06:46:51.02 ID:PGOderPE.net] Gスレ1の愚かな誤り １．{}∈{{}},{{}}∈{{{}}}　だから　{}∈{{{}}} ２．{{}}∈{{{}}}　ならば　{{}}∈{{{}}} ３．{{…(無限個の{})…}}は、無限集合 ど 762 名前：れもこれも小学生未満の幼稚園児並の初歩的誤り ヒドイ・・・ヒドすぎる [] [ここ壊れてます] 763 名前：１３２人目の素数さん mailto:sage [2019/10/04(金) 06:49:44.48 ID:PGOderPE.net] 集合論の正しい結論 １．{}∈{{}},{{}}∈{{{}}}　だが　Not( {}∈{{{}}} ) ２．{{}}∈{{{}}}　だが　Not( {{}}∈{{{}}} ) ３．{{…(無限個の{})…}}は、正則性公理に反するので集合でないが 　　正則性公理を除いた集合論でも、要素は1つだから有限集合 こんなの小学生でもわかるぞｗ 764 名前：１３２人目の素数さん mailto:sage [2019/10/04(金) 06:51:56.02 ID:PGOderPE.net] ついでにいうと …{{}}…　(無限個の{})　は、そもそも集合たり得ない 何が要素になるのか分からんから 765 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/04(金) 09:57:04.94 ID:DXkMGtcj.net] >>705-706 おサルさん、哀れな素人さんのスレを、堪らず逃げ出したかｗ(゜ロ゜; あっちのスレで、ボコボコにしてやるよ（＾＾ 766 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/04(金) 12:19:04.51 ID:DXkMGtcj.net] >>706-708 これ。哀れな素人さんのスレに、貼ったよｗｗ（＾＾ 現代数学はインチキのデパート https://rio2016.5ch.net/test/read.cgi/math/1570145810/3- 767 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/04(金) 13:18:13.47 ID:DXkMGtcj.net] https://www.nikkei.com/article/DGXMZO50497670S9A001C1MM8000/ 車大手、中途採用広がる　トヨタは総合職の年5割に 【イブニングスクープ】 2019/10/2 18:00日本経済新聞　電子版 (抜粋) 自動車業界で自動運転など次世代技術に対応するため、中途採用を拡大する動きが広がってきた。 トヨタ自動車は2019年度に総合職の採用に占める中途採用の割合を18年度の1割から3割に引き上げ、中長期的に5割とする。 ホンダは19年度、採用全体の約4割に当たる約660人を中途採用に充てる。 IT（情報技術）などの専門人材を中心に確保し、給与も実績に応じ評価する。 768 名前：１３２人目の素数さん [2019/10/05(土) 10:08:43.24 ID:bWNxCkT0.net] >>697 >数学的帰納法により、全ての自然数で成立つ。つまりは、時枝記事の数列に適用できるということ 数学的帰納法で任意の有限列で成り立つことは言えても無限列で成り立つことは言えません 近所の高校生に教えてもらっては？ 769 名前：１３２人目の素数さん mailto:sage [2019/10/05(土) 15:01:32.33 ID:kZwmbLNI.net] ああ、ここがガロアスレですか ＞数学的帰納法で任意の有限列で成り立つことは言えても ＞無限列で成り立つことは言えません その通りですね 任意の自然数で成り立つ、といえるだけで 無限大∞で成り立つ、とはいえません ∞は自然数じゃありませんから 770 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/05(土) 17:32:37.76 ID:JrhjRl4x.net] >>711-712 どうも。スレ主です。 お説は、確率過程論の一冊でも読んでから、言われた方がよろしいかと 大学教員に教えて貰って下さいね 高校生では足りませんよね（＾＾ 771 名前：１３２人目の素数さん [2019/10/05(土) 21:04:07.97 ID:bWNxCkT0.net] >>713 確率過程論のどんなマジックが数学的帰納法を変質させると？ バカも休み休みにして下さいね 772 名前：１３２人目の素数さん mailto:sage [2019/10/05(土) 22:26:01.64 ID:kZwmbLNI.net] 確率過程？なんのことですか？ 「数学的帰納法で任意の有限列で成り立つことは言えても 　無限列で成り立つことは言えません」 といってるだけですから 773 名前：１３２人目の素数さん mailto:sage [2019/10/05(土) 22:29:16.17 ID:kZwmbLNI.net] 大体、ガロア理論のスレッドで確率過程の話をするのはおかしいですね 正気ですか？ 774 名前：１３２人目の素数さん mailto:sage [2019/10/05(土) 22:32:52.81 ID:kZwmbLNI.net] ちょっと見させていただきましたが >>660 ＞「σ-1・Ｈ・σはＨと同型」ってまさに正規部分群でしょ？ …こんな誤解をしてる人がガロア理論を理解するのは不可能でしょう だって、任意の部分群が正規部分群になっちゃうじゃないですか 区別する意味がなくなりますよ　おかしいと思わないんですかね？ 775 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/06(日) 08:17:22.55 ID:d8OQiN+r.net] >>717 どうも。スレ主です。 激励ありがとう 正規部分群の手前の変換σ-1・Ｈ・σ自身の理解が不正確でした みなさんに、教えて頂きました ありがとう（＾＾ 776 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/06(日) 08:20:11.91 ID:d8OQiN+r.net] >>716 ＞大体、ガロア理論のスレッドで確率過程の話をするのはおかしいですね どうも。スレ主です。 テンプレ>>1より ”このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。 それで宜しければ、どうぞ。” です。 スレタイに、”雑談”と入れています だいたい、５Chは雑談ですけどね（＾＾ 777 名前：第六天魔王 [2019/10/06(日) 09:08:16.29 ID:zyaquwkF.net] >>718 ＞正規部分群の手前の変換σ-1・Ｈ・σ自身の理解が不正確でした 素直でよろしいｗ その調子で集合論スレでも、無限理解の誤りを認めやがれ 貴様は、数学のスの字も知らん馬鹿なんだからな 自分が賢いとか自惚れるのは一万年早ぇ！ｗｗｗ 778 名前：第六天魔王 [2019/10/06(日) 09:11:31.79 ID:zyaquwkF.net] >>719 ＞このスレは、現代数学のもとになった物理・工学の雑談スレとします。 ここで、物理や工学の話なんか聞いたことないがな 似非数学の話ばっかりだｗｗｗ ＞スレタイに、”雑談”と入れています 馬鹿のほざくことは、雑談というより猥談だな どうせならＨＮも「現代数学の系譜 猥談」にしたらどうだ？ｗｗｗ 779 名前：哀れな素人 [2019/10/06(日) 09:14:35.48 ID:aAisPx0D.net] スレ主よ、第六天魔王はサル石だ（笑 サル石という名前が知られ始めたので名前を変えたようだ（笑 どんなにごまかそうと、その噛みつき魔丸出しの文章を見れば分る（笑 780 名前：第六天魔王 [2019/10/06(日) 09:30:12.24 ID:zyaquwkF.net] やれやれ、安達とかいう仔犬がここでも吠えてやがるｗｗｗ 俺様が第六天魔王を名乗った理由はここに書いたから読みやがれ https://rio2016.5ch.net/test/read.cgi/math/1570237031/118 ま、しかし、俺が信長だとして、ここの馬鹿は信玄ほどの格もない せいぜい足利義昭程度の小者かｗｗｗｗｗｗｗ 781 名前：哀れな素人 [2019/10/06(日) 09:33:12.56 ID:aAisPx0D.net] ↑見ろ。このアホさとチンピラ臭丸出しの文章（笑 これがサル石という男である（笑 相手かまわず誰にでも噛みつく（笑 在日同和の低学歴バカだから 他人に噛みつきたくて噛みつきたくてたまらない（笑 噛みつかないと気が済まない（笑 一種の精神病者（笑 782 名前：第六天魔王 [2019/10/06(日) 09:37:57.62 ID:zyaquwkF.net] 今日の気分 Κατά τον Δαίμονα Εαυτού https://www.youtube.com/watch?v=sGhYcwcdo-4 え？意味だって？「汝の意志することを行え」だよ ラブレーの『ガルガンチュワとパンタグリュエル』読みやがれ 俺も全然読んでないけどなｗｗｗ 783 名前：哀れな素人 [2019/10/06(日) 09:43:53.19 ID:aAisPx0D.net] ↑見ろ。このアホさとチンピラ臭丸出しの文章（笑 在日同和の低学歴バカ（笑 このスレは誰も来ないから本性全開（笑 784 名前：ID:1lEWVa2s mailto:sage [2019/10/06(日) 09:50:49.20 ID:Hf8pbZj7.net] >>725 ガルガンチュアってインターステラーのブラックホールでしょ 785 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/06(日) 14:01:43.14 ID:d8OQiN+r.net] >>726 哀れな素人さん、どうも。スレ主です。 >このスレは誰も来ないから本性全開（笑 確かに（＾＾ 786 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/06(日) 14:03:18.93 ID:d8OQiN+r.net] いま、ちょっと、下記のスレへ遊びに行っています。よろしければ、覗いてみてください（＾＾ 現代数学の系譜　カントル　超限集合論 https://rio2016.5ch.net/test/read.cgi/math/1570237031/ 787 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/06(日) 14:08:26.48 ID:d8OQiN+r.net] >>727 ID:1lEWVa2さん、どうも。スレ主です。 これか https://qetic.jp/technology/blackhole-intersteller-190930/333264/ Top ＞ Tech ＞ 映画『インターステラー』そのまま？NASAが公開したブラックホールの最新ヴィジュアルが話題に 映画『インターステラー』そのまま？NASAが公開したブラックホールの最新ヴィジュアルが話題に Tech ｜ 2019.09.30 Mon ｜ https://cdn.qetic.jp/wp-content/uploads/2019/09/30152207/technology190930-blackhole-intersteller-1.jpg https://youtu.be/nyYEYzQ77Es INTERSTELLAR?ALL SPACE SCENES 2014年に公開された本作品は、映像を製作するにあたって高度な物理学と科学的検証を行い、忠実に再現されたCG 788 名前：は公開当初から高い評価を得ていた。 [] [ここ壊れてます] 789 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/06(日) 14:10:46.77 ID:d8OQiN+r.net] >>730 追加 https://ja.wikipedia.org/wiki/%E3%82%AC%E3%83%AB%E3%82%AC%E3%83%B3%E3%83%81%E3%83%A5%E3%82%A2 ガルガンチュア (抜粋) ガルガンチュア（ガルガンテュア、ガルガンチュワとも）は、フランソワ・ラブレーが描いた物語『ガルガンチュワ物語』『パンタグリュエル物語』の登場人物。以下はこれにちなむ。 ・特撮映画『フランケンシュタインの怪獣 サンダ対ガイラ』に登場する怪獣、サンダとガイラの海外版での名称。 ・ロバート・L・フォワードの小説『ロシュワールド』に登場する巨大ガス惑星。 ・SF映画『インターステラー』に登場する巨大ブラックホール。 ・TVアニメ『超電磁ロボ コン・バトラーV』に第18話に出てくる巨大ロボット（ガルガンチュワ）。 ・小説『オーラバトラー戦記』に登場するオーラバトラー。 ・漫画『銃夢 LastOrder』に登場する巨大人型生物。 ・FPS『ハーフライフ』に登場する怪獣。 ・アダルトゲーム『ヤミと帽子と本の旅人』に登場する錬金術師。 ・アダルトゲーム『ハーレムブレイド ?The Greatest of All Time.?』に登場するボスキャラクター。 790 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/06(日) 14:12:27.17 ID:d8OQiN+r.net] >>731 追加の追加 https://ja.wikipedia.org/wiki/%E3%82%AC%E3%83%AB%E3%82%AC%E3%83%B3%E3%83%81%E3%83%A5%E3%83%AF%E3%81%A8%E3%83%91%E3%83%B3%E3%82%BF%E3%82%B0%E3%83%AA%E3%83%A5%E3%82%A8%E3%83%AB (抜粋) 『ガルガンチュワとパンタグリュエル』（ガルガンテュアとパンタグリュエル、Gargantua, Pantagruel）とは、フランス・ルネサンス期の人文主義者フランソワ・ラブレー（Francois Rabelais）が著した物語『ガルガンチュワ物語』『パンタグリュエル物語』のこと。 ガルガンチュワ（ガルガンチュア[1]、ガルガンテュアとも）、パンタグリュエルという巨人の一族を巡る物語である。 第二之書・第一之書はアルコフリバス・ナジエ（Alcofribas Nasier）という筆名（ラブレーのアナグラム）で、第三之書以降は本名で刊行した。1532-1552年に4巻までが出版された。ラブレーの死後に第5巻が刊行されたが、偽書説もある。 『ガルガンチュワ物語』の方が執筆・出版とも後だが、内容的にみて「第一之書」と呼び、『パンタグリュエル物語』を「第二之書」と呼ぶ。 791 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/06(日) 20:39:25.08 ID:d8OQiN+r.net] メモ https://tech.nikkeibp.co.jp/atcl/nxt/column/18/00001/02729/ 2019/08/08 20:30 ニュース解説 富士通が年収最大4000万円で技術者を厚遇、NTTデータ・NECに続く「大盤振る舞い」 山端 宏実＝日経 xTECH／日経コンピュータ (抜粋) 　国内のIT大手がAI（人工知能）などの分野で高度なスキルを持つIT人材を、高給で処遇する制度を相次ぎ導入する。若手でも顕著な実績を残せば、年収は数千万円に達する。米グーグル（Google）などの「GAFA」を中心に海外のネット大手がやりがいや高額な報酬で世界中の人材をひきつけるなか、国内のIT大手も抜本的な解決策を求められている。 「役員レベルの処遇も」、富士通時田社長が断言 　富士通の時田隆仁社長は2019年8月8日、日経 xTECHなどの取材に応じ、2020年3月までをめどに高度人材向けに高給で処遇する制度を採り入れると明らかにした。AIやサイバーセキュリティーといった分野を手掛ける高度人材を対象に、専門性の高さや市場価値などを踏まえて、報酬を個別に設定できる� 792 名前：謔､にする。 https://cdn-tech.nikkeibp.co.jp/atcl/nxt/column/18/00001/02729/ph01.jpg?__scale=w:400,h:314&_sh=0ec0f00b00 [] [ここ壊れてます] 793 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/06(日) 23:16:30.89 ID:d8OQiN+r.net] メモ https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86 二階述語論理 (抜粋) 二階論理の表現能力 空でなく上に有界な実数の集合があるとき常にその集合には上限が存在するという命題を表すには、二階述語論理が必要となる。 二階述語論理では、「ドメインは有限である」とか「ドメインは可算無限集合の濃度である」といった文も形式的に表現可能である。 一階述語論理ではこれら（「有限集合であること」や、「可算集合であること」）を表現できないことが、レーヴェンハイム-スコーレムの定理から導かれる。 https://ja.wikipedia.org/wiki/%E4%B8%80%E9%9A%8E%E8%BF%B0%E8%AA%9E%E8%AB%96%E7%90%86 一階述語論理 https://ja.wikipedia.org/wiki/%E6%95%B0%E7%90%86%E8%AB%96%E7%90%86%E5%AD%A6 数理論理学 (抜粋) 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。 集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。 794 名前：第六天魔王 mailto:sage [2019/10/07(月) 19:26:40.00 ID:rpPbPz0q.net] 馬鹿に告ぐ ガロア理論をあきらめたんなら 次のスレッドから「古典ガロア理論も読む」を削っとけ 795 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/08(火) 14:03:04.42 ID:e/1pBNsJ.net] メモ https://esori.hatenadiary.org/entry/20090507/1241674532 esoriの日記 2009-05-07 Paris?Harringtonの定理 ja.wikipedia.org/wiki/Paris%26%238211%3BHarrington%20theorem wikipedia:Paris?Harrington theorem 'strengthened finite Ramsey theorem'という定理がPA（一階のペアノ算術）からは証明できないらしい。PAで証明できない定理の例として、かなり面白いと思った。 wikipediaの記事にも書いてあるが、"strength finite Ramsey theorem"は以下のような主張。 任意の正の整数n,k,mに対して十分大きく自然数Nをとれば、{1,2,3,...,N}のn点部分集合全体をk色で塗り分けたとき、どんな塗り分け方をしても、m個以上の要素からなる部分集合Y⊂{1,2,3,...,N}が存在し、Yのn点部分集合はすべて同じ色になり、またYの要素の数は、Yに含まれる最小の数以上になる。 796 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/08(火) 18:01:09.99 ID:e/1pBNsJ.net] メモ AWSの大規模障害は、毎年年に1回程度発生しているので 業務用なら、走らせるリージョンを複数確保しておくべし という法則があるそうです（＾＾ https://tech.nikkeibp.co.jp/atcl/nxt/mag/nnw/18/041800011/092000023/ 2019/10/07 07:00 NEWS pickup ＆ digest AWSに大規模障害が発生　東京リージョンのEC2とRDSで 高橋 健太郎＝日経NETWORK 米アマゾン ウェブ サービス（AWS）のクラウドサービス「Amazon Web Services（AWS）」の東京リージョンの主要サービスで障害が発生した。発生したのは仮想マシンサービスの「Amazon EC2」とリレーショナルデータベース（RDB）サービスの「Amazon RDS」の2つ。 797 名前：第六天魔王 mailto:sage [2019/10/08(火) 19:36:46.84 ID:bC9PKbug.net] このスレッドは 「現代数学　情報収集スレ」 とでも改名したほうがいいｗ 798 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 07:26:53.48 ID:2o5RsZjT.net] >>738 >このスレッドは >「現代数学　情報収集スレ」 >とでも改名したほうがいいｗ テンプレ>>1より ＞スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。 とある テンプレ>>5より、下記 スレ68 https://rio2016.5ch.net/test/read.cgi/math/1560374890/10- 10 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/06/13(木) 06:35:46.84 ID:tNmlg93R [10/62] 大学新入生もいると思うが、間違っても５ＣＨ（旧２ＣＨ）で数学の勉強なんて思わないことだ このスレは、半分趣味と遊びのスレと思ってくれ（＾＾； もう半分は、ここはおれのメモ帳だ （ここには、自分が面白いと思った情報を集めてあるんだ。過去ログ見ると、いろいろ面白い情報（リンクやPDF があるよ（＾＾ ） （ もしサイト移動などでリンク切れのときは、引用してある文章のキーワードによる検索をお願いします ） 以下過去スレより再掲 rio2016.2ch.net/test/read.cgi/math/1492606081/7 7 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/19(水) 22:07:49.66 ID:gLi5Ebjw まあ、過去何年かにわたって、猫さん、別名、￥ ◆2VB8wsVUooさんが、数学板を焼いていたからね ガロアスレは別として、数学板は焼け跡かな 再生は無理だろう そもそも、５ＣＨ（旧２ＣＨ）は、数学に向かない アスキー字に制限され、本格的な数学記号が使えない 複数行に渡る記法ができない 複数行に渡る矢印や、図が描けない（ＡＡ（アスキーアート）で数学はできない） 大学数学用の掲示板を、大学数学科が主体となって、英語圏のような数学掲示板を作った方がいいだろうな、実名かせめてハンドルネーム必須でね、プロないしセミプロ用のを 799 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 07:28:41.97 ID:2o5RsZjT.net] スレ68 https://rio2016.5ch.net/test/read.cgi/math/1560374890/11- 個人的には、下記類似” 先生＞周りの人＞知恵袋の人>>> ５ＣＨ（旧２ＣＨ）の人”と思う（＾＾ rio2016.2ch.net/test/read.cgi/math/1484442695/494 前にも紹介したが、新入生もいるだろうから、下記再掲しておく。なお、信用できないに、私スレ主も含めること。定義から当然の帰結だが（＾＾； https://note.chiebukuro.yahoo.co.jp/detail/n98014 Yahoo 知恵袋 数学の勉強法　学部〜修士 ライター：amane_ruriさん 最終更新日時:2012/8/6 (抜粋) 私は修士1年生ですので、正直に言いますとこの部分はあまり書いているのが正しいとは思えません。趣味で書いているものだと認識していただければ良いのではないかと思っております。 大学3、4年に入ってまず怖いのが数学の本の氾濫でしょう。まず何を読んで何をすればいいのか分からなくなります。 そして、自分のやっていることがいかにちっぽけな存在なのかというのを実感させられます。（多分皆がそうでしょう。）そして、結果が問われてきます。 ここで、数学科は「入るのは易しいけどプロになるのは難しい」ということが実感させられてきます。 2012年8月3日現在、書泉グランデで有名数学者の薦める本が 800 名前：ありました。森重文先生を初めとして本の多さに圧倒されました。（足立恒雄先生は信頼と安心のブレなさ） 2. 2ｃｈ*)の内容は信用できるか？ 基本的に信用できません。先生＞周りの人＞＞＞ 2ｃｈ*)や知恵袋の人です。何故かというといつも同じことしか言っていないから。多分きちんと検証していないで想像で議論しているだけではないのかと私は思っています。 （まあ、自分もあんまり信用できないけど） 数学をする場合は、問題が解けることも重要なのですが問題設定を作ることが大切です。そういう時に、どういう風に学んできたのかとか、正確な知識がどういう部分でどれだけ持っているのか、調和性や、生まれて来た環境っていうのが重要になってきます。 ただ、それがどうも2ｃｈ*)の人は見られない（し、そもそも偉そうなことを言っている人が本当にできるかどうか分からない。）。こういう類のものは勉強不足ですとか、分かっていませんでしたで済まされるものではないと個人的には思うのですが。 (引用終り) (注*)：2ｃｈは、現5ｃｈ) [] [ここ壊れてます] 801 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 07:30:00.28 ID:2o5RsZjT.net] >>740 つづき スレ68 https://rio2016.5ch.net/test/read.cgi/math/1560374890/12- 12 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2019/06/13(木) 06:36:37.80 ID:tNmlg93R [12/62] 過去スレより rio2016.2ch.net/test/read.cgi/math/1484442695/338 338 現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/09(日) 23:46:26.46 ID:Rh9CzQs6 スレ主は、皆さんの言う通り、馬鹿であほですから、基本的に信用しないようにお願いします 大体、私は、自分では、数学的な内容は、筆を起こさない主義です じゃ、どうするかと言えば、出典明示とそこからの(抜粋)コピペです まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます が、それも基本、信用しないように 数学という学問は特に、自分以外は信用しないというのが基本ですし ”証明”とかいうらしいですね、数学では その”証明”がしばしば、間違っていることがあるとか、うんぬんとか 有名な話で、有限単純群の分類 ”出来た！”と宣言した大先生が居て、みんな信用していたら、何年も後になって、”実は証明に大穴が空いていた”とか おいおい、競馬じゃないんだよ（＾＾； https://ja.wikipedia.org/wiki/%E5%8D%98%E7%B4%94%E7%BE%A4 単純群 1981年にモンスター群が構成されてからすぐに、群論の研究者たちがすべての有限単純群を分類したという、合計10,000ページにも及ぶ証明が作られ、1983年にダニエル・ゴレンスタインが勝利を宣言した。 これは時期尚早だった、というのはいくつかのギャップが、特に準薄群（英語版）の分類野中で発見されたからである。このギャップは2004年に1300ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。 (引用終り) 以上 802 名前：１３２人目の素数さん mailto:sage [2019/10/09(水) 07:30:31.81 ID:gm3ls/Yz.net] テンプレじゃなく名前で主旨を表したほうがいいな このスレは脱線が主旨とか 理解せずにコピペしますとか 完全に遊びだとか 803 名前：１３２人目の素数さん mailto:sage [2019/10/09(水) 07:32:43.88 ID:gm3ls/Yz.net] 一番いいのは 【無理解】現代数学　脱線スレ【上等】 だなｗ 804 名前：１３２人目の素数さん mailto:sage [2019/10/09(水) 07:36:06.86 ID:gm3ls/Yz.net] ま、ガロア理論で懲りたんなら、次からスレ名から外しなよ 805 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 07:37:30.49 ID:2o5RsZjT.net] >>740 補足 下記、いまチェックしたら、リンク切れていたね https://note.chiebukuro.yahoo.co.jp/detail/n98014 Yahoo 知恵袋 数学の勉強法　学部〜修士 ライター：amane_ruriさん 最終更新日時:2012/8/6 806 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 07:40:07.26 ID:2o5RsZjT.net] >>742- ありがとさん（＾＾ 千葉にあっても、東京ディズニーランド ガロアは、現代数学の象徴です！ (゜ロ゜; ガロアも、少しやるよｗ 807 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 07:41:13.98 ID:2o5RsZjT.net] 哀れな素人さんが、ガロアについて 808 名前：質問してきたときに、回答したのは、おらっちだよ(゜ロ゜; [] [ここ壊れてます] 809 名前：１３２人目の素数さん mailto:sage [2019/10/09(水) 07:47:11.08 ID:gm3ls/Yz.net] >>746 ＞ガロアも、少しやるよｗ ところで、正規部分群は理解できた？ｗ >>747 素人同士の見当違いな会話が売りなんでしょ？ だったら、タイトルは「ガロア」じゃなくて「脱線」だよな そう書いときゃ、間違いだらけでも免罪符になるからｗ 810 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 07:47:44.09 ID:2o5RsZjT.net] >>745 (引用開始) 下記、いまチェックしたら、リンク切れていたね https://note.chiebukuro.yahoo.co.jp/detail/n98014 Yahoo 知恵袋 数学の勉強法　学部〜修士 ライター：amane_ruriさん 最終更新日時:2012/8/6 (引用終り) そうそう、これ、URLで”note.chiebukuro.yahoo”とあるように、下記の「知恵ノート」サービスだったんだ が、”2017年11月30日をもって終了”したんだね（＾＾； https://ja.wikipedia.org/wiki/Yahoo!%E7%9F%A5%E6%81%B5%E8%A2%8B Yahoo!知恵袋 (抜粋) Yahoo!知恵袋（ヤフーちえぶくろ）とは、Yahoo! JAPANが運営する、電子掲示板上で参加者同士が知識や知恵を教え合うナレッジコミュニティ、知識検索サービスである。 サービスは2004年4月にベータ版として提供され、2005年11月に正式版として開始された。 2006年5月からはモバイル版のサービスを開始し、携帯電話（フィーチャーフォン）などでも利用できるようになっていたが、携帯電話（iモード、EZweb、Yahoo!ケータイ）版のサービスが終了した、2016年12月14日以降、携帯電話からは利用出来ない[1]。 2011年からは「知恵ノート」サービスも開始されたが、2017年11月30日をもって終了[2]。 811 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 07:48:37.58 ID:2o5RsZjT.net] >>748 一応、「雑談」とは入れてあるんだなｗ(゜ロ゜; 812 名前：１３２人目の素数さん mailto:sage [2019/10/09(水) 07:50:23.94 ID:gm3ls/Yz.net] >>750 とにかくスレ名に「古典ガロア理論も読む」は要らないな 正規部分群まだ理解できてないんでしょ？無理すんなってｗ 813 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 07:51:55.16 ID:2o5RsZjT.net] >>740 (引用開始) 2. 2ｃｈ*)の内容は信用できるか？ 基本的に信用できません。先生＞周りの人＞＞＞ 2ｃｈ*)や知恵袋の人です。何故かというといつも同じことしか言っていないから。多分きちんと検証していないで想像で議論しているだけではないのかと私は思っています。 （まあ、自分もあんまり信用できないけど） (引用終り) まあ、典型が下記だな（＾＾ 現代数学の系譜　カントル　超限集合論 https://rio2016.5ch.net/test/read.cgi/math/1570237031/1- 814 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 07:54:41.97 ID:2o5RsZjT.net] >>752 ＞（まあ、自分もあんまり信用できないけど） スレ主も含む（再帰的定義）ｗ（＾＾ 815 名前：１３２人目の素数さん mailto:sage [2019/10/09(水) 09:05:54.59 ID:qCk5cBh4.net] コピペの切り貼りによる知性の創発はあり得るか？ 化け学廃棄物最終処分場スレ あたりが妥当なスレ名だな。 816 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 11:15:54.73 ID:nHmzRvjt.net] >>718 >正規部分群の手前の変換σ-1・Ｈ・σ自身の理解が不正確でした >みなさんに、教えて頂きました >ありがとう（＾＾ 変換σ-1・Ｈ・σは、共役変換というんだけど（＾＾ 下記の共役類wikipediaに詳しい （（編集されて変わることがあるので）スナップショットとして抜粋コピペするけど文字化けご容赦。原文リンク見た方が良いだろう） 元で書くと、σ-1・ｈ・σだけど、積演算（・）が可換（アーベル）だと、 σ-1・ｈ・σ＝σ-1・σ・ｈ＝ｈなので 高校数学の範囲では可換ばかりだから、”何が、そんなにうれしいのか！？”となるのよｗ（＾＾ 大学数学で非可換を勉強すると分かる。群論を、これからやる人、いまやっている人は、”共役”を理解しておくといい https://ja.wikipedia.org/wiki/%E5%85%B1%E5%BD%B9%E9%A1%9E 共役類 (抜粋) とくに群論において、任意の群は共役類（きょうやくるい、英: conjugacy class）に分割できる。同じ共役類の元は多くの性質を共有し、非アーベル群の共役類の研究はそれらの構造のたくさんの重要な特徴を明らかにする[1][2][要ページ番号]。 定義 G を群とする。G の2つの元 a と b が共役 (きょうやく、conjugate) であるとは、G の元 g が存在して b = g^-1ag を満たすことである[注釈 1]。ここで元 g 817 名前：^-1ag を ag のように表すこともある[3]。 共役性は同値関係であり、したがって G を同値類に分割する[注釈 2]ことが直ちに示せる。G の元 a を含む同値類 aG = { ag | g ∈ G } は a の共役類 (conjugacy class) と呼ばれる[4]。群 G の共役類が C1, …, Ch であるとき数 k(G) := h を類数[訳語疑問点] (class number) と呼ぶ[4]。 一般に、対称群 Sn の共役類の数は n の分割の数に等しい。これは各共役類が、 {1, 2, ..., n} の元の並び替えを除いて、{1, 2, ..., n} のちょうど 1 つの分割を巡回置換（英語版）の集まりと見做したものに対応するからである。 立方体の（自明でない）回転（英語版）は、（面ではなく立体としての）対角線に関する置換として特徴づけることができるが、これも共役変換として記述することができる。 ユークリッドの運動群はユークリッド空間における対称性の共軛変換（英語版）によって調べられる。 つづく [] [ここ壊れてます] 818 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 11:16:25.54 ID:nHmzRvjt.net] >>755 つづき 性質 ・G の 2 元 a と b が共役ならば、同じ位数をもつ。より一般に、a についてのすべてのステートメントは b = g^-1ag についてのステートメントに翻訳できる、なぜならば写像 φ(x) = g^-1xg は G の内部自己同型だからである。 ・G の元 a に対して、 {a} が共役類であることと a が中心 Z(G) に属することは同値である。 ・有限群の共役類の元の数は群の位数を割り切る。より精密には共役類 aG の元の数 |aG| は a の G における中心化群 CG(a) = { g ∈ G | ga = ag } の指数 [G : CG(a)] に等しい[4]。これは共役作用に関する軌道・固定群定理による。 ・a と b が共役であれば、それらのベキ ak と bk も共役である[注釈 3]。したがって k 乗をとることは共役類上の写像を与え、どの共役類がその原像にあるかを考えることができる。例えば、対称群において、type (3)(2) (3-cycle と 2-cycle) の元の平方は type (3) の元であり、それゆえ (3) の power-up 類の 1 つは類 (3)(2) である。類 (6) は別の類である。 ・群 G の位数が奇数ならば |G| ≡ k(G) (mod 16) が成り立つ (W. Burnside)[5]。 ・有限群 H, K に対して k(H × K) = k(H) × k(K) が成り立つ[6]。 ・有限群 G とその正規部分群 N に対して [G : N]^-1 k(N) <= k(G) <= k(G/N) k(N) が成り立つ[7]。 ・自然数 h が与えられたとき、k(G) = h となる有限群 G は同型を除いて高々有限個しかない (E. Landau, 1903)[8]。 つづく 819 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 11:16:41.86 ID:nHmzRvjt.net] つづき 類等式 G が有限群であれば、群の任意の元 a に対して、a の共役類の元は中心化群 CG(a) の剰余類と 1 対 1 の対応にある。このことは次のことを観察することによってわかる。同じ剰余類に属する任意の 2 元 b, c （したがって中心化群 CG(a) のある元 z に対して b = zc）は a を共役するときに同じ元を生じる： b^-1ab = (zc)^-1a(zc) = c^-1z^-1azc = c^-1ac. したがって a の共役類の元の数は G における中心化群 CG(a) の指数 [G : CG(a)] である。したがって各共役類の元の数は群の位数を割り切る。 さらに、各共役類からひとつずつ代表元 xi を選べば、共役類の非交性から |G| = 琶 |xiG| = 琶 [G : CG(xi)]がいえる。中心 Z(G) の各元はそれ自身だけを含む共役類をなすことに注意すれば、類等式 (class equation) を得る[4]： |G| = |Z(G)| + 琶 [G : CG(xi)] ただし和は中心に含まれない各共役類からの代表元を渡る。 群の位数 |G| の約数の知識は中心や共役類の元の数についての情報を得るためにしばしば使うことが 820 名前：できる。 つづく [] [ここ壊れてます] 821 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 11:17:21.83 ID:nHmzRvjt.net] >>757 つづき 応用例 非自明な有限 p-群 P（つまり位数 pn の群、ただし p は素数で n > 0）を考えよう。類等式を使うと 「すべての非自明な有限 p-群は非自明な中心をもつ」 ことが証明できる[9]。 証明：P の任意の共役類の元の数は P の位数を割らなければならない。よって中心に含まれていない各共役類 Ci の元の数もまたあるベキ pki（ただし 0 < ki < n）であることが従う。すると類等式から pn = |P| = |Z(P)| + 琶 pki となる。ゆえに p は |Z(P)| も割らなければならず、したがって |Z(P)| > 1 であることがわかる。 共役集合と共役部分群 群 G の部分集合 S （S は部分群である必要はない）と g ∈ G に対して Sg = g^-1Sg = { g^-1sg | s ∈ S } を S の g による共役集合という[10]。SG を部分集合 S の群 G における共役集合からなる集合とする。 次の定理はよく使われる。 G の部分集合 S が与えられたとき、SG の元の数は G における S の正規化群 NG(S) の指数に等しい[4]： |SG| = [G : NG(S)]. これは G の元 g と h に対して Sg = Sh であることと gh^-1 が NG(S) の元であること??つまり g と h が NG(S) を法として等しいこと??の同値性から従う。 この公式は共役類の元の数に対する前に与えられたものを一般化することに注意しよう（S = {a} とせよ）。 上記は G の部分群について話すときに特に有用である。部分群のなす集合は共役部分群へ分割できる。共役部分群は同型であるが、同型な部分群が共役であるとは限らない。たとえば、アーベル群は同型な 2 つの異なる部分群をもつかもしれないが、それらは決して共役でない。 一方でシロー部分群は互いに共役である（シローの定理）。また、部分群 H がそのすべての共役部分群と一致することは部分群は正規部分群であることに他ならない。 つづく 822 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 11:17:44.41 ID:nHmzRvjt.net] >>758 つづき 共役作用 任意の 2 元 g, x ∈ G に対して g.x = gxg^-1 と定義すれば、G の G 上の群作用になる。この作用の軌道は共役類であり、与えられた元の固定部分群はその元の中心化群である[4]。 同様に、G のすべての部分集合からなる集合への、あるいは G のすべての部分群からなる集合への、G の群作用を g.S = gSg^-1 と書くことで定義できる。 幾何学的解釈 弧状連結位相空間の基本群における共役類は自由ホモトピーのもとでの自由ループ（英語版）の同値類と考えることができる。 注釈 2.^これが意味するのは群の各元はちょうど1つの共役類に属し、類 aG と bG が等しいことと a と b が共役であることは同値であり、そうでなければ互いに素である。 3.^ 証明：a = g^-1bg であれば、ak = (g^-1bg)(g^-1bg)...(g^-1bg) = g^-1bkg。 (引用終り) 以上 823 名前：１３２人目の素数さん mailto:sage [2019/10/09(水) 11:42:36.01 ID:w/ORvsp9.net] おっちゃんです。 >>740 >2. 2ｃｈ*)の内容は信用できるか？ > 基本的に信用できません。 ここ、正確には、正しい内容と間違った内容が混在している、だね。 まあ、当然のことで、内容が正しいか否かは己で判断して下さい、ということ。 824 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 13:25:04.58 ID:nHmzRvjt.net] メモ https://www.nikkei.com/article/DGXMZO40853860U9A200C1X20000/ プリファード・ネットワークス 深層学習の応用容易に 日経優秀製品・サービス賞 2019/2/4 13:30 リサーチャー 得居誠也氏 「なんか使いにくいよね」。深層学習のフレームワーク「Chainer（チェイナー）」を開発したきっかけは、会社で同僚と交わした何気ない雑談だった。2015年、当時27歳だった。 フレームワークは、深層学習のプログラムを書くのに利用する。チェイナーを開発するまで一般的だったものは、自然言語処理では使いにくかった。同僚との雑談で浮かんだヒントを基に、休みを活用して開発に着手。幸いにもバグなど落とし穴がなく、基礎となる部分のコードを書き上げるまでは10日ほど。 チェイナーの名前は、プログラムを書くとデータが鎖状につながるため、岡野原大輔副社長のアイデアでつけられた。 1カ月後の15年6月に「チェイナー」として発表し、誰でも使えるソフトウエアとして公開した。チェイナーの利用者が増えるとともに、利用者がよりよく改良してくれる流れができればと考えた。グーグルやフェイスブックなど、米国のネット大手より先んじたことで、PFNが持つ技術力などを認知してもらえるきっかけにもなった。 チェイナーはAIのシステム開発でよく使われている「パイソン」というプログラミング言語の力を最大限に活用した。プログラミングが得意な人ばかりではなく、数学や統計学を学んできた人もいる。プログラミングに不慣れでもパイソンさえ理解していれば、深層学習のプログラムを書けるようにすることで、アイデアを落とし込みやすく、研究を早く進められるようにした。 15年の公開以降、日本だけでなく海外も含めて、多くのエンジニアがチェイナーを使ってくれていることに感謝している。先日、インドにいる大学生から質問のメールが送られてきて、遠く離れた国の人も愛用してくれているのが、うれしかった。 今、取り組んでいるのは高速化だ。深層学習の研究で扱うデータの規模が大きくなっているほか、画像処理半導体（GPU）などハードウエアの性能の進化も著しい。どれだけ大規模で高速に学習できるかが問われるようになっている。他のフレームワークの先を行くよう改良に全力をそそいでいる。 825 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 13:26:25.23 ID:nHmzRvjt.net] >>760 ＞> 基本的に信用できません。 ＞ここ、正確には、正しい内容と間違った内容が混在している、だね。 ＞まあ、当然のことで、内容が正しいか否かは己で判断して下さい、ということ。 おっちゃん、どうも、スレ主です。 フォロー、ありがとう（＾＾ 826 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 13:32:03.17 ID:nHmzRvjt.net] >>761 youtube 得居誠也経歴（自己紹介より） 学部東大数学科→修士 東大情報系 https://www.youtube.com/watch?v=dkAzjRldJn0 得居誠也「AIを書く」ー高校生のための東京大学オープンキャンパス2017 模擬講義 706 回視聴?2018/10/24 東大TV / UTokyo TV チャンネル登録者数 1.22万人 東大TV（ todai.tv/ ）で公開中の一部のコンテンツをこちらのYouTubeチャンネルでもご覧いただけます。 01:16　自己紹介 03:11　深層学習の様々な例 13:52　AIとゲーム 24:03　汎用AIと特化型AI 34:47　深層学習の研究 ★高校生のための東京大学オープンキャンパス https://www.u-tokyo.ac.jp/opendays/in... https://www.youtube.com/redirect?redir_token=5pSXQBaD9Y2QdxLwOKbQE3J071h8MTU3MDY4MTY2NkAxNTcwNTk1MjY2&event=video_description&v=dkAzjRldJn0&q=https%3A%2F%2Fwww.u-tokyo.ac.jp%2Fopendays%2Findex.html 827 名前：１３２人目の素数さん mailto:sage [2019/10/09(水) 17:05:36.13 ID:w/ORvsp9.net] それじゃ、おっちゃんもう寝る。 828 名前：１３２人目の素数さん [2019/10/09(水) 19:18:45.73 ID:gm3ls/Yz.net] >>755-759 理解を試すために質問するね ガロア理論で「群の正規列」（正規部分群の列）って出てくるね これ、なんで部分群の列じゃダメなの？ 分かってる人は簡単にこたえられる質問だね 829 名前：現代数学の系譜 雑談 古典ガロア理論も読む [2019/10/09(水) 21:30:57.78 ID:2o5RsZjT.net] 吉野彰さん、ノーベル賞おめでとう（＾＾ https://ja.wikipedia.org/wiki/%E5%90%89%E9%87%8E%E5%BD%B0 吉野彰 830 名前： (抜粋) 吉野 彰（よしの あきら、1948年（昭和23年）1月30日[1] - ）は、電気化学を専門とする日本のエンジニア、研究者。大阪大学博士（工学）、旭化成名誉フェロー。 携帯電話やパソコンなどに用いられるリチウムイオン二次電池の発明者の一人。 エイ・ティーバッテリー技術開発担当部長、旭化成 イオン二次電池事業推進室・室長、同 吉野研究室・室長、リチウムイオン電池材料評価研究センター・理事長、名城大学大学院理工学研究科・教授などを歴任。2019年にノーベル化学賞受賞[5]。 略歴 1960年 - 吹田市立千里第二小学校卒業 1963年 - 吹田市立第一中学校卒業 1966年 - 大阪府立北野高等学校卒業 1970年 - 京都大学工学部石油化学科卒業 1972年 - 京都大学大学院工学研究科石油化学専攻修士課程修了 1972年 - 旭化成工業株式会社（現旭化成株式会社）入社 1994年 - （株）エイ・ティーバッテリー技術開発担当部長 1997年 - 旭化成（株）イオン二次電池事業推進室 室長 2003年 - 旭化成フェロー就任 2005年 - 論文博士にて大阪大学で博士（工学）の学位取得 2005年 - 旭化成（株）吉野研究室 室長 2017年 - 名城大学大学院理工学研究科 教授 2019年10月 - ノーベル化学賞受賞が決定 リチウムイオン電池の開発 吉野が次の点に着目したことによりLIB（リチウムイオン・バッテリー）が誕生した 正極にLiCoO2を用いることで、 正極自体がリチウムを含有するため、負極に金属リチウムを用いる必要がないので安全である 4V級の高い電位を持ち、そのため高容量が得られる 負極に炭素材料を用いることで、 炭素材料がリチウムを吸蔵するため、金属リチウムが電池中に存在しないので本質的に安全である リチウムの吸蔵量が多く高容量が得られる また、特定の結晶構造を持つ炭素材料を見いだし[10]、実用的な炭素負極を実現した 1986年、LIBのプロトタイプが試験生産され、米国DOT（運輸省、Department of Transportation）の「金属リチウム電池とは異なる」との認定を受け、プリマーケッティングが開始された 1991年、リチウムイオン二次電池 (LIB) は吉野の勤務する旭化成とソニーなどにより実用化された [] [ここ壊れてます]

---

---

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

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