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

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む74 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

11: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2019/08/01(木) 21:03:41.36 ID:3WolrY+P

メモ
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温度が常に高い状況が続いている場合、モニタリングを実施するとともに適切に対処することが望まれる。

http://rio2016.5ch.net/test/read.cgi/math/1564659345/11

121: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/04(日) 06:33:29.36 ID:wYXDzdNx

(>>13より再録)
スレ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

http://rio2016.5ch.net/test/read.cgi/math/1564659345/121

490: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/11(日) 17:11:22.36 ID:D5VJA43k

>>488
めんどくせーやつだなｗ（＾＾；
https://www2.tsuda.ac.jp/suukeiken/math/suugakushi/sympo21/
第21回数学史シンポジウム
https://www2.tsuda.ac.jp/suukeiken/math/suugakushi/sympo21/21_3adachi.pdf
足立恒雄　フレーゲ算術について(2010.)所報2011
(抜粋)
Ｐ39
2.2 『数とは伺か』の欠陥
『数とは何か』に見られる欠陥として、しばしば次の事柄が挙げられる:
1.デデキントの無限集合の作在「証明」は説明とは認められない。
(たとえば、河野伊三郎訳記おける脚註〉
2.性質Pを満たす要素Z の全体はつねに「集会」をなすという、素朴
な「内信原理」 を認めている。
3;デデキント無限と通常の無限の定義との同値性の「証明」には選択公理を要することが見過ごされている。
4.α と{α}の区別をしていない。

第1項および第2項について: デデキントが「無限集合の存在説明」 としているものは
1， 2 (1の次の数)， 3 (2の次の数)，・・・
の全体は集合をなし、しかもこれは無限集合であるというのと同じことである。
言い換えれば、「証明とは認められない」という主張の意味をはっきりさせる必要がある。
デデキントが考えていたような、現象世界や思考世界まで
含めた事物の集まりとしての集合(物の集まり)という概念の範囲では、
「証明」 というのもまた素朴なものであるはずで、
この「無限集合の存在証明」だけを取り上げて証明と認められないというような
歴史を無視した評価の妥当性が問われねばならない。
すなわち形式化されたとまでは言わなくとも
ある程度公理化が意識ざれた形に整理されていない時期としては
「証明ではない」とは言えないだろう

第3項について: 選択関数について最初に言及したのはペアノかと思われ
るが、それもかなりあいまいな議論であって、当時としては仕方がなかったと見られる。

第4項について: デデキントは(またペアノも)自然数を1から始めている。
0を自然数に含める考え方はフレーゲが最初かもしれない。
またαと{α}の違いを明確にしたのもブレーゲが最初で、
デデキントはこれを混同している。
そのために「数とは何か」で空集合を集合と
「認められなかった」のではないかと指摘する人もいる。
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1564659345/490

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.029s