枝豆(@ek_bm)/2014年03月14日

頭の悪いソルバーに解ける問題ができたからきっと簡単

タグ：

posted at 23:59:43

まめぇ！？ #1日3まめぇ

タグ： 1日3まめぇ

posted at 23:58:13

まめぇ… #1日3まめぇ

タグ： 1日3まめぇ

posted at 23:57:41

「えー？」という表情をしてる

タグ：

posted at 23:54:33

簡単な問題つくるのむずい

タグ：

posted at 23:52:42

焼きもうふ @pronter

げっ節穴

タグ：

posted at 23:46:47

非公開

タグ：

posted at xx:xx:xx

PencilBox でぬりかべ作るのかなり大変そう

タグ：

posted at 23:21:24

簡単なパズルが求められているらしい

タグ：

posted at 23:18:28

インストラクション更新しました。これで全ラウンド公開完了です。
puzzle-kai.blogspot.jp/2014/03/japan-...

タグ：

posted at 22:57:11

結局 local も global も同じ構造でできるのかな

タグ：

posted at 22:38:45

採点用の解答ファイルも作っておかないと

タグ：

posted at 22:31:23

非公開

タグ：

posted at xx:xx:xx

「！？」という表情をしている

タグ：

posted at 22:30:12

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

あとは西から来るパズル（の追加）を待つばかり

タグ：

posted at 22:28:36

非公開

タグ：

posted at xx:xx:xx

SAT ソルバー本当どういう仕掛けになっているんだろう

タグ：

posted at 22:11:21

「ハバネロ」に出るような問題だと 5 段くらい仮定しないと解けなさそうだし明らかに SAT ソルバーに投げたほうが速い

タグ：

posted at 22:10:00

スリリンだと，ニコリで出るような問題だったらヒューリスティック + 1 段仮定で解いたほうが大抵 SAT ソルバーより速いけど，ぬりかべだとそうも行かなさそうだなあ…

タグ：

posted at 22:08:19

ぬりかべ，わりと「頭を使う」パターンが多いから，ペンパ本の後ろの問題を解くだけでも SAT に還元しないと難しそう

タグ：

posted at 22:04:02

expand_white かなり複雑だしもう少しなんとかしたい

タグ：

posted at 21:56:45

evernote なんとかしないとなあ…

タグ：

posted at 21:49:33

作るグラフを O(1) 個だけにしたほうがいいかなあ

タグ：

posted at 21:45:43

非公開

タグ：

posted at xx:xx:xx

つまり 1 回あたり 300KB くらいメモリを確保して捨てているってことなのか

タグ：

posted at 21:25:38

配列の大きさを 0x7fffffff より大きくすることはできないらしい

タグ：

posted at 21:23:25

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

白岡市民(295) @Whitehill9

急行くきに乗った。

タグ：

posted at 19:19:17

deu @charmychachacha

週末やること多すぎて完全に詰んでる気がする．

タグ：

posted at 18:56:49

仕事しろ。

タグ：

posted at 18:20:19

即興で作るとこうなる。「iPS」を含むブロックが7つ、「STAP」を含むブロックが7つできるよう、マスを分割してください。 pic.twitter.com/kIhRsZ1X7K

タグ：

posted at 18:17:53

住建 @smiken_61

サークルの新歓会合4/10(木)、食事会(いつもの中華)4/15(火)でいいですかね

タグ：

posted at 17:52:26

あさみくれよん @AsamiCrayon

祖母宅パソコンで艦これする系男子

タグ：

posted at 17:37:20

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

あさみくれよん @AsamiCrayon

合計分子量：1029.92 物質発見数：26/32 www.geocities.jp/meteosfaulte/f... #ベンコレ　トロすぎてリセットもできない

タグ：ベンコレ

posted at 15:42:05

ぽっつ @pots_orange

体調が悪くて体が重い。いやデブだから元々物理的に重いんだけどさ。
さすがに今日は仕事休むべきだったかな…(´・ω・`)

タグ：

posted at 14:33:42

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

SP1 @SP1_winter

ペンパの立て看板何度見てもウケる

タグ：

posted at 14:23:34

SP1 @SP1_winter

暇なのでペンパの立て看板見て帰る

タグ：

posted at 14:20:59

H. Hosaka @H_H

某銀行某支店の2000円札在庫が枯渇してしまった。ピンチ。

タグ：

posted at 11:07:07

仕掛屋定吉 @AY_Puzz

ニコリのペンシルパズルの「シャカシャカ」、面白い
#専門外のことをつぶやいてみる

タグ：専門外のことをつぶやいてみる

posted at 10:48:15

白岡市民(295) @Whitehill9

一体あと何千年経ったら9×9数独の全パターンが出尽くすのだろうか。

タグ：

posted at 09:21:15

今日の問題 #1日1ひきたし
3,5,7,12,34,100→314

タグ： 1日1ひきたし

posted at 03:04:28

まめぇ #1日3まめぇ

タグ： 1日3まめぇ

posted at 02:59:35

めるるん @melvy_mag

ツイッターというゲームは孤独感に浸れるからおすすめ

タグ：

posted at 01:35:17

めるるん @melvy_mag

土曜家出る前に洗濯しないといかんな #めるメモ

タグ：めるメモ

posted at 01:14:34

ブログ自動転送設定にしてたの忘れてた。

タグ：

posted at 00:38:22

パズルに関して : wikiを作りました blog.livedoor.jp/shienpuzzle/ar...

タグ：

posted at 00:37:49

焼きもうふ @pronter

マッキーなんなの #EreMFFS

タグ： EreMFFS

posted at 00:36:43

半分くらいは再録なんだろうけど、ごちゃごちゃになっててどれが再録問題かは把握できてない。

タグ：

posted at 00:30:41

明日から問題制作の仕事に戻ろう。

タグ：

posted at 00:25:46