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
IKEGAMI Yukino
October 01, 2023
Research
0
210
制約充足問題として最強のボジョレーを求める
PyLadies Tokyo 9th Anniversary Party
IKEGAMI Yukino
October 01, 2023
Tweet
Share
Other Decks in Research
See All in Research
VAR モデルによる OSS プロジェクト同士が生存性に与える 影響の分析
noppoman
0
140
動物倫理学ことはじめ:人間以外の動物との倫理的な付き合い方を考える
takeshit_m
0
300
生成AIを用いたText to SQLの最前線
masatoto
1
2.4k
第14回対話システムシンポジウム EMNLP 2023 参加報告
atsumoto
0
160
Cross-Media Information Spaces and Architectures
signer
PRO
0
120
Generative Spoken Dialogue Language Modeling [対話論文読み会@電通大]
yuta0306
1
140
媒介分析と疫学
kingqwert
0
100
第12回全日本コンピュータビジョン勉強会:画像の自己教師あり学習における大規模データセット
naok615
0
530
第4回ナレッジグラフ勉強会:ISWC2023論文読み会
kg_wakate
1
210
HP (Hitto Point: 筆頭ポイント)
tanichu
0
750
Alexander Mielke Hellinger--Kantorovich (a.k.a. Wasserstein-Fisher-Rao) Spaces and Gradient Flows
jjzhu
3
190
Refactoring Mining - The key to unlock software evolution
tsantalis
0
280
Featured
See All Featured
A Modern Web Designer's Workflow
chriscoyier
689
190k
Practical Orchestrator
shlominoach
183
9.7k
The World Runs on Bad Software
bkeepers
PRO
61
6.7k
Stop Working from a Prison Cell
hatefulcrawdad
267
19k
Building a Scalable Design System with Sketch
lauravandoore
457
32k
Into the Great Unknown - MozCon
thekraken
14
1k
The Cost Of JavaScript in 2023
addyosmani
20
3.9k
Fireside Chat
paigeccino
22
2.6k
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
21
1.9k
Ruby is Unlike a Banana
tanoku
96
10k
10 Git Anti Patterns You Should be Aware of
lemiorhan
649
58k
How To Stay Up To Date on Web Technology
chriscoyier
782
250k
Transcript
制約充足問題として最強のボ ジョレーを求める PyLadies Tokyo 9th Anniversary Party 2023/10/01 池上 有希乃
PyLadies 9周年おめでとうございます 🎉🎂🐍🥳🐍 🎂🎉
毎年出るボジョレーヌーボー 毎年11月ごろボジョレーヌーボーの新作が出 る
毎年更新されるキャッチコピー • 1995年「ここ数年で一番出来が良い」 • 1996年「10年に1度の逸品」 • 1997年「まろやかで濃厚。近年まれにみるワインの出来で過去10年間で トップクラス」 • 1998年「例年のようにおいしく、フレッシュな口当たり」
• 1999年「1000年代最後の新酒ワインは近年にない出来」 どれが一番いいのかわからない!!!
ボジョレーソルバーを作った! 毎年のキャッチコピーを不等式で表現すれば制約充足問題として解けるのでは? x1982 < x1985 x1983 < x1985 x1984 <
x1985 x1991 < x1995 数理最適化ソルバーとしてMicrosoft ResearchのZ3を使用 pip install z3-solver
ボジョレーソルバー実行結果 ranking: 1 x2011 2 x2005, x2009, x2010, x2015 3
x2003, x2004, x2007, x2008 … 2011年が一番おいしいボジョレー 「100年に1度の出来とされた03年を超す21世紀最高の出来栄え」
オチ つまり古いボジョレーは飲めない…🙃 一般的なワインと違い、ボジョレーヌヴォーはそれ以上熟成しない状態で出荷される ため、値段と比べれば味はそこそこだが長期保存できない(あとは劣化するのみ)と いう特徴がある。そのため、ボジョレーヌヴォーは年内に消費することがおすすめされ ている。 さらにボジョレーソルバー公開してからキャッチコピー更新されなくなった…😭
くわしくはブログで! https://yukinoi.hatenablog.com/entry/2015/12/08/083000 制約充足問題として最強のボジョレーを求める