初月葉桜（10887） @Xana_uzzle

23年3月20日

瑞江までの最安ルートを調べたのでこれより安いルートを編み出せないかと考えている

タグ：

posted at 23:34:07

白岡市民(295) @Whitehill9

23年3月20日

【#パズルカレンダー 更新】
・3/28(火)22:00～24:00
　3月早解き大会②(ヤジリン)(青い厚揚げさん・120分・1問)
aoiatuage.com/yajilinconoutl...

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

タグ：

posted at 22:38:35

めるーめるん @melvy_puz

23年3月20日

しまったもう地の果てパズル大会今週末か．クソ早起き vs. 荷物増えるが前泊をまだ決めてないからこのままだと前者になる

タグ：

posted at 22:30:27

sugitakukun @sugitakukun

23年3月20日

1分55秒でした。

※とある動画を見て

タグ：

posted at 20:41:15

今井洋輔（パズル屋たまにジャグラー） @puzzle_101

23年3月20日

ここ数年、ニコリ新刊とはずる新作の発売が近いのはたまたま？
相乗効果ありそう（いつも通販でまとめて買うので、送料分助かってます）。

タグ：

posted at 18:01:53

fff @puzzlerfff

23年3月20日

これIミノが以前の企画になるので純粋な拡張なんですね、なるほど

タグ：

posted at 01:59:43

fff @puzzlerfff

23年3月20日

6×6も本質的に同じ

タグ：

posted at 01:57:07

fff @puzzlerfff

23年3月20日

#言葉遊び_曲輪

タグ： 言葉遊び_曲輪

posted at 01:56:26

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

23年3月20日

盤面を全部「己」、ミノをテトロミノにして、見た目全部イコミキというのはどうだろうか（だめです

タグ：

posted at 01:56:14

fff @puzzlerfff

23年3月20日

twitter.com/puzzlerfff/sta...
ズルをした

タグ：

posted at 01:55:27

fff @puzzlerfff

23年3月20日

ABABA
CDCDC
ABABA
CDCDC
ABABA

ABCD＝いかさん

さいんかい(いかさん/い)
かんざいか(いかさん/か)
さんざいか(いかさん/さ)
かんさいん(いかさん/ん)

タグ：

posted at 01:54:07

めるるん @melvy_mag

23年3月20日

Wordle 639 6/6

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

タグ：

posted at 01:36:09

fff @puzzlerfff

23年3月20日

Fミノを6×6に入れるやり方が8×4×4=128通りなのでチェックですらかなり大変そう twitter.com/saikoro2357/st...

タグ：

posted at 01:20:37

fff @puzzlerfff

23年3月20日

今AHCでやってる問題めっちゃパズルっぽくってとても興味がある

タグ：

posted at 00:19:20

にしなんとか @chebunanntoka

23年3月19日

【模様】No set in a row の繰り返しパターンの例示と未解決問題｜にしなんとか @chebunanntoka #note note.com/nishinanntoka/... pic.twitter.com/lyoiVvd64c

タグ： note

posted at 22:54:51

あさみくれよん @AsamiCrayon

23年3月19日

メバル🐟のムニエル、あら汁、かぶとじゃがいもの揚げ焼き pic.twitter.com/m67g1UrlIk

タグ：

posted at 18:39:26

ぽっつ @pots_orange

23年3月19日

#PUZZLE
パズル単行本で新刊の問題が過去の問題と重複ってあるけど、一部なのか全部なのかどっちだろう。あとどうやって発覚したのかとか、購入者への対応がどうなってるのかとか、一応業界のはしくれとしてはイロイロ気にはなる。 pic.twitter.com/gjmwe6xzMK

タグ： PUZZLE

posted at 17:50:09

めるーめるん @melvy_puz

23年3月19日

LMIわず

タグ：

posted at 15:55:12

非公開

タグ：

posted at xx:xx:xx

semiexp @semiexp

23年3月19日

CaDiCaL 改造してるようには見えないんだけど、どうやって SMT 動かしてるんだ？

タグ：

posted at 10:48:28

semiexp @semiexp

23年3月19日

github.com/cvc5/cvc5/wiki...
もしかしてこれがそうなのか？

タグ：

posted at 10:24:23

semiexp @semiexp

23年3月19日

github.com/Z3Prover/z3/bl...
これが z3 の SAT ソルバーっぽい

タグ：

posted at 10:09:48

semiexp @semiexp

23年3月19日

github.com/Z3Prover/z3/bl... これがインタフェースか？

タグ：

posted at 10:04:00

semiexp @semiexp

23年3月19日

求めているものが CDCL(T) ソルバーに他ならないことが判明し、それは SMT ソルバーが使うものだから絶対存在するはずなんだけど、なかなか見つからない(SMT ソルバーのコードが難しくて見つけられないというのもある

タグ：

posted at 10:01:55

アイ @tigereye_werewe

23年3月19日

TigereyeさんのPre-PGP 2023 R2 の成績は1000点:参考順位4位でした puzcon.jp/results/?id=20... #puzconjp #pPGP
久しぶりに参加者側をできた。Pentominousすげ〜！ってなった

タグ： pPGP puzconjp

posted at 05:46:57

めるるん @melvy_mag

23年3月19日

Wordle 638 5/6

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

タグ：

posted at 01:29:00

Pre-PGP @Pre_PGP

23年3月18日

今回使用したファイルのリンクです。

インストラクション: drive.google.com/file/d/18_Ie3l...
問題: drive.google.com/file/d/1mTZ6mk...
解答: drive.google.com/file/d/1KG3woI...

各問題の解説はこちらからどうぞ。
drive.google.com/file/d/1GA-Bx4...

#pPGP

タグ： pPGP

posted at 23:42:12

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

23年3月18日

#LMI SM 2023 R3 - Irregular & Math
logicmastersindia.com/live/?contest=...
147位
LMIのsudokuは低空飛行が続いている… pic.twitter.com/FIGUB4gafd

タグ： LMI

posted at 16:38:29

volxa @volxa

23年3月18日

土曜日なら大体2,3時間待ちで最大5時間待ちもありうると言われたので色々準備して行ったら、3分も待たずに済んだ。ありがたい。

タグ：

posted at 13:03:27

めるるん @melvy_mag

23年3月18日

Wordle 637 5/6

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

タグ：

posted at 11:26:07

deu @charmychachacha

23年3月18日

起きて準備運動として LMI に参加した

タグ：

posted at 07:55:13

さやちぃ。"23 @88cyi

23年3月18日

パズル界から謎解き界に入ると、女の子がいっぱいいる！すごい！ってなる

タグ：

posted at 00:22:03