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

枝豆

@ek_bm

  • いいね数 318,604/239,302
  • フォロー 428 フォロワー 553 ツイート 5,744
  • 現在地
並び順 : 新→古 | 古→新

2020年05月04日(月)

初月葉桜(10887) @Xana_uzzle

20年5月4日

なるほどかわいい(?) pic.twitter.com/EaRPKr6lfh

タグ:

posted at 00:25:17

初月葉桜(10887) @Xana_uzzle

20年5月4日

黒マスの擬人化が求められ……ない

タグ:

posted at 00:27:03

初月葉桜(10887) @Xana_uzzle

20年5月4日

Day8怖っ(時間まで未定だ)

タグ:

posted at 00:32:58

めるーめるん @melvy_puz

20年5月4日

なんか日数増えてない??

タグ:

posted at 00:36:04

めるーめるん @melvy_puz

20年5月4日

プッテリアってなんだっけ.そもそも既に休み明けてる日程だし参加できるかなあ.土日は闇が生えるかもしれぬし

タグ:

posted at 00:40:02

SP1 @SP1_winter

20年5月4日

utimeの激ヤバハバネロモンスターが出て、怪物に挑んだ勇者たちを殲滅してほしい

タグ:

posted at 00:41:26

SP1 @SP1_winter

20年5月4日

パズルボスラッシュに挑む方、ぜひこれを完全クリアして、ボス討伐の練習にしてほしいです #パズルボスラッシュ
note.com/utime/n/n9112b...

タグ: パズルボスラッシュ

posted at 00:43:33

めるーめるん @melvy_puz

20年5月4日

これ全部参加する前提なのどうなの

タグ:

posted at 00:44:32

Tad Komori @pawakun

20年5月4日

@puzzle_pencil @tigereye_werewe ギルドに入ろうチームではなく?

タグ:

posted at 00:45:00

アイ @tigereye_werewe

20年5月4日

@puzzle_pencil @pawakun そもそも制作サイドもいるわけで、あっても希望者ですかね。僕自身はそこまでの流れ次第では団体戦もありかなと思ってます(仮にパズリンクURLがあればネットワークプレイはだいぶやりたい)

タグ:

posted at 00:46:01

Tad Komori @pawakun

20年5月4日

参考までに参加した条件です

タグ:

posted at 00:48:21

SP1 @SP1_winter

20年5月4日

これ、誰も解けないわけではないし、現に2人正解してるし、協力前提だとギリ範疇なのではという気がしてる(ひどい)

タグ:

posted at 00:50:08

SP1 @SP1_winter

20年5月4日

僕はこれ大好きなので、ガンガン宣伝していくぞ

タグ:

posted at 00:51:48

semiexp @semiexp

20年5月4日

Sugar、xor を変換するときに式を複製するせいで、logical operator だけの expr ですら線形オーダーの SAT にならないことがあるっぽい

タグ:

posted at 00:53:20

SP1 @SP1_winter

20年5月4日

#パズルボスラッシュ , パズル勢以外がどれくらい参加するか気になる。謎解きギルドとかにもガンガン参加してもらいたい。

タグ: パズルボスラッシュ

posted at 00:53:54

白岡市民(295) @Whitehill9

20年5月4日

【#パズルカレンダー 更新】
・5/4(月)20:30~
 ジャイアント7638討伐作戦 ~四角に切れ編~(主催:ふーなんとかさん(@ fuwa_lica_chan)さん)

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

タグ:

posted at 00:55:35

アイ @tigereye_werewe

20年5月4日

プッテリアって初めて聞いたけどオモパなんだ

タグ:

posted at 00:56:18

アイ @tigereye_werewe

20年5月4日

Fusionなんたらも知らないけどオモパに似た名前のがある?ニコリに詳しい人達のチョイスなので楽しみだ

タグ:

posted at 00:59:23

エクトぷらずま @Ecto__PLASMA

20年5月4日

ボスラッシュはWPC'19で19位の人と51位の人と出る予定です

タグ:

posted at 01:05:52

初月葉桜(10887) @Xana_uzzle

20年5月4日

順位表見返したけど多国籍チームじゃん(強そう)>RT

タグ:

posted at 01:07:57

めるーめるん @melvy_puz

20年5月4日

誰も解けなくはないけど世界基準ということがありえる…? 複数人可だもんな

タグ:

posted at 01:10:26

めるーめるん @melvy_puz

20年5月4日

しかし謎と違ってパズルは人数増やしても難問が解けるようにはなりにくくないか

タグ:

posted at 01:12:03

初月葉桜(10887) @Xana_uzzle

20年5月4日

2時間ほどノートの前で色々作ろうとしたけどパズルの案が降ってこない

タグ:

posted at 01:14:13

初月葉桜(10887) @Xana_uzzle

20年5月4日

どっちかというと「実装力がない」と言うべきか

タグ:

posted at 01:14:41

semiexp @semiexp

20年5月4日

Converter: 与えられた CSP をより制限された形に変換する。変換後は Literal の選言からなる Clause たちになるが、ここではまだ Literal は x や !x 以外にも a <= b + 2*c みたいなのも許される

タグ:

posted at 01:17:58

semiexp @semiexp

20年5月4日

Simplifier: (x <= 5) || (y + z <= 2) みたいなのを一気に処理するのは大変なので、補助変数を挟んで難しい Literal が何個も現れないようにしている

タグ:

posted at 01:19:47

Tad Komori @pawakun

20年5月4日

@melvy_puz それがそうでもなさそうというのを同好会の会合で見出したんですよね

タグ:

posted at 01:20:11

semiexp @semiexp

20年5月4日

あ、この間に propagate() があって、これは変数の取りうる範囲の制約をかけている

タグ:

posted at 01:20:46

めるーめるん @melvy_puz

20年5月4日

@pawakun そうなのか!? そりゃ世界基準の人たちが適切に分担すれば(WPCチーム戦みたいに)速くなるけど,そういう訓練を積んでない人を1問に集めてもいまいちなのかなって思ってたんですよね

タグ:

posted at 01:22:13

semiexp @semiexp

20年5月4日

Encoder: order encoding で clause たちを SAT に変換

タグ:

posted at 01:23:42

めるーめるん @melvy_puz

20年5月4日

14とかバリバリ平日なのでへんな時間に生えられてもな

タグ:

posted at 01:26:54

semiexp @semiexp

20年5月4日

order encoder の前まではそんなに clause が大きくなることはなさそうなんだけど(xor を大量に重ねた場合は除く)Sugar の実行にそれなりに時間かかってるようなんだよな

タグ:

posted at 01:31:16

semiexp @semiexp

20年5月4日

SAT ソルバーまで全部まとめられると、別解判定のために incremental に解くのがかなり効率よくなるので、高速化が期待できそう

タグ:

posted at 01:32:46

semiexp @semiexp

20年5月4日

FFI 書けば Python から直接に呼び出せるようにもできるはずで、そうするとプロセス呼び出しにまつわる闇が解消されるはず

タグ:

posted at 01:37:33

SP1 @SP1_winter

20年5月4日

incrementalに解くのはかなり求められてるような。

タグ:

posted at 01:44:26

SP1 @SP1_winter

20年5月4日

てか、もはや論文書けるレベルの話なような。。。

タグ:

posted at 01:45:35

SP1 @SP1_winter

20年5月4日

パズラー視点で言うと、SATソルバーは超強力全検マンという感じ。簡単に決まる場所は逃さない印象で、人間の感覚ともそれなりに合ってる気がしてる。大域手筋の履行だけが課題。

タグ:

posted at 01:49:58

semiexp @semiexp

20年5月4日

SAT ソルバー、原理的にはなにも見逃しはしないんだけど、大域手筋が絡むと(人間にはすぐ確定できるとしても)異常に時間がかかりうるのが問題

タグ:

posted at 01:52:44

SP1 @SP1_winter

20年5月4日

まあ制約の式から大域手筋を簡単に見出されても困るっちゃ困るけど...

タグ:

posted at 01:55:11

SP1 @SP1_winter

20年5月4日

確か「単一ループにより閉所に2本以上線が入る」とかSATソルバーが苦手なんだっけ。こういうのどうするんだろ。

タグ:

posted at 01:57:57

semiexp @semiexp

20年5月4日

連結性、まじめに取り扱うのどれくらい意味があるんだろ、incremental ソルバーが書けるなら「連結性を破ったものは後出しで禁止する」が可能になってくる

タグ:

posted at 01:58:56

SP1 @SP1_winter

20年5月4日

SATソルバーを自分でも扱えるようになってから、自分の中で試行錯誤問の価値が一気に下がった。目的地にわざわざ走ってかんでも、タクシー使えばええやん、みたいな。

タグ:

posted at 02:00:17

SP1 @SP1_winter

20年5月4日

(もともと低かったのはそうだけど)

タグ:

posted at 02:00:50

SP1 @SP1_winter

20年5月4日

人間だと似た議論で詰むのを回避できるわけで、SATソルバーだとそれは制約式の途中追加だろうけど、それができれば大域手筋系問題での性能の飛躍的な向上がありうるかも。

タグ:

posted at 02:03:18

semiexp @semiexp

20年5月4日

ただ、それだとループ制約とかを CSP に落とし込む必要はなくなるけど、大域的にやばい状態が発生した瞬間蹴るみたいなことはできない

タグ:

posted at 02:03:34

semiexp @semiexp

20年5月4日

ループを分断させてるカットを自動で検出して弾くみたいなことができればいいんだけど

タグ:

posted at 02:05:32

Tad Komori @pawakun

20年5月4日

@SP1_winter タクシー1日半で目的地にたどり着かないやつです
puzsq.sakura.ne.jp/main/puzzle_pl...

タグ:

posted at 02:05:42

semiexp @semiexp

20年5月4日

MiniSAT に手を入れるのとどっちが楽なんだ?

タグ:

posted at 02:07:35

ぽっつ @pots_orange

20年5月4日

@puzzle_pencil ありがとうございます(誉められ慣れてないので死にそう

タグ:

posted at 02:08:59

semiexp @semiexp

20年5月4日

とにかく Sugar を C++ に移植するべきな気がしてきたな

タグ:

posted at 02:13:06

SP1 @SP1_winter

20年5月4日

@pawakun これも、理論研究がすすみ適切に条件付与すれば10分かからず解けるような気がしている...ボトルネックが105C42なのは明確だし

タグ:

posted at 02:19:50

Tad Komori @pawakun

20年5月4日

@SP1_winter この部屋単体じゃ唯一じゃないですからね、一応

タグ:

posted at 02:22:01

SP1 @SP1_winter

20年5月4日

@pawakun ところで、これ正確な唯一解検証はされている?

タグ:

posted at 02:23:39

わんど @wand_125

20年5月4日

@pawakun @SP1_winter へやわけDPで列挙した解を組み合せて残りを埋めるのが最速っぽい……?

タグ:

posted at 02:25:47

SP1 @SP1_winter

20年5月4日

@pawakun すげー、どうやりました?

タグ:

posted at 02:34:44

Tad Komori @pawakun

20年5月4日

@SP1_winter 部屋を切り出して唯一になるやつをくっつけた

タグ:

posted at 02:37:20

Tad Komori @pawakun

20年5月4日

@SP1_winter まず42をめちゃめちゃわかりやすい形に固定するように周りを配置して唯一である33とくっつけて調整

タグ:

posted at 02:39:40

SP1 @SP1_winter

20年5月4日

@pawakun へーそんな流れでできるのか。細かい議論が分かってないけど、42も33も唯一性が非自明っぽく見える...

タグ:

posted at 02:46:22

Tad Komori @pawakun

20年5月4日

@SP1_winter 33は5×4に9が入る系列だよ
42はヤバい

タグ:

posted at 02:48:15

SP1 @SP1_winter

20年5月4日

@pawakun 33ですら怪しい、もしかして何もなしで2解?42は絶対にヤバそう。

タグ:

posted at 02:53:13

SP1 @SP1_winter

20年5月4日

@pawakun 33が2解なのを確認した、なるほど...

タグ:

posted at 03:05:38

にしなんとか @chebunanntoka

20年5月4日

nishiwake.e-contents.biz/kado-p3 これで幅5も完全解決で良いかなあ

タグ:

posted at 03:12:14

にしなんとか @chebunanntoka

20年5月4日

置き場by nishinanntoka を作ってから丸9年か~長かった

タグ:

posted at 03:18:26

SP1 @SP1_winter

20年5月4日

MX値ver2で見てどうしてもロスが出る、という方針でできるのね。厳密に書くのはだるそうだけど、あってそうには見える。お疲れ様です!

タグ:

posted at 03:21:48

SP1 @SP1_winter

20年5月4日

実用上必要な部分はすべて終わったっぽい。上下壁・三方壁・四方壁は実用的ではないし。ただこれらも倒しきったら本当に終わりですね。

タグ:

posted at 03:25:02

SP1 @SP1_winter

20年5月4日

解の個数・パターン列挙までいくとその限りではないので、まだまだ楽しめそうではあるが

タグ:

posted at 03:27:23

にしなんとか @chebunanntoka

20年5月4日

「良問に触れて慣れると、解くスピードがどんどん上がって楽しい」「最小限のヒントやルールが最大限に発揮された結果、特定の手筋を作動させたり問題を唯一解にしたりするのは美しい」というのを踏まえて、何を作っていつ機械や頭を使うか考えてる

タグ:

posted at 04:18:22

非公開

タグ:

posted at xx:xx:xx

あかしょう @akasyou

20年5月4日

パズルにはおおざっぱに2種類あって、
「くっくっく、貴様に俺のパズルが解けるかな?」
というのと
「ようこそ! 楽しんでいってね!!」
というのがあり、商業誌などニーズが多いのは後者の方です。

タグ:

posted at 09:09:12

非公開

タグ:

posted at xx:xx:xx

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

20年5月4日

うおああおおー!パズルボスラッシュの詳細きてるーー!

このメンバーが本気出したら多分エグいぞ…! twitter.com/nyoroppyi/stat...

タグ:

posted at 10:10:36

semiexp @semiexp

20年5月4日

GCJ Round 2、パズルオープンの日の夜か

タグ:

posted at 11:51:40

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

20年5月4日

パズル ジャパンオープン:2020/05/16
パズルジャパン オープン:2002/12/24

タグ:

posted at 13:07:51

Tad Komori @pawakun

20年5月4日

ぬりかべを担当してます
ぼくらしさが詰まった問題だと思うので存分に味わってください
ゆずは酸っぱいですが辛くはありません(?) twitter.com/nyoroppyi/stat...

タグ:

posted at 13:47:49

Tad Komori @pawakun

20年5月4日

@madeleine700_ それ胡椒のせいやで

タグ:

posted at 14:35:06

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

20年5月4日

昼間のお知らせ。自分も5日目に出題させていただきます。よろしくお願いします。 twitter.com/nyoroppyi/stat...

タグ:

posted at 15:28:54

初月葉桜(10887) @Xana_uzzle

20年5月4日

いつの間にシンメトリーエリアpuzzlink入りしたのか、闇が生えそう

タグ:

posted at 16:46:57

初月葉桜(10887) @Xana_uzzle

20年5月4日

@76fupuzzle タイトル・ルール文の使用及びそのルールでの問題作成は大丈夫という返信が来ました!

タグ:

posted at 16:53:18

初月葉桜(10887) @Xana_uzzle

20年5月4日

だいたいどの号のトケタにも闇になりうるパズルが存在しているイメージがある

タグ:

posted at 16:53:52

にしなんとか @chebunanntoka

20年5月4日

YouTubeアカウントのアクティベートが終わらん 24時間程度って具体的にいつまでなんだ

タグ:

posted at 17:02:13

semiexp @semiexp

20年5月4日

clause の propagate がなんで common variable にしか適用できないのかと思っていたが、よく考えたらそれはそうで、変数 x の現れない literal を真にする場合は x に対して何も制約できない

タグ:

posted at 17:38:55

SP1 @SP1_winter

20年5月4日

SATおよびCSPの記述スライドをもう一度読んだ。インクリメンタルSATの例としてハミルトン閉路問題の速度改善が挙げられていたが、もうそれシンプルループやんってなった

タグ:

posted at 17:42:47

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

Tad Komori @pawakun

20年5月4日

数多の怪物に挑みし勇者たちに告ぐ。
更なる調査の結果、怪物たちの攻略に有効と思われる道具を見出した。
1つ目はpuzz.linkのネットワークプレイ機能だ。図のように操作し、得られたURLを共有すると離れた場所にいても同じ盤面を同時に攻略することが可能となる。 #パズルボスラッシュ pic.twitter.com/8zISvBPRcM

タグ: パズルボスラッシュ

posted at 18:54:08

Tad Komori @pawakun

20年5月4日

2つ目はインターネットの海に数多あるオンラインホワイトボードの存在だ。
puzz.linkでは攻略のできない怪物が出現した際に、同じ盤面をリアルタイムで編集できる道具だ。
pdf取り込みに有料版の無料体験が利用できることがあるので、慣れておいて損はないだろう。 #パズルボスラッシュ

タグ: パズルボスラッシュ

posted at 18:54:09

Tad Komori @pawakun

20年5月4日

これらの道具はいずれもチームで参戦する場合重要になってくるので、特に1つ目は今から使って慣れておくと怪物の討伐に大いに役立つであろう。
諸君の健闘を祈る。 #パズルボスラッシュ

タグ: パズルボスラッシュ

posted at 18:54:09

非公開

タグ:

posted at xx:xx:xx

Tad Komori @pawakun

20年5月4日

主催には頭が上がりませんね

タグ:

posted at 19:54:03

非公開

タグ:

posted at xx:xx:xx

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

20年5月4日

触ってますが、腹あり(白丸あり)に慣れてないんでむずいですね

タグ:

posted at 20:20:38

非公開

タグ:

posted at xx:xx:xx

SP1 @SP1_winter

20年5月4日

四角に切れやるぞやるぞ。

タグ:

posted at 20:27:50

SP1 @SP1_winter

20年5月4日

触る場所の宣言とかしとくといいんすかね?主に左下触ってみるか。

タグ:

posted at 20:28:45

SP1 @SP1_winter

20年5月4日

でかい盤面なんで、でかい数がありそう(76とか38とか)。そこから決まるのかな。

タグ:

posted at 20:29:23

SP1 @SP1_winter

20年5月4日

解答消去すな

タグ:

posted at 20:33:04

初月葉桜(10887) @Xana_uzzle

20年5月4日

終わった、はええ

タグ:

posted at 20:35:16

初月葉桜(10887) @Xana_uzzle

20年5月4日

全消しはともかく早かった

タグ:

posted at 20:35:43

SP1 @SP1_winter

20年5月4日

ミスの修正だるそうだったけど、めちゃくちゃ人数多いとあんま関係ないということがわかった

タグ:

posted at 20:35:44

SP1 @SP1_winter

20年5月4日

全消し後2分くらいだったような

タグ:

posted at 20:36:28

初月葉桜(10887) @Xana_uzzle

20年5月4日

結構みんな引きにいって後から直してる印象を受けた

タグ:

posted at 20:36:46

Tad Komori @pawakun

20年5月4日

いやはや、チームで挑むとこうも早く討伐できるものなんですねぇ
素晴らしい

タグ:

posted at 20:41:01

にしなんとか @chebunanntoka

20年5月4日

まず自分のyoutubeアカウントのセキュリティ駄々洩れ感を解決します

タグ:

posted at 20:43:15

けえしい @kc_puz7

20年5月4日

#パズラバ 封筒開封した瞬間超笑った!!この背表紙のおかげで、パズラーっぽさが格段にアップしている(笑)。中身も眺めているだけでもワクワクします。星7は無いけど、覆面サムクロスとかいい意味でヤバそう……。 pic.twitter.com/VSyCwIfOdz

タグ: パズラバ

posted at 20:45:45

SP1 @SP1_winter

20年5月4日

不特定多数とco-playするのは信頼度の面で微妙っぽい。知り合いとやるのが吉かな。

タグ:

posted at 20:47:23

にしなんとか @chebunanntoka

20年5月4日

めんどすぎん?再生リストと登録チャンネルいちいち全部非公開にするわけ?

タグ:

posted at 20:48:43

にしなんとか @chebunanntoka

20年5月4日

できたわ

タグ:

posted at 20:49:52

volxa @volxa

20年5月4日

チーム戦忘れてた・・・誰もいなくなったらソロで解いてみるかな。

タグ:

posted at 20:52:52

Tad Komori @pawakun

20年5月4日

@puzzle_pencil エクト氏を通じて聞いてみたけどわからんって言われた

タグ:

posted at 20:58:33

非公開

タグ:

posted at xx:xx:xx

volxa @volxa

20年5月4日

ふむ

タグ:

posted at 22:08:36

semiexp @semiexp

20年5月4日

Sugar C++ に移植し始めたけど、C++ である程度の規模のもの書くの久しぶりすぎてメモリ管理の地点で頭痛くなってきた

タグ:

posted at 22:36:02

semiexp @semiexp

20年5月4日

もうだいたい全部 shared_ptr にしてやれという気持ちになってきた

タグ:

posted at 22:47:00

semiexp @semiexp

20年5月4日

string name いらんやろ…と思っていたが auxiliary variable も好き勝手導入するので incremental にやろうとした段階で大混乱が発生することが予想されるな

タグ:

posted at 23:34:17

白岡市民(295) @Whitehill9

20年5月4日

筋トレファンの33合体ナンプレ終わり、疲れた~

タグ:

posted at 23:38:47

白岡市民(295) @Whitehill9

20年5月4日

明日は対角線交じり30合体ナンプレじゃ

タグ:

posted at 23:39:08

初月葉桜(10887) @Xana_uzzle

20年5月4日

楽しそうだ>RT

タグ:

posted at 23:41:10

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

User

» More...

Tag

» More...

Recent

Archive

» More...

タグの編集

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

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

送信中

送信に失敗しました

タグを編集しました