[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
43: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)18:03 ID:z0Cctf8f(8/10) AAS
外部ﾘﾝｸ[html]:www.asahi.com
朝日新聞
ＡＩの現場、主婦が大活躍 政府は人材不足というけれど
有料記事
杉本崇 2019年8月22日11時51分
(抜粋)
画像を認識したり、外国語を翻訳したり、社会のいろんな場面で人工知能（ＡＩ）を使ったサービスが普及するなか、政府が「ＡＩ人材が不足している」と危機感をあらわにしている。一方、ＡＩに知識を学習させる仕事では主婦らが活躍。計算式をプログラムする技術者の不足は解消されつつあるとの声も上がる。幅広い分野にまたがるＡＩの現場は、求められる技能や人材も多岐にわたっている。
パソコンの画面に映し出された工事現場の画像。アルバイトの主婦斎藤尊子さん（３９）が、これは三角コーン、これは仕切り……と種類ごとに青や赤色に塗り分けていく。
ＡＩ企業「ＡＢＥＪＡ」（東京都）では、画像に写っているのが何かをＡＩに学習させる「アノテーション」の真っ最中だった。
44: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)18:23 ID:z0Cctf8f(9/10) AAS
外部ﾘﾝｸ[html]:webronza.asahi.com
論座
初任給が高騰するAI人材とは誰のこと？
産業界が求めているのは、AIをツールとして使いこなすことができる人 20190811
伊藤智義 千葉大学大学院工学研究院教授
(抜粋)
初任給730万円、いや1000万円も
今年6月、ソニーがAI人材の初任給を最高730万円に引き上げると発表した。NECなど、1000万円に設定している企業も出てきている。飛躍的に発展を続けているAI分野において、産業界の焦燥はかなりのものである。先日、ソフトバンクグループの孫正義社長は「日本はAI分野の後進国」という警鐘を鳴らした。
筆者の研究室は電気電子工学のコースに所属していて、3次元映像計測を中心に高速計算の研究を行っている。読み書き可能なLSIである「FPGA」やコンピューターに内蔵されているグラフィックスボードを利用した「GPU」コンピューティングなどを駆使して10〜20年先の技術開発を目標にしている。名前を電子情報システム研究室という。
隣は小圷成一教授のシステム数理研究室である。「ニューラルネットワーク」「機械学習」「最適化理論」などの研究を40年近く続けている。
省10
45: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)18:28 ID:z0Cctf8f(10/10) AAS
外部ﾘﾝｸ:www.excite.co.jp
ニュース エキサイト
[注目トピックス 日本株]アイスタディがストップ高、高度IT「人材育成・提供」サービスを具現化
Fisco2019年9月10日
(抜粋)
アイスタディ<2345>は大幅高。ストップ高買い気配となっている。エイム・ソフトの完全子会社化を発表した。
同社は現在、「HR Tech × Ed Tech の分野にて日本を代表するソリューションカンパニーを目指す」という新たなビジョンを掲げるとともに、次なる成長ステージへと歩みを進めるべく中期経営計画を推進している。
今回の買収はAIやビッグデータ、IoTなどに関連する高度ITスキルを習得するための学習コースと、そのスキルを活かした転職への支援を組み合わせた「人材育成・提供」総合サービスである「iStudy ACADEMY」を飛躍させる足掛かりとなる。
エイム・ソフトは従来のシステム開発事業を堅実に成長させつつ、iStudy ACADEMYにてAIやブロックチェーン、IoTなどに関連する高度IT人材向けコースを受講したエンジニアを採用し、実践経験を積ませ、高度IT人材のシステム開発事業へと事業拡大を図る方針。《US》
46(2): 2019/09/11(水)19:21 ID:h4/yIPnA(6/12) AAS
>>30
>我々の通常接する素朴集合論に近い議論では、
>”x ∈ y → x ⊂ y ”を認めた方が良い
こりゃまたヒドイ・・・
>>31
>我々が通常扱う集合は、
>超限帰納法も適用可の場合が多く、
>∈−順序が成立つとして良い
そんなわけないだろ
>∈−順序が成立つ場合は、
省10
47: 2019/09/11(水)19:22 ID:h4/yIPnA(7/12) AAS
>>34
>なお、”x ∈ y → x ⊂ y ”を認めないと、
>素朴集合論のベン図に反例が出る
>つまり、x ∈ yであるにも関わらず、
>xのある元 u ∈ x で、u not∈ y となると、
>素朴集合論のベン図が描けない
ベン図ｗｗｗｗｗｗｗ
ベン図って基本的に集合の包含関係しか描けないだろ
ベン図で表せるもの
要素＝点、集合＝点の集まりを表す○
省12
48: 2019/09/11(水)19:24 ID:h4/yIPnA(8/12) AAS
>>33
そもそも
{1}⊂{0,1,2}
だが、
0={}
1={0}
2={0,1}
だから
not({1}∈{0,1,2})
頭悪いだろｗ
49: 2019/09/11(水)19:25 ID:h4/yIPnA(9/12) AAS
余談だが、ニワトリは
{},{{}},{{{}}},{{},{{}}},…
などの集合たちについて、
どういうベン図を書くつもりなんだろう？
50: 2019/09/11(水)19:27 ID:h4/yIPnA(10/12) AAS
>>36-38 >>40
ニワトリ 理解もできないことを理解したつもりで
見当違いのコケコッコーｗｗｗｗｗｗｗ
51(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)20:41 ID:IlUCyPH9(7/9) AAS
おサルご苦労
一匹だけ戻ってきたか
一番低脳なのが
さあ、踊ってくれ ｂｙ サル回しのスレ主より ｗ（＾＾；
52(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)20:45 ID:IlUCyPH9(8/9) AAS
（>>30-31）
筑波大 坪井先生の数理論理学IIをベースに考えてみよう
P5 公理的集合論「x ∈ y の直観的な意味は，もちろん元x が集合y に属することであるが，x も一つの集合だと考える．」
なので、元ｘを、ベン図の点で表わす必要ないよね
おサルのベン図はしらんけどなｗ（＾＾；
アホなおサルｗ
（参考）
外部ﾘﾝｸ[pdf]:www.math.tsukuba.ac.jp
数理論理学II Akito Tsuboi 筑波大
53: 2019/09/11(水)20:54 ID:h4/yIPnA(11/12) AAS
ニワトリは夜もコケコッコーｗｗｗｗｗｗｗ
54: 2019/09/11(水)20:56 ID:h4/yIPnA(12/12) AAS
>>52
＞元ｘを、ベン図の点で表わす必要ないよね
どうやって表すんだい？ｗ
何も考えてないくせに粋がるなよ
アホなニワトリｗｗｗｗｗｗｗ
全ての集合が推移的とか順序数とか
勘違いしてる馬鹿に集合論なんか到底無理
ｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
55(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/11(水)21:00 ID:IlUCyPH9(9/9) AAS
（>>30-31）
> ５）∈−順序は、推移的なので、xの任意の元 u ∈ x が成立つと、x ∈ y → u ∈ ｙ成立（∵推移性より）
> だから、この場合は”x ∈ y → x ⊂ y ”成立
∈−順序は、推移的なので、
u ∈ x ∈ ｙ なら
三重丸を描けば良い
一番内側がｕ、中間がｘ、一番外がｙ
それをベン図で解釈すれば、
u ⊂ x ⊂ ｙ
それで、ｘの元である集合ｕにおいて、
省7
56(1): 2019/09/11(水)22:14 ID:9NZxnffP(2/6) AAS
サルが分かっていなかったのは現代数学の集合論ではなく中学数学の集合論でした（＾＾
57(1): 2019/09/11(水)22:16 ID:9NZxnffP(3/6) AAS
だから言ってるだろサル
近所の中学生に集合を教えてもらえと
おまえは一つも言いつけを聞かんサルだな
だから人間になれんのだ
58(1): 2019/09/11(水)22:26 ID:9NZxnffP(4/6) AAS
>>36
>・>>30での、筑波大 坪井先生
> 公理的集合論「x ∈ y の直観的な意味は，もちろん元x が集合y に属することであるが，x も一つの集合だと考える」
> （”元x も一つの集合だと考える”とすると、直感的には、x ∈ y → x ⊂ y だろうと）
相変わらず妄想が激しいなｗ
書かれていないことまで自分勝手に妄想してる
これは数学以前、病気
だから言ってるだろ
早く病院逝って妄想症を治療してもらえと
５ちゃんなんかやってる場合じゃねーぞサル
59(1): 2019/09/11(水)22:33 ID:9NZxnffP(5/6) AAS
こりゃ時枝記事どころじゃないなｗ
中学数学も分かってなかったとはｗ
60(1): 2019/09/11(水)22:35 ID:9NZxnffP(6/6) AAS
>>51
どうやって{{}}のベン図書くのか答えを期待してたら
>おサルご苦労
>一匹だけ戻ってきたか
>一番低脳なのが
>さあ、踊ってくれ ｂｙ サル回しのスレ主より ｗ（＾＾；
だってさ、アホくさ
61: 2019/09/12(木)06:33 ID:0bjYSisu(1/6) AAS
>>55
> (∈−順序は推移的なので）”x ∈ y → x ⊂ y ”成立
そりゃx,yが順序数なら、成り立つよ
しかし一般の集合は順序数じゃないだろｗ
順序数でない集合なんて
有限集合でもいくらでも作れる
たとえば{{{}}}とか
考えろよ ニワトリｗ
62: 2019/09/12(木)06:40 ID:0bjYSisu(2/6) AAS
>>55
＞一番内側がｕ、中間がｘ、一番外がｙ
＞それをベン図で解釈すれば、
＞u ⊂ x ⊂ ｙ
だろ？ベン図で描けるのはあくまで
u ⊂ x ⊂ ｙ
であって
u ∈ x ∈ ｙ
じゃないだろ？
＞ベン図の包含関係から
省15
上下前次1-新書関写板覧索設栞歴
あと 940 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s