パズルソルバー作ったり時々絵を描いたり 競プロ / パズル(解く, 作る, プログラミング) / イラスト / 🍆☄️推し / 超かぐや姫！ | あまり競プロの話はしません | アイコン: @semiexp
Reorder Buffer
Joined February 2009
- Tweets61.2K
- Following746
- Followers3K
- Likes8.1K
Pinned Tweet
#技術書典 21 で SAT ソルバーの解説書を出します！
SAT ソルバー「Glucose」のソースコードを細部まで読みながら、SAT ソルバーのアルゴリズムを詳しく解説する本になっています。
来週の企業対抗戦に向けて練習会をしていたんですが、デバッグのためにコード中に puts("☄️"); のようなものを書いたら配信に映ってしまうことに気をつけないといけないということに気づきました
12
997
semiexp🍆☄️@技術書典21-か13 retweeted
今から来週のリハーサルを兼ねて semiexp さんと↓の問題を解きます
atcoder.jp/contests/atcoder1…
Sudoku Editor Plus を更新しました semiexp.net/apps/sudoku-edit…
XV の全表出ルールを指定しない場合でも、一部このルールが適用されてしまう問題を修正しました
cspuz-solver2 を更新しました semiexp.net/apps/cspuz-solve…
「Circles and Squares」「プッテリア」「たすくえあ」「しろまるくろまる」「クリーク」で、正方形盤面でない場合に正しく動作しない問題、「環状線スペシャル」で数字なしの丸がある場合の扱いが間違っていた問題などを修正しました
5
489
