枝豆
- いいね数 318,604/239,302
- フォロー 428 フォロワー 553 ツイート 5,744
- 現在地 畑
2019年11月24日(日)
一晩寝かせて改めて見たけど、ゲスト枠に入れてもらって見に行きたいだけ（招致自体には一切関係なし）、を「世界大会日本招致を夢見て、ゲスト枠で行く」って書いちゃうの、装飾過多だと思いますよ
タグ：
posted at 23:59:05
山登り法だとヒント数が少なくなりがち（多分強いヒント連打でゴリ押しがち）で，やっぱり強い制約には弱いらしく，簡単に黒マスが決まる問題を禁止するとまったく作れなくなる（焼きなまし法なら普通に作れる）
タグ：
posted at 23:52:51
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
zundamochi_1117さんのAtCoder Beginner Contest 146での成績：206位
パフォーマンス：2030相当
レーティング：1937→1947 (+10) :)
#AtCoder atcoder.jp/users/zundamoc...
タグ： AtCoder
posted at 22:58:16
C 桁数Dを決定したあと (X-B*D)/A だと次の桁数に行ってしまう可能性を見落として1WA
D dfsを書くのにまだ慣れない
E zero-sum rangesの強化版．各項から1を引いて累積和をKで割った余りで分類．K項以上になってはいけないので各余りについて尺取りorにぶたんで頑張る
F ゴールから貪欲に
タグ：
posted at 22:43:24
むしろ形を記憶する必要のあるPentominnoesより、記憶しないで済むファイブセルズの方が楽かもしれない。分割系でも、分割する形が決まってればまだ書けそう。一方で天体ショーなどはしんどそう。
タグ：
posted at 22:17:12
数字配置系はかなり簡単っぽい。数独とかしかり。ここから練習かな。話題のNon-Cons. Sudokuも、追加ルールが局所的なので問題なさそう。性能がどうかはしらんけど。
タグ：
posted at 22:14:44
バトルシップくらいならまだなんとかなると思う。長方形型で個数の管理もまだできそう(10/15個の艦をどこに置くか、で管理するのかな)。いずれにせよ配置系は、接触禁という局所ヒントと列にある個数はまだ書けそうなので、配置するものの管理さえできれば大丈夫そう。
タグ：
posted at 22:12:22
ペントミノ配置系は結構気になるよね。PentopiaとかPentominoes(ペントミノ配置するやつ)とか。分割系のPentominousも配置と思えばどうか。問題はペントミノの「形」をどうやって認識させるか/管理させるかなんだけどなぁ。
タグ：
posted at 22:09:47
一方で、配置系、とくに単一配置系(美術館とか)はかなり書きやすそう。スターバトルは領域の記述(問題から取り込むところ)さえできればやさしいか。複数配置(たとえばバトルシップやシンプルなペントミノプレース)は置く物体の管理がややだるい？とくにペントミノ系。
タグ：
posted at 22:06:50
非公開
タグ：
posted at xx:xx:xx
CurveData Converter見てる。たぶん図形ごとに曲がり角＋端点を管理して、それにマス(に対応する数字)を当てはめるということをしてる。あとは端点同士同じ直線上に乗るか判定してるのかな？
タグ：
posted at 21:46:20
ひとまずわんどさんのCurveData Converterを用いて自分の作ったカーブデータが唯一解であることを確認した。すご。
wandsbox125.web.app/puzzle-tools/p...
puzsq.sakura.ne.jp/main/puzzle_pl...
タグ：
posted at 21:31:10
非公開
タグ：
posted at xx:xx:xx
日本パズル連盟 WPC体験会8/26開催 @jppuzzles
【 #日本パズル選手権 2019 懇親会パズル Q2】
今回の問題の制限時間は30秒です。解答は明日発表予定。 pic.twitter.com/lBWATlZouD
タグ： 日本パズル選手権
posted at 20:36:10
日本パズル連盟 WPC体験会8/26開催 @jppuzzles
【解答】
Q1の答えは「④アルファベット」。
下の枠は上の文で使われている文字の種類を表している。
タグ：
posted at 20:35:43
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
主催者様に許可をいただいたので、明日21時から「青い厚揚げ杯」のヤジリンを解く配信をしたいと思います。きてねー twitter.com/aoiatuage/stat...
タグ：
posted at 20:14:04
非公開
タグ：
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
ところで、さっきのシンプルガコ、三叉路リンクとしても解けます。
※三叉路リンク...ガコ2で名高い「パズルのおもちゃ箱」のパズルのひとつ。線を引いてすべての数字をつなげる。数字は線の端点になる。ほかに端点は存在しない。数字はそのマスから伸びる線が最初に分岐するまでの距離。
タグ：
posted at 19:30:34
駒場祭は終了しました。
お越し頂いた皆様、ありがとうございました。
駒場祭で配布した冊子を公開しております。先程リンクをツイートしましたブログをご確認ください。
解答につきましてはしばらくお待ちください。
タグ：
posted at 19:26:35
シンプルガコ、ガコよりもむしろ、ナンバーチェーンというパズルに挙動が近い気がする。
※ナンバーチェーン...「My Shelf」というかつてあったパズルサイトのオリジナルパズル。すべてのマスを0以上の数字で埋める。数字は「タテヨコナナメに接するマスに、自身と同じ数字がいくつ入るか」を表す。
タグ：
posted at 19:22:52
非公開
タグ：
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
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
色紙！…も少し気になるけど、やっぱり漫画は絵と物語込みで好き、みたいなところがあるので単行本とかを買おう。
タグ：
posted at 15:25:18
配布しておりました冊子の方が品切れとなりました。
お越し下さった方々、ありがとうございました。
なお、本冊子の問題のpdfは予定を早めて今日中に同好会サイトにアップロードすることにします。今回冊子を手に取れなかった方はそちらをよろしくお願いします。
タグ：
posted at 15:08:04
・調べると/usr/includeがいない！
・なのでそれを入れようとする
・が、最新のXcodeの仕様ではそれを復元できないっぽい
・というわけでせっかく入れたgcc5がなんか使えません
・使えないとminisatコンパイルできないっぽいです
・え？詰んだ？
という感じです
タグ：
posted at 14:54:20
やったことまとめ
・minisat導入したい
・ダウンロードしてコンパイルしようとしたら失敗。これはXcodeのgccのバージョン(4.2.1だった)が古いせいらしい
・なのでHomebrewを使ってgcc5.5.0をダウンロードし、これを使うようにした
・しかしこれもコンパイルエラー。理由はincludeされていないため
タグ：
posted at 14:51:53
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
ページを部分的に切り抜いて、次のページと重ね合わせたりめくったりして遊べるパズルの本とかつくれないかなあ。
タグ：
posted at 14:45:21
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
現在おそらくgcc5系がインストールされていないのが原因でminisatのコンパイルができていないですね。というわけでbrew install gcc@5(おそらくこれでいいはず)で何かを拾ってきたもののどう設定すればいいか分からず困ってるなうです。
タグ：
posted at 11:54:06
非公開
タグ：
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
人間がやるべきことは、解きたいパズルの制約を正しく書き出すことで、できるならSATソルバーくんが解きやすい形でモデル化するのがよい、みたいな感じか。たしかにこれならできそう。
タグ：
posted at 08:09:26
「パズルをSATソルバーで解く」のは「パズルの制約を書き出す→制約を論理式(CNF)に直す→SATソルバーくんに投げる→ソルバーくん強い！解ける！」という流れで、Sugarは制約を論理式に直す場所までやってくれて便利、という感じでいいのかな？
タグ：
posted at 08:07:51
非公開
タグ：
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
非公開
タグ：
posted at xx:xx:xx
coffee_beansさんのDISCO presents ディスカバリーチャンネル コードコンテスト2020 予選での成績：571位
パフォーマンス：1666相当
レーティング：1378→1411 (+33) :)
Highestを更新し、3 級になりました！
#AtCoder atcoder.jp/users/coffee_b...
おお，だいぶ伸びた
タグ： AtCoder
posted at 00:02:12
