やったこと

Scala

SATを実装してみた。
とりあえずバックトラックベースのアルゴリズムと、DPLLを実装した。
CDCLも実装したいな。

公開は‥‥そのうち。

ReDoS

バックトラック型VMのテストを書き終えた。
めちゃくちゃ丁寧にテストが書かれていることに定評がある。

なお現在8167行。
ついにテストの方が行数が多くなった。
まあよくあることかもしれない。

デジシタ

思ってたよりも楽しかった。
オーコメあるとやっぱいいいな。

コミーノの高感度が上がった。
がんばれ。

ミリシタ

ついに餞の鳥折り返し。
とりあえず6万ptくらいまで稼いだ。
一旦アイテム全部消費しよう。

あとPLv 402になった。PLv上がるの早い。