やったこと

SAT

DPLLを監視リテラル込みで実装していた。
意外と簡単に実装できるのだなぁ、という感じ。
監視リテラルについてちゃんと理解できているのを確認できた。

OCG

6月に予約したエクソシスターデュエルセットを受け取りに行った。
あとデッキビルドパックの発売日なので買ってきた。
今のところはどのテーマも様子見。弱くはないと思うのだけど、前ほどつよくはなさそうだなぁ、と思う。

日常

yと鶯谷に行ってたこ焼き屋に行った。
5時半くらいに行ったらたこ焼き屋がまだやっていなかったので、とりあえず近くの鳥貴族へ。
その後にたこ焼き屋に行った。
だしがしっかり効いていて良いたこ焼きだった。

まあでも銀だこ酒場でいいかなぁ、という気持ちもある。
難しい。