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

20年3月15日

@gori_sh ヤジリンなにもわからなかった

タグ：

posted at 22:53:46

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

20年3月15日

学校、出席日数ぎりぎりだったりしたなあ。

タグ：

posted at 22:29:02

あかしょう @akasyou

20年3月15日

ましゅ 2020.03.15
pzv.jp/p.html?mashu/1... pic.twitter.com/wSlGa8yOuX

タグ：

posted at 22:25:22

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

20年3月15日

素の解きタイム、31:32でした。メモしてありました。

タグ：

posted at 22:23:14

今井洋輔（パズル屋たまにジャグラー） @puzzle_101

20年3月15日

（puzzle）
いいパターン見つけましたよ。
ほどよい難度になった。

タグ：

posted at 22:19:10

非公開

タグ：

posted at xx:xx:xx

にしなんとか @chebunanntoka

20年3月15日

ニコリよりも大部屋にしようと作者がすればするほど僕の扱い慣れてるサイズに入ってくる感じする

タグ：

posted at 22:11:15

初月葉桜（10887） @Xana_uzzle

20年3月15日

律儀に白マスを塗ってしまったのが一因だろうか、でも見えないから塗ったわけだし

タグ：

posted at 22:10:40

非公開

タグ：

posted at xx:xx:xx

初月葉桜（10887） @Xana_uzzle

20年3月15日

2位は良い結果だけど6分差ってどうがんばれば縮まるんだろう

タグ：

posted at 22:09:17

非公開

タグ：

posted at xx:xx:xx

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

20年3月15日

にしさん早いなあ。

タグ：

posted at 22:01:50

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

20年3月15日

さあヤジリンがんばるぞ

タグ：

posted at 21:58:16

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

20年3月15日

ハタントイレ行って来た

タグ：

posted at 21:57:24

semiexp @semiexp

20年3月15日

Snake できた pic.twitter.com/4nAeEvhjog

タグ：

posted at 21:57:02

めるーめるん @melvy_puz

20年3月15日

ヤジリンならやるかーと思ったけどこれ睡眠時間なくなるなｗ

タグ：

posted at 21:44:15

deu @charmychachacha

20年3月15日

TLを見て、どれが誰の発言か混乱してきた

タグ：

posted at 21:38:52

初月葉桜（10887） @Xana_uzzle

20年3月15日

解けないけどこれ以上は明日に大きく響きそうなのでやめ

タグ：

posted at 21:38:38

deu @charmychachacha

20年3月15日

Manga Market、初手はわかったけどこれだとTLEだな

タグ：

posted at 21:28:17

semiexp @semiexp

20年3月15日

すなけ

タグ：

posted at 21:04:15

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

20年3月15日

どの数字がウソとするかによってそれぞれに答えがあるウソワン。
pzv.jp/p.html?usoone/...

ウソワンのルールはこちらを参照ください→www.nikoli.co.jp/ja/puzzles/uso...

タグ：

posted at 21:02:54

初月葉桜（10887） @Xana_uzzle

20年3月15日

スマホでジャイアントサイズはどう考えてもハンデっぽいけどそういうこともある

タグ：

posted at 20:59:00

初月葉桜（10887） @Xana_uzzle

20年3月15日

ホテルロビーにパソコンがあると聞いていたけど見当たらないので早解きスマホ参戦する

タグ：

posted at 20:57:57

SP1 @SP1_winter

20年3月15日

PGPの準備中。やるのはあした。Tower Defenseが闇過ぎる(再掲)。

タグ：

posted at 20:52:22

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

20年3月15日

なるはや仕事ばかり→やみなる由愛に…？

タグ：

posted at 20:45:41

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

20年3月15日

まだごはんを食べるのはきびしそう…？

タグ：

posted at 20:32:59

volxa @volxa

20年3月15日

Ultimate Killer 12 が届いたらしいので、受け取りにいくついでにドラッグストアに寄ってみたら、マスク(小さめ)があったのでGET。耳が痛くて耐えられない未来しか見えない気もするが、Ultimate Killer 12 ありがとう。

タグ：

posted at 20:30:16

にしなんとか @chebunanntoka

20年3月15日

28x13 pzv.jp/p.html?heyawak... 幅7でも行けるやん 外から影響できるの強い pic.twitter.com/nG02FA8dym

タグ：

posted at 20:29:03

utime @utime1204

20年3月15日

謎界隈がパズル界隈と決定的に異なる点に、動画編集力が上げられそう。

タグ：

posted at 20:20:59

にしなんとか @chebunanntoka

20年3月15日

積7638へやわけ 41x8 辺の67in4x40を使って、盤面の長辺をできるだけ小さくしてみた。へやわけは任意の自然数を2xnや1x(2n-1)で入れられるので、大きい数を扱うのに向いている方ではある。pzv.jp/p.html?heyawak... 解説はこのサイト nishiwake.e-contents.biz/hashi-p1 の17in4x10をご覧ください

タグ：

posted at 20:00:54

めるーめるん @melvy_puz

20年3月15日

ABC105 B #める1日1AC

タグ： める1日1AC

posted at 19:46:01

非公開

タグ：

posted at xx:xx:xx

白岡市民(295) @Whitehill9

20年3月15日

【#パズルカレンダー 更新】
・3/27(金)～3/29(日)
　成宮由愛と学ぶ！ヘルゴルフ作問基礎(ふーなんとかさん)

パズルカレンダー：calendar.google.com/calendar/b/1/e...
パズルカレンダーの使い方：citizen-puzzle.hatenablog.com/entry/2019/05/...

タグ：

posted at 19:31:46

めるるん @melvy_mag

20年3月15日

ぐだりすぎてGPどころかゲの時間もなくなってきたぞ，いかん

タグ：

posted at 19:20:17

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

20年3月15日

名前が元に戻りました。

タグ：

posted at 18:58:44

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

20年3月15日

今年フォロワーぐっと増やしたから、パズルの人としてのフォロワさんが一番多いかな？

タグ：

posted at 18:39:23

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

20年3月15日

忘れないうちに改名してこよう。

タグ：

posted at 18:38:07

deu @charmychachacha

20年3月15日

streakが切れてなかったから50時間は寝ていないらしい

タグ：

posted at 18:24:47

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

20年3月15日

ウソワン。
opt-pan.github.io/penpa-edit/?m=...

タグ：

posted at 18:24:11

deu @charmychachacha

20年3月15日

50時間くらい寝た気がする

タグ：

posted at 18:22:20

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

20年3月15日

とてもとてもタイミングを逃してしまった感のあるダブルチョコ。
puzz.link/p?dbchoco/10/5...

ルールはこちらを参照ください→www.nikoli.co.jp/ja/puzzles/dou...

タグ：

posted at 17:56:11

初月葉桜（10887） @Xana_uzzle

20年3月15日

理論値怖い

タグ：

posted at 17:18:08

初月葉桜（10887） @Xana_uzzle

20年3月15日

へやわけ作問、17万だと……？

タグ：

posted at 17:17:53

Tad Komori @pawakun

20年3月15日

積7638パズルでも作るか…

タグ：

posted at 16:41:34

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

20年3月15日

おっとツイッタパズル大会初優勝だったかもしれないぞ。パズル完全に理解したな

タグ：

posted at 16:37:37

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

20年3月15日

最初は美しいのが出来たからこれでいいかななんて考えてた(118098)
pzv.jp/p.html?heyawak...

タグ：

posted at 16:28:41

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

20年3月15日

おっけー滑り込み理論値ゲット＞ＲＴ

タグ：

posted at 16:26:32

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

20年3月15日

こちらも再提出した。新パズルのルール把握が甘くて不覚だった twitter.com/esqn999/status...

タグ：

posted at 14:43:39

パズル大会情報 @puzzle_contest

20年3月15日

[Puzzle] WPF Puzzle GP Round 3 (スイスラウンド，90 分)
3/13 (金) 20:00 ～ 3/17 (火) 8:00
gp.worldpuzzle.org/content/instru...
インストラクション和訳（竹谷さん）
note.com/buyaketa/n/n2c...

タグ：

posted at 14:23:58

非公開

タグ：

posted at xx:xx:xx

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

20年3月15日

最終提出した twitter.com/KNY_nikolist/s...

タグ：

posted at 13:45:13

しもりん@ペンパ(19/8/9) @simorin_puzzle

20年3月15日

PGPわず

タグ：

posted at 11:42:53

volxa @volxa

20年3月15日

ウボァー #PGP

タグ： PGP

posted at 10:57:45

ニチョ謎 @nichonazo

20年3月15日

日曜はなげっぱ！
ウェル問21-8「うちのにーさん」

本日よりおかみカレンダー2020年度版販売開始です！また4月からも可愛いおかみを机に飾ってくださいね。

本日夜からウェル問、ナゾガクEXファイル謎、カレンダー問題2019、おかみカレンダー2020をニチョ謎onBOOTHに登録します。
お楽しみに！ pic.twitter.com/rO1MgCrhbY

タグ：

posted at 10:22:50

ハッソウトビ @dondocdoc

20年3月15日

仕事の現場：パズル作家　西尾徹也さん　旬の言葉盛った、知的暇つぶし - 毎日新聞 mainichi.jp/articles/20200...

タグ：

posted at 08:30:35

にしなんとか @chebunanntoka

20年3月15日

ツイッターパズル大会の気配だけ感じて全然参加できてない

タグ：

posted at 03:04:58

deu @charmychachacha

20年3月15日

Eを時間内に通せる力をつけたい…（数年かかりそう）

タグ：

posted at 02:13:52

deu @charmychachacha

20年3月15日

Eはグラフの最短閉路っぽさを感じたけど、素数単体の扱いがよくわからなかった。そもそも最短閉路をどうやって求めるかもわからない。Fもしばらく考えたけど本質的なところまで到達できず。うーむ

タグ：

posted at 01:39:15

deu @charmychachacha

20年3月15日

Dは、不可能でない場合は3つあれば必ずできるので、2つでできるかどうかを考える

タグ：

posted at 01:37:24

わんど @wand_125

20年3月15日

ハミルトン閉路問題のSAT符号化に関する研究
www.jstage.jst.go.jp/article/pjsai/...

連結性を記述せずに後から小ループを禁止していく手法

タグ：

posted at 00:33:38

初月葉桜（10887） @Xana_uzzle

20年3月15日

面白い誤字のパターンだったので良いのでは（他人事）

タグ：

posted at 00:32:59

初月葉桜（10887） @Xana_uzzle

20年3月15日

作った問題は消えてしまったけど確か面積12くらいの長方形を3つ作ったはず

タグ：

posted at 00:29:31

初月葉桜（10887） @Xana_uzzle

20年3月15日

圏外2分で解けなかった問題は結局出しても誤答だったので影響はなかったかな

タグ：

posted at 00:26:42

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

20年3月15日

ＲＴ素のタイムは4:20。6位～8位のあたりかな

タグ：

posted at 00:26:09

初月葉桜（10887） @Xana_uzzle

20年3月15日

名字を「はづき」って読ませるのが悪い

タグ：

posted at 00:26:00

初月葉桜（10887） @Xana_uzzle

20年3月15日

そして名前が想定外の間違えられ方をしている

タグ：

posted at 00:25:36

初月葉桜（10887） @Xana_uzzle

20年3月15日

まさかの1位、ちょっと想定外

タグ：

posted at 00:25:15

semiexp @semiexp

20年3月15日

制約ソルバーだと「解ける限界まで解く」が簡単にできるのが利点な気がしてる

タグ：

posted at 00:23:49

アイ @tigereye_werewe

20年3月15日

正しく入れてたらトップじゃん(なお1位も同じことを言っているので)

タグ：

posted at 00:21:25

アイ @tigereye_werewe

20年3月15日

1329、27分頃に一旦提出した直後に計算ミスに気付いたが修正方法が分からなかった

タグ：

posted at 00:20:14

semiexp @semiexp

20年3月15日

もしかしたら「複数のループ見つけたらその否定を制約として追加」と本質的に変わらないことしか起きてないのかもしれない

タグ：

posted at 00:18:03

semiexp @semiexp

20年3月15日

CDCL がどういう挙動をするのか想像ができないな

タグ：

posted at 00:14:27

semiexp @semiexp

20年3月15日

実際のパズルだと他の制約の方でかなり枝刈りされると思うけど，線の分断禁は制約ソルバーでは陽に書かないと使ってくれないくらいに思ったほうがよさそう

タグ：

posted at 00:10:11

semiexp @semiexp

20年3月15日

ちょっと試したけどやっぱりループ分断検出はかなり大変っぽくて，真ん中で分断して上下に 1 本ずつ線があるみたいな状態で解を探させたら（スリザーリンク相当で）8x8 でも一向に終わらない

タグ：

posted at 00:08:25

初月葉桜（10887） @Xana_uzzle

20年3月15日

シャカシャカコン3-2、実際には提出できなかったけど求めた答えは1を出し忘れてた（いったんは認識していたはずなのに）

タグ：

posted at 00:06:32

semiexp @semiexp

20年3月15日

直感的にはかなり大変な気がする

タグ：

posted at 00:04:06

semiexp @semiexp

20年3月15日

線の大域的な分断がどれくらい制約ソルバーにとって大変なのかよくわかってないけど

タグ：

posted at 00:02:06

SP1 @SP1_winter

20年3月15日

@semiexp ああ確かに。内側連結とか付け加えたいけど、SATくん連結性苦手だったな...

タグ：

posted at 00:01:52

semiexp @semiexp

20年3月15日

@SP1_winter 今回の問題の場合，奇数本だめもあるけど 0 本だめもバリバリ使ったので，制約ソルバーだとちょっと大変かもしれない

タグ：

posted at 00:00:18