枝豆(@ek_bm)/2021年09月04日

枝豆

@ek_bm

いいね数 318,604/239,302
フォロー 428　フォロワー 553　ツイート 5,744
現在地 畑

Favolog ホーム » @ek_bm » 2021年09月04日

« 次の日| 前の日 »

並び順 : 新→古 | 古→新

2021年09月04日(土)

semiexp @semiexp

21年9月4日

order encoding も何も実装してないので単に論理節を SAT に投げつけるだけの encoder を書いて、一通りソルバーの枠組みができてきた

タグ：

posted at 00:07:35

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

utime @utime1204

21年9月4日

チビクロ大丈夫かな...テスター足りなければやるけどそこが律速かどうかはしらない

タグ：

posted at 09:41:56

utime @utime1204

21年9月4日

正解例
ローリングストック
ローリングストーンズ

タグ：

posted at 12:24:17

SP1 @SP1_winter

21年9月4日

コンセプティスのブリッジパズル(橋をかけろ)の上級・超上級を買って解いてる。手探りで手がかりを見つけるのが楽しくて、あーパズルってこうだったなと、少年のころの純粋だった気持ちを思い出している。

タグ：

posted at 13:36:12

SP1 @SP1_winter

21年9月4日

リンクこれだった。むずいけど楽しいよ。apps.apple.com/jp/app/%E3%82%...

タグ：

posted at 13:43:49

TokusiN @toku51n

21年9月4日

問題選別のときに答えをしっかり見てしまったから自力で解くことは無理なんだけど、かなり難しい気がする。というかこれ解けるのか？
pzv.jp/p.html?numlin/...
#今日のナンリン

タグ：今日のナンリン

posted at 16:53:37

TokusiN @toku51n

21年9月4日

答えの出力をやめてぱずぷれのURLのみにすれば出題する問題の選別時に答えをはっきり覚えてしまう事故は防げるんだけど、問題が選びにくくなるのがなぁ。どっちが良いんだろう？

タグ：

posted at 16:54:47

TokusiN @toku51n

21年9月4日

選別に必要な数値情報をもう少し多めに出力した上で、盤面の出力をやめてしまう、というのを試してみようかなぁ？

タグ：

posted at 16:56:23

白岡市民(295) @Whitehill9

21年9月4日

【#競技パズルブログ更新】
9/6(月)24:00まで開催中の、Kompetisi Puzzle Klasik 2021のインストラクション和訳記事を公開しました。インドネシアのオンラインパズルコンテストです。海外の選手も参加できます。制限時間は150分、問題数は30問です。
citizen-puzzle.hatenablog.com/entry/2021/09/...

タグ：

posted at 19:03:52

semiexp @semiexp

21年9月4日

Rust の NLL、呼び出している関数の中身まで見てるっぽいな…？

タグ：

posted at 20:13:03

semiexp @semiexp

21年9月4日

まったく同じシグネチャのクラス関数 2 つで、片方の呼び出しは OK でもう片方はコンパイルエラーということが起きた

タグ：

posted at 20:14:28