Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
和の令
Search
Neria Nighthawk
November 16, 2019
Science
0
40
和の令
テーマ「令和」として、ZFの公理の1つである和集合の公理を紹介しました。
半分以上ダジャレです。
Neria Nighthawk
November 16, 2019
Tweet
Share
More Decks by Neria Nighthawk
See All by Neria Nighthawk
Teratailはいいぞ.pdf
nerianighthawk
0
29
みんなの憧れ「すべての概念」
nerianighthawk
0
28
果物の数え方
nerianighthawk
0
22
Other Decks in Science
See All in Science
AI科学の何が“哲学”の問題になるのか ~問いマッピングの試み~
rmaruy
1
1.4k
「国と音楽」 ~spotifyrを用いて~ #muana
bob3bob3
2
340
ultraArmをモニター提供してもらった話
miura55
0
120
AI(人工知能)の過去・現在・未来 —AIは人間を超えるのか—
tagtag
0
230
[NeurIPS 2023 論文読み会] Wasserstein Quantum Monte Carlo
stakaya
0
360
Yasuke
drawsbygba
0
610
Pandas 2 vs Polars vs Dask (PyDataGlobal 2023 December)
ianozsvald
0
470
Xpenologyなるアングラプロジェクト周りについて語るやつ
sushi514
0
680
Onsager代数とその周辺 / Onsager algebra tsudoi
usamik26
0
390
DEIM2024 チュートリアル ~AWSで生成AIのRAGを使ったチャットボットを作ってみよう~
yamahiro
3
700
Ph.D. defense "Convex Manifold Approximation for Tensors"
gkazunii
0
190
構造活性フォーラム2023-山﨑担当分
yamasakih
0
320
Featured
See All Featured
Designing for humans not robots
tammielis
247
25k
Design by the Numbers
sachag
274
18k
Visualizing Your Data: Incorporating Mongo into Loggly Infrastructure
mongodb
34
8.9k
GraphQLとの向き合い方2022年版
quramy
33
12k
XXLCSS - How to scale CSS and keep your sanity
sugarenia
242
1.2M
Designing Dashboards & Data Visualisations in Web Apps
destraynor
226
51k
The Power of CSS Pseudo Elements
geoffreycrofte
62
5k
CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again
sstephenson
155
14k
Docker and Python
trallard
35
2.7k
Java REST API Framework Comparison - PWX 2021
mraible
PRO
18
7k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
245
20k
Optimizing for Happiness
mojombo
370
69k
Transcript
和の令 2019年11月16日 ねりあ(@nerianighthawk)
自己紹介 • 氏名:ねりあ(@nerianighthawk) • 略歴: ◦ 学部+修士 6年間数学をやる ◦ 都内のパッケージベンダーに就職
◦ プログラマー歴=職歴= 2年半 • 分野:数学、関数型言語(の本を読むこと) • 趣味・活動:飲酒、ゲーム(主に任天堂)、スノーボード、LT参加、 Teratailの質問者と回答者
今日は・・・ 令和に相応しい数式を紹介します
和 ①やわらぐ。おだやか。のどか。 ②なかよくする。争いをおさめる。 ③合わせる。合う。ととのう。 ④あえる。まぜる。 ⑤二つ以上の数を加えたもの。 令 ①いいつける。命じる。いいつけ。 ②のり。きまり。おきて。 ③おさ。長官。
④よい。りっぱな。 ⑤他人の親族に対する敬称。
令和の数式 和集合の公理
• そもそも数学は公理と推論規則から、定理を導く分野 • じゃあ、数学全体における公理って? → 現代数学で扱う対象のほとんどは集合論上で構築可能である → したがって、ZF(集合論の公理)が数学全体の公理と見ることが出来る • 和集合の公理はZFに含まれる公理の一つ
• つまり令和は数学の一部
おしまい