シェア
りょうじ
2020年3月6日 01:49
３月５日木曜日、晴れどうやら花粉がひどい。風も強かった。（風が強いから花粉の飛散も激しかったという流れが正しい？）＊ ＊ ＊バグを直し、確認用のビルドを仕掛け、その間に次のバグを直して…… とやっていたらブランチを新しくするのを忘れ出しておいたプルリクエストに別の修正のコミットを積んでしまう。作業を並行してやりすぎて頭がウニのようになっている。ちょっとオーバーヒート気味である。休ませない
2020年3月5日 01:47
３月４日水曜日、小雨もう数年目のことになるか。２５×２５サイズの数独を、自作のソルバーでは解けず悔しいおもいをしたのは。その後 SAT ソルバーというものを使うと解ける、という書き込みをどこかで目にしてずっと心に引っかかっていた。こんなことをおもいだしたのは SMT ソルバーを使って証明器をつくるセミナーを５月に開催すると初谷さんから案内が来たから。（語感が似ていたので）わからないのでち
