semiexp @semiexp

21年3月17日

rust-analyzer 強いな

タグ：

posted at 00:01:57

deu @charmychachacha

21年3月17日

GP 順位出てますが、過去最低点を更新するレベルに失敗しました。最終問題で破綻し、微調整をずっと粘っていたら時間だけが過ぎていきました。結局序盤で勘違いしていたようです。

タグ：

posted at 00:14:28

semiexp @semiexp

21年3月17日

SAT Competition のデータ落としてきて試しているけど、異常な速さで何もかも UNSAT と言ってくる、なにかがおかしい

タグ：

posted at 00:25:05

アイ @tigereye_werewe

21年3月17日

SGP: 低空飛行。定番重視の落ち着いたセットだったが、15〜20分かかる中配点が並ぶため稼ぎようがなかった感。AntiDiagonal AntiKnightで後者を忘れて解いてたらかなり時間を食った(詰めで複数解になりようやく気付いた)。Killerで全部足して真ん中枠外6マスの和を出そうとしたのはあまりにアホ…

タグ：

posted at 00:28:54

semiexp @semiexp

21年3月17日

やっぱり間違っている

タグ：

posted at 00:32:20

非公開

タグ：

posted at xx:xx:xx

クィアウルフ（ダイナモでなぐるマン） @xevs99

21年3月17日

かわすこしわたれた

タグ：

posted at 03:42:11

sugitakukun @sugitakukun

21年3月17日

めっちゃ久しぶりにいいプレイ出来たと思ったら
めっっっっっっっちゃ久しぶりに誤答したzzzzzzzzzzzzz

ちきせう。

#SGP

タグ： SGP

posted at 07:18:54

初月葉桜（10887） @Xana_uzzle

21年3月17日

SGPの順位出てた
8割でギリギリ50位圏内かー……

タグ：

posted at 09:51:27

初月葉桜（10887） @Xana_uzzle

21年3月17日

贅沢を言うとやはりNo Touchをもう少し早く解いてClassicをもう1問解いておきたかった気はする

タグ：

posted at 09:53:02

初月葉桜（10887） @Xana_uzzle

21年3月17日

Classic解き直してたら点数と時間の逆転が起きたのでClassicはやはり見積もりづらい

タグ：

posted at 09:54:36

非公開

タグ：

posted at xx:xx:xx

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

21年3月17日

カステラ類とうどん類で生きてる。

タグ：

posted at 13:01:47

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

gori.sh/aoki/140ｺﾛﾆｰ @gori_sh

21年3月17日

#SGP Round3 Turkey
3/12-15
gp.worldpuzzle.org/content/sudoku...
198位
問題選択は間違ってなかった模様、つまりこれが実力で言い訳できないやつ～ pic.twitter.com/cJsz4MsRNy

タグ： SGP

posted at 15:35:14

gori.sh/aoki/140ｺﾛﾆｰ @gori_sh

21年3月17日

五島大か、別海大か、それが問題だ

タグ：

posted at 17:14:43

semiexp @semiexp

21年3月17日

ソルバー明らかにバグっていて、直したら多分正しく動くように鳴った

タグ：

posted at 20:47:46

volxa @volxa

21年3月17日

#SGP 全消し１回の絶好調回だったが、NoTouchではまって20分以上浪費したのが激痛だった。あとClassicの選択もミスった。

タグ： SGP

posted at 21:10:07

volxa @volxa

21年3月17日

ほぼ同じ配点のKillerは３分強なのに、差の激しいことよ。

タグ：

posted at 21:19:22

semiexp @semiexp

21年3月17日

minisat に倣ったほうがいい気がしてきた

タグ：

posted at 21:27:22

非公開

タグ：

posted at xx:xx:xx

非公開

タグ：

posted at xx:xx:xx

初月葉桜（10887） @Xana_uzzle

21年3月17日

ついにニコリ最新号を手に入れた

タグ：

posted at 22:11:02

初月葉桜（10887） @Xana_uzzle

21年3月17日

久しぶりに投稿したくなった

タグ：

posted at 22:11:13

semiexp @semiexp

21年3月17日

analyze の理解に難航している

タグ：

posted at 22:44:08

semiexp @semiexp

21年3月17日

少しわかってきた

タグ：

posted at 22:47:04

semiexp @semiexp

21年3月17日

a ... | b ... | c ... | ... | x ...
＿人人人人＿
＞　矛盾　＜
￣Y^Y^Y￣
となったときに矛盾の原因が a && x みたいに書けたら b ... | c ... | ... をすっとばして a ... まで巻き戻す、ということな気がする

タグ：

posted at 22:51:00

semiexp @semiexp

21年3月17日

ただ、analyze したときに | x ... の ... に入ってるやつらが残るってありうるのかな

タグ：

posted at 22:56:33

semiexp @semiexp

21年3月17日

propagate がいい加減だとありうる？

タグ：

posted at 22:57:06