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

この伝統あるガロアすれは、皆さまのご尽力で、
過去、数学板での勢いランキングで、常に上位です。

このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜（＾＾
最近、AIと数学の関係が気になって、その関係の記事を集めています〜（＾＾
いま、大学数学科卒でコンピュータサイエンスもできる人が、求められていると思うんですよね。

スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。

スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
興味のある方は、過去ログを（＾＾

なお、
小学レベルとバカプロ固定
サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」。知能が低下してサルになっています）
（参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
（なお、サイコの発言集「実際に人を真っ二つに斬れたら 爽快極まりないだろう」、「狂犬」、「イヌコロ」、「君子豹変」については後述（＾＾； ）
High level people （知能の低い者が、サルと呼ばれるようになり、残りました。ｗ（＾＾； ）
低脳幼稚園児のAAお絵かき
上記は、お断り！！
小学生がいますので、18金（禁）よろしくね！（＾＾

（旧スレが1000オーバー（又は間近）で、新スレを立てた）

>>654
>時枝はもう終わったよ
終わらすなら間違っていたことを認めて下さいね
約束も守れないサイコパスさん

>>649
おっちゃんに、どうもスレ主です
・∞が、自然数と言ったとか人違いですよ(゜ロ゜;
・{Φ}が、正則性公理に反する？(゜ロ゜;
そんなことないでしょ

>>655
認めるよ、時枝先生が、自分の記事の前半を、後半で否定していること(゜ロ゜;

>>657
それ、あなたの妄想ですからｗ
実際、記事後半に「記事前半は間違いである」なんて一言も書かれてないし、
逆に以下のように書かれています。

”ばかばかしい，当てられる筈があるものか，と感じられるだろう.
何か条件が抜け落ちているのではないか，と疑う読者もあろう.問題を読み直していただきたい.
条件はほんとうに上記のとおり.無限個の実数が与えられ，一個を除いてそれらを見た上で，除いた一個を当てよ，というのだ.
ところがところが--本記事の目的は，確率99%で勝てそうな戦略を供することにある.

相変わらず妄想が激しいね、まだ病院行ってないんでしょう
こういうキチガイって精神病院に強制的に収監できないのだろうか？

>>656
>・{Φ}が、正則性公理に反する？(゜ロ゜;
>そんなことないでしょ
>>652の
>0：＝Φ、
>1：＝{Φ}、
>2：＝{ {Φ} }、
>3：＝{ { {Φ} } }、
>……
の部分は
>0：＝{Φ}、
>1：＝{ {Φ} }、
>2：＝{ { {Φ} } }、
>3：＝{ { { {Φ} } } }、
>……
に訂正。
すると、N≠Φ だが、0について、任意の正整数xに対し 0∈x となって正則性公理に反する。

>・∞が、自然数と言ったとか人違いですよ(゜ロ゜
スレ主は∞が自然数とか何度もいってなかったか？w

>>658
ID:GqnEepIOさん、このスレは実質的にはスレ１０で終わってますよ

https://wc2014.5ch.net/test/read.cgi/math/1411454303/259
＞「σ-1・Ｈ・σはＨと同型」ってまさに正規部分群でしょ？

こんなこと平気でいっちゃう人に、ガロア理論が理解できるわけないって
当時も祭りになってましたよ　当然ですね

昔っから、アレは文章の読み方が粗雑で、
実に初歩的なところで間違う悪癖があるんだよね

人間として致命的な欠陥があるんでしょう

>>656
>>659の「 0∈x」は「 x∈N x≠0」に訂正。

相変わらず訂正に訂正を重ねるおっちゃん
彼が無職というのも分かる気がする
こんなのに危なっかしくて仕事頼めないもんなｗ

>>658
>>661はなし。>>659の
>すると、N≠Φ だが、0について、任意の正整数xに対し 0∈x となって正則性公理に反する。
の部分は
>すると、任意の2以上の正整数xについて x≠Φ、0∈x だが、
>任意の x-1 以下の正整数tに対して、0∈t となって正則性公理に反する。
に訂正。

>>662
論理記号の扱いには慣れていない。

>>662
公理的集合論は多くの数学では出て来ないだろ？
どこで使うんだ？

>こんなのに危なっかしくて仕事頼めないもんなｗ
経済の話になるが、給料を得る代わりに労働時間を会社に与えている。
いうまでもなく、経済的には、時間と金のうち、どちらかを犠牲にしている。

>>662
まあ、現実的には、時間だけでなく、精神的疲れ(ストレス)や体の疲れなどが伴うから、給料を得る代わりに犠牲にしているモノはもっとある。

>>663
>任意の2以上の正整数xについて x≠Φ、0∈x だが、

ID:s0bEnY0rは、ID:NoBnYUlZと全く同じ間違いをしてる

{}∈{{}}　{{}}∈{{{}}}　だから　{}∈{{{}}}、というのは誤り

>>667
私は、公理的集合論とかの話は知らない。

公理的集合論なんてレベルの話じゃない
∈の定義から直ちに出て来る話

>>669
公理的集合論のwiki
https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96
の正則性公理を見たが、説明がサッパリ分からない。
何で交わるの記号に「⊂、⊃」でなく「∈、∋」を使っているんだ？

そもそもID:s0bEnY0rは　{}∈{{{}}}　と思ってる時点で間違ってる

これ初歩レベル　ホントに大学出たのか？

>>671
どうせ、{}∈{ {} } だろw といいたいのだろう。
こんなことは、勿論知っている。

ID:s0bEnY0rは

{}∈{{}}　{{}}∈{{{}}}　
だから　{}∈{{{}}}　

だと思ってるか？

>>673
この理屈は間違い。
>>670にも書いたように、公理的集合論のwikiで、「⊂、⊃」と「∈、∋」の区別が付かない。

>>674
＞この理屈は間違い。

ではどういう理屈で>>663で
＞任意の2以上の正整数xについて x≠Φ、0∈x
といったのか？

おかしいだろう

>>675
>ではどういう理屈で>>663で
>＞任意の2以上の正整数xについて x≠Φ、0∈x
>といったのか？
理屈も何も、>>670や>>674に書いた通り説明が分からない。

wikiの公理的集合論の正則性公理
>空でない集合は必ず自分自身と交わらない要素を持つ。
を記号で書くと
>∀A( A≠Φ → ( ∃x∈A∀t∈A ¬(t⊂x) ) )
だろうな。最後の ¬(t⊂x) が ¬(t∈x) になっている理由が分からん。

>>676

>正則性公理
>空でない集合は必ず自分自身と交わらない要素を持つ。
>を記号で書くと
>∀A( A≠Φ → ( ∃x∈A∀t∈A ¬(t⊂x) ) )
>だろうな。

いや
∀A( A≠Φ → ( ∃x∈A.A∩＝Φ)
だろう。

∀t∈A ¬(t∈x) ⇔ A∩x＝Φ

>>676
>正則性公理
>空でない集合は必ず自分自身と交わらない要素を持つ。
>を記号で書くと
>∀A( A≠Φ → ( ∃x∈A∀t∈A ¬(t⊂x) ) )
>だろうな。

いや
∀A( A≠Φ → ( ∃x∈A.A∩x＝Φ)
だろう。

∀t∈A ¬(t∈x) ⇔ A∩x＝Φ

>>677-678
定義通り、交わるの記号∩に従えばそうなる。

それじゃ、おっちゃんもう寝る。

>>680
おっちゃんどうも
スレ主です
お疲れ様
おやすみなさい(^_^)

5245
かずきち@dy_dt_dt_dx 9月29日
京大オープン経済190/550しか取ってないやつにマウント取られて草
お前より90点高いんだよ黙って勉強しろ
https://twitter.com/dy_dt_dt_dx
https://twitter.com/5chan_nel (5ch newer account)

諸法無我。

諸行無駄w 5chw (゜ロ゜;

数学板なんて
遊びですよ
あくまでエンタです
知るは楽しみとは、昔のクイズ番組のフレーズだったが
余祿でそういうこともありだけどね(^_^)

>>684-685
おっちゃん=>>683です。
この世の万物は流転することを違う角度で表したのが諸行無常と諸法無我である。
その諸行無常を文字って書いたのが>>684だろう。
諸法や諸行の2つの単語が、どちらもこの世の万物を意味する仏教用語である。
だから、諸行無常を文字った>>684の「諸行無駄」は、この世の万物は無駄である、というように解釈出来る。
この世の万物が無駄とは限らない。例：数学板に来るのに必要なパソコンやスマホその他諸々。

>>684-685
何かよく分からんが、毎日ことばのサイト
ttps://mainichi-kotoba.jp/photo-20190605
というサイトによると、「もじる」について、
正しくは漢字で「文字る」の代わりに「捩る」と書くみたいだ。
そのため、>>686の下から2行目の「文字った」は「捩った」と書くことになるようだ。
確か、捩るという漢字は「よじる」と読むんでなかったかな。
まあ、>>684-685はスレ主だったようだが。

捩るは「ねじる」とも読むけど。

>>686
どうもスレ主です(^_^)
ああ、>>683は、おっちゃんだったか
どうもありがとう(^_^)

それじゃ、おっちゃんもう寝る。

>>690
おっちゃん、どうもスレ主です
レスありがとう
おやすみなさい(^_^)

あああいちxっskmgふj

どうも。スレ主です。
復活したかな？（＾＾；

メモ （＾＾
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]。

sm35752697

>>647
どうも。スレ主です。
いま、哀れな素人さんのお誘いで

”「現代数学はインチキだらけ」
で、お前への中傷レスを投稿し始めたぞ（笑”

というお誘いで、下記へ遊びに行っています
よろしければ、そちらも見て下さい（＾＾

現代数学はインチキだらけ
https://rio2016.5ch.net/test/read.cgi/math/1567930973/590-

>>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，・・・がまるまる無限族として独立なら，
当てられっこないではないか−−他の箱から情報は一切もらえないのだから.
(引用終り)

ポカン口の白痴(゜ロ゜が無限論争でボロ負けして
別の話題に逃げようとしてるがそうは問屋が卸さんよ

貴様が書き続けるかぎり
貴様の馬鹿丸出しの初歩的誤りをあげつらって
嘲笑し続けてやるよ

貴様は人間じゃない　ニワトリだｗ

ポカン口の白痴(゜ロ゜Gスレ1のこっ恥ずかしい誤り
「ω＝{{…（無限個のカッコ）…}}は無限集合！」

ギャハハハハハハ！！！・・・笑いすぎて腹いてぇｗｗｗｗｗｗｗ

このスレではサル石が本性全開（笑

>>697
>・現代確率論が、独立な確率変数の無限族を扱えることは、下記時枝記事にもある
扱えたとしても勝てる戦略にならなければ無意味
まだ分からんのかｗ　物覚えの悪いサルだのうｗ

↑とIDを変えて自演（笑

ID:vF9CNmr9
ID:m3mklIbc

これ、どちらもサル石（笑

>>701
Gスレ1をなんたら問題に逃がしてはいかんよ

「集合論の初歩」という明確な誤りで蒸し焼きにしようぜｗ

>>700
安達よ　Gスレ1なんかと仲良くしないほうがいいぞ

馬鹿が伝染するからｗ

Gスレ1の愚かな誤り

１．{}∈{{}},{{}}∈{{{}}}　だから　{}∈{{{}}}
２．{{}}∈{{{}}}　ならば　{{}}∈{{{}}}
３．{{…(無限個の{})…}}は、無限集合

どれもこれも小学生未満の幼稚園児並の初歩的誤り

ヒドイ・・・ヒドすぎる

ついでにいうと

…{{}}…　(無限個の{})　は、そもそも集合たり得ない

何が要素になるのか分からんから

>>705-706
おサルさん、哀れな素人さんのスレを、堪らず逃げ出したかｗ(゜ロ゜;
あっちのスレで、ボコボコにしてやるよ（＾＾

>>706-708
これ。哀れな素人さんのスレに、貼ったよｗｗ（＾＾

現代数学はインチキのデパート
https://rio2016.5ch.net/test/read.cgi/math/1570145810/3-

https://www.nikkei.com/article/DGXMZO50497670S9A001C1MM8000/
車大手、中途採用広がる　トヨタは総合職の年5割に
【イブニングスクープ】
2019/10/2 18:00日本経済新聞　電子版
(抜粋)
自動車業界で自動運転など次世代技術に対応するため、中途採用を拡大する動きが広がってきた。
トヨタ自動車は2019年度に総合職の採用に占める中途採用の割合を18年度の1割から3割に引き上げ、中長期的に5割とする。
ホンダは19年度、採用全体の約4割に当たる約660人を中途採用に充てる。
IT（情報技術）などの専門人材を中心に確保し、給与も実績に応じ評価する。

>>697
>数学的帰納法により、全ての自然数で成立つ。つまりは、時枝記事の数列に適用できるということ
数学的帰納法で任意の有限列で成り立つことは言えても無限列で成り立つことは言えません
近所の高校生に教えてもらっては？

ああ、ここがガロアスレですか

＞数学的帰納法で任意の有限列で成り立つことは言えても
＞無限列で成り立つことは言えません

その通りですね

任意の自然数で成り立つ、といえるだけで
無限大∞で成り立つ、とはいえません
∞は自然数じゃありませんから

>>711-712
どうも。スレ主です。
お説は、確率過程論の一冊でも読んでから、言われた方がよろしいかと
大学教員に教えて貰って下さいね
高校生では足りませんよね（＾＾

>>713
確率過程論のどんなマジックが数学的帰納法を変質させると？
バカも休み休みにして下さいね

確率過程？なんのことですか？

「数学的帰納法で任意の有限列で成り立つことは言えても
　無限列で成り立つことは言えません」

といってるだけですから

大体、ガロア理論のスレッドで確率過程の話をするのはおかしいですね
正気ですか？

ちょっと見させていただきましたが
>>660
＞「σ-1・Ｈ・σはＨと同型」ってまさに正規部分群でしょ？

…こんな誤解をしてる人がガロア理論を理解するのは不可能でしょう
だって、任意の部分群が正規部分群になっちゃうじゃないですか
区別する意味がなくなりますよ　おかしいと思わないんですかね？

>>717
どうも。スレ主です。

激励ありがとう
正規部分群の手前の変換σ-1・Ｈ・σ自身の理解が不正確でした
みなさんに、教えて頂きました
ありがとう（＾＾

>>716
＞大体、ガロア理論のスレッドで確率過程の話をするのはおかしいですね

どうも。スレ主です。
テンプレ>>1より
”このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。”
です。
スレタイに、”雑談”と入れています
だいたい、５Chは雑談ですけどね（＾＾

>>718
＞正規部分群の手前の変換σ-1・Ｈ・σ自身の理解が不正確でした

素直でよろしいｗ

その調子で集合論スレでも、無限理解の誤りを認めやがれ

貴様は、数学のスの字も知らん馬鹿なんだからな

自分が賢いとか自惚れるのは一万年早ぇ！ｗｗｗ

>>719
＞このスレは、現代数学のもとになった物理・工学の雑談スレとします。

ここで、物理や工学の話なんか聞いたことないがな
似非数学の話ばっかりだｗｗｗ

＞スレタイに、”雑談”と入れています

馬鹿のほざくことは、雑談というより猥談だな
どうせならＨＮも「現代数学の系譜 猥談」にしたらどうだ？ｗｗｗ

スレ主よ、第六天魔王はサル石だ（笑

サル石という名前が知られ始めたので名前を変えたようだ（笑

どんなにごまかそうと、その噛みつき魔丸出しの文章を見れば分る（笑

やれやれ、安達とかいう仔犬がここでも吠えてやがるｗｗｗ

俺様が第六天魔王を名乗った理由はここに書いたから読みやがれ
https://rio2016.5ch.net/test/read.cgi/math/1570237031/118

ま、しかし、俺が信長だとして、ここの馬鹿は信玄ほどの格もない
せいぜい足利義昭程度の小者かｗｗｗｗｗｗｗ

↑見ろ。このアホさとチンピラ臭丸出しの文章（笑

これがサル石という男である（笑

相手かまわず誰にでも噛みつく（笑

在日同和の低学歴バカだから
他人に噛みつきたくて噛みつきたくてたまらない（笑

噛みつかないと気が済まない（笑
一種の精神病者（笑

今日の気分

Κατά τον Δαίμονα Εαυτού
https://www.youtube.com/watch?v=sGhYcwcdo-4

え？意味だって？「汝の意志することを行え」だよ

ラブレーの『ガルガンチュワとパンタグリュエル』読みやがれ
俺も全然読んでないけどなｗｗｗ

↑見ろ。このアホさとチンピラ臭丸出しの文章（笑

在日同和の低学歴バカ（笑

このスレは誰も来ないから本性全開（笑

>>725
ガルガンチュアってインターステラーのブラックホールでしょ

>>726
哀れな素人さん、どうも。スレ主です。

>このスレは誰も来ないから本性全開（笑

確かに（＾＾

いま、ちょっと、下記のスレへ遊びに行っています。よろしければ、覗いてみてください（＾＾

現代数学の系譜　カントル　超限集合論
https://rio2016.5ch.net/test/read.cgi/math/1570237031/

>>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は公開当初から高い評価を得ていた。

>>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.?』に登場するボスキャラクター。

>>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巻が刊行されたが、偽書説もある。

『ガルガンチュワ物語』の方が執筆・出版とも後だが、内容的にみて「第一之書」と呼び、『パンタグリュエル物語』を「第二之書」と呼ぶ。

メモ
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やサイバーセキュリティーといった分野を手掛ける高度人材を対象に、専門性の高さや市場価値などを踏まえて、報酬を個別に設定できるようにする。

https://cdn-tech.nikkeibp.co.jp/atcl/nxt/column/18/00001/02729/ph01.jpg?__scale=w:400,h:314&;_sh=0ec0f00b00

メモ

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つの領域に分類される。

集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。

馬鹿に告ぐ

ガロア理論をあきらめたんなら
次のスレッドから「古典ガロア理論も読む」を削っとけ

メモ

https://esori.hatenadiary.org/entry/20090507/1241674532
esoriの日記
2009-05-07
Paris?Harringtonの定理

http://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に含まれる最小の数以上になる。

メモ
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つ。

このスレッドは
「現代数学　情報収集スレ」
とでも改名したほうがいいｗ

>>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 があるよ（＾＾ ）
（ もしサイト移動などでリンク切れのときは、引用してある文章のキーワードによる検索をお願いします ）

以下過去スレより再掲
http://rio2016.2ch.net/test/read.cgi/math/1492606081/7
7 自分：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/04/19(水) 22:07:49.66 ID:gLi5Ebjw
まあ、過去何年かにわたって、猫さん、別名、￥ ◆2VB8wsVUooさんが、数学板を焼いていたからね
ガロアスレは別として、数学板は焼け跡かな

再生は無理だろう
そもそも、５ＣＨ（旧２ＣＨ）は、数学に向かない

アスキー字に制限され、本格的な数学記号が使えない
複数行に渡る記法ができない

複数行に渡る矢印や、図が描けない（ＡＡ（アスキーアート）で数学はできない）
大学数学用の掲示板を、大学数学科が主体となって、英語圏のような数学掲示板を作った方がいいだろうな、実名かせめてハンドルネーム必須でね、プロないしセミプロ用のを

スレ68 https://rio2016.5ch.net/test/read.cgi/math/1560374890/11-
個人的には、下記類似” 先生＞周りの人＞知恵袋の人>>> ５ＣＨ（旧２ＣＨ）の人”と思う（＾＾

http://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日現在、書泉グランデで有名数学者の薦める本がありました。森重文先生を初めとして本の多さに圧倒されました。（足立恒雄先生は信頼と安心のブレなさ）

2. 2ｃｈ*)の内容は信用できるか？
基本的に信用できません。先生＞周りの人＞＞＞ 2ｃｈ*)や知恵袋の人です。何故かというといつも同じことしか言っていないから。多分きちんと検証していないで想像で議論しているだけではないのかと私は思っています。
（まあ、自分もあんまり信用できないけど）
数学をする場合は、問題が解けることも重要なのですが問題設定を作ることが大切です。そういう時に、どういう風に学んできたのかとか、正確な知識がどういう部分でどれだけ持っているのか、調和性や、生まれて来た環境っていうのが重要になってきます。
ただ、それがどうも2ｃｈ*)の人は見られない（し、そもそも偉そうなことを言っている人が本当にできるかどうか分からない。）。こういう類のものは勉強不足ですとか、分かっていませんでしたで済まされるものではないと個人的には思うのですが。
(引用終り) (注*)：2ｃｈは、現5ｃｈ)

>>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]
過去スレより
http://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ページに及ぶ準薄群の分類によって埋められており、これは現在は完璧であると一般に受け入れられている。
(引用終り)
以上

テンプレじゃなく名前で主旨を表したほうがいいな

このスレは脱線が主旨とか
理解せずにコピペしますとか
完全に遊びだとか

一番いいのは

【無理解】現代数学　脱線スレ【上等】

だなｗ

ま、ガロア理論で懲りたんなら、次からスレ名から外しなよ

>>740 補足

下記、いまチェックしたら、リンク切れていたね
https://note.chiebukuro.yahoo.co.jp/detail/n98014
Yahoo 知恵袋
数学の勉強法　学部〜修士
ライター：amane_ruriさん 最終更新日時:2012/8/6

>>742-
ありがとさん（＾＾
千葉にあっても、東京ディズニーランド
ガロアは、現代数学の象徴です！ (゜ロ゜;
ガロアも、少しやるよｗ

哀れな素人さんが、ガロアについて質問してきたときに、回答したのは、おらっちだよ(゜ロ゜;

>>746
＞ガロアも、少しやるよｗ

ところで、正規部分群は理解できた？ｗ

>>747
素人同士の見当違いな会話が売りなんでしょ？

だったら、タイトルは「ガロア」じゃなくて「脱線」だよな
そう書いときゃ、間違いだらけでも免罪符になるからｗ

>>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]。

>>748
一応、「雑談」とは入れてあるんだなｗ(゜ロ゜;

>>750
とにかくスレ名に「古典ガロア理論も読む」は要らないな

正規部分群まだ理解できてないんでしょ？無理すんなってｗ

>>740
(引用開始)
2. 2ｃｈ*)の内容は信用できるか？
基本的に信用できません。先生＞周りの人＞＞＞ 2ｃｈ*)や知恵袋の人です。何故かというといつも同じことしか言っていないから。多分きちんと検証していないで想像で議論しているだけではないのかと私は思っています。
（まあ、自分もあんまり信用できないけど）
(引用終り)

まあ、典型が下記だな（＾＾

現代数学の系譜　カントル　超限集合論
https://rio2016.5ch.net/test/read.cgi/math/1570237031/1-

>>752
＞（まあ、自分もあんまり信用できないけど）

スレ主も含む（再帰的定義）ｗ（＾＾

コピペの切り貼りによる知性の創発はあり得るか？
化け学廃棄物最終処分場スレ

あたりが妥当なスレ名だな。