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
280
制約充足問題として最強のボジョレーを求める
PyLadies Tokyo 9th Anniversary Party
IKEGAMI Yukino
October 01, 2023
Tweet
Share
Other Decks in Research
See All in Research
大規模言語モデルを用いた日本語視覚言語モデルの評価方法とベースラインモデルの提案 【MIRU 2024】
kentosasaki
2
420
CSER 2024 Keynote
tsantalis
0
130
SSII2024 [OS2] 大規模言語モデルと基盤モデルの射程
ssii
PRO
0
460
SSII2024 [OS1] 画像認識におけるモデル・データの共進化
ssii
PRO
0
460
Weekly AI Agents News! 6月号 プロダクト/ニュースのアーカイブ
masatoto
0
110
SSII2024 [PD] 画像センシングの未来
ssii
PRO
0
350
[CV勉強会@関東 CVPR2024] Visual Layout Composer: Image-Vector Dual Diffusion Model for Design Layout Generation / kantocv 61th CVPR 2024
shunk031
1
290
初めての研究発表を成功させよう! スライド作成の基本
ayaco0
11
4.4k
外積やロドリゲスの回転公式を利用した点群の回転
kentaitakura
1
530
Physics of Language Models: Part 3.1, Knowledge Storage and Extraction
sosk
1
800
第60回名古屋CV・PRML勉強会:CVPR2024論文紹介(AM-RADIO)
naok615
0
200
20240626_金沢大学_新機能集積回路設計特論_配布用 #makelsi
takasumasakazu
0
140
Featured
See All Featured
Visualizing Your Data: Incorporating Mongo into Loggly Infrastructure
mongodb
38
9.2k
5 minutes of I Can Smell Your CMS
philhawksworth
202
19k
What’s in a name? Adding method to the madness
productmarketing
PRO
21
3k
Unsuck your backbone
ammeep
667
57k
Distributed Sagas: A Protocol for Coordinating Microservices
caitiem20
326
21k
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
soudai
166
48k
Documentation Writing (for coders)
carmenintech
65
4.3k
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
41
6.5k
Being A Developer After 40
akosma
84
590k
The Illustrated Children's Guide to Kubernetes
chrisshort
47
48k
I Don’t Have Time: Getting Over the Fear to Launch Your Podcast
jcasabona
26
1.9k
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
29
2.2k
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 制約充足問題として最強のボジョレーを求める