枝豆
- いいね数 318,604/239,302
- フォロー 428 フォロワー 553 ツイート 5,744
- 現在地 畑
2022年08月22日(月)
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
都が配布している抗原検査キットの申し込みをして到着待ちではあるけども、歯磨き粉の味に違和感が出てきたし、ほぼ確定なのかなあ。
タグ：
posted at 13:24:07
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
郵便物が届いた、と思ったらKOS-MOSのアンソロジー本でした。きれい。 pic.twitter.com/txAPVQo98C
タグ：
posted at 13:31:42
高校生の時に同じくパズルの文献調査しようとして、国立国会図書館の満18才の利用制限(一応特別に必要があればその限りでない)に泣いたことがあったので、ついに調べられるって思うととても嬉しい
タグ：
posted at 14:49:56
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
赤線2本でした。うーん。行動パターン的に、他人にうつしている可能性は低そうかなとは思うのだけれども。
タグ：
posted at 14:51:36
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
@puzzle_pencil ありがとうです。今のところ軽症の中でもかなり軽い部類なのかなと思うのですけども、どこまで影響が出るかよくわからないですし…、無理しないようにします。
タグ：
posted at 15:02:52
「N=5のとき、1〜10と16〜25は直接隣り合わないから11〜15で壁を作るが、11は16〜25と接しないといけない」で一般に示せているだろうか…？12〜15だと壁が足りないと思うが厳密に示せない。普通に1〜5,6〜10と一列ずつ並べても差が最大5になるな。 twitter.com/pronter/status... pic.twitter.com/KGThY9qhCD
タグ：
posted at 17:18:34
今後パズルの資料検索に国会図書館に行く人向けTips
・かなり時間がかかるので早めに行きましょう。さもなくば印刷申込みRTAをすることになります。
・基本的に見開き印刷にしてくれるので1ページ単価はそこまで高くならないですが、支払いは現金または電子通貨のみです。クレカ非対応なのでご注意を。
タグ：
posted at 18:39:13
・大量の印刷物を持ち帰ることを想定してそれなりの大きさの袋を用意しましょう。
・一度に借りられる雑誌は10冊までなので、合計請求資料数が10の倍数だと効率が良いです。
・昔のパズルに興奮して目解きし始めると時間が溶けます。まずはほしい資料の印刷を終わらせることに専念しましょう。
タグ：
posted at 18:39:14
@chebunanntoka 昔の数オリの問題だった気が。以下隣接の最大をN-1以下でない証明。
1から順に数を置くと考える。すでに数を置いたマス目と隣接している空マスの個数をAとしたとき、ある時点でAがN以上だと、それ以降置いていく時に差がN以上の部分ができてしまう。なのでAがどこかでN以上になることを示せば良い。
タグ：
posted at 19:38:57
@chebunanntoka 「どの行にも数が1個以上置かれる」「どの列にも数が1個以上置かれる」のいずれかが初めて起きる時点を考える。
一般性を失わず前者が起きたとしてよい。このとき、どの行についても全部のマス目に数が置かれていない。
タグ：
posted at 19:39:29
@chebunanntoka なぜなら、ある行の全部のマス目に置かれた時点で後者の条件を満たしてしまい、「初めて起きる」という設定に矛盾するからである。
よって、この時点ではAに対してどの行からも1以上計上するので、AはN以上である。
タグ：
posted at 19:39:38
しばらくコード読んでみて、あまりにも概念が多く penpa-edit の URL を Python で取り扱えるようにするのは困難という気持ちになってきた
タグ：
posted at 20:18:11
時間に関して参考: fffは50冊分(貸出回数は2回)+論文1本の印刷で3時間強かかりました。冷静に振り返ると1冊あたり数分だったので速いのですが、パズルの資料探しをすると数十冊単位で調べることになると思いますので、いずれにせよ早めに行ったほうが良いでしょう
タグ：
posted at 20:30:08
非公開
タグ：
posted at xx:xx:xx
ここ「初めてどこかの行(または列)でN-1個置かれる」でも行けるな。正反対なので。そもそも隣り合う空きマス数Aを設定するところが賢いポイントというか肝腎っぽい。 twitter.com/SP1_winter/sta...
タグ：
posted at 22:35:47
2022年08月23日(火)
cspuz-solver2 は Coral も対応しているけど、弱いヒントで解かせると異常に遅いのなんなのかと思って調べたら、たすき掛けパターンを明示的に禁止する必要があったっぽい
タグ：
posted at 07:56:43
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
センターから画像の不備を知らせるメールが来ていて、「大変な中ありがとうございます」みたいに添えて修正画像を送信したら、「体調がお辛いかと存じますがご自愛ください」というような定型ではないであろう受理メールが返ってきて、泣いていた昨晩。
タグ：
posted at 11:14:35
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
HGの制作メモとかも無駄に書いていたけど、体調観察メモも逐一つけていて、貼り付けて送ろうかなと思ったら文字数が多すぎますっておこられた。
タグ：
posted at 12:35:20
25点のArrowsが10分以上かけて解けなかったの、悲しい（2回全消ししたところで時間切れになりました）
あとで解いた96点の覆面の方が簡単だったまである
タグ：
posted at 12:45:31
@tigereye_werewe 左右計3箇所四角手筋が使えて理詰め、というのは見えてたので同じ理詰めのようですね、とりあえず極端な見落としではないようで安心しました
タグ：
posted at 12:51:33
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
PentominousとPentominoesはトケタの編集をしていて混乱した記憶がありますね…。
タグ：
posted at 15:47:10
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
1:17でした。こういう配置好きです。左下が確定しないかと思ってちょっと詰まってしまった。
タグ：
posted at 19:02:54
広瀬＿あつみ (FANBOX始めてみまし @hirose_atsumi
そういえば、そのとき動き回れる体調だったら、ド真夜中とかに近くの自販機まで行って飲み物を買い足すくらいは良さそうなのかなあ。人はいないだろうし…。
タグ：
posted at 20:51:45
