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

枝豆

@ek_bm

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

2023年03月19日(日)

めるるん @melvy_mag

23年3月19日

Wordle 638 5/6

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

タグ:

posted at 01:29:00

アイ @tigereye_werewe

23年3月19日

TigereyeさんのPre-PGP 2023 R2 の成績は1000点:参考順位4位でした puzcon.jp/results/?id=20... #puzconjp #pPGP
久しぶりに参加者側をできた。Pentominousすげ〜!ってなった

タグ: pPGP puzconjp

posted at 05:46:57

semiexp @semiexp

23年3月19日

求めているものが CDCL(T) ソルバーに他ならないことが判明し、それは SMT ソルバーが使うものだから絶対存在するはずなんだけど、なかなか見つからない(SMT ソルバーのコードが難しくて見つけられないというのもある

タグ:

posted at 10:01:55

semiexp @semiexp

23年3月19日

github.com/Z3Prover/z3/bl... これがインタフェースか?

タグ:

posted at 10:04:00

semiexp @semiexp

23年3月19日

github.com/Z3Prover/z3/bl...
これが z3 の SAT ソルバーっぽい

タグ:

posted at 10:09:48

semiexp @semiexp

23年3月19日

github.com/cvc5/cvc5/wiki...
もしかしてこれがそうなのか?

タグ:

posted at 10:24:23

semiexp @semiexp

23年3月19日

CaDiCaL 改造してるようには見えないんだけど、どうやって SMT 動かしてるんだ?

タグ:

posted at 10:48:28

非公開

タグ:

posted at xx:xx:xx

めるーめるん @melvy_puz

23年3月19日

LMIわず

タグ:

posted at 15:55:12

ぽっつ @pots_orange

23年3月19日

#PUZZLE
パズル単行本で新刊の問題が過去の問題と重複ってあるけど、一部なのか全部なのかどっちだろう。あとどうやって発覚したのかとか、購入者への対応がどうなってるのかとか、一応業界のはしくれとしてはイロイロ気にはなる。 pic.twitter.com/gjmwe6xzMK

タグ: PUZZLE

posted at 17:50:09

あさみくれよん @AsamiCrayon

23年3月19日

メバル🐟のムニエル、あら汁、かぶとじゃがいもの揚げ焼き pic.twitter.com/m67g1UrlIk

タグ:

posted at 18:39:26

にしなんとか @chebunanntoka

23年3月19日

【模様】No set in a row の繰り返しパターンの例示と未解決問題|にしなんとか @chebunanntoka #note note.com/nishinanntoka/... pic.twitter.com/lyoiVvd64c

タグ: note

posted at 22:54:51

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

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

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

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

送信中

送信に失敗しました

タグを編集しました