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

2019/08/01(木) 20:35:45.70

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

このスレは、現代数学のもとになった物理・工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで宜しければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな～（＾＾
最近、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オーバー（又は間近）で、新スレを立てた）

2019/08/01(木) 20:36:40.40

（このスレの常連カキコさん説明）
1)
粘着の一人は、キチガイサイコパス（別名ピエロ >>1)
まあ、皆さんには、サイバー空間でのサイコパスの反応とそれへの対応例（反面教師かもしらんが）を見て貰えたらと思う
（このスレは暫く、キチガイサイコパスの隔離スレとして機能させますｗ（＾＾；）
（なお、彼は複数ID（4まで確認済み）を使うやつ（＾＾）
（スレ69 https://rio2016.5ch.net/test/read.cgi/math/1560510589/551 ID4つ）
なお、火病を発症すると狂気の連投をする
（スレ70 https://rio2016.5ch.net/test/read.cgi/math/1560684578/46 ）
殺人願望旺盛（＾＾スレ69 https://rio2016.5ch.net/test/read.cgi/math/1560510589/69-74
人を“丸焼き”にして食するという人食趣味ありスレ69 https://rio2016.5ch.net/test/read.cgi/math/1560510589/77
どこかの（某大学）数学科卒　修士課程修了らしい
東京大学出身などと、すぐわかる軽薄なウソをいう
ロジックの破たんした見え見え、デタラメの屁理屈をこねる
それじゃ、数学は落ちこぼれで当たり前だ
こいつの発言は、全く信用できないので、基本スルーだ
（参考）
https://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e
サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込むグレーより薔薇色 2007年04月06日
スレ32 https://rio2016.5ch.net/test/read.cgi/math/1495369406/351
(抜粋)
私？某大学の数学科卒　修士課程修了ですが何か？
ま、この程度でHigh Level Personなんていうほど自惚れちゃいませんよ
やっぱ博士号くらいとらないと数学の世界では人間とは認められませんから
(引用終り)

つづく

2019/08/01(木) 20:37:08.55

あと、特徴的なのが、High level peopleと名付けた人が二人。これもスルーだ
（但し、最近、時枝不成立が理解できたらしい（スレ67～68辺り）
スレ28 http://rio2016.2ch.net/test/read.cgi/math/1483314290/ (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
High level peopleの一人が、時枝記事（数学セミナー2015年11月号の記事『箱入り無数目』）を紹介してくれたなのだが（下記見るとこの人が、スレ28を立てたみたい。この人は、昔Tさんと私が呼んでいた人だと思う）
High level peopleのもう一人が、「俺は測度論的確率論で正当化できて、パラドクスも説明できる」と言い出して、二人で、スレ28で議論した
が、「非可測集合Sに対し、(Sの内測度)＜(Sの外測度) の条件下でSを扱いつつ確率を考える」などと迷走
確率変数の定義（>>517）も無理解で、”変数”と勘違いして”固定”なるトンデモを思いついたらしい

3)
あと、”High level people”を言い出した、英語おじさん（このスレで英語でのみカキコした人）がいたんだ
この人が、”High level people”を連発したので、借用させてもらったのだ（＾＾

4)
あと、”これは酷い”おじさん。これしか言わない、一言居士。英語おじさんと同一かも
さらに、キチガイサイコパスと同じ趣旨を書くのが一人いる。サイコパスピエロに、チョウチンをつけることが多い。サイコパスの成りすましの可能性もありかも
あるいは、(文系)High level peopleさんが、”これは酷い”を使うのかもなー

5)最近、時枝記事不成立派の人が数人と、キチガイサイコパス取締りパトロール隊の方がいる（＾＾

6) 哀れな素人さん：古代ギリシャの数理哲学を語る人

7)時枝解法関連で例の問題提出をした方：不成立の観点から、（下記）の問題提出をした方。この人は、ちょっとレベルが高そう（＾＾
スレ64 https://rio2016.5ch.net/test/read.cgi/math/1556253966/211

つづく

2019/08/01(木) 20:37:34.02

つづき

8) てへぺろ☆(・ω<)さん 70 https://rio2016.5ch.net/test/read.cgi/math/1560684578/842
　この人、ほんとはレベル高いみたい（＾＾
　（以下参考）“T大卒じゃなくN大卒、という設定で（設定かよ！）”
　“私もその昔、数学科というところで学んでたんですがどうしても興味が向かない分野ってのがあってその一つがガロア理論だったんですね（をひ
　ああ、こりゃ俺、数学無理だなと思って計算機関係に方向転換しましたけどね”
　ですが、記憶が5分しか持たず、時枝問題でトンチンカンなので、撤退頂きました。残念でしたが

9) Ω星人の数学者さん、たまに現れます

10)おっちゃん（別格）
自称、某R大卒。関数論に詳しい。「オイラーの定数γが有理数であることの証明を得た！！」という（＾＾
スレ68 https://rio2016.5ch.net/test/read.cgi/math/1560374890/18
「数学雑談&ガロア理論～おっちゃんとボクと、時々、（時枝＆￥さん）～」かな（＾＾

まあ、常連さんは、全員数学の非専門家でしょう（プロ（職業）ではない人）
∵数学のプロが、こんなところに“粘着”するわけがない（＾＾

常連カキコさんは、こんなところだ
まあ、解説が漏れていたら、ご容赦

以上、このスレのROMさんたちのための、常連カキコさんとおっちゃん（別格）の解説でした（＾＾；

2019/08/01(木) 20:38:04.86

＜過去スレ＞
（そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
（数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。
High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 http://rio2016.2ch.net/test/read.cgi/math/1506152332/
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。）
（が、最近関数論の芽茎層の理論との親和性に気付いたので、後でテンプレに入れます。（＾＾）
過去スレリンク集
（下記以外で抜けている分は、スレ68の https://rio2016.5ch.net/test/read.cgi/math/1560374890/4-6 ご参照）
73 https://rio2016.5ch.net/test/read.cgi/math/1563282025/
72 https://rio2016.5ch.net/test/read.cgi/math/1562292879/
71 https://rio2016.5ch.net/test/read.cgi/math/1561208978/
70 https://rio2016.5ch.net/test/read.cgi/math/1560684578/ 842 てへぺろ☆(・ω<)さん来訪
69 https://rio2016.5ch.net/test/read.cgi/math/1560510589/
68 https://rio2016.5ch.net/test/read.cgi/math/1560374890/ 前スレ
64 https://rio2016.5ch.net/test/read.cgi/math/1556253966/ 868-869 時枝記事否定派のAlexander Pruss先生が、意外に大物で数学のプロであること判明。勝負あり～！（＾＾
47 https://rio2016.5ch.net/test/read.cgi/math/1512046472/ 時枝記事関連資料豊富
46 https://rio2016.5ch.net/test/read.cgi/math/1510442940/ ＜スレ46の422に書いた定理“系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない”＞
45 https://rio2016.5ch.net/test/read.cgi/math/1508931882/ 哀れな素人さん 79-92
43 http://rio2016.2ch.net/test/read.cgi/math/1506152332/ （だれかが立ててスレ。私は行きません。このスレに不満な人は、そちらへ）
（40以降現代数学の系譜工学物理雑談古典ガロア理論も読む)
つづく

2019/08/01(木) 20:38:21.37

つづき
（39以前現代数学の系譜古典ガロア理論を読む)
39 http://rio2016.2ch.net/test/read.cgi/math/1503063850/ （別名数学セミナー時枝記事の墓）
(35以降現代数学の系譜古典ガロア理論を読む)
(34以前現代数学の系譜11 ガロア理論を読む)
32 http://rio2016.2ch.net/test/read.cgi/math/1495369406/ (251 サイコパスのピエロ登場 ID:1maZ/hoI )
28 http://rio2016.2ch.net/test/read.cgi/math/1483314290/ (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
20 http://wc2014.2ch.net/test/read.cgi/math/1466279209/ （512 2016/07/03 確率論の専門家さん来訪 ID:f9oaWn8A と ID:1JE/S25W ）
17 http://wc2014.2ch.net/test/read.cgi/math/1448673805/ （314 2015/12/20 数学セミナー2015年11月号の記事『箱入り無数目』の最初）
4 http://uni.2ch.net/test/read.cgi/math/1335598642/ スレタイに4が抜けてますが(4)です
1 http://uni.2ch.net/test/read.cgi/math/1328016756/ 初代スレ
以上

2019/08/01(木) 20:38:41.86

（参考）
http://mathmathmath.dotera.net/
数学＠2ch掲示板用掲示板での数学記号の書き方例と一般的な記号

http://www.dslender.com/symbol.html
DS数学BBSへ　練習用BBSへ
【掲示板での数学記号の書き方例（2chのものを若干変更）】

追加（良く使うが出しにくい記号）
＼ ⇒⇔∈∋⊂⊃∀∃ （アレフ＝これ文字化けするね。あと<=、=> ）買ﾐΠπζ∴∵≠
微分・偏微分：dy/dx=y', ∂y/∂x=y,x （← "∂"は「きごう」で変換可．）

2019/08/01(木) 20:39:01.78

その他のテンプレは
スレ71 https://rio2016.5ch.net/test/read.cgi/math/1561208978/7-32
をご参照ください
テンプレは以上です
（テンプレ改善は、今後の課題です（＾＾；）

2019/08/01(木) 20:54:46.07

メモ

https://news.mynavi.jp/article/20190731-867932/
マイナビニュース
ディープラーニングでコーディングを高速化する「Deep TabNine」 2019/07/31
後藤大地

Fossbytesは7月26日(米国時間)、「Programmers Can Code Faster With This AI-Based Autocompleter Tool」において、カナダのウォータールー大学コンピュータサイエンスの学生が開発した入力補完ツール「Deep TabNine」を紹介した。

Deep TabNineは、Open AIによる予測テキストのディープラーニング言語モデル「GPT-2」に基づき、効率のよい開発を実現するという。Open AIは、イーロン・マスク氏が共同会長を務める非営利のAI(人工知能)研究企業。

次に読む>>
Uber主導のAIフレームワークPyroがLF Deep Learning Foundationプロジェクトに - Th...

CTC、EduLabのAI活用による手書き文字認識サービス「DEEP READ」
AIによるIntelliCodeも洗練されたVisual Studio 2019がGA - Microsoft
ウイングアーク1st、新たなOCR追加の文書データ活用ソリューション

サポートするプログラミング言語はJava、Python、JavaScript、C、C++、PHP、TypeScript、Kotlin、Objective-C、HTML、CSS、Go、C#、Ruby、Rust、Swift、 Haskell、OCaml、Scala、Perl、SQL、Bashなど。GitHubでホスティングされている200万ほどのファイルについて、ディープラーニングによって学習したデータが入力補完に使われている。

https://news.mynavi.jp/article/20190731-867932/images/001.jpg

同様の入力補完機能としてはVisual StudioのIntelliSenseなどがある。ただし、既存の他の入力補完機能が単一のトークンを提供するのに対し、Deep TabNineは複数個のトークンを補完候補として表示するという違いがある。

Deep TabNineは優れた補完機能を提供するとしているが、現在の実装はまだ動作が重く、計算能力の低い環境ではサクサクとは動かない問題があるとも指摘されている。より妥当な速度で動作するモデルの開発が今後の課題とされている。

2019/08/01(木) 20:58:15.33

メモ
https://news.mynavi.jp/article/20190717-860624/
マイナビニュース
46MBが4.5PBに膨れ上がる危険なZIP爆弾に注意 2019/07/17
後藤大地

Fossbytesは7月13日(米国時間)、「This Dangerous 'Zip Bomb' Can Explode 46MB File Into 4.5 Petabytes」が、「Zip Bomb (ZIP爆弾)」と呼ばれる高圧縮ファイル爆弾に新たな方法が発見されたと伝えた。この方法を使うと、46MBのZIPファイルを展開することで4.5PBのサイズに膨張させることが可能とされており、注意が必要。

記事はDavid Fifield氏が公開した次のドキュメントがベースになっている。

次に読む>>
zipコマンドの使い方

無料のAndroidアプリに注意、アンインストールでは課金を止められない
10月のWindows 10アップデート、まだファイル管理にバグか
Microsoft、「WSL 2」発表 - Linuxシステムコールの100%互換を達成

https://news.mynavi.jp/article/20190717-860624/images/001.jpg

説明によれば、ZIPコンテナ内部でファイルを重ね合わせることで高い圧縮率を実現したという。従来は再帰的な方法を使うことで高圧縮を実現していたが、今回発見された方法は再帰的な方法は使っておらず、1回の解凍で完全に展開されると説明がある。この方法を使うことでZIP形式の限界まで広げることが可能で、10MBのZIPファイルが281TBまで展開されるという。

64ビット拡張を使った場合はさらにファイルサイズを拡張することが可能で、46MBを4.5PBまで拡張できるとしている。また、報告されている方法は一般的な圧縮アルゴリズムDEFLATEのみを使用しているため、ほとんどのZIPパーサと互換性があるという。

この手法はまだ報告されてから日が浅いうえ、従来の再帰的手法に依存していないため、既存のセキュリティソフトウェアでは検出が困難な可能性があるとされている。Fossbytesは、疑わしいファイルはダウンロードして展開するといった操作をしないようにアドバイスしている。

2019/08/01(木) 21:03:41.36

メモ
https://news.mynavi.jp/article/20190702-851876/
マイナビニュース
Windows 10でCPUの温度を調べるツール5選と対処方法 2019/07/02
後藤大地

Fossbytesは6月28日(米国時間)、Windows 10で利用できるCPUの温度をモニタリングするツールを紹介した。

作業時のCPU温度は50℃ほどがよく、通常の利用では長時間にわたって60℃を超えるような状況は避けたほうがベターとしている。ゲーム中のCPUの温度は80℃に達することもあるが、何もしていない状況で100℃を超えているようなら、何らかの対処を取ったほうがよいという。

次に読む>>
Goで作られたターミナルツール「gotop2.0」など1月のGitHub Release Radar
アシックスとNTT、センサー付きウエアを利用した暑さ対策
Microsoft、ProcDump SysinternalsツールをLinuxへ移植中
茨城県の養鶏場がIoTによる温度管理や防犯対策

・Core Temp - 人気の高いモニタリング・アプリケーション。CPU温度をチェックすることができる。温度レベルが通知領域に表示される。アドオンを追加してさまざまな機能追加が可能
・Open Hardware Monitor - オープンソースで無料で利用することができるモニタリング・アプリケーション。CPUに加えてGPUの温度をチェックすることが可能
・HWMonitor - ハードウェアに関する詳細な情報を提供してくれるチェックツール
・Speccy - Piriform CCleanerと同じ開発者らによって開発されたアプリケーション。多くの情報を見やすい状態で提供してくれる
・SpeedFan - 冷却ファンの速度を制御することを目的としたアプリケーション。CPU温度のモニタリングツールとしても利用できる

https://news.mynavi.jp/article/20190702-851876/images/001.jpg
記事では、CPU温度が高かった場合の対処方法として以下を紹介している。

1.ヒートシンクを掃除するとともに、内部のホコリを取り除く
2.PC周りを空気通りをよい状況にする
3.適切な筐体を使用する
4.PCを低電力モードで使用する
5.マルウェアなどが電力消費を起こしている可能性もあり、そういったソフトウェアが動作していないかチェックする

CPU温度が高い状況が続くと故障の原因になることがある。CPU温度が常に高い状況が続いている場合、モニタリングを実施するとともに適切に対処することが望まれる。

**１３２人目の素数さん** · 2019/08/01(木) 23:42:02.98

>>1
これもテンプレに入れとけ（＾＾
バカ主はバカである
バカ主は勉強嫌いである
バカ主は利口ぶりたがる
バカ主は平気で嘘を吐く
バカ主は平気で自演する
バカ主の自演はすぐバレる
バカ主は自演がバレてることに気付かない
バカ主は上から目線したがる
バカ主は自分の意に反する意見に聞く耳を持たない
バカ主は他人の尻馬に乗ることばかり考えている
バカ主は理解してないソースをコピペして理解しているふりをする
バカ主は数学で反論できないと人格攻撃に走る
バカ主の主張はいつも独善的である
バカ主には妄想癖がある
バカ主はど素人を味方に付けようと必死である
バカ主はそんなど素人からもバカにされている
バカ主は反例の意味が分かってない
バカ主は正規部分群すら理解していないのにガロア理論を語る
バカ主は大学一年4月にεN論法についていけず落ちこぼれた
バカ主は同値類も選択公理も分かってないのに時枝不成立と喚いている
バカ主は池沼である
バカ主は”共通のしっぽ”を本気で信じている

2019/08/02(金) 00:08:37.62

スレ73 https://rio2016.5ch.net/test/read.cgi/math/1563282025/861
問答無用！ｗ（＾＾；

（>>851より）
下記の通り「時枝の手法では、あるD∈Nがあって、XDは確率1－ε（例えば99/100など）で、実数値rDを取るという」だから
「Dが一定」である必要なし！
(>>829より）
１）独立同分布(IID)を仮定しよう。具体的に、コイントスで、{0,1}を入れた（>>812）
　可算無限個の確率変数の族X1,X2,・・・（時枝記事後半にある通り）
　で任意のi∈Nで、Xiは確率1/2で、0か1かの値を取る
２）ところが、時枝の手法では、あるD∈Nがあって、XDは確率1－ε（例えば99/100など）で、実数値rDを取るという
　これは矛盾である（>>812）
３）独立同分布(IID)を仮定した瞬間、これで終りでしょｗ（＾＾
これには、全部裏付けがあるよ(下記)
>>465 >>474 >>479
（過去なんども繰り返し述べてきた通りだが、確率過程論の知識がないと、時枝不成立がなかなか理解できないのだろう）

>必ずXD=rD

(>>831より)
時枝の設定は、次の通り
スレ20 https://rio2016.5ch.net/test/read.cgi/math/1512046472/18-
(抜粋)
過去スレ20 再録 http://rio2016.2ch.net/test/read.cgi/math/1466279209/2-7
１．時枝問題（数学セミナー201511月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.
どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れてもよいし，すべての箱にπを入れてもよい.
・・・・
列r のD番目の実数r(D)を見て，「第k列のD番目の箱に入った実数はs^k(D)＝rD」と賭ければ，めでたく確率99/100で勝てる.
確率1-ε で勝てることも明らかであろう.
(引用終り)
ここで、実数値rDは、（-∞，+∞）の範囲をカバー出来ていなければ、的中確率99/100など得られない
だが、コイントスのIID ２値{0,1}のみとは、真っ向矛盾している
コイントスのIID ２値{0,1}のみを仮定すれば、実数値rDで的中確率99/100など得られるはずがない！

「必ずXD=rD」というが、例えばrD=e^π 又はrD=πなどの実数値（上記時枝記事記載の通り）では、コイントスの２値{0,1}は的中できるはずがない！！（＾＾
QED

**１３２人目の素数さん** · 2019/08/02(金) 00:46:50.95

>時枝記事後半にある通り
時枝証明は時枝記事前半で完全です
記事後半は証明の成否とは無関係です（＾＾
バカ乙

**１３２人目の素数さん** · 2019/08/02(金) 00:53:57.02

>>13
箱を開け中身を見て一致するように同値類rを選ぶのだからコイントス{0, 1}で出題したら
rDが0か1のどちらかである確率は99/100 (or 1 - ε)になる

2019/08/02(金) 07:26:03.19

>>15
>箱を開け中身を見て一致するように同値類rを選ぶのだからコイントス{0, 1}で出題したら
>rDが0か1のどちらかである確率は99/100 (or 1 - ε)になる

同値類r
　↓
同値類の代表r
だな

そして、しっぽが{0, 1}でも、しっぽ以外ではrD∈Rでしょ
時枝を読み直してみな

2019/08/02(金) 07:27:35.82

再録
スレ73 https://rio2016.5ch.net/test/read.cgi/math/1563282025/944
944 名前：現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE [] 投稿日：2019/08/01(木) 07:50:24.83 ID:3WolrY+P [3/7]
＜小話その１＞
・ある数学者が、証明を発表した
・反例が、1つ示された
・その数学者は、「おれの証明のどこにギャップがあるのか？それを具体的に示せ！！お前は同値類が分ってない！」と吠えたとさｗ

お後が、よろしいようで（＾＾；

（参考）
http://www.geisya.or.jp/~mwm48961/koukou/cond005.htm
大きな区分
高校数学(←Top)
>> 高校数学Ⅰ・Ａ
>> 集合と条件
(抜粋)
== 反　例 ==
《解説》
「全部が～である」という判断が正しいのは，本当に「全部が～である」ときだけで，１つでもそうでない例が見つかればこの命題は間違いであることになります．

■　このように，ｐ→ｑという命題が間違っていることを示すには，ｐであってｑでない例を１つ示せばよいことになります．

http://www.geisya.or.jp/~mwm48961/koukou/cond25.gif

反例１つで成立しないことの証明になります．
(引用終り)

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

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