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

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む77 (1002ﾚｽ)
上下前次 1-新

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

1(12): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)19:52 ID:w2gV7wtr(1/8) AAS
この伝統あるガロアすれは、皆さまのご尽力で、
過去、数学板での勢いランキングで、常に上位です。

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

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

スレ46から始まった、病的関数のリプシッツ連続の話は、なかなか面白かったです。
省11

2(25): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)19:53 ID:w2gV7wtr(2/8) AAS
（このスレの常連カキコさん説明）
1)
粘着の一人は、キチガイサイコパス（別名ピエロ >>1)。知能が低下してサルになっています
まあ、皆さんには、サイバー空間でのサイコパスの反応とそれへの対応例（反面教師かもしらんが）を見て貰えたらと思う
（このスレは暫く、キチガイサイコパスの隔離スレとして機能させますｗ（＾＾；）
（なお、彼は複数ID（4まで確認済み）を使うやつ（＾＾）
（スレ69 2chｽﾚ:math ID4つ）
なお、火病を発症すると狂気の連投をする
（スレ70 2chｽﾚ:math ）
殺人願望旺盛（＾＾スレ69 2chｽﾚ:math
省15

3(8): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)19:53 ID:w2gV7wtr(3/8) AAS
つづき

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

4(3): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)19:53 ID:w2gV7wtr(4/8) AAS
つづき

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

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

10)おっちゃん（別格）
自称、某R大卒。関数論に詳しい。「オイラーの定数γが有理数であることの証明を得た！！」という（＾＾
省7

5(3): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)19:54 ID:w2gV7wtr(5/8) AAS
＜過去スレ＞
（そのままクリックで過去ログが読める。また、ネット検索でも過去ログ結構読めます）
（数学セミナー時枝記事は、過去スレ39 で終わりました。
39は、別名「数学セミナー時枝記事の墓」と名付けます。
High level people は自分達で勝手に立てたスレ28へどうぞ！sage進行推奨（＾＾；
また、スレ43は、私が立てたスレではないので、私は行きません。そこでは、私はスレ主では無くなりますからね。このスレに不満な人は、そちらへ。 2chｽﾚ:math
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。）
（が、最近関数論の芽茎層の理論との親和性に気付いたので、後でテンプレに入れます。（＾＾）
過去スレリンク集
（下記以外で抜けている分は、スレ68の 2chｽﾚ:math ご参照）
省14

6(1): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)19:54 ID:w2gV7wtr(6/8) AAS
つづき

43 2chｽﾚ:math （だれかが立ててスレ。私は行きません。このスレに不満な人は、そちらへ）
（40以降現代数学の系譜工学物理雑談古典ガロア理論も読む)
（39以前現代数学の系譜古典ガロア理論を読む)
39 2chｽﾚ:math （別名数学セミナー時枝記事の墓）
(35以降現代数学の系譜古典ガロア理論を読む)
(34以前現代数学の系譜11 ガロア理論を読む)
32 2chｽﾚ:math (251 サイコパスのピエロ登場 ID:1maZ/hoI )
28 2chｽﾚ:math (High level people が自分達で勝手に立てた時枝問題を論じるスレ)
20 2chｽﾚ:math （512 2016/07/03 確率論の専門家さん来訪 ID:f9oaWn8A と ID:1JE/S25W ）
省4

7: 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)19:54 ID:w2gV7wtr(7/8) AAS
（参考）
http://mathmathmath.dotera.net/
数学＠2ch掲示板用掲示板での数学記号の書き方例と一般的な記号

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

追加（良く使うが出しにくい記号）
＼ ⇒⇔∈∋⊂⊃⊆⊇∀∃ （アレフ＝これ文字化けするね。あと<=、=> ）買ﾐΠπζ∴∵≠
微分・偏微分：dy/dx=y', ∂y/∂x=y,x ∇（← "∂"は「きごう」で変換可．）
（wikipedia などでは、マイナス記号－や、特殊不等号>=、=< アレフなどが文字化けするので要注意）

8: 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/09(月)19:55 ID:w2gV7wtr(8/8) AAS
その他のテンプレは
スレ71 2chｽﾚ:math
をご参照ください
テンプレは以上です
（テンプレ改善は、今後の課題です（＾＾；）

9: 2019/09/10(火)00:14 ID:588mTDvG(1/5) AAS
これもテンプレに入れとけサル

>集合を外れた「自然数論」に深入りするつもりはないわけよｗ（＾＾
と、∈と⊂の区別さえつかないバカが申しております

10(1): 2019/09/10(火)00:17 ID:588mTDvG(2/5) AAS
これもなサル

>>842
＞Ω ⊂ R^N と Ω ∈ R^N はまったく別ものである

「まったく別もの」ではない
詳しくは、>>832の「ZFC公理系について：その1（及び2）」を読んでみな

簡単に書くと
１）二つの集合A,Bで、A ∈ B　→ A ⊂ B
　∵ 集合Aの全ての元aは、集合Bの元だから
２）二つの集合A,Bで、A ⊂ B　→ A ∈ B
　∵ 集合B中で、集合Aの全ての元aを集めて、内部に集合Aを構成できるから
省2

11(1): 2019/09/10(火)00:24 ID:588mTDvG(3/5) AAS
恥を晒すだけという指摘はまったく正しい
↓

詳しくは、>>832の「ZFC公理系について：その1（及び2）」を読んでみな

簡単に書くと
１）二つの集合A,Bで、A ∈ B　→ A ⊂ B
　∵ 集合Aの全ての元aは、集合Bの元だから
２）二つの集合A,Bで、A ⊂ B　→ A ∈ B
　∵ 集合B中で、集合Aの全ての元aを集めて、内部に集合Aを構成できるから
３）”A ∈ B　→ A ⊂ B” ＆ ”A ⊂ B　→ A ∈ B”が成立つから、二つは同値
QED

12: 2019/09/10(火)00:45 ID:588mTDvG(4/5) AAS
すごいよな
中学生でも分る間違いを堂々と語ってドヤ顔しちゃうんだから
恥を恥と認識しない能力には傑出したものがある

13: 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/10(火)07:11 ID:IDqpcJO6(1/2) AAS
スレ76 2chｽﾚ:math
遠隔レスすまん
(引用開始)
>>803は、いろいろ問題があるね
＞命題の真偽に,より精密な定義を与えることが必要となる。
＞そして,それを実行したのが,
＞ゲンツェンによる"自然数論の無矛盾性証明"である。
これ、最大級の誤解
(引用終り)

この書き方を見ると
省11

14: 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/10(火)07:12 ID:IDqpcJO6(2/2) AAS
おサルはえらいな、朝早くから踊りを踊ってｗｂｙサル回しのスレ主（＾＾

15(1): 2019/09/10(火)08:44 ID:588mTDvG(5/5) AAS
ようサル
∈と⊂の違い中学生に教わったか？
まだならROMってろ

16: 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/10(火)13:17 ID:1S2lJGRn(1/5) AAS
メモ貼る
https://www.nikkei.com/article/DGXMZO48412680Z00C19A8000000/
シーメンスのデジタル工場、雇用維持し生産性13倍
コラム（テクノロジー）
2019/9/10 4:30日本経済新聞　電子版
（日経 xTECH/日経ものづくり　山田剛良）
［日経ものづくり 2019年8月号の記事を再構成］
(抜粋)
https://article-image-ix.nikkei.com/https%3A%2F%2Fimgix-proxy.n8s.jp%2FDSXZZO4841298009082019000000-PN1-4.jpg
シーメンスのアンベルク電子製品工場の内部。設備の75%以上が自動化され、ライン内に常時配置されている人員はほとんどいない（出所:シーメンス）
省4

17(1): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/10(火)13:18 ID:1S2lJGRn(2/5) AAS
つづき

■操業開始から約30年で生産性13倍に

EWAはシーメンスのFA事業を支える「SIMATIC（シマティック）」ブランドのプログラマブル・ロジックコントローラー（PLC）など、比較的小型の工業用電子機器の主力組み立て工場だ。ほぼ1秒に1台のペースで年間1600万台を生産し、同社の世界需要の実に67%を賄う。

シーメンスがこの地に最初に工場を構えた1951年以来、70年近い歴史があり、敷地内には「SIRIUS（シリウス）」ブランドのスイッチや配電盤を製造する機器工場「GWA」が併設される。2つの工場を併せて合計3万平方メートルを超える敷地に合計約5000人が働く。

■自動化率は75%以上、協働ロボット活用も
省3

18: 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/10(火)13:18 ID:1S2lJGRn(3/5) AAS
>>17
つづき

■製品設計から製造までデジタルで管理

15年に本格的なデジタル工場化に踏み切って以降のEWAは製品の設計から生産ラインの設計、製造、製品出荷に至る全ての工程をデジタルで管理し、効率化を進める体制になっている。それを支えるのが3つのデジタルツイン体制である。

製品の設計段階ではコンセプトの検討から3Dモデルを使い、動作や部品製造、部品表管理や組み立てのシミュレーションを含めて全てコンピューターの中で行う。設計の75%は自動化しており、EWAでは1日あたり120種類の異なる仕様の設計を生み出せるという。

出来上がった設計は試作品や実際の製品と比較・分析して、設計の問題点を洗い出し、シミュレーションの精度を高める。これが1番目にあたる「設計のデジタルツイン」である。
省6

19: 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/10(火)13:19 ID:1S2lJGRn(4/5) AAS
つづき

■デジタル化推進しても雇用は維持

3つ目となる「パフォーマンスのデジタルツイン」は工場の稼働状況を管理する。部品や部材の供給や出荷などサプライチェーンの管理、稼働中の製造機器の電力消費や工場機材のサービス・メンテナンスの予測、消耗部品の寿命管理、セキュリティーなどについても、実機のモニタリングとシミュレーションを組み合わせて最適化する。

EWAでは受発注や入出荷、売り上げや支払いなど資金の流れなどを管理する統合基幹業務システム（ERP）を含めた工場内の全てのシステムをネットワークで接続してデータを共有し、デジタルで管理できる体制を構築している。デジタル工場体制を支えるこれらのシステムはおおむねシーメンスの工場向けクラウドサービス「MindSphere（マインドスフィア）」上に構築されている。

こうした体制によりEWAでは1日当たり350回の工程切り替えを行い、1200種類の仕様で製品を作り分ける。99.5%の製品は発注から24時間以内に出荷できるという。改善のための作業工程の変更は年間5000回にも及ぶ。
省5

20(1): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/10(火)13:20 ID:1S2lJGRn(5/5) AAS
>>15
サル踊り、ご苦労さん。もっと踊っていいよｂｙサル回しのスレ主よりｗ（＾＾

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

あと 982 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.022s