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
Sponsored
·
Your Podcast. Everywhere. Effortlessly.
Share. Educate. Inspire. Entertain. You do you. We'll handle the rest.
→
Neria Nighthawk
November 16, 2019
Science
0
61
和の令
テーマ「令和」として、ZFの公理の1つである和集合の公理を紹介しました。
半分以上ダジャレです。
Neria Nighthawk
November 16, 2019
Tweet
Share
More Decks by Neria Nighthawk
See All by Neria Nighthawk
Teratailはいいぞ.pdf
nerianighthawk
0
37
みんなの憧れ「すべての概念」
nerianighthawk
0
33
果物の数え方
nerianighthawk
0
28
Other Decks in Science
See All in Science
Distributional Regression
tackyas
0
330
動的トリートメント・レジームを推定するDynTxRegimeパッケージ
saltcooky12
0
250
DMMにおけるABテスト検証設計の工夫
xc6da
1
1.5k
やるべきときにMLをやる AIエージェント開発
fufufukakaka
2
1k
Accelerating operator Sinkhorn iteration with overrelaxation
tasusu
0
190
データマイニング - グラフ埋め込み入門
trycycle
PRO
1
150
Performance Evaluation and Ranking of Drivers in Multiple Motorsports Using Massey’s Method
konakalab
0
140
機械学習 - SVM
trycycle
PRO
1
980
データベース05: SQL(2/3) 結合質問
trycycle
PRO
0
880
安心・効率的な医療現場の実現へ ~オンプレAI & ノーコードワークフローで進める業務改革~
siyoo
0
450
2025-06-11-ai_belgium
sofievl
1
220
データマイニング - グラフ構造の諸指標
trycycle
PRO
0
250
Featured
See All Featured
What’s in a name? Adding method to the madness
productmarketing
PRO
24
3.9k
JAMstack: Web Apps at Ludicrous Speed - All Things Open 2022
reverentgeek
1
320
The Psychology of Web Performance [Beyond Tellerrand 2023]
tammyeverts
49
3.3k
DevOps and Value Stream Thinking: Enabling flow, efficiency and business value
helenjbeal
1
90
How to Align SEO within the Product Triangle To Get Buy-In & Support - #RIMC
aleyda
1
1.4k
Leading Effective Engineering Teams in the AI Era
addyosmani
9
1.6k
Easily Structure & Communicate Ideas using Wireframe
afnizarnur
194
17k
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
soudai
PRO
196
71k
The Illustrated Children's Guide to Kubernetes
chrisshort
51
51k
Practical Tips for Bootstrapping Information Extraction Pipelines
honnibal
25
1.7k
Why Mistakes Are the Best Teachers: Turning Failure into a Pathway for Growth
auna
0
51
10 Git Anti Patterns You Should be Aware of
lemiorhan
PRO
659
61k
Transcript
和の令 2019年11月16日 ねりあ(@nerianighthawk)
自己紹介 • 氏名:ねりあ(@nerianighthawk) • 略歴: ◦ 学部+修士 6年間数学をやる ◦ 都内のパッケージベンダーに就職
◦ プログラマー歴=職歴= 2年半 • 分野:数学、関数型言語(の本を読むこと) • 趣味・活動:飲酒、ゲーム(主に任天堂)、スノーボード、LT参加、 Teratailの質問者と回答者
今日は・・・ 令和に相応しい数式を紹介します
和 ①やわらぐ。おだやか。のどか。 ②なかよくする。争いをおさめる。 ③合わせる。合う。ととのう。 ④あえる。まぜる。 ⑤二つ以上の数を加えたもの。 令 ①いいつける。命じる。いいつけ。 ②のり。きまり。おきて。 ③おさ。長官。
④よい。りっぱな。 ⑤他人の親族に対する敬称。
令和の数式 和集合の公理
• そもそも数学は公理と推論規則から、定理を導く分野 • じゃあ、数学全体における公理って? → 現代数学で扱う対象のほとんどは集合論上で構築可能である → したがって、ZF(集合論の公理)が数学全体の公理と見ることが出来る • 和集合の公理はZFに含まれる公理の一つ
• つまり令和は数学の一部
おしまい