枝豆
- いいね数 318,604/239,302
- フォロー 428 フォロワー 553 ツイート 5,744
- 現在地 畑
2022年04月05日(火)
&mut 参照のフィールドを持った Iterator があって、next ではその参照に対して操作をした結果を返したいんだけど、これがどうしてもライフタイム制約を満たせない
タグ：
posted at 11:20:03
具体的になにやっているかというと CSP の解を列挙する Iterator を作りたいんですが、現状解が内部で使っている SAT ソルバーへの参照を持っていて、列挙する過程で SAT ソルバーを書き換える必要があるので、collect したら大変なことが起きるのは目に見えている
タグ：
posted at 11:56:43
朝から色んな感情のときにパズルについての同じ問いを計20回くらい立てて全部同じ答えに至ってるので、おそらくこの問いに対する自分の思想は感情によらず不変だし基礎として信用していいんだなってなった
タグ：
posted at 15:40:32
Scrabble 残しでした。本番では 5 分くらい考えて手がかりが見えなかったのですが、家に帰ってから考えたら強い制約が見えました。もっとも、それが見えても時間効率が良いかはわかりませんが…
タグ：
posted at 17:01:51
PGP: Sudoku以外をだいたい取るというインスト見たときの目標は達成できたのでいいんじゃないでしょうか。というかかなりいい。高配点帯も仮定したスリリン以外はだいたい理詰めが見やすかったのでよかった。Suguruは結構課題で、いつもあまりにできないんで査定おかしいんじゃないかと思うレベル…。
タグ：
posted at 17:09:43
#PGP Round3 Serbia 4/1-4
gp.worldpuzzle.org/content/puzzle...
86位
３誤答。反省した。 pic.twitter.com/jQkP9bAM4j
タグ： PGP
posted at 17:17:30
PGP2誤答、1問10秒間に合わずで計60点分くらいのロスが痛いな...とはいえ700確保出来たので合格点
800overぞろぞろいるのを覚悟してたので思ったより耐え
現時点での総合10位浮上も自己ベストレベルなのでいいね
R1の511を消せるペースで来てるのでこのまま行きたい
タグ：
posted at 17:45:52
semiexp.net/games/cspuz-so...
cspuz-solver2 を公開しました。以前の cspuz-solver と機能的は同等ですが、（特にへやわけを）かなり高速に解くことができるようになりました。今後も対応パズルや機能を追加していきます
タグ：
posted at 20:15:48
制作者メタの話、あるいは謎解きの体系化について｜わんど @wand_125 #note #わんど100 note.com/langue_de_chat...
無策師さんの参加記に触発されて書きました。
posted at 21:45:01
Kotobade Asobou 言葉で遊ぼう 72 5/12?
taximanli.github.io/kotobade-asobou
↔️⬜⬜⬜
🟩⬜↔️⬜
🟩⬜↔️⬜
🟩↔️↔️⬜
🟩🟩🟩🟩
タグ：
posted at 22:11:40
わんどさんのnote読んだ
競技パズルに関して、ここ2年ほど競技パズルを意図した対策をほとんどしなくなったのに自分のPGPの順位が明らかに上がっているという感覚があって、何が要因で成績が良くなってるのか正直分からないので「競技向けのスキル」以外に要素があるんじゃないかと思い始めてます
タグ：
posted at 22:49:47
公開されている範囲だとInstructionless Gridをつくったり16重スリザーリンクを作ったりと、ここ2年今まで(=競技パズルの練習)とは全く違う側面からパズルに向かい合ってるのが要因なのだろうか、と思いつつコントロールもないので比較しようがないんですよね...
タグ：
posted at 22:49:47
仮数を0,1とすると、単純にa+√2bのaとbの二進表記を交互に並べたものになるだけっぽく見える→√2進法 twitter.com/potetoichiro/s...
タグ：
posted at 22:51:23
@puzzlerfff にょろっぴぃさんが強いのも気になる。
地力がある程度あるとハードな競技向け練習を避けてもパズルに触れている限りはあまり落ちない、
さらにfffさんの場合はそのまま別能力（？）が伸びた感じ、とかなんですかね。
タグ：
posted at 22:55:30
ja.wikipedia.org/?curid=2023014 黄金進法はぱっと見不規則。π進法は整数がほぼ全て無限小数になるので振り切れてるし、nのm乗根進数の"規則的になってしまう"感が際立つ
タグ：
posted at 22:59:20
GM Puzzle埋め→定番力
海外勢ブログ埋め→非定番力より
LMD埋め→非定番より
パズル大会埋め→正直定番より
ニコリ埋め→定番力
って分析してJPN A代表ボーダー名を連ねてる人はLMDや海外ブログ埋めてることに気づいた
(自分が把握してるのは枝豆さんdeuさんpanistaさんエクトくんあたり)
タグ：
posted at 23:13:40
まさにこれでペンパ手筋の体系化を目指しているところある。ニコリ定食を深掘りするのはメリットもデメリットも激しいのでGP頻出を広く浅くまとめる方が良いのかも。
タグ：
posted at 23:23:31
