制約充足問題として最強のボジョレーを求める

制約充足問題として最強の ボジョレーを求める PyLadies Tokyo 9th Anniversary Party 2023/10/01 池上 有希乃

PyLadies 9周年おめでとうございます

毎年出るボジョレーヌーボー 毎年11月ごろボジョレーヌーボーの新作が 出る

毎年更新されるキャッチコピー ● 1995年「ここ数年で一番出来が良い」 ● 1996年「10年に1度の逸品」 ● 1997年「まろやかで濃厚。近年まれにみるワインの出来で過去10年間で トップクラス」 ● 1998年「例年のようにおいしく、フレッシュな口当たり」 ● 1999年「1000年代最後の新酒ワインは近年にない出来」 どれが一番いいのかわからない！！！

ボジョレーソルバーを作った！ 毎年のキャッチコピーを不等式で表現すれば制約充足問題として解けるのでは？ x1982 x1983 x1984 x1991 < < < < x1985 x1985 x1985 x1995 数理最適化ソルバーとしてMicrosoft ResearchのZ3を使用 pip install z3-solver

• https://github.com/Z3Prover/z3

ボジョレーソルバー実行結果 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 制約充足問題として最強のボジョレーを求める

• https://yukinoi.hatenablog.com/entry/2015/12/08/083000