枝豆(@ek_bm)/2019年11月/Page 6

HPL#2 不参加です…すみません

タグ：

posted at 23:55:24

えっ12/8仕事やんけ。すみません…

タグ：

posted at 23:55:02

semiexp @semiexp

（あと，このサイトは，競プロに出会うよりも前に DFS や BFS などの探索アルゴリズムの基礎を知るきっかけになったサイトとして印象深い）

タグ：

posted at 23:45:42

非公開

タグ：

posted at xx:xx:xx

semiexp @semiexp

ペンシルパズルではないけど「コンピュータ＆パズル (www.ic-net.or.jp/home/takaken/i...)」は面白いパズルゲームが多いのでおすすめです

タグ：

posted at 23:39:38

焼きもうふ @pronter

「パズルのおもちゃ箱」から「気になるお隣さん」を作ってみた。らくらく。
・盤面をいくつかの部屋に分割する
・どの部屋にも丸と四角がひとつずつ入る
・同じ部屋に入った丸と四角のコトバを続けて読むと、その部屋の性質を表す文章になる
opt-pan.github.io/pedit-v2/?m=so... pic.twitter.com/5Rz0etdYnu

タグ：

posted at 23:38:03

semiexp @semiexp

「パズルのおもちゃ箱」懐かしいな

タグ：

posted at 23:30:12

いやたぶんもっと前からあるんだろうけど、文献がたどれないため分からん...

タグ：

posted at 23:27:32

そうだった(JZC枝豆ラウンドか)

タグ：

posted at 23:26:15

AがB個みたいなやつだっけ

タグ：

posted at 23:24:56

そもそもガコのルール知らん...

タグ：

posted at 23:24:30

焼きもうふ @pronter

シンプルガコもいいけど、ガコが増えてほしい...

タグ：

posted at 23:23:14

今日投稿したシンプルガコだけど、理詰めが何にもわからないから教えてほしい

タグ：

posted at 23:22:20

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

来ていただいた方ありがとうございます。途中途切れてすんませんでした。この配信を参考に、みんなも参加してみてね～

タグ：

posted at 22:57:45

白岡市民(295) @Whitehill9

Palindrome良問すぎ泣いた

タグ：

posted at 22:52:54

白岡市民(295) @Whitehill9

白岡4(し)3(みん)です

タグ：

posted at 22:52:13

うちの人がswitchで遊んでいるようだ

タグ：

posted at 21:49:50

ペンケース、だいぶ昔から買い替えていないので、使い始めてもう25年とかになるのでは…。

タグ：

posted at 21:49:08

青い厚揚げ杯解く　続き www.youtube.com/watch?v=tdfw0b... @YouTubeさんから　途切れたようです、すいません＞＜

タグ：

posted at 21:47:04

非公開

タグ：

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

青い厚揚げ杯解く www.youtube.com/watch?v=_1Y0y7... @YouTubeさんから

タグ：

posted at 21:02:25

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

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

ちょっとまってね

タグ：

posted at 21:01:07

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

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

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

タグ：日本パズル選手権

posted at 20:59:19

【解答】

Q2の答えは「①4画」。
□に入る漢字は「友」。

タグ：

posted at 20:58:20

めるーめるん @melvy_puz

ARC006 C (moderate) #める1日1AC

タグ：める1日1AC

posted at 20:44:12

非公開

タグ：

posted at xx:xx:xx

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

スマホを装飾する気にはならないのだけど、ペンケースには飾りが増えていくのは、自分の中での重要度の差なのかな。

タグ：

posted at 20:15:48

（PUZZLE）
うちにあったWPC関連書籍。
関係各所の主要はあるだろうか。 pic.twitter.com/C2h43OxwMS

タグ：

posted at 19:46:27

ニコリの〆切が近いので作り足してる

タグ：

posted at 19:40:23

あ、21時から配信です。めっちゃ眠いけど...

タグ：

posted at 19:36:50

文法真面目に読むか...

タグ：

posted at 19:35:57

試行錯誤性の高い数字埋めパズルは割とソルバーの守備範囲かもしれない。と思ってDoppelBlockでも書きたいなと思ったけど、黒マスの処理がわりとだるいな。準alldifferentと「はさむ和」をどう書けばかんたんなんだろう。

タグ：

posted at 19:34:21

こだまとひかりって普通はどっちが混んでるものなんでしょうか。

タグ：

posted at 18:59:55

@puzzletiger 品川から乗ったんですが、あるのぞみが満席なら次に来るのぞみもやはり満席だろうと推測しました。ちなみに、次に来たこだまも席はほとんど埋まっているくらいの込み具合でした。

タグ：

posted at 18:49:51

非公開

タグ：

posted at xx:xx:xx

さっきの問題、どうするべきだったのか詳しい人教えてください。

タグ：

posted at 18:42:02

ところで、昨日の魔法陣のソルバーに「ある数字はちょうど一回現れる」を追加してみたが、逆に性能が悪くなった。さすがに変数が多すぎたか。countを使ったのが悪いかもだけど、そういうこともあるのね。

タグ：

posted at 18:35:09

シンプルガコは割とSATソルバー君の得意分野っぽいな。ルールもかんたんだし。countが便利。

タグ：

posted at 18:32:38

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

シンプルガコを作った。ルールはリンク参照。理詰めが何もわからないけど、ソルバー君曰く唯一解らしい。
puzsq.sakura.ne.jp/main/puzzle_pl... pic.twitter.com/JSRBdiRlJW

タグ：

posted at 18:30:54

はーいパズルの人たちはこれをいれるんだよー。でもナイトバグモードを触ったらダメだよ！

Andrea Sabbatini「Parks Landscapes - Logic Game」 apps.apple.com/jp/app/parks-l...

タグ：

posted at 18:11:16

更正はする？される？

タグ：

posted at 17:53:13

『東京からの帰りの新幹線ホームでの出来事』

座りたかったので、混んでいたのぞみをスルーし、次のこだまに乗ることに。しかし、その後にひかりが来る。座れるなら早い方が良い。だが、ひかりの座席が埋まっていた場合、何のために待ったかわからない。どうすれば良い、どうすれば…。

タグ：

posted at 17:14:35

めるるん @melvy_mag

@charmychachacha どっちでもいいがそれは一つかな

タグ：

posted at 17:00:02

@melvy_mag AtCoderとAcceptedかな？

タグ：

posted at 16:57:07

上原

タグ：

posted at 16:06:48

┃　　　　　　　　　　┃
┃　　　　　回回　　　┃
┃　　　　　　回　　　┃
┃　　　　　　回　　　┃
┃口口口口口　口口口口┃
┃口口口口口　口口口口┃
┃口口口口口　口口口口┃
┃口口口口口　口口口口┃

#shindanmaker shindanmaker.com/902876

タグ： shindanmaker

posted at 15:37:16

fumen.zui.jp/?m115@BgRpQ4Fe...?

タグ：

posted at 15:37:05

Tad Komori @pawakun

┃　　　　　　　　　　┃
┃　　　　　　　　　　┃
┃　　　　　　　　　　┃
┃　　　　回回　　　　┃
┃口口口口口回口口口口┃
┃口口口口口回口口口口┃
┃口口口口口　口口口口┃
┃口口口口口　口口口口┃

＿人人人人人＿
＞　DOUBLE　＜
￣Y^Y^Y…
#shindanmaker
shindanmaker.com/902876

タグ： shindanmaker

posted at 15:34:09

┃　　　　　　　　　　┃
┃　　　　　　　　　　┃
┃　　　回回　　　　　┃
┃　　　　回回　　　　┃
┃口口口口口　口口口口┃
┃口口口口口　口口口口┃
┃口口口口口　口口口口┃
┃口口口口口　口口口口┃

#shindanmaker
shindanmaker.com/902876

タグ： shindanmaker

posted at 15:26:05

このツイートのすぐ後に見つかりました（）

タグ：

posted at 14:09:41

筆箱持って帰ってきたと思ってたけど見つからないし学館に持ってかれた可能性がある（あまり可能性は高くないが）

タグ：

posted at 14:08:45

非公開

タグ：

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

utime @utime1204

そろそろ成宮由愛さんにパズル好き属性が付く。

タグ：

posted at 12:45:14

残り25市もあるのか

タグ：

posted at 12:41:24

昨日は出てこなかった香川県と宮崎県の3文字の市2つ目が出てきた

タグ：

posted at 12:41:01

非公開

タグ：

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

utime @utime1204

@puzzle_pencil 理解。ゆっくりで大丈夫です

タグ：

posted at 11:42:10

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@melvy_mag いぇい！

タグ：

posted at 09:41:32

めるるん @melvy_mag

@charmychachacha おめでとうっすー

タグ：

posted at 08:33:12

遅ればせながら初回10連 pic.twitter.com/7OUatWhuWL

タグ：

posted at 08:33:00

Twitterに登録した日を覚えていますか？#MyTwitterAnniversary pic.twitter.com/68HVyFJkeb

タグ： MyTwitterAnniversary

posted at 08:29:21

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

あと、とりあえず直近は個々の問題に対処するつもりだけど、なにかしらの入力(ぱずぷれとかでもよい)に対応してSugarスクリプトを生成する部分など、「側」の部分もできたらなお楽しそう。

タグ：

posted at 02:51:29

なんかこう、もっとパソコンさんと仲良くなりたいですね

タグ：

posted at 02:44:38

人力でできる場合「よしできるな！」ってなって労力を省みない悪い癖がある。いやまあ数オリは証明できれば勝ちだったんですよ(そういうことなんか？)

タグ：

posted at 02:40:14

わんど @wand_125

けど、展開するとCSPになる拡張文法あってもいいよなあ......

タグ：

posted at 02:39:13

@wand_125 なるほど、たしかに他の言語で出せばかんたんでしたね...

タグ：

posted at 02:39:10

わんど @wand_125

@SP1_winter PythonやRubyなど好きな言語で制約を出力するスクリプトを書くと良さそう

タグ：

posted at 02:38:17

ところでSugarにfor文が欲しい。いちいち書くんだるい。

タグ：

posted at 02:33:13

これ、たとえば予約(hidden tripleとか)を使う問題について、何も仕込んでないとSATソルバー君は「わからん！よし！仮定だ！」ってなるけど、予約の式を仕込んでおくと「おーわかるわかるこれね！」ってなってスピード向上する感じなんかなぁ

タグ：

posted at 02:31:49

数独をSATソルバーで解くときも、「hidden系」の手筋を仕込んでおくことで性能向上するらしい。つまり「数は1から9まで＋1列9個の数字がすべて異なる」だけじゃなく、そこから演繹される「どの数字も1列のどこかに現れる」を入れておくとよい。

タグ：

posted at 02:29:38

後で見るとき用に証明を残しておく。中央に接する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

これだいぶおもろいな。いいおもちゃを見つけてしまった。

タグ：

posted at 02:20:40

ソルバーの性質的に「分かりやすい箇所はすぐ決める」「分からんかったらすぐ仮定(バックトラック？)」をしてるらしくて、人間にはわかるけどソルバーくんにはつらそうな評価式を仕込むことで性能爆上げすることは今後もありそう(てかそういうのを探すあそびでもあるか)

タグ：

posted at 02:20:08

残り32件のツイートを見る

さっきの魔法陣探索だけど、大事だった評価式を入れたら矛盾ケースでも高速に動いてくれた。こういうガイドが必要なのね。

タグ：

posted at 02:16:01

ポーランド記法慣れねぇ

タグ：

posted at 02:14:41

四隅の和が25の場合も、例の中央隣接4マスの和が10, 中央が25であることを追加したらすぐ矛盾を返してくれた。ここまではSATソルバー君にガイドしてやる必要がありそう。

タグ：

posted at 01:57:36

ちなみに四隅の和が26の場合中央は評価として25,24,23の3択なんだけど、どの場合も解があるらしい。このへんはSATソルバー君優秀。

タグ：

posted at 01:55:31

WindowsだとCtrlの位置にMacではOptionがあるので、Macでアホほどβを出してしまう。セーブしてるつもりなんだがなぁ。

タグ：

posted at 01:51:48

非公開

タグ：

posted at xx:xx:xx

絶妙な数値設定で笑う

タグ：

posted at 01:47:38

というわけで、これが四隅の和が最小となるケースです。いい問題だった... twitter.com/SP1_winter/sta...

タグ：

posted at 01:47:17

非公開

タグ：

posted at xx:xx:xx

SATソルバーに勝つ人類(まだ回してる)

タグ：

posted at 01:45:22

@ark184 たしかに。計算したら(例の4マス)-中央+65=四隅*2で、四隅が25なのは評価一致ケースなんですね。そしてこの場合、四隅+(例の4マス)=35<36となり、矛盾した！！

タグ：

posted at 01:44:51

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

四隅の和が26となる魔法陣の例。もしかしてR24C3とR3C24に制約かかったりする？ pic.twitter.com/wx9iEIxmv3

タグ：

posted at 01:33:52

四隅の和が27になる例はあるらしい。今26を投げているがこれは時間かかったけど存在すると返してくれた。それ以上は不明。

タグ：

posted at 01:29:01

非公開

タグ：

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

習作として、サイズ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

アイ @tigereye_werewe

桂馬見えなさ過ぎてつらい
らくらくで10分溶けた

タグ：

posted at 00:42:38

Sugarで数独解くソース見たけど、allDifferent有能すぎひんか？？？(いやまあそれだけのパズルといえばそうだけど)(性能改善のためにはもう少し遊べそう、hidden系手筋追加できひんかな)

タグ：

posted at 00:33:28

竹谷 @buyaketa

パズルが直接仕事に役に立っているかというとあやしいけど、新しい技術を習得するときに、スリリンの早解き練習をした経験がベースになっているとよく思う。理論を解析して反復練習すべき要素を抽出する方法論や、中級と上級の間にある長くて高い壁の存在など

タグ：

posted at 00:11:24