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
340
制約充足問題として最強のボジョレーを求める
PyLadies Tokyo 9th Anniversary Party
IKEGAMI Yukino
October 01, 2023
Tweet
Share
Other Decks in Research
See All in Research
コーパスを丸呑みしたモデルから言語の何がわかるか
eumesy
PRO
11
3.6k
EarthMarker: A Visual Prompting Multimodal Large Language Model for Remote Sensing
satai
3
180
Trust No Bot? Forging Confidence in AI for Software Engineering
tomzimmermann
1
180
A Segment Anything Model based weakly supervised learning method for crop mapping using Sentinel-2 time series images
satai
3
290
実行環境に中立なWebAssemblyライブマイグレーション機構/techtalk-2025spring
chikuwait
0
160
CSP: Self-Supervised Contrastive Spatial Pre-Training for Geospatial-Visual Representations
satai
3
130
言語モデルによるAI創薬の進展 / Advancements in AI-Driven Drug Discovery Using Language Models
tsurubee
2
310
データサイエンティストの就労意識~2015→2024 一般(個人)会員アンケートより
datascientistsociety
PRO
0
440
Batch Processing Algorithm for Elliptic Curve Operations and Its AVX-512 Implementation
herumi
0
150
博士論文公聴会: Scaling Telemetry Workloads in Cloud Applications: Techniques for Instrumentation, Storage, and Mining / PhD Defence
yuukit
1
130
地理空間情報と自然言語処理:「地球の歩き方旅行記データセット」の高付加価値化を通じて
hiroki13
1
240
Ad-DS Paper Circle #1
ykaneko1992
0
4.7k
Featured
See All Featured
Visualization
eitanlees
146
16k
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
227
22k
Fight the Zombie Pattern Library - RWD Summit 2016
marcelosomers
233
17k
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
rmw
34
2.9k
Let's Do A Bunch of Simple Stuff to Make Websites Faster
chriscoyier
507
140k
The Web Performance Landscape in 2024 [PerfNow 2024]
tammyeverts
5
550
Agile that works and the tools we love
rasmusluckow
329
21k
Building Flexible Design Systems
yeseniaperezcruz
329
39k
The Cost Of JavaScript in 2023
addyosmani
49
7.8k
Navigating Team Friction
lara
185
15k
No one is an island. Learnings from fostering a developers community.
thoeni
21
3.3k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
251
21k
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 制約充足問題として最強のボジョレーを求める