Vol.3, No.7.

休業〜

相変わらず休業中〜。 更に最近目が悪くなってしまった。 目の調子がいい時はAdvent of Codeをするのに忙しい。

というわけで、動作の妥当性を証明するツールを使って書かれたRust製SATソルバーが出たのは知っているので、 気が向いたらそのうち見てみたい。 そして無料ダウンロードができるうちにSAT conferenceのproceedingを忘れずにダウンロード。 中見て面白そうなアイデアがあればそれを、 そうでなければ統計的局所探索を実装するというのが今年の残りの課題ですな。