初月葉桜（10887） @Xana_uzzle

23年2月13日

今作るべき&作りたいパズル、4方向くらいに存在してる（パズスク毎日投稿ときららパズル部含む）
メンタルと時間が追いついてないけども

タグ：

posted at 23:43:40

初月葉桜（10887） @Xana_uzzle

23年2月13日

パズスク毎日投稿するならタグ作る……？

タグ：

posted at 23:41:39

初月葉桜（10887） @Xana_uzzle

23年2月13日

作成負荷の低い問題でも良いからとりあえず1日1問パズルを作ろうと思ってきた（とりあえず今日でパズスク作問Streak4日目）

タグ：

posted at 23:35:23

非公開

タグ：

posted at xx:xx:xx

ゴマ卵 @gomatama5

23年2月13日

dot.ed
ejbarreto.itch.io/doted
無料で遊べるシンプルなパズルゲーム
ルールは見てすぐ分かるくらい簡単だけど、考え所もしっかりあってなかなか面白かった
徐々に新しい要素が増えて行って、盤面も難しくなっていく
全25ステージクリアしたけど、ステージ19と22が特に難しかった

タグ：

posted at 22:46:52

bay @bayrenshu

23年2月13日

やじさんかずさんと12号ループのdual
puzz.link/p?yajikazu/8/7...
swaroopg92.github.io/penpa-edit/#m=... pic.twitter.com/r1IEpxJEct

タグ：

posted at 21:27:33

めるるん @melvy_mag

23年2月13日

ああ，ダブルエリミネーショントーナメントって最後1敗同士になったらもう1戦やるのが普通なのか．WPCで妙だなと思っていた．
ところで3人×2曲やるのに1試合20分なの明らかに間に合わなくない？ 選曲こそほぼ抽選だけど，曲に選手を割り当てる時間は必要だし

タグ：

posted at 14:37:13

めるるん @melvy_mag

23年2月13日

今週末結果
△FGOメイン
△メギイベ
◎JAEPO
◎闇×2
◎GP+LMI
◎プレゼント買う
×チケット買う
◎予約
⚪︎連絡
△寝る
◎洗濯
×本買う
◎ゲーセン
よくできました💮
#めるメモ

タグ： めるメモ

posted at 02:48:42

めるるん @melvy_mag

23年2月13日

Wordle 604 3/6

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

タグ：

posted at 02:14:47

さやちぃ。"23 @88cyi

23年2月13日

昨日しか出題解答できなかった問題 #如月の集い pic.twitter.com/9QeWnSEr5x

タグ： 如月の集い

posted at 00:26:24

非公開

タグ：

posted at xx:xx:xx

広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi

23年2月12日

マネケンは島根県端

タグ：

posted at 20:10:11

fff @puzzlerfff

23年2月12日

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

タグ：

posted at 19:31:33

広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi

23年2月12日

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

タグ：

posted at 17:49:02

めるーめるん @melvy_puz

23年2月12日

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

タグ：

posted at 17:02:25

めるるん @melvy_mag

23年2月12日

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

タグ：

posted at 17:00:28

舞那 素遥 @mainasuyon

23年2月12日

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

タグ：

posted at 15:17:13

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

23年2月12日

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

タグ：

posted at 14:54:26

非公開

タグ：

posted at xx:xx:xx

deu @charmychachacha

23年2月12日

Sudoku GPに参加した

タグ：

posted at 13:17:18

semiexp @semiexp

23年2月12日

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

タグ：

posted at 12:15:15

semiexp @semiexp

23年2月12日

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

タグ：

posted at 12:05:19

semiexp @semiexp

23年2月12日

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

タグ：

posted at 12:04:11

semiexp @semiexp

23年2月12日

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

タグ：

posted at 12:01:01

初月葉桜（10887） @Xana_uzzle

23年2月12日

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

タグ：

posted at 11:21:13

nakai @ryohei_puz

23年2月12日

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

タグ：

posted at 10:23:31

SP1 @SP1_winter

23年2月12日

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

タグ：

posted at 10:14:52

ニチョ謎 @nichonazo

23年2月12日

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

タグ：

posted at 09:43:41

ニチョ謎 @nichonazo

23年2月12日

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

タグ： なげっぱ なげわん

posted at 09:42:46

semiexp @semiexp

23年2月12日

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

タグ：

posted at 09:24:21

semiexp @semiexp

23年2月12日

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

タグ：

posted at 09:16:53

semiexp @semiexp

23年2月12日

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

タグ：

posted at 09:15:16

めるるん @melvy_mag

23年2月12日

Wordle 603 4/6

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

タグ：

posted at 02:19:26

広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi

23年2月12日

PazuruSmartEnjoyLife

タグ：

posted at 01:27:04

広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi

23年2月12日

パセリをチャージしたくなってきました。

タグ：

posted at 01:20:31