枝豆(@ek_bm)/2022年04月05日

明日は SAT に基づくダブルチョコソルバー実装しようかな

タグ：

posted at 23:05:19

@wand_125 ・定番パズルの知識、その運用
・出題がまれなパズルの知識、運用
・初見パズルの対応力(手筋発見と運用)
と5分野に分けたとき、「競技練習」が定番パズルの運用練習に偏ってるのかもしれないなって思いました

タグ：

posted at 23:01:04

ja.wikipedia.org/?curid=2023014 黄金進法はぱっと見不規則。π進法は整数がほぼ全て無限小数になるので振り切れてるし、nのm乗根進数の"規則的になってしまう"感が際立つ

タグ：

posted at 22:59:20

わんど @wand_125

@puzzlerfff にょろっぴぃさんが強いのも気になる。
地力がある程度あるとハードな競技向け練習を避けてもパズルに触れている限りはあまり落ちない、
さらにfffさんの場合はそのまま別能力（？）が伸びた感じ、とかなんですかね。

タグ：

posted at 22:55:30

twitter.com/wand_125/statu...
これを読んでの話です

タグ：

posted at 22:53:21

仮数を0,1とすると、単純にa+√2bのaとbの二進表記を交互に並べたものになるだけっぽく見える→√2進法 twitter.com/potetoichiro/s...

タグ：

posted at 22:51:23

どれくらい競技練習から離れているかの参考：
「自分が使ってたcaveの解答の記入の仕方って何だっけ」ってコンテスト中になる程度には競技練習から離れてます

タグ：

posted at 22:49:47

公開されている範囲だとInstructionless Gridをつくったり16重スリザーリンクを作ったりと、ここ2年今まで(=競技パズルの練習)とは全く違う側面からパズルに向かい合ってるのが要因なのだろうか、と思いつつコントロールもないので比較しようがないんですよね...

タグ：

posted at 22:49:47

わんどさんのnote読んだ
競技パズルに関して、ここ2年ほど競技パズルを意図した対策をほとんどしなくなったのに自分のPGPの順位が明らかに上がっているという感覚があって、何が要因で成績が良くなってるのか正直分からないので「競技向けのスキル」以外に要素があるんじゃないかと思い始めてます

タグ：

posted at 22:49:47

volxa @volxa

Daily Quordle 71
5️⃣8️⃣
9️⃣6️⃣
quordle.com

タグ：

posted at 22:24:02

volxa @volxa

Kotobade Asobou 言葉で遊ぼう 72 5/12?
taximanli.github.io/kotobade-asobou
↔️⬜⬜⬜
🟩⬜↔️⬜
🟩⬜↔️⬜
🟩↔️↔️⬜
🟩🟩🟩🟩

タグ：

posted at 22:11:40

volxa @volxa

Wordle 290 6/6

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

タグ：

posted at 22:11:28

わんど @wand_125

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

制作者メタの話、あるいは謎解きの体系化について｜わんど @wand_125 #note #わんど100 note.com/langue_de_chat...

無策師さんの参加記に触発されて書きました。

タグ： note わんど100

posted at 21:45:01

ドラフト、もう３日後かあ。たのしみ。

タグ：

posted at 21:13:43

semiexp.net/games/cspuz-so...
cspuz-solver2 を公開しました。以前の cspuz-solver と機能的は同等ですが、（特にへやわけを）かなり高速に解くことができるようになりました。今後も対応パズルや機能を追加していきます

タグ：

posted at 20:15:48

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

見た目綺麗だから導線無い系やろと思って投げ捨てたのが運の尽きだった。思ったより導線あるし良くこんなの組めるな…と思う

タグ：

posted at 19:31:01

であいもんの新刊買った。アニメ、どんな感じになるかなあ。

タグ：

posted at 19:22:50

今回の PGP は誤答を除けばわりと調子良かった気がするけど、ここからさらに点上げるのは地力が足りなすぎる気がするなあ

タグ：

posted at 18:36:41

誤答の分でscrabbleのみ残し勢に抜かれてるのちょっと痛いかもしれない

タグ：

posted at 18:31:24

アイ @tigereye_werewe

Scrabbleはここまで取っ掛かりがないと最初に疑うやつなのでそこは問題なかったがそこからをモタつかせてしまった気はちょっとする

タグ：

posted at 18:21:01

それはそうと、PGP R3のscrabbleめちゃくちゃ良い問題だった。すごく好き

タグ：

posted at 17:57:37

PGP2誤答、1問10秒間に合わずで計60点分くらいのロスが痛いな...とはいえ700確保出来たので合格点
800overぞろぞろいるのを覚悟してたので思ったより耐え
現時点での総合10位浮上も自己ベストレベルなのでいいね
R1の511を消せるペースで来てるのでこのまま行きたい

タグ：

posted at 17:45:52

アイ @tigereye_werewe

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

まだ消しとかがないこの時点でプレーオフボーダーが平均700点なのレベル高ない？

タグ：

posted at 17:43:58

#PGP Round3 Serbia 4/1-4
gp.worldpuzzle.org/content/puzzle...
86位
３誤答。反省した。 pic.twitter.com/jQkP9bAM4j

タグ： PGP

posted at 17:17:30

アイ @tigereye_werewe

PGP: Sudoku以外をだいたい取るというインスト見たときの目標は達成できたのでいいんじゃないでしょうか。というかかなりいい。高配点帯も仮定したスリリン以外はだいたい理詰めが見やすかったのでよかった。Suguruは結構課題で、いつもあまりにできないんで査定おかしいんじゃないかと思うレベル…。

タグ：

posted at 17:09:43

本番で解いた中では天体ショーが一番きつくて、15分かかりました（2回全消し）

タグ：

posted at 17:08:17

Scrabble 残しでした。本番では 5 分くらい考えて手がかりが見えなかったのですが、家に帰ってから考えたら強い制約が見えました。もっとも、それが見えても時間効率が良いかはわかりませんが…

タグ：

posted at 17:01:51

暫定結果出てますね
gp.worldpuzzle.org/content/prelim...

タグ：

posted at 17:00:15

朝から色んな感情のときにパズルについての同じ問いを計20回くらい立てて全部同じ答えに至ってるので、おそらくこの問いに対する自分の思想は感情によらず不変だし基礎として信用していいんだなってなった

タグ：

posted at 15:40:32

utime @utime1204

こういうことか pic.twitter.com/f3elufD8YA

タグ：

posted at 13:35:38

GP時間が足りなかった。問題選択が適切だったか自信がない。シャカシャカのアンサーキーが一番疲れました。

タグ：

posted at 12:07:23

この場合は解の値を SAT ソルバーから取ってくるんじゃなくて全部内部に explicit に持っておけばよさそう

タグ：

posted at 12:01:47

collect() できないものは Iterator にできない、みたいな判別法がいくつか書いてある記事がどこかにあった気がするけど、どれだっけ…

タグ：

posted at 11:57:15

具体的になにやっているかというと CSP の解を列挙する Iterator を作りたいんですが、現状解が内部で使っている SAT ソルバーへの参照を持っていて、列挙する過程で SAT ソルバーを書き換える必要があるので、collect したら大変なことが起きるのは目に見えている

タグ：

posted at 11:56:43

あー、このシグネチャだと collect() できないから Iterator にするのは無理なんだ

タグ：

posted at 11:52:07

& 参照は Copy だけど &mut はそうではないので &mut 参照経由で呼び出したときにライフタイム制約が増えるのはそれはそうなんだけど…

タグ：

posted at 11:41:04

play.rust-lang.org/?version=stabl...

タグ：

posted at 11:36:39

Iterator のシグネチャだと Self のライフタイムが混ざっているものが返せない…

タグ：

posted at 11:25:28

このフィールドが &'a なら多分問題ないんだけど &'a mut なせいで Self のライフタイムと 'a 両方に制約されて変なことになってる？

タグ：

posted at 11:22:19

&mut 参照のフィールドを持った Iterator があって、next ではその参照に対して操作をした結果を返したいんだけど、これがどうしてもライフタイム制約を満たせない

タグ：

posted at 11:20:03

とりあえずそのようなことはできなさそうということがわかった

タグ：

posted at 10:57:16

impl<'a> Iterator for Foo where Self: 'a って書いたら怒られた…

タグ：

posted at 10:52:38

すぬけ @snuke_puzzle

PGPやるタイミングなかったな

タグ：

posted at 08:34:23

PGPのサイトログインするとエラーがでる？端末の問題？

タグ：

posted at 08:03:31

solution passが一直線のペンパに慣れてしまってヤバイ

タグ：

posted at 07:16:11

LMIった。数独が下手（おわり）

タグ：

posted at 06:35:05

Tad Komori @pawakun

Wordle 289 5/6*

⬛⬛⬛⬛⬛
⬛⬛⬛🟨⬛
⬛🟨🟨⬛⬛
🟩🟨🟩⬛⬛
🟩🟩🟩🟩🟩

？

タグ：

posted at 05:04:29

最高配点やんけ！アー

タグ：

posted at 04:33:34

PGP 21秒間に合わず1問落とした　かなしい

タグ：

posted at 04:31:44

めるるん @melvy_mag

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

Wordle 290 4/6

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

タグ：

posted at 02:38:07

うう、週間天気予報に予想最高気温20℃越えの日が並んでる。

タグ：

posted at 00:42:19