枝豆(@ek_bm)/2013年12月15日

ちなみにさきのツイフト、豆は勘定に入りません...

タグ：

posted at 22:43:50

さっき言ったふぁぼでアメフト、通称ついふとは実際やってみたらおもしろいと思う

タグ：

posted at 22:37:23

ひきた市民 @wh_hikitashi

今日はどうも体が重いと思ったら、ひきたしをしていないな？

タグ：

posted at 22:32:09

久々にtwitterで細かくふぁぼを稼げたSP1選手「思い出しました」

タグ：

posted at 22:30:16

非公開

タグ：

posted at xx:xx:xx

(アメフトネタはしだいについてこれなくなるので、むだにひっぱらない...おぼえましたし)

タグ：

posted at 22:23:01

早く僕もワイドレシーバー(あるふぁツイッタラー)になりたい...

タグ：

posted at 22:21:30

「SP1選手、今日は15ラッシュで22ヤードの活躍」　って全然活躍してねぇ

タグ：

posted at 22:20:58

1ふぁぼごとに1ヤード稼げるルールでだれか僕とアメフト勝負しませんか？

タグ：

posted at 22:18:15

アメフトのランニングバックとか？

タグ：

posted at 22:17:01

こうやって細かくふぁぼをつなげていくの得意なので、誰かこの能力をかってなんかの仕事を紹介してくれませんか()

タグ：

posted at 22:16:42

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

そもそも問題がおかしかったらしい

タグ：

posted at 21:10:38

別解判定がうまくいかな

タグ：

posted at 21:02:17

解が存在することの検証は 10 秒だったが，唯一解の検証にさらに 30 秒かかった

タグ：

posted at 20:56:40

20*36 だと 60 万変数，320 万制約の SAT になるけど，10 秒で解けるらしい

タグ：

posted at 20:50:38

めるるん @melvy_mag

@charmychachacha うむ楽しい土日を過ごすべく．さて平日頑張れるかなー？

タグ：

posted at 20:46:57

@melvy_mag あ、シンプルな名前に戻ってる

タグ：

posted at 20:45:58

めるるん @melvy_mag

@charmychachacha おつおつよ！

タグ：

posted at 20:45:09

今夜は大分市内の健康ランドに泊まることにした。落ち着くー。

タグ：

posted at 20:44:32

全消しは4回。まあいつもくらい。今朝の厄は落とせていたと考えていいだろう。 #LMI

タグ： LMI

posted at 19:25:27

いつもの教訓。ルールをちゃんと読みましょう。なんという学習力のなさよ。 #LMI

タグ： LMI

posted at 19:23:06

yoshimasa @yoshi_hiro_masa

うーーーーーーん、LMIやったけど正直問題が微妙。まだ大会中だから詳しくは言わないけど

タグ：

posted at 19:09:17

初級編全部と中級編を少し解いた。ある程度コツがつかめてきたかな。

タグ：

posted at 18:54:23

Sugar はインストール大変だから，あまり Sugar に頼りたくはないなあ

タグ：

posted at 18:41:44

@ek_bm exe を呼び出すだけだったら多分そんなに難しくない気がしてきましたが，編集画面に干渉するのはけっこう面倒そうです（どちらにしろ，まず pencilbox のソースを書き換えないといけない）

タグ：

posted at 18:38:05

@ek_bm それはちょっと難しそう…（exe ファイルに pencilbox 形式のファイルを投げ込むと答えを返すくらいだったらできると思いますが）

タグ：

posted at 18:34:02

@ek_bm スリリンある程度まともにしたら（あるいはスリリン飽きたら）ぬりかべやります

タグ：

posted at 18:31:21

「へやわけ」は SAT ソルバーなら簡単そうだけど（Sugar なら自明な課題），ヒューリスティックソルバーめっちゃ大変そう

タグ：

posted at 18:30:25

「ましゅ」は多分スリリンとほとんど同じ理屈でいける

タグ：

posted at 18:29:06

@ek_bm スリリンソルバーは比較的平易ですが，他になにがあるとうれしいですか（ぬりかべは作る予定です）

タグ：

posted at 18:27:28

@ek_bm 趣味

タグ：

posted at 18:25:52

あとは，別解を判定する機能を付けないとなあ

タグ：

posted at 18:22:25

ヒューリスティクスソルバーが頭悪すぎて，0.5 秒くらいしか差が生えない

タグ：

posted at 18:21:37

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

20*36 の解が 10 秒で得られた

タグ：

posted at 18:18:58

普通のソルバーの結果を利用するようにしたら少し速くなったけど，それでもかなり時間かかるなあ

タグ：

posted at 18:16:39

とりあえず SAT ソルバーで解を得ることに成功した

タグ：

posted at 18:13:55

過密都市 @kamitsutoshi

そういえばターメリック切らしてたっていう状況凄い

タグ：

posted at 18:03:30

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

結局LMIやった

タグ：

posted at 17:50:11

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

あさみくれよん @AsamiCrayon

そういやターメリック切らしてた

タグ：

posted at 17:37:22

大分県に入ったので、Yさんの直角二等辺三角形分割の本を解いている。うまく解が見えるわけではないようだ。

タグ：

posted at 17:28:54

LMIる。不吉なので例の本には手を付けない。インストラクションも解かない。 #LMI

タグ： LMI

posted at 17:20:22

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@puzzletiger さすがに友達と一緒ですw

タグ：

posted at 16:47:13

非公開

タグ：

posted at xx:xx:xx

やっぱり単一ループ条件がないと大量にループを作り始めるなあ

タグ：

posted at 15:35:12

単一ループの制約をなくして SAT 還元したら，だいぶ速いなあ

タグ：

posted at 15:29:14

#食べ歩き
明石で明石焼きとお好み焼き～ p.twipple.jp/MBrsF

タグ：食べ歩き

posted at 15:28:29

ループの制約入れなくても偶然解けた

タグ：

posted at 15:26:58

SAT ソルバーにスリリン解かせてみたが，まだ数字の条件しか入れてないので 1 つの頂点に 3 つ辺が集まったりしてる

タグ：

posted at 15:20:10

豊肥本線でのんびり大分に向かう。

タグ：

posted at 12:46:50

@timikana10 @puzzletiger なぜバレた

タグ：

posted at 12:43:38

ちみかな @timikana10

@puzzletiger @pots_orange 彼はつねに自分に酔っているから

タグ：

posted at 12:35:17

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

普段12駅中11駅停まる内房線快速に乗ってるから、神戸線の新快速が神に見える。

タグ：

posted at 12:27:55

線の属性を変更するときにどうせ同じ union に属するもの全部見るんだし同時にやってしまえばいい気がする（盤面の大きさの線形しかかからないし）

タグ：

posted at 12:11:45

いちいち root まで見に行かせるの非効率かなあ

タグ：

posted at 12:09:02

さすがに盤面を管理するクラスに SAT 還元までやらせたくなかったので friend を使った

タグ：

posted at 12:03:55

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

あさみくれよん @AsamiCrayon

クックドゥ回鍋肉で作った pic.twitter.com/OVc3PDqIF0

タグ：

posted at 11:45:58

多分 SAT 還元を書くべき

タグ：

posted at 11:42:30

よく考えたら、インストラクションを解くどころか読んでもいなかった。

タグ：

posted at 11:40:39

データベースを作って参照できるようにしないと

タグ：

posted at 11:37:40

solve_cell がとんでもなく遅いらしい

タグ：

posted at 11:37:18

例の本を少し解いてからLMIろうかと思ったけど、全消しラッシュが凄かったので一旦見送り。

タグ：

posted at 11:32:21

あさみくれよん @AsamiCrayon

どうだこれが俺の人間力だ

タグ：

posted at 08:53:31

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

ま @ma_mitaka

@oomichikyouju それ三両の得くらいじゃないの

タグ：

posted at 07:34:50

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Φ／ふぁい @Phi_Tank

えみーちゃん男の人とこんな時間に……

タグ：

posted at 02:36:18

非公開

タグ：

posted at xx:xx:xx

ちえみー @Emmy112358

@nablaenergy_21 いま数理棟の踏切のところをわたりました！

タグ：

posted at 02:32:28

非公開

タグ：

posted at xx:xx:xx

自閉症スペクトラム指数自己診断は、数字が好きなだけでポイントが増えるからクソ

タグ：

posted at 02:07:08

納得いかないからもっかいやった。　socioarc | 非コミュ指数テスト www5.big.or.jp/~seraph/zero/d...

タグ：

posted at 02:05:18

てかこれで一桁とるような人って逆に人間としてどうなのよ(

タグ：

posted at 02:02:21

想定対象年齢: 20歳以上
って書いてあるし、19歳7か月の俺の記録は無効な

タグ：

posted at 01:59:40

うん。

タグ：

posted at 01:53:14

socioarc | 非コミュ指数テスト www5.big.or.jp/~seraph/zero/d...

タグ：

posted at 01:51:52

全然ね。12分。

タグ：

posted at 01:40:16

橋かけを早解くぞ

タグ：

posted at 01:27:45

実際わかりやすいけど

タグ：

posted at 01:23:04

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

ルールが⑦まであるオモパが「これはわかりやすい」と評される時代。

タグ：

posted at 01:22:38

ワクエア、わくわくスクエアよりわくわくスクエアっぽい。

タグ：

posted at 00:48:29

非公開

タグ：

posted at xx:xx:xx

こんなに難しいのを 1 番に置くのはハラスメントな気がするのでペンパ本から持ってこよう

タグ：

posted at 00:21:29

いい国つくろうカックラキン

タグ：

posted at 00:09:45

非公開

タグ：

posted at xx:xx:xx

アレンジを加えると、氷の上で木片だかブロックだかスライムだかを滑らせてくっつけて消すようなスマホとかにありそうなパズルに変化する。

タグ：

posted at 00:05:31