[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
36(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/11(水) 14:05:23.70 ID:z0Cctf8f(1/10) AAS
>>31 訂正
７）「まったく別もの」ではないが、別もの
↓
７）「別もの」だが、「まったく別もの」ではない
かな（＾＾；
補足
繰り返すが、
・>>30での、筑波大 坪井先生
公理的集合論「x ∈ y の直観的な意味は，もちろん元x が集合y に属することであるが，x も一つの集合だと考える」
（”元x も一つの集合だと考える”とすると、直感的には、x ∈ y → x ⊂ y だろうと）
・（>>31より）∈−順序は、推移的なので、xの任意の元 u ∈ x が成立つと、x ∈ y → u ∈ ｙ成立（∵推移性より）
だから、この場合は”x ∈ y → x ⊂ y ”成立
・∈−順序を認めないと、超限帰納法が適用困難になる（別の整礎関係（下記）の定義が必要になる）
・”x ∈ y → x ⊂ y ”を認めないと、素朴集合論のベン図に反例が出る
つまり、x ∈ yであるにも関わらず、xのある元 u ∈ x で、u not∈ y となると、素朴集合論のベン図が描けないｗ（＾＾；
・あと”モストウスキーの崩壊補題”との関係で、
普遍的な整礎関係：「クラス X 上の集合的な整礎関係 R に対し、クラス C が存在して、(X, R) が (C, ∈) に同型となる」
とあるので、 (C, ∈) つまり∈−順序は普遍的と考えてよいのかも
（そもそも、クラス Xとかクラス Cとか、学部の集合論を超えていると思うが（＾＾； ）
で、要するに、ベン図反例のある集合論もありのだろうが
（私は聞いたことはないが、理論的に否定できなければ存在するのだろう）、
現実の我々が日常接する集合（大学学部レベルで（それ以上は知らず））は、
∈−順序を認めて、素朴集合論のベン図が描けるものに限定して、良いのではないだろうか？（＾＾
参考
https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82
整礎関係
(抜粋)
モストウスキーの崩壊補題 (Mostowski collapse lemma) によれば、集合要素関係 (set membership) は普遍的な整礎関係である。
つまり、クラス X 上の集合的な整礎関係 R に対し、クラス C が存在して、(X, R) が (C, ∈) に同型となる
https://ja.wikipedia.org/wiki/%E3%83%A2%E3%82%B9%E3%83%88%E3%83%95%E3%82%B9%E3%82%AD%E5%B4%A9%E5%A3%8A%E8%A3%9C%E9%A1%8C
モストフスキ崩壊補題
以上
37(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/11(水) 14:20:30.95 ID:z0Cctf8f(2/10) AAS
>>36 追加
「モストフスキ崩壊補題」で、関連ありそうな箇所を、下記追加引用しておく
https://ja.wikipedia.org/wiki/%E3%83%A2%E3%82%B9%E3%83%88%E3%83%95%E3%82%B9%E3%82%AD%E5%B4%A9%E5%A3%8A%E8%A3%9C%E9%A1%8C
モストフスキ崩壊補題
(抜粋)
応用
ZFの集合モデルは集合状かつ外延的である。 モデルが整礎的なら本補題により、ZFの推移的モデルと一意的に同型である。
ZFのあるモデルの∈-関係が整礎的であるというのは、そのモデル内で正則性公理が成立するという主張よりも強いことに注意。
ZFは無矛盾であるとの仮定の下で、ZFのモデルMで、その論議領域にR-極小要素をもたない部分集合AをもつがAはそのモデル内で集合でないというものがある。
(Aの要素が全て議論領域内にあってもAはモデルの議論領域内に無い。)
もっと正確には、そうでない集合AにはMの要素xでA = R^-1 [x]となるものが存在する。
だからMは正則性公理を満たす(内部的には整礎的である)が、Rは整礎的関係でなく、この崩壊補題も適用できない。
(引用終り)
以上
38(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/11(水) 14:30:28.79 ID:z0Cctf8f(3/10) AAS
>>37 補足
＞応用
＞ZFの集合モデルは集合状かつ外延的である。
”集合状”かｗ、これ意味わからんと思ったが（＾＾
”Every set model of ZF is set-like and extensional. ”の「set-like」の直訳だね（＾＾；
＜参考引用、該当英文箇所＞ (なお、Applicationも、”応用”より”適用”が適訳かもね。微妙だが)
https://en.wikipedia.org/wiki/Mostowski_collapse_lemma
Mostowski collapse lemma
(抜粋)
Application
Every set model of ZF is set-like and extensional.
If the model is well-founded, then by the Mostowski collapse lemma it is isomorphic to a transitive model of ZF and such a transitive model is unique.
Saying that the membership relation of some model of ZF is well-founded is stronger than saying that the axiom of regularity is true in the model.
There exists a model M (assuming the consistency of ZF) whose domain has a subset A with no R-minimal element,
but this set A is not a "set in the model" (A is not in the domain of the model, even though all of its members are).
More precisely, for no such set A there exists x in M such that A = R^-1 [x].
So M satisfies the axiom of regularity (it is "internally" well-founded)
but it is not well-founded and the collapse lemma does not apply to it.
(引用終り)
以上
39(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/11(水) 17:20:09.52 ID:z0Cctf8f(4/10) AAS
>>3の
「哀れな素人さん：古代ギリシャの数理哲学を語る人」
最近見ないと思ったら
こちら（下記）で忙しいのか（＾＾；
おサルが踊らないと スレの勢いが出ないな〜ｗ ｂｙ サル回しのスレ主より（＾＾；
（参考）
0.999…＝1か！？無限小数激論スレ★1
2chｽﾚ:math
40(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/11(水) 17:45:26.97 ID:z0Cctf8f(5/10) AAS
>>37-38 補足
重箱の隅かも知れないが
良く読むと
和訳
だからMは正則性公理を満たす(内部的には整礎的である)が、
Rは整礎的関係でなく、この崩壊補題も適用できない。
英文
So M satisfies the axiom of regularity (it is "internally" well-founded)
but it is not well-founded and the collapse lemma does not apply to it.
(引用終り)
ここで、
”Rは整礎的関係でなく” vs " it is not well-founded"
なのだが、”it”は、その前の”(it is "internally" well-founded)”
の”it”と同じと解すべきで、”it”はMでしょ
（”There exists a model M (assuming the consistency of ZF) ”）
で、Rは、”whose domain has a subset A with no R-minimal element”だし
「Rは整礎的関係でなく」は、誤訳ですね、きっと
正しくは”Mは整礎的でなく”でしょう
つまり、M自身は、Mostowski collapse lemma （en.wikipedia） https://en.wikipedia.org/wiki/Mostowski_collapse_lemma
の条件
”Statement Suppose that R is a binary relation on a class X such that”（引用していないので原文リンク先ご参照）
を満たしていないから
”the collapse lemma does not apply to it”
ってことでしょ（＾＾；
41: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/11(水) 17:51:54.43 ID:z0Cctf8f(6/10) AAS
>>39 補足
＞おサルが踊らないと スレの勢いが出ないな〜ｗ ｂｙ サル回しのスレ主より（＾＾；
おサルたちを、あっちの哀れな素人さん関連の無限小数激論スレへ取られたという意味ね（＾＾
哀れな素人さんは、定義から、”素人”で”人”ですよ！ 誤解無きよう、念のため（＾＾；
42: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/11(水) 17:56:23.27 ID:z0Cctf8f(7/10) AAS
静かになったので、AIネタでも（＾＾
https://www.nikkei.com/article/DGXMZO49088880Y9A820C1MM0000/
AI使いこなす人材育成 文科省と10大学、課程策定へ
2019/8/28 11:30日本経済新聞 電子版
(抜粋)
製造業や小売り・サービス、医学や農業などの各分野で人工知能（AI）を使いこなす人材を増やすため、文部科学省は全国の大学と共同で新たな人材育成のカリキュラムの策定に乗り出す。
各大学の得意分野を生かし、実務に応用できる知識やノウハウを身につける講義や教材の内容を2020年にもつくる。
人材の裾野を広げ、幅広い事業や研究でAI活用を広げる。
文科省は20年度予算の概算要求で関連費用を計上する。
43: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/11(水) 18:03:52.72 ID:z0Cctf8f(8/10) AAS
https://www.asahi.com/articles/ASM7P3HJSM7PULBJ002.html
朝日新聞
ＡＩの現場、主婦が大活躍 政府は人材不足というけれど
有料記事
杉本崇 2019年8月22日11時51分
(抜粋)
画像を認識したり、外国語を翻訳したり、社会のいろんな場面で人工知能（ＡＩ）を使ったサービスが普及するなか、政府が「ＡＩ人材が不足している」と危機感をあらわにしている。一方、ＡＩに知識を学習させる仕事では主婦らが活躍。計算式をプログラムする技術者の不足は解消されつつあるとの声も上がる。幅広い分野にまたがるＡＩの現場は、求められる技能や人材も多岐にわたっている。
パソコンの画面に映し出された工事現場の画像。アルバイトの主婦斎藤尊子さん（３９）が、これは三角コーン、これは仕切り……と種類ごとに青や赤色に塗り分けていく。
ＡＩ企業「ＡＢＥＪＡ」（東京都）では、画像に写っているのが何かをＡＩに学習させる「アノテーション」の真っ最中だった。
44: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/11(水) 18:23:44.68 ID:z0Cctf8f(9/10) AAS
https://webronza.asahi.com/science/articles/2019081100002.html
論座
初任給が高騰するAI人材とは誰のこと？
産業界が求めているのは、AIをツールとして使いこなすことができる人 20190811
伊藤智義 千葉大学大学院工学研究院教授
(抜粋)
初任給730万円、いや1000万円も
今年6月、ソニーがAI人材の初任給を最高730万円に引き上げると発表した。NECなど、1000万円に設定している企業も出てきている。飛躍的に発展を続けているAI分野において、産業界の焦燥はかなりのものである。先日、ソフトバンクグループの孫正義社長は「日本はAI分野の後進国」という警鐘を鳴らした。
筆者の研究室は電気電子工学のコースに所属していて、3次元映像計測を中心に高速計算の研究を行っている。読み書き可能なLSIである「FPGA」やコンピューターに内蔵されているグラフィックスボードを利用した「GPU」コンピューティングなどを駆使して10〜20年先の技術開発を目標にしている。名前を電子情報システム研究室という。
隣は小圷成一教授のシステム数理研究室である。「ニューラルネットワーク」「機械学習」「最適化理論」などの研究を40年近く続けている。
上記の「FPGA」「GPU」「ニューラルネットワーク」「機械学習」「最適化理論」は、すべて今日のAI技術のキーワードである。
ただし、筆者の研究室と数理システム研究室では、当然ながら、研究手法が大きく異なる。
学問的には後者が「AI研究者」である。ところが、産業界で厚遇されつつある「AI人材」は、おそらく前者である。そこに現在のAIブームの本質があり、産業界からの要請が垣間見られる。
現在のAIブームの技術的背景
現在のAIブームは、アルゴリズムに画期的な革新があったから始まったわけではない。本質はコンピューターシステムの飛躍的な発展である。技術的な背景は、次の3つに集約できる。
（1）インターネットの発展により、膨大なデータ（ビッグデータ）を取得できるようになった。
（2）コンピューターがビッグデータを処理できるほど高速になった。
（3）AIをツールとして手軽に使えるソフトウェアの開発環境（プラットフォーム）が普及した。
特に注目すべきが ・・・ログインして読む
（残り：約1600文字／本文：約2770文字）
45: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/11(水) 18:28:27.68 ID:z0Cctf8f(10/10) AAS
https://www.excite.co.jp/news/article/Fisco_00093500_20190910_012/
ニュース エキサイト
[注目トピックス 日本株]アイスタディがストップ高、高度IT「人材育成・提供」サービスを具現化
Fisco2019年9月10日
(抜粋)
アイスタディ<2345>は大幅高。ストップ高買い気配となっている。エイム・ソフトの完全子会社化を発表した。
同社は現在、「HR Tech × Ed Tech の分野にて日本を代表するソリューションカンパニーを目指す」という新たなビジョンを掲げるとともに、次なる成長ステージへと歩みを進めるべく中期経営計画を推進している。
今回の買収はAIやビッグデータ、IoTなどに関連する高度ITスキルを習得するための学習コースと、そのスキルを活かした転職への支援を組み合わせた「人材育成・提供」総合サービスである「iStudy ACADEMY」を飛躍させる足掛かりとなる。
エイム・ソフトは従来のシステム開発事業を堅実に成長させつつ、iStudy ACADEMYにてAIやブロックチェーン、IoTなどに関連する高度IT人材向けコースを受講したエンジニアを採用し、実践経験を積ませ、高度IT人材のシステム開発事業へと事業拡大を図る方針。《US》
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s