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
330
制約充足問題として最強のボジョレーを求める
PyLadies Tokyo 9th Anniversary Party
IKEGAMI Yukino
October 01, 2023
Tweet
Share
Other Decks in Research
See All in Research
大規模日本語VLM Asagi-VLMにおける合成データセットの構築とモデル実装
kuehara
5
1.7k
rtrec@dbem6
myui
6
630
【NLPコロキウム】Stepwise Alignment for Constrained Language Model Policy Optimization (NeurIPS 2024)
akifumi_wachi
3
560
リモートワークにおけるパッシブ疲労
matsumoto_r
PRO
6
5k
国際会議ACL2024参加報告
chemical_tree
1
470
IM2024
mamoruk
0
250
知識強化言語モデルLUKE @ LUKEミートアップ
ikuyamada
0
340
大規模言語モデルを用いたニュースデータのセンチメント判定モデルの開発および実体経済センチメントインデックスの構成
nomamist
1
150
CoRL2024サーベイ
rpc
2
1.8k
言語モデルLUKEを経済の知識に特化させたモデル「UBKE-LUKE」について
petter0201
0
300
Remote Sensing Vision-Language Foundation Models without Annotations via Ground Remote Alignment
satai
3
180
Collaborative Development of Foundation Models at Japanese Academia
odashi
2
470
Featured
See All Featured
Fireside Chat
paigeccino
37
3.3k
Visualization
eitanlees
146
15k
Practical Orchestrator
shlominoach
187
10k
Templates, Plugins, & Blocks: Oh My! Creating the theme that thinks of everything
marktimemedia
30
2.3k
Faster Mobile Websites
deanohume
306
31k
Testing 201, or: Great Expectations
jmmastey
42
7.4k
For a Future-Friendly Web
brad_frost
176
9.6k
Designing for Performance
lara
606
69k
Making Projects Easy
brettharned
116
6.1k
The Psychology of Web Performance [Beyond Tellerrand 2023]
tammyeverts
46
2.4k
Building an army of robots
kneath
304
45k
The Straight Up "How To Draw Better" Workshop
denniskardys
232
140k
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 制約充足問題として最強のボジョレーを求める