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

真の豆教徒NO.3って、1と2は誰なんだ……？

タグ：

posted at 23:58:11

ぬりかべを SAT に変換するのはまったくできる気がしない

タグ：

posted at 23:56:38

スリリンを SAT に変換できるめどがたった

タグ：

posted at 23:55:16

非公開

タグ：

posted at xx:xx:xx

あと文ロシのホモって何ですか……

タグ：

posted at 23:50:10

非公開

タグ：

posted at xx:xx:xx

今年のはこんな感じ(一部改)
7,13,51,53,54,56,58,75,78→2013

タグ：

posted at 23:43:14

非公開

タグ：

posted at xx:xx:xx

ネタが決まっただけよしとしよう。

タグ：

posted at 23:41:45

非公開

タグ：

posted at xx:xx:xx

作り始めたんだけど、早く作り終わっちゃうと1月1日まで待てなくなりそうだから、12月29日ぐらいに完成させたい

タグ：

posted at 23:39:23

そういえばひきたし2014を作り始めました

タグ：

posted at 23:37:37

非公開

タグ：

posted at xx:xx:xx

右ふくらはぎの負傷がひきたしの成績にどう影響するか

タグ：

posted at 23:33:32

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@Whitehill9 今さら忘れろだなんて……

タグ：

posted at 23:29:17

何それ楽しそう(観る側として)

タグ：

posted at 23:28:13

意外と知られていなさそうなこと: ひきたしの創始者は４人いるが、その中に枝豆は入っていない

タグ：

posted at 23:27:53

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@hikitashisan ちょっとグッときた
じゃなくて、もう10日のことは忘れてくださいツイ消ししたいですもう

タグ：

posted at 23:24:07

やも会ではやもちゃんのサンタコスが見られるんですか！！

タグ：

posted at 23:23:56

非公開

タグ：

posted at xx:xx:xx

でかいほう左耳書き忘れたことに気づいたけどまあいいや

タグ：

posted at 23:23:17

Φ/ふぁい @Phitan_Cube

顔本見ていたら弟の同姓同名の名前が出てきてびびった

タグ：

posted at 23:22:22

なんか県民手帳コーナーみたいなのあった気がする

タグ：

posted at 23:21:28

yamo_pong

タグ：

posted at 23:21:22

埼玉県民手帳、渋谷のロフトに売ってた

タグ：

posted at 23:20:58

それはやもが承認しません

タグ：

posted at 23:20:30

やものアンフリーな日を探すほうが難しい（課題に追われているときを除く）

タグ：

posted at 23:20:04

でも調子に乗ってツイートしすぎると大量のリムを食らうなあ……

タグ：

posted at 23:20:01

ほんと誰にもコメントされなくていつこっそりサンタアイコンに戻そうか悩んでる

タグ：

posted at 23:19:15

最近はこっちの人格(=アカウント)が充実してるのでもうこっちで生きようかなって感じ

タグ：

posted at 23:19:13

@Whitehill9 ほしい？

タグ：

posted at 23:18:05

やも会とかいう会気になる

タグ：

posted at 23:17:29

どうでもいいけど埼玉県民手帳が今じわじわきている

タグ：

posted at 23:17:20

あ、1秒勝ったわーい

タグ：

posted at 23:16:48

そういや結局やも会とかいうのは誰がいつうちに押しかけて何をする気なんですか

タグ：

posted at 23:16:14

正確にゎォフ会でゎなぃ……

タグ：

posted at 23:16:13

あれ、明日ってオフ会だっけ

タグ：

posted at 23:15:09

真の豆教徒NO.3は71,47,79,2,11,19,59,83,13の中の数字で引き算を使わずに89を作ってください。 shindanmaker.com/341197 11+19+59

タグ：

posted at 23:14:54

はあー明日かあー

タグ：

posted at 23:14:05

私だけが暇でもどうしようもないけど

タグ：

posted at 23:10:04

今のところ10日の夜暇なんですよね……

タグ：

posted at 23:09:29

１人捕獲

タグ：

posted at 23:08:36

てか何人入れるんだろう

タグ：

posted at 23:07:44

笑い話のつもりで投下したのに今見返すと案外本気で可哀想なやつだったし、結果的に誕生日アピールっぽいこともしてしまったしなんかアレ

タグ：

posted at 23:06:49

非公開

タグ：

posted at xx:xx:xx

唯一神枝豆

タグ：

posted at 23:06:34

私が豆教の教祖……ではない

タグ：

posted at 23:06:01

敬虔な豆教徒の皆さん

タグ：

posted at 23:05:16

明日枝豆の家行きたい人挙手ー

タグ：

posted at 23:04:36

@ek_bm 誰が行くって言うかな

タグ：

posted at 23:03:44

@ek_bm @hikitashisan 冊子作るために朝あった時に二十歳だって聞いたのであとはwikiで・・・

タグ：

posted at 23:02:26

@ek_bm 明日どうするの

タグ：

posted at 23:02:17

@Whitehill9 そう、"あの"日です

タグ：

posted at 23:01:24

某市民への誕生日プレゼントには何がいいか考えて、チェントは自作のがあるからいらないって言いそうだなあって思って、２つめに思いついたのが「埼玉県民手帳」だったんだけど、たぶんいらないよね。

タグ：

posted at 23:00:12

@hikitashisan うわっ、そういうつもりではなかったのに…ありがとうございます。ひきたしさんは駒場祭の3日目でしたよね？

タグ：

posted at 23:00:06

@RTAozora それ今聞いても半年もしたら忘れそう

タグ：

posted at 22:55:56

@smiken_61 知ってますよね？って聞かれてやっと知ってることを思い出した

タグ：

posted at 22:54:40

@CountlessMartyr 忘れないであげて……

タグ：

posted at 22:52:22

@hikitashisan 駒場祭の時に知ったんですけど枝豆さんの４か月後らしいですよ

タグ：

posted at 22:51:38

そういえば明日の予定ってどうなってるんですか！

タグ：

posted at 22:50:54

@CountlessMartyr @hikitashisan 明日があるし・・？

タグ：

posted at 22:50:33

@hikitashisan 僕のは知ってますよね？

タグ：

posted at 22:49:05

非公開

タグ：

posted at xx:xx:xx

10日にソ連領行けばいいんですか？

タグ：

posted at 22:47:36

@CountlessMartyr 会うでしょw

タグ：

posted at 22:46:41

まあ言われなきゃわざわざ知ろうともしないしなあ

タグ：

posted at 22:45:47

非公開

タグ：

posted at xx:xx:xx

そういえばサークルの後輩の誕生日とかあんまり知らないですね

タグ：

posted at 22:44:57

@Whitehill9 覚えておきます。

タグ：

posted at 22:42:28

@hikitashisan はい。(涙目)

タグ：

posted at 22:38:23

Φ/ふぁい @Phitan_Cube

現田中です。いい加減にして下さい。 (@ 元田中駅) 4sq.com/18IacF3

タグ：

posted at 22:37:30

@Whitehill9 誕生日？

タグ：

posted at 22:37:17

いいですよ…独りで蝋燭の火を吹き消してケーキでも食べてますよ…

タグ：

posted at 22:31:09

親が彼を空港まで迎えに行く関係で、10日夜のぼっち飯が確定した。

タグ：

posted at 22:27:22

アメリカに住んでいる親戚(16)が10日から我が家で居候生活を始めるらしい。

タグ：

posted at 22:19:51

ふぁぼ豆とか危ないのでは

タグ：

posted at 21:53:00

ぬりかべとかだとつらぽよが生える

タグ：

posted at 21:00:17

スリリンくらいだったら Sugar なしでも直接 SAT に変換できそう

タグ：

posted at 21:00:07

7369 頂点あるのに一瞬で答えでた

タグ：

posted at 20:56:27

SAT ソルバーかなり強いんだなあ

タグ：

posted at 20:56:18

(クリック音)

タグ：

posted at 19:57:14

続きは #TLhikitashi6 で！

タグ： TLhikitashi6

posted at 19:56:49

事前に普通のソルバーで条件を制約しておいて，それでもだめなときに SAT を使う？

タグ：

posted at 19:56:19

@puzzletiger うーん、そういうのって通算成績で決めるものなんですかね。それとも…

タグ：

posted at 19:56:14

Φ／ふぁい @Phi_Tank

京大パズ同のパズル大会に飛び入りしたら危うく優勝してしまうところだった(チェバさんに負けた)

タグ：

posted at 19:54:47

これ，盤面の大きさの 2 乗に比例する SAT になりそう…

タグ：

posted at 19:42:53

bach.istc.kobe-u.ac.jp/sugar/puzzles/ のスリザーリンクの例を Sugar で変換したら，ノード数 7369 の SAT になった

タグ：

posted at 19:41:46

非公開

タグ：

posted at xx:xx:xx

@puzzletiger サークル内チャンピオンということです。今のところ。

タグ：

posted at 19:09:52

ひきたしガイダンス

タグ：

posted at 18:48:08

連結条件以外はそこまでやばいことにならない

タグ：

posted at 18:45:00

ふぁぼった発言が2favになってると、ああ枝豆だなあ、と

タグ：

posted at 18:44:56

スリザーリンクを SAT で解いたとかいいつつ、ひとつながりの条件を無視して後で調べるというやばい手法のものが見られる

タグ：

posted at 18:37:58

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

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

ハミルトン閉路問題を線形規模の SAT に変換する方法とかないのかな

タグ：

posted at 18:13:40

@Schrodinger2Cat はい

タグ：

posted at 18:07:46

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

@Schrodinger2Cat あん？（威圧）

タグ：

posted at 18:06:02

非公開

タグ：

posted at xx:xx:xx

@Schrodinger2Cat うわああああああああああああああああああああああああああ　ちゃいらごめん！！！！！！！本当に悪かった！！！！！！！！！！！！焼肉おごって

タグ：

posted at 18:04:41

非公開

タグ：

posted at xx:xx:xx

@Schrodinger2Cat ごめん

タグ：

posted at 18:02:27

非公開

タグ：

posted at xx:xx:xx

@ek_bm なるほどありがとうございます

タグ：

posted at 17:31:58

Doubled Criss-Crossの太線って何か意味があるんですかね

タグ：

posted at 17:30:09

時計家 @tokeiya1131

姉を囲む会のお店をざっくり予約した。

タグ：

posted at 17:28:15

インストラクション読んでる

タグ：

posted at 17:27:34

(負けてるけど)

タグ：

posted at 17:26:41

非公開

タグ：

posted at xx:xx:xx

世界チャンピオン候補に練習量で負けるわけにはいかないんですよね

タグ：

posted at 17:26:20

ヒキタシチズンは80,100,4,46,39,71,28,15,54の中の数字で引き算を使わずに47を作ってください。 #hikitashi shindanmaker.com/274695 46+(4+39+28)/71

タグ： hikitashi

posted at 17:23:57

@tokeiya1131 にゃー

タグ：

posted at 17:12:06

正確には、1の累乗を使わない、か。

タグ：

posted at 16:35:36

1を使わない全取りのウルトラC感

タグ：

posted at 16:30:34

@puzzletiger @xevs99 目標 20 勝だったけど，もう少しいけそうな気がしてきた．

タグ：

posted at 14:53:28

ととろん @totoron8655

モリーニさんがどんどん煽ってきますねぇ。

タグ：

posted at 14:42:43

非公開

タグ：

posted at xx:xx:xx

授業いきます……

タグ：

posted at 14:40:50

6周……まあそのぐらいか。

タグ：

posted at 14:38:24

えすぺあんは！の個数を倍返し、おぼえた

タグ：

posted at 14:36:48

非公開

タグ：

posted at xx:xx:xx

いい芸術点稼ぎだった

タグ：

posted at 14:34:34

ガウスの驚くべき定理
ガウスの知らないとまあ驚く定理
ガウスのぶっちゃけそんなでもない定理
ガウスの別になんでもない定理

タグ：

posted at 14:32:49

SP1 @SP1_winter

えすぴーわんは20,23,44,7,24,34,4,17,64の中の数字で引き算を使わずに91を作ってください。 #hikitashi shindanmaker.com/274695 20+7+64

タグ： hikitashi

posted at 14:25:20

ぽっつ @pots_orange

@puzzletiger @xevs99 @charmychachacha あっ、ごめん、盛大に忘れてたwww

タグ：

posted at 14:22:22

とらさんのツイートが「私のツイート参」までで改行されて2行目に「照。」だけあって照れてるように見える

タグ：

posted at 14:22:20

時計家 @tokeiya1131

@melvy_mag ぐしゃ

タグ：

posted at 14:21:54

気を取り直して

タグ：

posted at 14:21:11

解けなくて放置してたナンプレ 2 問潰した

タグ：

posted at 14:20:57

えすぺあんわず

タグ：

posted at 14:20:34

えすぺあんは18,12,7,80,34,98,37,23,56の中の数字で引き算を使わずに95を作ってください。 #hikitashi shindanmaker.com/274695 (7+12)*(34+56)/18 byえすぺあん

タグ： hikitashi

posted at 14:19:51

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

ひきたしさまは62,19,95,17,71,55,59の中の数字で引き算を使わずに34を作ってください。 #hikitashi shindanmaker.com/361789 17*log_(19*55/95)(59+62) byえすぺあん

タグ： hikitashi

posted at 14:16:03

@puzzletiger よし買いに行こう。目標は10勝

タグ：

posted at 14:11:42

非公開

タグ：

posted at xx:xx:xx

私「つかれた」
えすぺあん「でしょうね」

タグ：

posted at 14:07:58

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

えすぺあん「ぱねぇ」

タグ：

posted at 14:07:46

@charmychachacha なんのはなしですのん？

タグ：

posted at 14:06:22

@puzzletiger はいはーい．ちなみに現在 4 勝 12 敗です．

タグ：

posted at 14:01:38

@puzzletiger さすがに怖すぎますねそれは…ふぁぼの本質を見失っている

タグ：

posted at 13:58:54

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

会心のタイムきたーと思ったら 1 秒負けてた．さすがすぎる．

タグ：

posted at 13:46:37

@puzzletiger たとえばこういうことですよね。(再掲) pic.twitter.com/2PvQsRvbj6

タグ：

posted at 13:45:13

非公開

タグ：

posted at xx:xx:xx

ひきたしたんは33,29,79,47,89,71,14の中の数字で引き算を使わずに87を作ってください。 #hikitashi shindanmaker.com/361789 うーむ

タグ： hikitashi

posted at 13:35:37

やられたらやり返す…ふぁぼ返しだ！

タグ：

posted at 13:25:13

えすぺあんに遭遇。

タグ：

posted at 13:23:55

ふぁぼ爆されたって呟いたらふぁぼ爆された（無限ループ）

タグ：

posted at 13:20:24

頻繁にふぁぼ確認してたら後ろの人にふぁぼ爆された

タグ：

posted at 13:17:14

ひきたし布教してた

タグ：

posted at 13:13:42

非公開

タグ：

posted at xx:xx:xx

ふぁぼってくるのはいいけど互いに素の意味聞いてない

タグ：

posted at 12:53:54

ふぁぼをふぁぼで返す

タグ：

posted at 12:53:30

@ek_bm 見ましたが、sugar だと呼び出しが必要そう / SAT ソルバーなら埋め込めそうなので SAT にしたいです

タグ：

posted at 12:43:39

非公開

タグ：

posted at xx:xx:xx

今日も頑張っていきましょう。

タグ：

posted at 12:40:00

にー　しー　うおー　てぃー　ひうん　てぃー　←その授業で2つ目に覚えた文

タグ：

posted at 12:39:24

うおー　しー　はお　じぇん　←今学期とある授業で最初に覚えた文

タグ：

posted at 12:38:16

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

Mr. Y と遭遇してしまった……

タグ：

posted at 12:26:35

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

ぬりかべ、数字の条件をかなりまじめに使うから SAT に帰着するのかなり大変そう

タグ：

posted at 12:19:18

スリリンさえ SATに帰着できない

タグ：

posted at 12:18:33

トリのオリンピック @wato_d

人の金で食う焼肉がうまいわけないだろ！！！！！でも念のためちょっと確かめさせてくれ

タグ：

posted at 12:15:05

kinoshita @y_tree

今日はレストランに行こうかな。

タグ：

posted at 11:31:59

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

煽られたら煽り返す、倍返しにはなっていないし自分にもいろいろ刺さる

タグ：

posted at 11:23:57

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

朝起きたらバージョンアップが終わっていたので，18 日ぶりに遊んだ．グランドタイタス号に乗ったところで時間切れ．#kirarin_DQX

タグ：

posted at 11:22:42

ちえみー @Emmy112358

千里眼がレストラン！？！？

タグ：

posted at 11:18:14

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

きょーじゅ氏が考えたわけじゃないか

タグ：

posted at 10:03:29

きょーじゅ氏は新しい煽りを考えた方がいいのでは

タグ：

posted at 10:03:17

@oomichikyouju ＼ﾄﾞｯ／

タグ：

posted at 10:02:52

非公開

タグ：

posted at xx:xx:xx

きょーじゅ氏が面白いこと言ったぞ！！！みんな笑え！！！！！！！！！

タグ：

posted at 10:00:27

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

SAT に直接変換できれば、外部プログラムなしに動かせそうだけど、どう変換したらいいんだろう

タグ：

posted at 09:21:46

@hikitashisan じゃあ連歌はいくつ別解が作れるかということですね

タグ：

posted at 08:49:56

@RTAozora 別解？

タグ：

posted at 08:43:38

というか芸術ひきたしが歌会みたいなものなので返歌は厳密には求められないのか

タグ：

posted at 08:40:48

冴戒椎也（しーやさん）＠7/23ボーマス @sakaishiiya

ひきたしにおける返歌とは

タグ：

posted at 08:38:11

復讐サイトの事件のニュースで「3人の被疑者たちは、なんと互いの本名も知らなかったそうです」って言ってて、いわゆる「ネットの匿名性」に今更驚いてるほうが驚きだし、そもそも僕が属するクラスタは顔まで知ってるのに本名知らない人いっぱい居るんですけど

タグ：

posted at 06:45:00

sow @sow_te

はあ（gokoでleaveしたら始まったあとに適用されてquit扱いになりレートが下がった）

タグ：

posted at 04:00:54

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

睡眠時間奪ってるのひきたしよりスワップクエストなのでは．ともあれしゃわろう

タグ：

posted at 01:08:46

竹谷 @buyaketa

Best of LMI Sudokuと。しかもこのロゴはRichardかな？

タグ：

posted at 00:52:21

互いにソヴィエト……？

タグ：

posted at 00:45:25

やったーコンプだー

タグ：

posted at 00:44:52

@wh_hikitashi 互いに素 #とは

タグ：とは

posted at 00:44:51

@tomananaco あっ私も最近寝ない授業がない……

タグ：

posted at 00:42:42

めるるんは62,89,19,34,43,85,14の中の数字で引き算を使わずに11を作ってください。 #hikitashi shindanmaker.com/361789 (62+89+19)*(34+43)/(85*14) 出現順に全部使用だと…なんだこの芸術性は

タグ： hikitashi

posted at 00:38:29

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

リプニツカヤと私は互いに素です。

タグ：

posted at 00:06:09

@hikitashisan ナイスナイス足し算！

タグ：

posted at 00:05:27

非公開

タグ：

posted at xx:xx:xx

@melvy_mag ナイス足し算！ #hikitashi

タグ： hikitashi

posted at 00:03:55

焼きもうふ @pronter

ｌくつ

タグ：

posted at 00:03:26

@tomananaco 何してても寝ちゃうんです！朝食食べながら寝てていつも怒られる……

タグ：

posted at 00:02:44