枝豆(@ek_bm)/Page 3206

puzsq.logicpuzzle.app/campaign-puzsq...
v2.7.15でpuzsq meetsのお知らせをサイト内に追加しました。

タグ：

posted at 01:05:42

めるるん @melvy_mag

Wordle 602 4/6

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

タグ：

posted at 01:27:28

fff @puzzlerfff

puzzle journeyの解説は色々意識して書いてるので、読み応えがあるという感想がかなり嬉しい

タグ：

posted at 01:29:07

半濁点の付いた文字がなくなったと同時に「半濁点」が言えなくなってるの、綺麗
#如月の集い

タグ：如月の集い

posted at 01:54:12

睡眠に完全に失敗したので、新ナンバーリンクソルバーを書いてる

タグ：

posted at 04:29:28

「回文」の自己言及的な別表現として

・まさかさかさま
・回転限定化（かいてんげんていか）
・対称良し板（たいしようよしいた）
などが即座に代案として上がってくる

#如月の集い twitter.com/An_gel_marron/...

タグ：如月の集い

posted at 07:42:00

竹谷 @buyaketa

WPF SGP Round2和訳を公開しました
note.com/buyaketa/n/n05...

タグ：

posted at 08:55:44

白岡市民(295) @Whitehill9

【#パズルカレンダー更新】
・2/11(土)21:00～2/18(土)23:00
　Pre-PGP 2023 R1(PCJP・60分・15問)
puzcon.jp/contest/?id=20...

パズルカレンダー：calendar.google.com/calendar/b/1/e...
使い方：citizen-puzzle.hatenablog.com/entry/2019/05/...
掲載フォーム：forms.gle/CWvkxvwtdW3qBd...

タグ：

posted at 09:20:37

意味不明な assertion failure が出るんだけど原因まじめに調べておいた方がいいな

タグ：

posted at 09:35:52

deu @charmychachacha

まめぇ

タグ：

posted at 09:36:15

昨日の夜SGPとLMIハシゴしたので起きたら午後でした（まあそれはそう）

タグ：

posted at 12:03:55

雪、そんなには溶け残っていなくて一安心。

タグ：

posted at 12:21:24

ガイドアロー、知らないパズルだと思っていたけどLG4に入ってたパズルだ

タグ：

posted at 13:26:32

パズスクの3問目解いてて見せ場を見てなるほどなーーとなってた

タグ：

posted at 13:27:21

解説読んだらやってることは同じだったけどより本質が書かれていて学びになった

タグ：

posted at 13:29:19

Puzsq Meets、鯖のパズラー向け自己紹介テンプレより
音ゲーチャンネルの自己紹介テンプレの方がだいぶ詳しい。 twitter.com/wand_125/statu...

タグ：

posted at 16:30:51

パズスクにパズルを投稿したところで、そろそろABC

タグ：

posted at 20:58:35

もしかしてあまりに遅いタイミングで conflict を出すとエラーになる？

タグ：

posted at 21:15:44

reason は必ず現在の decision level の literal を含まないといけないっぽい？

タグ：

posted at 21:28:51

稲葉直貴（パズル作家） @puzlab

買ってきたぞ〜 pic.twitter.com/bKJO7wWvzU

タグ：

posted at 21:58:46

焼きもうふ @pronter

でぃすこーどわからない

タグ：

posted at 22:14:13

失敗すると何のために競プロしてるのか分からなくなってくる（競技パズルにも言えるけど……）

タグ：

posted at 22:45:22

失敗時のダメージと成功時の喜びのバランスは大事

タグ：

posted at 22:45:48

SMALL TWO OF PIECESもいったんは歌詞を覚えたけど、今はちょいちょい忘れている部分があるなあ。

タグ：

posted at 22:50:15

わんど紹介とnoteのまとめ｜わんど @wand_125 #note note.com/langue_de_chat...

noteに自己紹介記事を書きました。

タグ： note

posted at 23:28:15

ゲーム筐体より多い数の人がついていると、自分はいなくてもずっと機械が動いていることになるわけだしいいか…となりがち。

タグ：

posted at 23:39:51

Permalink - 2023年02月11日

2023年02月12日(日)

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

タグ：

posted at 01:20:31

PazuruSmartEnjoyLife

タグ：

posted at 01:27:04

めるるん @melvy_mag

Wordle 603 4/6

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

タグ：

posted at 02:19:26

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

タグ：

posted at 09:15:16

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

タグ：

posted at 09:16:53

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

タグ：

posted at 09:24:21

ニチョ謎 @nichonazo

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

タグ：なげっぱなげわん

posted at 09:42:46

ニチョ謎 @nichonazo

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

タグ：

posted at 09:43:41

SP1 @SP1_winter

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

タグ：

posted at 10:14:52

nakai @ryohei_puz

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

タグ：

posted at 10:23:31

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

タグ：

posted at 11:21:13

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

タグ：

posted at 12:01:01

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

タグ：

posted at 12:04:11

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

タグ：

posted at 12:05:19

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

タグ：

posted at 12:15:15

deu @charmychachacha

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

Sudoku GPに参加した

タグ：

posted at 13:17:18

非公開

タグ：

posted at xx:xx:xx

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

タグ：

posted at 14:54:26

舞那素遥 @mainasuyon

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

タグ：

posted at 15:17:13

めるるん @melvy_mag

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

タグ：

posted at 17:00:28

めるーめるん @melvy_puz

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

タグ：

posted at 17:02:25

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

タグ：

posted at 17:49:02

fff @puzzlerfff

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

タグ：

posted at 19:31:33