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
350
制約充足問題として最強のボジョレーを求める
PyLadies Tokyo 9th Anniversary Party
IKEGAMI Yukino
October 01, 2023
Tweet
Share
Other Decks in Research
See All in Research
Streamlit 総合解説 ~ PythonistaのためのWebアプリ開発 ~
mickey_kubo
1
1k
EOGS: Gaussian Splatting for Efficient Satellite Image Photogrammetry
satai
4
300
Weekly AI Agents News!
masatoto
33
69k
RapidPen: AIエージェントによるペネトレーションテスト 初期侵入全自動化の研究
laysakura
0
1.6k
とあるSREの博士「過程」 / A Certain SRE’s Ph.D. Journey
yuukit
6
2.8k
Type Theory as a Formal Basis of Natural Language Semantics
daikimatsuoka
1
250
SSII2025 [TS2] リモートセンシング画像処理の最前線
ssii
PRO
7
2.9k
心理言語学の視点から再考する言語モデルの学習過程
chemical_tree
2
430
rtrec@dbem6
myui
6
890
数理最適化に基づく制御
mickey_kubo
5
680
電通総研の生成AI・エージェントの取り組みエンジニアリング業務向けAI活用事例紹介
isidaitc
1
680
Ad-DS Paper Circle #1
ykaneko1992
0
5.6k
Featured
See All Featured
Why You Should Never Use an ORM
jnunemaker
PRO
58
9.4k
RailsConf & Balkan Ruby 2019: The Past, Present, and Future of Rails at GitHub
eileencodes
138
34k
個人開発の失敗を避けるイケてる考え方 / tips for indie hackers
panda_program
107
19k
Git: the NoSQL Database
bkeepers
PRO
430
65k
StorybookのUI Testing Handbookを読んだ
zakiyama
30
5.9k
The Language of Interfaces
destraynor
158
25k
Faster Mobile Websites
deanohume
307
31k
Intergalactic Javascript Robots from Outer Space
tanoku
271
27k
The Cult of Friendly URLs
andyhume
79
6.5k
Templates, Plugins, & Blocks: Oh My! Creating the theme that thinks of everything
marktimemedia
31
2.4k
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
eileencodes
35
2.4k
Building a Modern Day E-commerce SEO Strategy
aleyda
42
7.4k
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 制約充足問題として最強のボジョレーを求める