枝豆
- いいね数 318,604/239,302
- フォロー 428 フォロワー 553 ツイート 5,744
- 現在地 畑
2019年11月25日(月)
パズルが直接仕事に役に立っているかというとあやしいけど、新しい技術を習得するときに、スリリンの早解き練習をした経験がベースになっているとよく思う。理論を解析して反復練習すべき要素を抽出する方法論や、中級と上級の間にある長くて高い壁の存在など
タグ：
posted at 00:11:24
Sugarで数独解くソース見たけど、allDifferent有能すぎひんか？？？(いやまあそれだけのパズルといえばそうだけど)(性能改善のためにはもう少し遊べそう、hidden系手筋追加できひんかな)
タグ：
posted at 00:33:28
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
習作として、サイズ5の魔法陣で中央が25となるものの一例をSATソルバーくんに作ってもらった。これ、いいな。 pic.twitter.com/szsrOdjHiL
タグ：
posted at 01:09:52
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
ただ愚直に書き下しただけなので、解空間が狭い(もしくはない)と時間かかるっぽい。たとえばさっきのサイズ5の魔法陣のソースを使って四隅の和の最小を出そうとしてるけど、四隅の和が25とかどう？ってSATソルバーくんに聞いてもなかなか返事してくれない。
タグ：
posted at 01:23:40
非公開
タグ：
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
非公開
タグ：
posted at xx:xx:xx
四隅の和が25の場合も、例の中央隣接4マスの和が10, 中央が25であることを追加したらすぐ矛盾を返してくれた。ここまではSATソルバー君にガイドしてやる必要がありそう。
タグ：
posted at 01:57:36
ソルバーの性質的に「分かりやすい箇所はすぐ決める」「分からんかったらすぐ仮定(バックトラック？)」をしてるらしくて、人間にはわかるけどソルバーくんにはつらそうな評価式を仕込むことで性能爆上げすることは今後もありそう(てかそういうのを探すあそびでもあるか)
タグ：
posted at 02:20:08
後で見るとき用に証明を残しておく。中央に接する4マスの和をS, 中央マスをC, 四隅の和をXとすると、魔法陣の制約よりS+65=X*2+Cが成り立ちます。X=25だと不等式評価によりS=10, C=25と確定しますが、このときS+X=35となり、異なる8数の和の最小36を下回って矛盾します。
タグ：
posted at 02:24:36
数独をSATソルバーで解くときも、「hidden系」の手筋を仕込んでおくことで性能向上するらしい。つまり「数は1から9まで＋1列9個の数字がすべて異なる」だけじゃなく、そこから演繹される「どの数字も1列のどこかに現れる」を入れておくとよい。
タグ：
posted at 02:29:38
これ、たとえば予約(hidden tripleとか)を使う問題について、何も仕込んでないとSATソルバー君は「わからん！よし！仮定だ！」ってなるけど、予約の式を仕込んでおくと「おーわかるわかるこれね！」ってなってスピード向上する感じなんかなぁ
タグ：
posted at 02:31:49
あと、とりあえず直近は個々の問題に対処するつもりだけど、なにかしらの入力(ぱずぷれとかでもよい)に対応してSugarスクリプトを生成する部分など、「側」の部分もできたらなお楽しそう。
タグ：
posted at 02:51:29
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
Twitterに登録した日を覚えていますか？#MyTwitterAnniversary pic.twitter.com/68HVyFJkeb
posted at 08:29:21
非公開
タグ：
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
非公開
タグ：
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
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
┃ ┃
┃ ┃
┃ 回回 ┃
┃ 回回 ┃
┃口口口口口 口口口口┃
┃口口口口口 口口口口┃
┃口口口口口 口口口口┃
┃口口口口口 口口口口┃
#shindanmaker
shindanmaker.com/902876
タグ： shindanmaker
posted at 15:26:05
┃ ┃
┃ ┃
┃ ┃
┃ 回回 ┃
┃口口口口口回口口口口┃
┃口口口口口回口口口口┃
┃口口口口口 口口口口┃
┃口口口口口 口口口口┃
＿人人人人人＿
＞ DOUBLE ＜
￣Y^Y^Y…
#shindanmaker
shindanmaker.com/902876
タグ： shindanmaker
posted at 15:34:09
┃ ┃
┃ 回回 ┃
┃ 回 ┃
┃ 回 ┃
┃口口口口口 口口口口┃
┃口口口口口 口口口口┃
┃口口口口口 口口口口┃
┃口口口口口 口口口口┃
#shindanmaker shindanmaker.com/902876
タグ： shindanmaker
posted at 15:37:16
『東京からの帰りの新幹線ホームでの出来事』
座りたかったので、混んでいたのぞみをスルーし、次のこだまに乗ることに。しかし、その後にひかりが来る。座れるなら早い方が良い。だが、ひかりの座席が埋まっていた場合、何のために待ったかわからない。どうすれば良い、どうすれば…。
タグ：
posted at 17:14:35
はーいパズルの人たちはこれをいれるんだよー。でもナイトバグモードを触ったらダメだよ！
Andrea Sabbatini「Parks Landscapes - Logic Game」 apps.apple.com/jp/app/parks-l...
タグ：
posted at 18:11:16
シンプルガコを作った。ルールはリンク参照。理詰めが何もわからないけど、ソルバー君曰く唯一解らしい。
puzsq.sakura.ne.jp/main/puzzle_pl... pic.twitter.com/JSRBdiRlJW
タグ：
posted at 18:30:54
ところで、昨日の魔法陣のソルバーに「ある数字はちょうど一回現れる」を追加してみたが、逆に性能が悪くなった。さすがに変数が多すぎたか。countを使ったのが悪いかもだけど、そういうこともあるのね。
タグ：
posted at 18:35:09
非公開
タグ：
posted at xx:xx:xx
@puzzletiger 品川から乗ったんですが、あるのぞみが満席なら次に来るのぞみもやはり満席だろうと推測しました。ちなみに、次に来たこだまも席はほとんど埋まっているくらいの込み具合でした。
タグ：
posted at 18:49:51
試行錯誤性の高い数字埋めパズルは割とソルバーの守備範囲かもしれない。と思ってDoppelBlockでも書きたいなと思ったけど、黒マスの処理がわりとだるいな。準alldifferentと「はさむ和」をどう書けばかんたんなんだろう。
タグ：
posted at 19:34:21
今井洋輔（パズル屋たまにジャグラー） @puzzle_101
（PUZZLE）
うちにあったWPC関連書籍。
関係各所の主要はあるだろうか。 pic.twitter.com/C2h43OxwMS
タグ：
posted at 19:46:27
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
スマホを装飾する気にはならないのだけど、ペンケースには飾りが増えていくのは、自分の中での重要度の差なのかな。
タグ：
posted at 20:15:48
非公開
タグ：
posted at xx:xx:xx
日本パズル連盟 WPC体験会8/26開催 @jppuzzles
【 #日本パズル選手権 2019 懇親会パズル Q3】
今回の問題の制限時間は30秒です。解答は明日発表予定。 pic.twitter.com/WLTttS94zf
タグ： 日本パズル選手権
posted at 20:59:19
非公開
タグ：
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
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
ペンケース、だいぶ昔から買い替えていないので、使い始めてもう25年とかになるのでは…。
タグ：
posted at 21:49:08
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
「パズルのおもちゃ箱」から「気になるお隣さん」を作ってみた。らくらく。
・盤面をいくつかの部屋に分割する
・どの部屋にも丸と四角がひとつずつ入る
・同じ部屋に入った丸と四角のコトバを続けて読むと、その部屋の性質を表す文章になる
opt-pan.github.io/pedit-v2/?m=so... pic.twitter.com/5Rz0etdYnu
タグ：
posted at 23:38:03
ペンシルパズルではないけど「コンピュータ＆パズル (www.ic-net.or.jp/home/takaken/i...)」は面白いパズルゲームが多いのでおすすめです
タグ：
posted at 23:39:38
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
