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

枝豆

@ek_bm

  • いいね数 318,604/239,302
  • フォロー 428 フォロワー 553 ツイート 5,744
  • 現在地
並び順 : 新→古 | 古→新

2021年03月23日(火)

にしなんとか @chebunanntoka

21年3月23日

これを「突然」ではないように変更するにはどうすれば良いか考えてる。let temp=b, b=a, a=temp みたいな感じかな。どうして変更しなければならないのかは、分からない…………………… twitter.com/arclisp/status...

タグ:

posted at 23:42:02

semiexp @semiexp

21年3月23日

時間かかるデータだと MiniSat v1.12 よりもだいぶ遅かったりするので、なんかまだ大ポカしてそう

タグ:

posted at 23:33:04

semiexp @semiexp

21年3月23日

varBumpActivity の位置を勘違いしてた

タグ:

posted at 23:10:34

にしなんとか @chebunanntoka

21年3月23日

まあでも、ペンパの楽しみ方としてラディカルだとは思う

タグ:

posted at 23:00:31

にしなんとか @chebunanntoka

21年3月23日

手筋を唯一解問題に成形せずにそのまま投稿すれば色々解決する気がしてきたな(解答の付記がほぼ必須になるが)。唯一解にせねばならないという制約から逃れられるし(メリットなのか?)ましゅやぬりみさきで作意が紛れることも減る。ダブルチョコで意図しない枝があっておてごろ詐欺になることもない

タグ:

posted at 22:59:57

わんど @wand_125

21年3月23日

いきものヒント②
○○○○○○○○○○○○○○○○○○○○○○○
○○○○○○○○○○○○○○
fse.tw/KJqR2hAc#all

タグ:

posted at 22:15:30

semiexp @semiexp

21年3月23日

多分 MiniSat 論文自体 v1.12 くらいの頃をベースにしてるんじゃないかと思う

タグ:

posted at 22:09:48

semiexp @semiexp

21年3月23日

なんか conflict 回数が多すぎるのが気になるけど

タグ:

posted at 22:00:12

semiexp @semiexp

21年3月23日

すでに MiniSat v1.12 くらいの性能はあるっぽい?

タグ:

posted at 22:00:00

semiexp @semiexp

21年3月23日

restart のときに queue_top を正しく更新していないのがバグの原因だったっぽい

タグ:

posted at 21:46:42

semiexp @semiexp

21年3月23日

propagate が正しく行えてないケースがあるっぽい

タグ:

posted at 20:59:20

semiexp @semiexp

21年3月23日

UNSAT のものを SAT と言ってくる上に 40 変数くらいないと全然再現しないので困り果ててる

タグ:

posted at 20:42:38

Tad Komori @pawakun

21年3月23日

@made_puzzle700 継続ができない

タグ:

posted at 20:01:43

非公開

タグ:

posted at xx:xx:xx

Tad Komori @pawakun

21年3月23日

@made_puzzle700 ぼくの生産速度的に…

タグ:

posted at 19:55:21

非公開

タグ:

posted at xx:xx:xx

Tad Komori @pawakun

21年3月23日

@made_puzzle700 それは無理

タグ:

posted at 19:46:24

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

Tad Komori @pawakun

21年3月23日

ましゅあと500問くらい作るとへやわけに大体並ぶな?
毎時6問だとして84時間…ぇ

タグ:

posted at 17:21:31

白岡市民(295) @Whitehill9

21年3月23日

レーティングシステムを理解してから…と先延ばしにし続けていたが、紹介記事書こう

タグ:

posted at 13:50:42

白岡市民(295) @Whitehill9

21年3月23日

Puzzle Duelの1周年記念コンテスト楽しそう。1vs1バトルするらしい(対戦相手は毎問変わる)。日本時間4/4(日) 24:00-25:00。
www.puzzleduel.club pic.twitter.com/dZlDFXg8so

タグ:

posted at 13:49:05

稲葉直貴(パズル作家) @puzlab

21年3月23日

スケコンやってる人にどうやって作ってるか聞いてみたい。

タグ:

posted at 10:03:10

非公開

タグ:

posted at xx:xx:xx

稲葉直貴(パズル作家) @puzlab

21年3月23日

答えだけ見たい人のために置いておきます。 pic.twitter.com/6G6zmVpnIS

タグ:

posted at 08:39:14

semiexp @semiexp

21年3月23日

ぎゃー、UNSAT のものを SAT と言ってる

タグ:

posted at 02:19:53

semiexp @semiexp

21年3月23日

true/false/undefined を管理する enum の not をとる操作が match にするしかなくて重そうだったので unsafe 使って書き換えたらそれだけで 12% 速くなったけど、逆にいえばまだまだ本質的に遅いな

タグ:

posted at 02:08:51

semiexp @semiexp

21年3月23日

最も activity の大きい clause を探すのを O(N) でやっているの明らかなネックかと思っていたけど数万変数くらいではそうでもないらしい

タグ:

posted at 01:49:27

semiexp @semiexp

21年3月23日

こういうのクラウドに投げるべき気がするな

タグ:

posted at 01:32:52

semiexp @semiexp

21年3月23日

Agile 部門のデータセットは 5000 個あってそれぞれ制限時間が 1 分で、当然全部並列に動かせるのでコア数で殴ればすぐテスト終わるけど、一般のご家庭で用意できるパソコンではどうしても数時間かかる

タグ:

posted at 01:32:04

アイ @tigereye_werewe

21年3月23日

よく見るとNurikabeが4と12にあるのか

タグ:

posted at 00:39:05

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

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

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

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

送信中

送信に失敗しました

タグを編集しました