Twitter APIの仕様変更のため、「いいね」の新規取得を終了いたしました

枝豆

@ek_bm

  • いいね数 318,604/239,302
  • フォロー 428 フォロワー 553 ツイート 5,744
  • 現在地
Favolog ホーム » @ek_bm » 2019年12月03日
並び順 : 新→古 | 古→新

2019年12月03日(火)

SP1 @SP1_winter

19年12月3日

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

タグ:

posted at 23:59:53

SP1 @SP1_winter

19年12月3日

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

タグ:

posted at 23:54:36

SP1 @SP1_winter

19年12月3日

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

タグ:

posted at 23:53:07

SP1 @SP1_winter

19年12月3日

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

タグ:

posted at 23:19:03

SP1 @SP1_winter

19年12月3日

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

タグ:

posted at 23:17:48

Tad Komori @pawakun

19年12月3日

@wand_125 50進数

タグ:

posted at 23:10:25

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

さやちぃ。"23 @88cyi

19年12月3日

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

タグ:

posted at 21:54:54

わんど @wand_125

19年12月3日

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

タグ:

posted at 21:50:51

Tad Komori @pawakun

19年12月3日

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

タグ:

posted at 21:33:31

deu @charmychachacha

19年12月3日

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

タグ:

posted at 21:24:39

初月葉桜(10887) @Xana_uzzle

19年12月3日

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

タグ:

posted at 21:20:34

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

19年12月3日

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

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

タグ: 日本パズル選手権

posted at 20:57:02

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

19年12月3日

【解答】

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

タグ:

posted at 20:56:41

Tad Komori @pawakun

19年12月3日

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

タグ:

posted at 20:55:33

Tad Komori @pawakun

19年12月3日

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

タグ:

posted at 15:35:56

初月葉桜(10887) @Xana_uzzle

19年12月3日

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

タグ:

posted at 14:42:57

初月葉桜(10887) @Xana_uzzle

19年12月3日

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

タグ:

posted at 14:42:22

deu @charmychachacha

19年12月3日

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

タグ:

posted at 11:26:11

非公開

タグ:

posted at xx:xx:xx

わんど @wand_125

19年12月3日

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

みたいな感じ。

タグ:

posted at 10:21:55

わんど @wand_125

19年12月3日

n=17まであっさり

タグ:

posted at 10:17:36

わんど @wand_125

19年12月3日

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

タグ:

posted at 10:09:41

わんど @wand_125

19年12月3日

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

タグ:

posted at 10:05:34

非公開

タグ:

posted at xx:xx:xx

わんど @wand_125

19年12月3日

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

タグ:

posted at 09:58:08

わんど @wand_125

19年12月3日

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

タグ:

posted at 09:53:46

SP1 @SP1_winter

19年12月3日

はてなブログに投稿しました
ペンシルパズルと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

19年12月3日

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

タグ:

posted at 08:23:32

非公開

タグ:

posted at xx:xx:xx

白岡市民(295) @Whitehill9

19年12月3日

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

タグ:

posted at 08:20:07

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

Tad Komori @pawakun

19年12月3日

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

タグ:

posted at 03:07:53

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

アイ @tigereye_werewe

19年12月3日

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

タグ:

posted at 01:06:17

さやちぃ。"23 @88cyi

19年12月3日

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

タグ:

posted at 00:27:34

初月葉桜(10887) @Xana_uzzle

19年12月3日

カオリマーメー

タグ:

posted at 00:26:11

さやちぃ。"23 @88cyi

19年12月3日

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

タグ:

posted at 00:25:53

初月葉桜(10887) @Xana_uzzle

19年12月3日

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

タグ:

posted at 00:24:45

竹谷 @buyaketa

19年12月3日

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

タグ:

posted at 00:23:06

めるるん @melvy_mag

19年12月3日

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

タグ:

posted at 00:19:58

初月葉桜(10887) @Xana_uzzle

19年12月3日

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

タグ:

posted at 00:16:54

初月葉桜(10887) @Xana_uzzle

19年12月3日

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

タグ:

posted at 00:12:54

わんど @wand_125

19年12月3日

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

タグ:

posted at 00:08:51

初月葉桜(10887) @Xana_uzzle

19年12月3日

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

タグ:

posted at 00:07:14

めるーめるん @melvy_puz

19年12月3日

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

タグ: める1日1AC

posted at 00:06:19

白岡市民(295) @Whitehill9

19年12月3日

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

タグ:

posted at 00:01:09

アイ @tigereye_werewe

19年12月3日

スマニコリの難易度表記見ると完全手筋決定の難易度も必ずしも良いとは言えないなと思ったりする

タグ:

posted at 00:00:12

非公開

タグ:

posted at xx:xx:xx

@ek_bmホーム
スポンサーリンク
▲ページの先頭に戻る
ツイート  タグ  ユーザー

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

1日1ひきたし 都バスのアレ 都バスのオリ 都バスのイロ hikitashi EreMffs LMI 日本パズル選手権 ペンパガチャ shindanmaker

※タグはスペースで区切ってください

送信中

送信に失敗しました

タグを編集しました