枝豆(@ek_bm)/2019年11月26日

人は何故日曜日に労働

タグ：

posted at 00:01:11

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

練習でガコサイズ4のSAT制約ソルバーを書いて、枝豆さんのJZCの問題を投げた。もちろん唯一解。ちなみに取り除けるヒントがいくつかあるそうですよ、複数は取り除けないそうですが。そのへん理詰めと試行錯誤の境界っぽい。

タグ：

posted at 00:15:37

まだ真面目に解いてない人

タグ：

posted at 00:15:54

これくらいのサイズなら論理式をじかで書いてるけど、これ以上だったらPythonなどで書いた方がよさそう。

タグ：

posted at 00:17:35

トケタ5どっかいってて悲しい、どこいったんや

タグ：

posted at 00:20:25

しもりん@ペンパ(19/8/9) @simorin_puzzle

みつかった

タグ：

posted at 00:24:04

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

SugarでDoppelBlockのソルバーを作ったからToketa? vol.6にある某ウサミン問題を解かせてみたら20秒で解がでた。

タグ：

posted at 00:37:59

真面目に解いた。理詰めだが、手筋が整理できん。

タグ：

posted at 00:38:22

しもりん@ペンパ(19/8/9) @simorin_puzzle

やりたいことを先にやられていた。まあソルバーくん強いやろなぁ...

タグ：

posted at 00:39:21

実装したアルゴリズム
黒マスで正負を反転しながら行の和から数字を引いていくと黒マスの間の和の2倍が得られる。こうすれば黒マスの区別がいらない。 pic.twitter.com/bAhln8l2D1

タグ：

posted at 00:45:44

ところで、SATソルバーからジェネレーターって作れるのかな、作れるならどうやるのがいいんだろう。

タグ：

posted at 00:54:13

時間あるときに一度導入に失敗したsugarを入れたい

タグ：

posted at 00:55:34

ガコもシンプルガコも、手筋が何にもわからん。現状場当たりに解くしかない。うーむ。

タグ：

posted at 00:58:22

わんど @wand_125

今日読んだSugarのスライドに、ましゅで小ループ禁条件をあえて書かずに、小ループ解が見つかるたびにその小ループを禁止制約に加えて計算し直す方が早い、
みたいなのがあって、
制約変えて解き直すのも自動化しないとなあってなりました。

タグ：

posted at 01:30:27

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@puzzletiger 座りたいのは疲れているからなので、この状況からその移動は現実的でないです。純粋にパズルとして考えるなら、”新幹線で”東京駅に行き、そこからのぞみに乗るというのは意外性があって面白いと思います。

タグ：

posted at 06:41:23

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

あとmacのデフォルトでpython2が入ってるの殺意しか湧かんな(なんべんも言われてそう)。環境構築でアホほど時間溶かした。

タグ：

posted at 08:48:45

キレやすいため、環境構築がうまくいかないとすぐEDP445してしまう

タグ：

posted at 08:52:41

EDP445、過去の動画全削除されてんのウケる

タグ：

posted at 08:54:23

EDP445の動画を字幕付きで見たらにっこりしてしまう

タグ：

posted at 08:57:39

非公開

タグ：

posted at xx:xx:xx

シンプルガコのサイズ9のSugar制約ソルバーも、pythonを利用して書けた

タグ：

posted at 09:36:01

ユニークネスはまだ実装してないけど

タグ：

posted at 09:36:21

これ改変したらサイズ一般の場合も書けそう

タグ：

posted at 09:36:46

minisatに解かせるためのsugarの言葉をpythonで書いてる、なんこれ

タグ：

posted at 09:38:14

数独である一つの数字に着目した手筋を見つけるにはどうすべきか考えている（数字ごとに見るのが苦手なので）

タグ：

posted at 09:41:30

非公開

タグ：

posted at xx:xx:xx

シンプルガコの入力ファイルからSugar制約ソルバーの式を生成するスクリプトを実装できた。唯一解判定も実装した。やったね。

タグ：

posted at 11:38:23

さすがにサイズ9は少し時間かかるね...

タグ：

posted at 11:41:02

わんどさんの問題を投げて遊んでたら、サイズ8のが解が見つからなかった...作図ミス？他は唯一解なことを確認しました。

タグ：

posted at 11:56:27

非公開

タグ：

posted at xx:xx:xx

とりあえず、入力からの読み取りと制約の生成、解の除外(＝唯一解判定)ができるようになった。この技術は他のルールにも汎用性ありそう。

タグ：

posted at 12:02:37

非公開

タグ：

posted at xx:xx:xx

新幹線の問題、それで結局どうしたのか、というのはクイズになるかもしれない。
もう少し詳しく書くと、日曜の午後７時、品川の新幹線ホームでの話です。

タグ：

posted at 12:30:25

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@puzzletiger 情報の後出しになって悪いのですが、３歳児を連れていたので、面倒な移動をしたくありませんでした。

タグ：

posted at 16:41:00

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

deu @charmychachacha

同年生まれ4位か（1位になるには赤が必要）

タグ：

posted at 18:11:58

非公開

タグ：

posted at xx:xx:xx

それで結局どうしたのかの答えです。

こだまに乗って静岡まで移動し、そこでひかりに乗り換えて名古屋に帰りました。

タグ：

posted at 18:20:37

deu @charmychachacha

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

同年生まれ赤って全員が正しく申告していると仮定すれば国内最年長なので憧れるな

タグ：

posted at 18:26:56

日本パズル連盟 WPC体験会8/26開催 @jppuzzles

とろてら？

タグ：

posted at 19:42:16

日本パズル連盟 WPC体験会8/26開催 @jppuzzles

【解答】

Q3の答えは「②5画」。
□に入る漢字は「立」。

タグ：

posted at 20:20:32

クィアウルフ（ダイナモでなぐるマン） @xevs99

【 #日本パズル選手権 2019 懇親会パズル Q4】

今回の問題の制限時間は30秒です。解答は明日発表予定。 pic.twitter.com/0Ra4hgO6Wk

タグ：日本パズル選手権

posted at 20:21:18

非公開

タグ：

posted at xx:xx:xx

クリスマスイブの潜在能力テスト、
わたくしの問題が出ますぞー。
お楽しみに！ pic.twitter.com/a4m1VhIeDY

タグ：

posted at 21:03:06

めるーめるん @melvy_puz

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

ARC023 B (moderate) #める1日1AC

タグ：める1日1AC

posted at 21:07:57

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

クイズ王！！ twitter.com/xevs99/status/...

タグ：

posted at 21:09:07

クィアウルフ（ダイナモでなぐるマン） @xevs99

「タイムショック21」で、パズル作家チームが賞金を獲得したことを知っている人はどれくらいいるのだろうか。

タグ：

posted at 21:34:18

非公開

タグ：

posted at xx:xx:xx

わたしは一般的なニチョ謎のパズルの人でございます

タグ：

posted at 22:07:19

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@pronter DMしました

タグ：

posted at 22:26:58

非公開

タグ：

posted at xx:xx:xx

ここにきて埼玉県3文字の市をまたひとつ思い出した

タグ：

posted at 22:29:29

白岡市民(295) @Whitehill9

自炊と筋トレ(狭義)と筋トレ(広義)をしたらもうこんな時間だ

タグ：

posted at 22:36:32

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

そういえばLG2の解いた数が3分の1を超えた

タグ：

posted at 22:53:38

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

白岡市民(295) @Whitehill9

謎解き公演のオープニング映像とかって何のソフトで作ってるんだろう

タグ：

posted at 23:35:25

白岡市民(295) @Whitehill9

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

大体どの問題解いても新しい発見があるのすごい #vsSVS

タグ： vsSVS

posted at 23:43:38

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx