にしなんとか @chebunanntoka

23年4月6日

シンカミノ　15×15に16は流石に若干の余裕を持って入る　入ってよかった pic.twitter.com/1HHNTZbn1E

タグ：

posted at 23:57:10

fff @puzzlerfff

23年4月6日

さすがにもうちょっと入りそうな気がする(これは3抜け) pic.twitter.com/P4RgFPJndi

タグ：

posted at 23:56:46

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

23年4月6日

@chebunanntoka RTを見て把握しました。線も通さないとなので、あまりスペースに余裕がなさそうですね…。

タグ：

posted at 23:29:43

にしなんとか @chebunanntoka

23年4月6日

@hirose_atsumi 1〜14まで結びたいので、1〜3が入らない現状ではあまり進展がないですね…

タグ：

posted at 23:23:27

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

23年4月6日

@chebunanntoka ５と６を水平方向に結べそうです…？

タグ：

posted at 23:22:36

にしなんとか @chebunanntoka

23年4月6日

6が飛ばされてる　ごめん

タグ：

posted at 23:13:54

にしなんとか @chebunanntoka

23年4月6日

シンカミノ　13×13に14が入る気配がない　n×nにn+1無理だったりします？？ pic.twitter.com/kEW6Cvlf8U

タグ：

posted at 23:12:16

semiexp @semiexp

23年4月6日

chronological backtracking を無効にして theory に出てくる変数を freeze すれば動くとは思う

タグ：

posted at 22:06:58

semiexp @semiexp

23年4月6日

実は CaDiCaL を CDCL(T) ソルバーにするだけだったらそんなに大変じゃない？正当性の検証がまったくできる気がしない点に目をつぶれば

タグ：

posted at 22:03:42

semiexp @semiexp

23年4月6日

シンカミノ、どうやってソルバー書いたらいいんだろ

タグ：

posted at 21:41:27

SP1 @SP1_winter

23年4月6日

シンカミノやりはじめた。いいね。ソルバーほしい。

タグ：

posted at 21:40:32

SP1 @SP1_winter

23年4月6日

四方壁MXの結果だけまとめたもの
はてなブログに投稿しました #はてなブログ
【へやわけ】四方壁のMX値・結果のみ - SP1のぱずるにっき sp1-puzzle.hatenadiary.jp/entry/2023/04/...

タグ： はてなブログ

posted at 21:11:09

SP1 @SP1_winter

23年4月6日

昨日出した記事。四方壁のMX値を確定。
【へやわけ】四方壁のMX値の解決 - SP1のぱずるにっき sp1-puzzle.hatenadiary.jp/entry/2023/03/...

タグ：

posted at 21:10:11

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

23年4月6日

（パズラー）
奈良県に「菫工房」という名前の陶芸教室がある。

タグ：

posted at 19:18:04

わんど @wand_125

23年4月6日

パズルコンテスト #パズル百科
scrapbox.io/puzzle-pedia/%...

タグ： パズル百科

posted at 03:47:49

わんど @wand_125

23年4月6日

Googleフォームで作るパズルコンテスト（１）｜saikachi #note note.com/buyaketa/n/n39...

タグ： note

posted at 03:47:24

めるるん @melvy_mag

23年4月6日

Wordle 656 4/6

⬜🟩🟩⬜🟩
⬜🟩🟩⬜🟩
🟩🟩🟩⬜🟩
🟩🟩🟩🟩🟩

タグ：

posted at 01:21:24