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
Masaki Koyanagi
April 27, 2019
Science
1
100
不変量
(若手)エンジニアもくもく会 vol.12 @CrowdWorks
https://youth-engineer-mokumoku.connpass.com/event/126962/
Masaki Koyanagi
April 27, 2019
Tweet
Share
More Decks by Masaki Koyanagi
See All by Masaki Koyanagi
Vitestを使った型テストの始め方
mascii
5
2.3k
WebHID API でリングコン のセンサー値を取得してみた
mascii
1
790
Pros and Cons で考える Vue 2 Composition API
mascii
4
890
Joy-ConをJavaScriptでプレゼンリモコンにした話
mascii
0
410
TypeScript で Optional Chaining を使ってみた
mascii
1
600
Vue.jsでCSS Modulesを使ってみた
mascii
0
120
Nuxt.js+Firebaseで個人サービスを作るまで
mascii
1
2.1k
JavaScriptのバージョンの話
mascii
1
1.9k
あなたのお家に眠るラズパイを救出したい
mascii
4
2.8k
Other Decks in Science
See All in Science
Machine Learning for Materials (Lecture 1)
aronwalsh
1
1.5k
Pokemon Roughs
shoryuuken
0
370
Microbiology Labs.
maleehafatima
0
130
AI Alignment: A Comprehensive Survey
s_ota
0
180
OptimizationNight~機械学習と数理最適化の融合~
hidenari
0
290
マルチモーダルモデルと自動運転 車載モデルのコスト・スループット・レイテンシ / LLM in Production Meetup #2 20231023
yuyamaguchi
1
1k
東大・松尾研主催 LLM Summer 2023 コンペ解法 (11位 – 20位枠での優秀賞)
hayataka88
0
180
効果検証入門に物申してみた_JapanR_2023
s1ok69oo
6
4.5k
データで課題を解決する -因果関係を調べる統計的因果推論-
sshimizu2006
4
1.3k
ABEMAの効果検証事例〜効果の異質性を考える〜
s1ok69oo
3
1.5k
名古屋市立大学データサイエンス学部 秋のオープンキャンパス模擬授業20231111
trycycle
0
1.3k
SCOTT: Self-Consistent Chain-of-Thought Distillation
meshidenn
0
310
Featured
See All Featured
Web development in the modern age
philhawksworth
202
10k
Faster Mobile Websites
deanohume
299
30k
Happy Clients
brianwarren
92
6.4k
The World Runs on Bad Software
bkeepers
PRO
61
6.7k
10 Git Anti Patterns You Should be Aware of
lemiorhan
648
58k
Dealing with People You Can't Stand - Big Design 2015
cassininazir
357
22k
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
rmw
25
2.3k
CSS Pre-Processors: Stylus, Less & Sass
bermonpainter
352
28k
Design by the Numbers
sachag
274
18k
Documentation Writing (for coders)
carmenintech
60
3.9k
The Invisible Side of Design
smashingmag
294
49k
Code Review Best Practice
trishagee
55
15k
Transcript
不変量
自己紹介 小柳 昌生 (Koyanagi Masaki) Twitter: @mascii_k 株式会社ビザスク エンジニア
Wikipedia 不変量(ふへんりょう、invariant)とは、数学的対象を特 徴付ける別種の数学的対象のことである。一般に、不変 量は数や多項式など、不変量同士の同型性判定がもと の対象の同型性判定より簡単であるものをとる。良い不 変量とは、簡単に計算でき、かつなるべく強い同型性判 別能力をもつものである。
None
例 https://www.ap-siken.com/kakomon/26_haru/q2.html
答え:AはCと同形であるが,Bとは同形でない。 Animation GIF: https://www.ap-siken.com/kakomon/26_haru/img/02a.gif
A,C と B が同型でない理由 説明できますか???
A,C と B が同型でない理由 最小部分サイクルのサイズを与える関数 f を考える f(A) = 4,
f(B) = 3, f(C) = 4 ※この f はグラフ理論において「内周」と呼ばれる不変量で、 gで表すことが多い
A,C と B が同型でない理由 他にも、頂点の数・辺の数・次数列といった不変量がある (今回の A,B,C は全て一致してしまう)
同じではないことを示す方が簡単だったりする グラフの同型に関する問題は、 頂点数が増えると一気に難しくなることが知られています。 等しくないことは、いい感じの不変量が等しくないことを示せればOK x, y が等しい ⇒ f(x) と
f(y) が等しい ↓(対偶) f(x), f(y) が等しくない ⇒ x と y が等しくない
SHA-1 (ハッシュ関数) の例 ファイル x, y の ハッシュ値 SHA-1(x) と
SHA-1(y) が等しくなけ れば x と y は異なるファイルである: ◯ ファイル x, y の ハッシュ値 SHA-1(x) と SHA-1(y) が等しいなら ば x と y は同じファイルである: ×
反例 PDF1 https://qiita.com/rana_kualu/items/53368eeec521013f0c11 PDF2