やったこと

OCGとMD

天盃龍の新規の罠がかなりしんどい。
簡単にメイン1をスキップしないで欲しい。

MDにもレスキューとか色々くるらしい。
レスキューさすがにつよいと思うんだけどなぁ。

ETAPS

3日目。
カンファレンス本番。

面白い話を色々聴けた。
SATソルバーを使ってHappy Ending問題を解決したというのが興味深かった。

https://mathworld.wolfram.com/HappyEndProblem.html

興味深いけどどう役に立たせるのは謎。

そのあとはWelcome reception。
ルクセンブルク観光ができた。
坂の多い街だと思った。全体的に綺麗。