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

いやformatアホほど便利やな、なんで今まで使ってなかったんや...

タグ：

posted at 23:59:53

いちいちstrで差し込んでたけど、formatがつかえるのね

タグ：

posted at 23:54:36

型ないの、便利かもだけどキモいな

タグ：

posted at 23:53:07

アドベントのA2がまるっと空いてるけど、たとえば今日書いたSATソルバーの記事とかしれっと置いても怒られないのかな(やらないけど)

タグ：

posted at 23:19:03

Sugarの文法眺めてるけど、relationとpredicateをうまくあやつれば、もうちょっといろいろできたりする？それとも単に記述をはしょれるってだけなんかな。

タグ：

posted at 23:17:48

@wand_125 50進数

タグ：

posted at 23:10:25

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

さやちぃ。"23 @88cyi

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

ペンパくんが勝手に全消しを始めるバグに見舞われてる

タグ：

posted at 21:54:54

あなたの心に○印。

タグ：

posted at 21:53:34

ペンパアドベントBを書き終えてないのに別のパズルができてしまった、
アドベントは朝までに。。

タグ：

posted at 21:50:51

ペンパアドベントAB両方書き終えてしまった…

タグ：

posted at 21:33:31

deu @charmychachacha

なんとか正式加入＆レベル80

タグ：

posted at 21:24:39

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

ほうきたてさんのLITSは無理なく解ける一方で単純すぎないので解き心地が良い>RT

タグ：

posted at 21:20:34

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

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

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

タグ：日本パズル選手権

posted at 20:57:02

【解答】

Q10の答えは「①チ」。
ウエストポーチ、セカンドバッグ、ブリーフケース、リュックサック

タグ：

posted at 20:56:41

ペンパアドベント、ハッシュタグがAとBで2019の前か後か違うのね

タグ：

posted at 20:55:33

人のアドベント記事見て(自分の記事こんなに短くてええんかな、まあええか)って思ってる人です(書き足そうにもこれ以上伸ばせない)

タグ：

posted at 15:35:56

アドベント下書き「10問ほど作ってみました」
自分「まだ1問しかできてない」

タグ：

posted at 14:42:57

そんなに長くないけどアドベント記事の大半は完成した

タグ：

posted at 14:42:22

deu @charmychachacha

変色記事書きたいし精進ブログ作った方がいいかなーと思いつつ、記事2つくらいで力尽きそう

タグ：

posted at 11:26:11

非公開

タグ：

posted at xx:xx:xx

Coprisっていうのもあるけど、
こっちは
・Scalaを拡張することで、制約が書けるので便利
・内部ではSugarが動いている
・内部動作をSugar+SATソルバの他にSMTソルバ等も利用可能
bach.istc.kobe-u.ac.jp/copris/

みたいな感じ。

タグ：

posted at 10:21:55

n=17まであっさり

タグ：

posted at 10:17:36

サンプルは1x1〜nxnまでの正方形が収まる最小の正方形を求めるもので、
SATを起動したまま大きさを段階的に狭めていく仕組みになってた。
n=15まであっさりだったけどn=18だと数十分待っても解が出ず。

タグ：

posted at 10:09:41

Sugarの田村研の宋先生によるScarabがインクリメンタルSATに対応してるみたい
tsoh.org/scarab/jp/inde...
導入してサンプルを動かすところまでやったけど、文法も違うし性能比較はまだ

タグ：

posted at 10:05:34

非公開

タグ：

posted at xx:xx:xx

ひとつながりを根付き木で扱って扱ってるので、
根と確定させられる黒マスを与えるかどうかで速度が全然違った。
（現状生成するのは最適化なしの方）
手筋で埋められるところを埋めてからソルバに投げるアグレッシブな最適化もやってみたい。

タグ：

posted at 09:58:08

カーブデータのぱずぷれ/puzz.link urlを投げるとSugarの構文に変換するやつ、
ぬりかべにも対応させた。
wandsbox125.web.app/puzzle-tools/p...

タグ：

posted at 09:53:46

はてなブログに投稿しました
ペンシルパズルとSATソルバー - SP1のぱずるにっき sp1-puzzle.hatenadiary.jp/entry/2019/12/... #はてなブログ
最近のおもちゃの紹介です

タグ：はてなブログ

posted at 09:38:31

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

白岡市民(295) @Whitehill9

そろそろアドベントの構想をしっかり練らねば…

タグ：

posted at 08:23:32

非公開

タグ：

posted at xx:xx:xx

白岡市民(295) @Whitehill9

飲み会以前に人生がインストラクションレスだった話

タグ：

posted at 08:20:07

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

筆がノッてきたけど寝ないといけない

タグ：

posted at 03:07:53

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

アイ @tigereye_werewe

SP1さんのバトルシップ解けた！ちゃんと見れば分かるいい全体制約。

タグ：

posted at 01:06:17

さやちぃ。"23 @88cyi

マリオメーカーのアナグラムで大喜利を始めない🙅‍♀️

タグ：

posted at 00:27:34

カオリマーメー

タグ：

posted at 00:26:11

さやちぃ。"23 @88cyi

Symmetric Products Sum Sudoku、盤面を見ずにルール文だけが上げられていたので「その丸はどこにどうやって書いてあるんだ？？」ってなってた

タグ：

posted at 00:25:53

Symmetric Products Sum Sudoku、そんなのもあったなぁとようやく思い出した

タグ：

posted at 00:24:45

竹谷 @buyaketa

@blue_weak_mind 逐語的な訳ではないですが、今年の全ルールの和訳を出していますので、よかったら使ってください(重複可を書き忘れていますね...)
note.com/buyaketa/n/nce...

タグ：

posted at 00:23:06

英検∞級

タグ：

posted at 00:22:05

めるるん @melvy_mag

飲み会インストラクションレスこわ

タグ：

posted at 00:19:58

この手の難問はおそらく大会とかだと出ないだろうから解くときには複数グリッドを用意したりしてもいいかもしれない

タグ：

posted at 00:16:54

きららパズル部を発信してくとしたら参考になりそう

タグ：

posted at 00:12:54

ゆずっこさんの7638ノンコンはサイズ的にこれの10^k倍くらい大変、という難易度評価の補助にもなったり。

タグ：

posted at 00:08:51

ナンプレファンの超上級のある1問が全然解けなくて仮定して解いた後HoDoKuにかけてみたらなかなかえぐかった（詳細の明言はここでは避けます）

タグ：

posted at 00:07:14

アイ @tigereye_werewe

アイマス×パズルの同人誌を作った話です
#ペンパアドベントA2019
note.com/tigereye_puzzl...

タグ：ペンパアドベントA2019

posted at 00:06:41

めるーめるん @melvy_puz

ABC123 D (moderate) #める1日1AC
昔よくわからなかったものができると良いねえ

タグ：める1日1AC

posted at 00:06:19

白岡市民(295) @Whitehill9

この辺りの対人能力については勉強不足なので、この1ヶ月で振る舞い方を身につけていきたいなあ

タグ：

posted at 00:01:09

アイ @tigereye_werewe