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

枝豆

@ek_bm

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

2023年02月12日(日)

非公開

タグ:

posted at xx:xx:xx

fff @puzzlerfff

23年2月12日

解説を書いていて気づいたのだけど、試行錯誤寄りのパズルを解いているときに無意識に目解きを使って枝刈りしてるっぽい。

タグ:

posted at 19:31:33

広瀬_あつみ (FANBOX始めてみまし @hirose_atsumi

23年2月12日

買ってきたカカオチーズケーキを自分にあげます。おいしい。

タグ:

posted at 17:49:02

めるーめるん @melvy_puz

23年2月12日

SGPとLMIだん! こどふぉまでの30分で飯を食え! 疲れたよパトラッシュ

タグ:

posted at 17:02:25

めるるん @melvy_mag

23年2月12日

洗濯したしパズルもしたしこのあと闇

タグ:

posted at 17:00:28

舞那 素遥 @mainasuyon

23年2月12日

鶯に長刀かかる承塵(なげし)かな/宝井其角
pzv.jp/p.html?sudoku/... pic.twitter.com/ewCebSBPSm

タグ:

posted at 15:17:13

gori.sh/aoki/140コロニー @gori_sh

23年2月12日

SGPやってる間に話がいくつも動いてた、と思ったらぶんかぶの予告これ昨日か

タグ:

posted at 14:54:26

非公開

タグ:

posted at xx:xx:xx

deu @charmychachacha

23年2月12日

Sudoku GPに参加した

タグ:

posted at 13:17:18

semiexp @semiexp

23年2月12日

SAT ソルバーの詳細な挙動よくわからなくなるし一度完全に理解して文章にまとめておいたほうがいいかも

タグ:

posted at 12:15:15

semiexp @semiexp

23年2月12日

具体的には「reason の中には、その reason を導出する時点での最大の decision level に等しい level を 持つ literal が必要」という条件があるはず

タグ:

posted at 12:05:19

semiexp @semiexp

23年2月12日

(恐らく明文化されていない)事前条件があって、clause だけを使っている限りこの事前条件は壊れないが、変な constraint を実装してしまうとその限りではない

タグ:

posted at 12:04:11

semiexp @semiexp

23年2月12日

ようやくわかってきた、non-clausal constraint を実装するときには An Extensible SAT Solver にも MiniSat v1.12 のコードにも書かれていない暗黙の制約が存在して、これに違反すると稀に壊れる

タグ:

posted at 12:01:01

初月葉桜(10887) @Xana_uzzle

23年2月12日

喫緊でやるべきなの、ニコリ向けのパズル原稿作成だろうか

タグ:

posted at 11:21:13

nakai @ryohei_puz

23年2月12日

第14回、16回全日本パズル選手権の記念品 pic.twitter.com/BTbp1H0J0V

タグ:

posted at 10:23:31

SP1 @SP1_winter

23年2月12日

Twitterとかぱずすくで見るヤジリンの解きタイムがみんな異様に速い。日本のパズラーが習熟されすぎている。。

タグ:

posted at 10:14:52

ニチョ謎 @nichonazo

23年2月12日

シン・シーズンに入ったばかりだというのにサムネを忘れてた。 pic.twitter.com/Plw2MSsgbN

タグ:

posted at 09:43:41

ニチョ謎 @nichonazo

23年2月12日

本日は #なげっぱ でございます。
ウェル問37-1「ピコガール」
タイトルがピコピコしてますね。なげっぱと大阪テクテクカフェで挑戦できます。謎解き、しちゃってくださいね。
#なげわん は「いいなそのなわ」です。記録は店頭でご確認ください。先週はお客さん少なかったから、まだ上位を狙えますよ!

タグ: なげっぱ なげわん

posted at 09:42:46

semiexp @semiexp

23年2月12日

x, y, z, w と仮定して、x z w や x !z !w など全部だめだった場合?

タグ:

posted at 09:24:21

semiexp @semiexp

23年2月12日

SAT ソルバーのことを何もわかっていない…

タグ:

posted at 09:16:53

semiexp @semiexp

23年2月12日

でも backjumping がまさにこれでないときの対策なんだけどな、とか考えてたら backjumping っていつ起きるんだ?という気持ちに

タグ:

posted at 09:15:16

めるるん @melvy_mag

23年2月12日

Wordle 603 4/6

⬜⬜🟩⬜⬜
⬜🟨🟩⬜⬜
🟨⬜🟩🟩⬜
🟩🟩🟩🟩🟩

タグ:

posted at 02:19:26

広瀬_あつみ (FANBOX始めてみまし @hirose_atsumi

23年2月12日

パセリをチャージしたくなってきました。

タグ:

posted at 01:20:31

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

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

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

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

送信中

送信に失敗しました

タグを編集しました