枝豆(@ek_bm)/2023年02月12日

マネケンは島根県端

タグ：

posted at 20:10:11

fff @puzzlerfff

解説を書いていて気づいたのだけど、試行錯誤寄りのパズルを解いているときに無意識に目解きを使って枝刈りしてるっぽい。

タグ：

posted at 19:31:33

買ってきたカカオチーズケーキを自分にあげます。おいしい。

タグ：

posted at 17:49:02

めるーめるん @melvy_puz

SGPとLMIだん！こどふぉまでの30分で飯を食え！疲れたよパトラッシュ

タグ：

posted at 17:02:25

めるるん @melvy_mag

洗濯したしパズルもしたしこのあと闇

タグ：

posted at 17:00:28

舞那素遥 @mainasuyon

gori.sh/aoki/140ｺﾛﾆｰ @gori_sh

鶯に長刀かかる承塵（なげし）かな／宝井其角
pzv.jp/p.html?sudoku/... pic.twitter.com/ewCebSBPSm

タグ：

posted at 15:17:13

SGPやってる間に話がいくつも動いてた、と思ったらぶんかぶの予告これ昨日か

タグ：

posted at 14:54:26

非公開

タグ：

posted at xx:xx:xx

deu @charmychachacha

Sudoku GPに参加した

タグ：

posted at 13:17:18

SAT ソルバーの詳細な挙動よくわからなくなるし一度完全に理解して文章にまとめておいたほうがいいかも

タグ：

posted at 12:15:15

具体的には「reason の中には、その reason を導出する時点での最大の decision level に等しい level を　持つ literal が必要」という条件があるはず

タグ：

posted at 12:05:19

（恐らく明文化されていない）事前条件があって、clause だけを使っている限りこの事前条件は壊れないが、変な constraint を実装してしまうとその限りではない

タグ：

posted at 12:04:11

ようやくわかってきた、non-clausal constraint を実装するときには An Extensible SAT Solver にも MiniSat v1.12 のコードにも書かれていない暗黙の制約が存在して、これに違反すると稀に壊れる

タグ：

posted at 12:01:01

初月葉桜（10887） @Xana_uzzle

喫緊でやるべきなの、ニコリ向けのパズル原稿作成だろうか

タグ：

posted at 11:21:13

nakai @ryohei_puz

第14回、16回全日本パズル選手権の記念品 pic.twitter.com/BTbp1H0J0V

タグ：

posted at 10:23:31

SP1 @SP1_winter

Twitterとかぱずすくで見るヤジリンの解きタイムがみんな異様に速い。日本のパズラーが習熟されすぎている。。

タグ：

posted at 10:14:52

ニチョ謎 @nichonazo

シン・シーズンに入ったばかりだというのにサムネを忘れてた。 pic.twitter.com/Plw2MSsgbN

タグ：

posted at 09:43:41

ニチョ謎 @nichonazo

本日は #なげっぱでございます。
ウェル問37-1「ピコガール」
タイトルがピコピコしてますね。なげっぱと大阪テクテクカフェで挑戦できます。謎解き、しちゃってくださいね。
#なげわんは「いいなそのなわ」です。記録は店頭でご確認ください。先週はお客さん少なかったから、まだ上位を狙えますよ！

タグ：なげっぱなげわん

posted at 09:42:46

x, y, z, w と仮定して、x z w や x !z !w など全部だめだった場合？

タグ：

posted at 09:24:21

SAT ソルバーのことを何もわかっていない…

タグ：

posted at 09:16:53

でも backjumping がまさにこれでないときの対策なんだけどな、とか考えてたら backjumping っていつ起きるんだ？という気持ちに

タグ：

posted at 09:15:16

めるるん @melvy_mag

Wordle 603 4/6

⬜⬜🟩⬜⬜
⬜🟨🟩⬜⬜
🟨⬜🟩🟩⬜
🟩🟩🟩🟩🟩

タグ：

posted at 02:19:26

PazuruSmartEnjoyLife

タグ：

posted at 01:27:04