Vol.3, No.1.

UNSATlog

2022-01-05

バナー追加。BQNとかAoCとかGodotとかBevyとか色々やりたいことが出てきて時間が取れてないのだ。

先月と2020年振り返り(2022-01-02)

予告していた通り12月もコミットなし。 仕事で研究しているわけではないので、誰かに怒られることもないし。 まあサバチカルってことで。

この調子でダラダラが続くはずなので、まあ2月くらいにはSLSに取り掛かろうというくらいの発言が嘘つきにならずに済みそうだ。 お、これが今年の目標かもw。

で代わりに去年を振り返っておきます。

• 致命的なバグ修正。おそらく今のSplrはSATソルバーを名乗れる。過去1年間ほど名乗れてなかったので、これは非常に大きい。
• Trail Savingを実装したので、2018年までくらいの研究成果をキャッチアップできた。

そして、今年の目標：

• 公園デビュー。うーむ。

うーむ。