枝豆(@ek_bm)/2019年12月27日

拡張環境で宗教ステロは、よほど宗教に有利な場にならない限り無理・・だろうなｗ種族的には、ＢＡＣＡＢやＹＵＭＫＡＡＸ辺りがステロ系のプレイに合っているように見える。

タグ：

posted at 23:27:29

てか全部英語なんですね(笑)。どこかに日本語訳とかあるのかな・・？
ルール自体は簡単だから、種族さえオープンにすれば訳なくても説明すればいけそう。

印象としては、とても素直な拡張ですね。何か特別面白い事ができるようにしたとか、そういうこともなく…

タグ：

posted at 23:20:28

いや，必ずしも速くなるとは限らないな

タグ：

posted at 23:19:18

連黒分断禁をまとめて表現するメソッドを追加した，ちょっと速くなった

タグ：

posted at 23:16:57

ツォルキン拡張、届きました！＼(^o^)／ pic.twitter.com/9hgTWOL6Fl

タグ：

posted at 23:15:04

ふーなんとかさんがノスタルジアをプレーしているところも拝見してみたいなあ。

タグ：

posted at 22:33:28

解けるだけ解くのめちゃくちゃ速くなった

タグ：

posted at 22:28:39

非公開

タグ：

posted at xx:xx:xx

あやうくお仕事の〆切を今年の1月に設定するところだった。

タグ：

posted at 22:06:09

お品書く。

タグ：

posted at 22:02:53

更にjyokunさん(表記合ってるだろ多分)から11/2開催のJPCで出た立体パズルを見せてもらい解く解く。あ、たぶん伊沢さんがクイズノックでやってるやつと同じのです。
「ちくしょーめ、そういうことか(２回目)」
制限時間15分で18分かかった。まあ本番では枝豆氏も解けなかったらしいからよしとしよう。

タグ：

posted at 22:01:26

【11/3 なげっぱにいったよ】

17時よりさくらぶさん jyokunさん(表記合ってるかな)となげっぱ乱入。

ウェル問　今回のは数理系。
苦戦したなあ。盤面ひとつで二度楽しめる趣向はナゾトキ界隈での流行りでもあり、「ちくしょーめ、そういうことか」と言いながら解く解く

タグ：

posted at 21:59:51

日中はあたたかかった気がするけど、夜になって少し気温が低めな気がしてきた。

タグ：

posted at 21:58:37

その後、jyokunさん(表記合ってるかな)も加わり、バタバタと九段下、おもしろ同人誌バザールへ移動

…ここで天歩さんキャリーケースを科学館のフロントへ預けっぱなしなことに気づく(わあああ)
江戸城の石段ダッシュで往復。11月に汗だく(´Д`|||)

タグ：

posted at 21:57:11

さくらさんと合流して謎解きラリー参加
科学館全体を使ったスケール大の作りで右往左往。
同じ休憩スペースのそばを三回くらい通ったんだけどずーっと田守さんとフレデリ氏が座り込んでポリオミノを手に話し込んでた。好きだねえ。
謎解きは最後の仕掛けが解けず失敗(・ε・｀ )

タグ：

posted at 21:56:11

悔やまれるのは「ヤジリンもいいでね！面白い！」と言われて「ヤジリン考えたん僕ですねん」と伝えられなかったことだなー

田守さんとJPCの話などしてると後ろから「天歩さんですよね？」と声が→点燈虫さんでした。
「帽子を見て気づきました」とのこと(笑)。いやどうもありがとうございます。

タグ：

posted at 21:52:55

ところでフレデリ氏のお気に入りペンパ作家はアスピリンさんだそうです。
「パズルを解いて疲れた頭に C₉H₈O₄は最高だよね！」とのこと。

アスピリンさんに限らず、英語表記できるペンネームは覚えやすいみたい。お、天歩(tempo)も有利かもしれんね。

タグ：

posted at 21:52:01

田守さんとカナダ人パズル作家Frederic Boucherさんに遭遇
JPCの流れで案内してるそうでしたわ
フレデリ氏(勝手な呼び名)は実に情熱に溢れた方でした。
何せその場で運営さんに新作のメカニカルパズルをプレゼンしてたしね。いやすごい。熱量。

タグ：

posted at 21:51:26

非公開

タグ：

posted at xx:xx:xx

【11/3 東京パズルデーにいったよ】

科学技術館にて家族連れさんめちゃめちゃ多く盛況
とりあえずニコリスタッフさんに挨拶
(安)さん(焼)さん(ま)さん(め)さん、お忙しい中でありがとうございました。

タグ：

posted at 21:50:46

そういえばまだ上げてなかった11/3と11/4の東京行のレポを只今より唐突に始めます( *・ω・)ノ

タグ：

posted at 21:50:01

#クロスワード写真展「 #平成クロスワード編」

うーん、本業が忙しすぎて解き進まぬ。やっと平成15年まで来た。というわけで年始までに終わらせる予定に変更じゃ。待っててくれる人よ、待たれよ。

タグ：クロスワード写真展平成クロスワード

posted at 21:46:49

何が遅いのかよくわからないけど sugar 標準のスクリプトじゃなくて別に用意したインタフェース経由で CSP 解くようにしたら速くなった

タグ：

posted at 21:33:45

白岡市民(295) @Whitehill9

めるるん(35210103)
が　23928円をくれます。
#フォロワーにお年玉をもらおう
 appli-maker.jp/analytic_apps/...
める先輩ありがとうございます！

タグ：フォロワーにお年玉をもらおう

posted at 20:53:58

（寝不足で頭がはたらいてない可能性も考えられますね）自分とか

タグ：

posted at 20:48:34

メモ
PAST未参加

タグ：

posted at 20:25:59

忘年会を終えて帰宅中。9日間休めるのが本当に嬉しい。

タグ：

posted at 20:21:47

Tad Komori
が　57390円をくれます。
#フォロワーにお年玉をもらおう
 appli-maker.jp/analytic_apps/...
嬉しい

タグ：フォロワーにお年玉をもらおう

posted at 20:21:41

（不良社会人なので、仕事納めという概念がよく分かりません）

タグ：

posted at 20:11:42

おやつをいただきながらお仕事を進めますわ。

タグ：

posted at 20:02:32

冗談のつもりで、「クリスマスケーキでも買いに行くかー」とお店を見てみたらミニブッシュ・ド・ノエルが売られていたので、うっかり買ってしまった。

タグ：

posted at 19:07:16

【hirose_atsumiの年末年始】
12/26 迷子
12/27 迷子
12/28 迷子
12/29 迷子
12/30 迷子
12/31 迷子
1/1 迷子
1/2 迷子
1/3 迷子
#私の年末年始予定表 #shindanmaker
shindanmaker.com/954489
人生が迷子。

タグ： shindanmaker 私の年末年始予定表

posted at 18:44:59

いや，かなり減るな（というか Java API を直接呼び出すだけでかなり速い気がする）

タグ：

posted at 18:32:32

retry の処理を Java 側でやることでオーバーヘッドをちょっと減らせるっぽいことはわかった

タグ：

posted at 18:31:03

もうコミケ初日かあ。

タグ：

posted at 18:25:15

root を決めてから制約を propagate すれば終わるような気もするけど

タグ：

posted at 18:09:37

白岡市民(295) @Whitehill9

久々にSVS解いたら1問目でハタンして泣いてる

タグ：

posted at 18:09:05

SAT ソルバーは連結性を CSP に変換したものもまともな時間で処理できるけど，多分普通の探索だと非連結な盤面に補助変数を割り当てようとするだけで終わらない

タグ：

posted at 18:05:21

使い方が悪い可能性もあるけど，そもそも SAT ソルバーほど強力な枝刈りができないんじゃないかという疑いがある

タグ：

posted at 18:02:46

34/100
このペースなら100いけるけど……

タグ：

posted at 17:59:12

Sugar の入力を受け取って Gecode で解くやつ雑に書いたけど，遅くて使い物にならない…

タグ：

posted at 17:59:01

会社の忘年会！

タグ：

posted at 17:24:48

30/100
飽きてきた

タグ：

posted at 16:26:10

とりあえず書いてみないとなんとも言えないな

タグ：

posted at 16:05:27

いや，多分問題が悪いな

タグ：

posted at 15:58:15

Gecode もしかして SAT ソルバーみたいな魔法は使えないのか？

タグ：

posted at 15:54:46

TL見てるとみんな何かしらの精進をしている

タグ：

posted at 15:38:50

EDPCの後半とTDPCの大部分とかいうのもあった

タグ：

posted at 15:29:35

冬休みは ARC-E や AGC-C をいっぱい解くぞー

タグ：

posted at 15:27:57

パズルソルバーで使うような CSP 帰着をそのまま突っ込んで Gecode でまともに性能出るかどうかわからないな

タグ：

posted at 14:22:32

いつから始めるかにもよるけど100でもなかなか疲れそう

タグ：

posted at 14:19:13

大晦日にパズスク解答登録千本ノックでもやるか（きつそう）（やらない）

タグ：

posted at 14:18:49

そういえばSGPのラウンド1の期間のほとんどは自宅にいないからネカフェ参戦とかの可能性もありそう

タグ：

posted at 13:56:53

さやちぃ。"23 @88cyi

Battenbergはバッテン🙅‍♀️

タグ：

posted at 13:49:48

非公開

タグ：

posted at xx:xx:xx

@aoiatuage これは正解中の大正解、スコアにして7638兆点くらいですね…！

タグ：

posted at 13:25:53

普段会ってる人のほうが、送ったけど返信返ってこなくて、自然と送らない流れになる確率が高い気がするｗ

タグ：

posted at 12:43:55

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

いざ年賀状を書こうとして、毎年やり取りしてる１０人全員とも、今年一度も会ってなくてびっくりｗこれだけいろんな人たちと遊んでて、年賀状は普段会わない人に落ち着く・・そういう時代なのかな？（＾＾；

タグ：

posted at 12:42:12

WPF Sudoku/Puzzle Grand Prix 2020
gp.worldpuzzle.org/node/1
本当だ！日本ステージがある！

タグ：

posted at 12:21:12

PGP、Japanラウンドがあるな

タグ：

posted at 11:49:12

GPの日程が出ていた
About | gp.worldpuzzle.org gp.worldpuzzle.org/node/1

タグ：

posted at 11:48:34

ソルバーのコアだけ C++ で書いて適当に Python から呼び出すようにしてもいいかもしれない

タグ：

posted at 11:34:44

Gecode に付属していたカックロの example を動かしたら 22x14 でも直ちに解いたのでこっちに切り替えよう

タグ：

posted at 11:28:09

できればパズルソルバーライブラリは Python で書きたかったんだけど C++ で書いて直接 Gecode 呼び出すしかないのではという気が

タグ：

posted at 11:15:03

stackoverflow.com/questions/2070...
> Gecode-Python supports only up to version 4.0.0 of Gecode, so use that version instead of 4.2.1.
もうおしまいだ

タグ：

posted at 11:13:56

Gecode Python binding，7 年前で開発が止まってる上に，file とか出てきて Python3 で動かない疑惑が

タグ：

posted at 11:12:23

ちょっと厚揚げさんヤジリン揚げすぎでは（楽しみ）

タグ：

posted at 10:55:54

CP-SAT，複雑な条件の書き方がわからない…

タグ：

posted at 10:42:25

さて、deu選手、15時までに今年最後の仕事「会社の年賀状を書く」に到達できるでしょうか？

タグ：

posted at 09:04:50

非公開

タグ：

posted at xx:xx:xx

さやちぃ。"23 @88cyi

Twitterのあんたがたに挑戦しました2019①｜さやちぃ。"19 @88cyi #atgt2019 note.com/88cyi/n/n14e12...

タグ： atgt2019

posted at 03:10:54

18/100
なんとかなる…のか？？

タグ：

posted at 01:22:48

@homerestaurant3 それはわかる

タグ：

posted at 01:21:29

高校生食堂にいるもんって思ったけどあいつら制服ないわ

タグ：

posted at 01:16:50

@homerestaurant3 大丈夫だよ

タグ：

posted at 01:16:15

github.com/google/or-tools
Google の ORTools に入ってる CP-SAT，Python から直接呼び出せそうだしこれ使うか

タグ：

posted at 00:49:13

めるーめるん @melvy_puz

ABC032 A (easy) #める1日1AC

タグ：める1日1AC

posted at 00:43:22

にしなんとか @chebunanntoka

はい魔法

タグ：

posted at 00:41:06

作りすぎると難易度感覚が麻痺してくる(またこの手筋か、さっき見たし簡単だろうってなる)

タグ：

posted at 00:40:49

Gecode + Python binding も試してみようかな

タグ：

posted at 00:31:09

SP1 @SP1_winter

(謎わからない人並感)

タグ：

posted at 00:28:54

SP1 @SP1_winter

謎解きで、小謎の自動生成とかできないんですかね？使う知識を適切に仕込めばできそうなイメージ

タグ：

posted at 00:28:36

解けるだけ解くを実装した，やっぱりかなり時間かかる…

タグ：

posted at 00:15:26

それにより、「カタカナ語を使わずに説明する」という作業の難易度が、さりげなくゲームとしてちょうどよいラインに落ち着いている。他のルールでは決して代用できない、良い所に目を付けて考案されたゲームだと思います！＾＾

タグ：

posted at 00:10:35

日本語の口語におけるカタカナ語って、それが使われたかどうかを直感的に判定できるカテゴリとしては、おそらく最大級の広さではないかな？例えば、「花の名前」とかだとカテゴリとしては狭すぎるし、「サの段」みたいのは広いけど直感的ではない。

タグ：

posted at 00:09:51

慣れてくると、この人ならこういう説明の仕方するだろうからこれはあの答えだ！・・といった、人読みをする余地まで生まれる。あまり上手でない人の説明にも意外とヒントが隠れているもので、それをうまくくみ取って当てられたときとかが特に嬉しく、「よっしゃー！」・・って盛り上がる(笑)

タグ：

posted at 00:09:25

当てるときは、どこで答えるのが適切かを見抜くのが意外と難しい。待ちすぎても先に当てられてしまうから、これは２択だから攻めよう・・とか、まだだいぶ広いから待ったほうがいいな・・とか。候補が絞られたようで、冷静に考えるとまだ広いなんて場面もしばしば。

タグ：

posted at 00:08:14

このゲーム、やってると説明力を鍛えられるのがいいし、簡単なお題のときはあえてひねった説明をしてみて、それで伝わるかどうかを試すといった楽しみ方もできる。

タグ：

posted at 00:07:27

・・と思ったら、意外と単語が少なくて、何時間もやってたら中身覚えてしまいそう。（＾＾；もっとネタがほしいところですねー。

タグ：

posted at 00:07:09

パズスクにパズルをたくさん作る文脈の元を辿ってたけど年内5000問ということか

タグ：

posted at 00:06:57