やったこと

シャドビヨ

他になにもやる気がしなかったので、ずっとやっていた。
7連敗でダイヤを落とされたあと、5連勝を2回してダイヤに戻していた。
連敗している間は、オーキス2枚引けるのとか、8ターン目シャムナクア9ターン目に解放奥義ベリアルは当たり前にできるものなのかと感じていたけれど、落ちたあとはそんなことは無かったので、単純にとてもつもなく運が悪い (相手の運が良い) だけだったらしい。
まあ7連敗も多分3連敗2回くらいにはできたはずなのだが、結局ダイヤを落とされるのは避けられる手札ではなかったと思う。

Repair

z3とたわむれていた。
Scalaからz3のAPIを呼び出すのはそんなに難しくなさそうだということが確認できたので、いい感じになってきたと思う。
あとはアルゴリズムの流れをがーっと書くのと、現実の正規表現をどこまで実装するかだなぁ。

といいつつ、これをやっている時間がどの程度あるのか‥‥。

ZA

トリミアンチャンピオンを気合いで倒してサブクエ消化した。
トリミアンが60レベくらいだと、回復を使いまくらないと厳しい。