本スライドは、弊社の有田により2019年8月8日のArithmer Seminarで使用されたものです。
「高度数学」の一端を、社内の非エンジニアにも体感してもらおうと考え、中学校レベルの数学知識のみを前提としていくつかのトピックを紹介しています。
"Arithmer Seminar" is weekly held, where professionals from within and outside our company give lectures on their respective expertise.
The slides are made by the lecturer from outside our company, and shared here with his/her permission.
Arithmer株式会社は東京大学大学院数理科学研究科発の数学の会社です。私達は現代数学を応用して、様々な分野のソリューションに、新しい高度AIシステムを導入しています。AIをいかに上手に使って仕事を効率化するか、そして人々の役に立つ結果を生み出すのか、それを考えるのが私たちの仕事です。
Arithmer began at the University of Tokyo Graduate School of Mathematical Sciences. Today, our research of modern mathematics and AI systems has the capability of providing solutions when dealing with tough complex issues. At Arithmer we believe it is our job to realize the functions of AI through improving work efficiency and producing more useful results for society.
本スライドは、弊社の有田により2019年8月8日のArithmer Seminarで使用されたものです。
「高度数学」の一端を、社内の非エンジニアにも体感してもらおうと考え、中学校レベルの数学知識のみを前提としていくつかのトピックを紹介しています。
"Arithmer Seminar" is weekly held, where professionals from within and outside our company give lectures on their respective expertise.
The slides are made by the lecturer from outside our company, and shared here with his/her permission.
Arithmer株式会社は東京大学大学院数理科学研究科発の数学の会社です。私達は現代数学を応用して、様々な分野のソリューションに、新しい高度AIシステムを導入しています。AIをいかに上手に使って仕事を効率化するか、そして人々の役に立つ結果を生み出すのか、それを考えるのが私たちの仕事です。
Arithmer began at the University of Tokyo Graduate School of Mathematical Sciences. Today, our research of modern mathematics and AI systems has the capability of providing solutions when dealing with tough complex issues. At Arithmer we believe it is our job to realize the functions of AI through improving work efficiency and producing more useful results for society.
Faible attractivité des employeurs, intensification de la guerre des talents, émergence de nouvelles plateformes… La marque employeur, à l’instar de nombreux secteurs, n’échappe pas à la transformation digitale, et ce sont les candidats, qui, via leurs nouveaux usages et comportements, en sont les acteurs principaux. Les RH doivent plus que jamais évoluer pour s’adapter à ces nouveaux profils qui, habitués à utiliser au quotidien des services intuitifs, personnalisés et fluides, veulent vivre une expérience équivalente dans le cadre de leur mobilité professionnelle. Comme dans un acte d’achat, ils souhaitent désormais orchestrer leurs recherches, choisir leur canal de prédilection ou encore regarder ce qui se dit sur l’entreprise sur le web avant de postuler. Au travers d’une étude publiée à l’occasion de la cérémonie des Randstad Employer Brand Research 2017, le groupe Randstad France et FABERNOVEL INSTITUTE lèvent le voile sur six tendances qui replacent l’expérience candidat au cœur de la marque employeur.
83. 「全ての集合」の集合 U = A ∪ B
「⾃分⾃⾝を要素に持つ集合」
の全体 A
「⾃分⾃⾝を要素に持たない集合」
の全体 B
X 2 A ) X 2 X X 2 B ) X /2 X
ラッセルのパラドックス
84. 「全ての集合」の集合 U = A ∪ B
「⾃分⾃⾝を要素に持つ集合」
の全体 A
「⾃分⾃⾝を要素に持たない集合」
の全体 B
X 2 A ) X 2 X X 2 B ) X /2 X
B ⾃体も集合なので、 B ∈ U.
U = A ∪ B より、
1) B ∈ A または、
2) B ∈ B
のいずれか.
ラッセルのパラドックス
85. 「全ての集合」の集合 U = A ∪ B
「⾃分⾃⾝を要素に持つ集合」
の全体 A
「⾃分⾃⾝を要素に持たない集合」
の全体 B
X 2 A ) X 2 X X 2 B ) X /2 X
1) B ∈ A とすると、B ∈ B.
すると B の定義より B ∈ B
でなければいけない!
→ ⽭盾B?
ラッセルのパラドックス
86. 「全ての集合」の集合 U = A ∪ B
「⾃分⾃⾝を要素に持つ集合」
の全体 A
「⾃分⾃⾝を要素に持たない集合」
の全体 B
X 2 A ) X 2 X X 2 B ) X /2 X
2) ⼀⽅ B ∈ B とすると、
B の定義より B ∈ B
でなければいけない!
→ ⽭盾B?
ラッセルのパラドックス
87. U は「全ての集合の集合」のはずなのに、
集合 B は U に⼊れない!?
「全ての集合」の集合 U = A ∪ B
「⾃分⾃⾝を要素に持つ集合」
の全体 A
「⾃分⾃⾝を要素に持たない集合」
の全体 B
X 2 A ) X 2 X X 2 B ) X /2 X
B…!?
ラッセルのパラドックス