今日は羽毛布団を受け取った。子どもが二人になって大きくもなって。さすがに布団がせまくて仕方ないので買い足した。 先日届いた布団乾燥機を毎日使っている。暖かいしふわふわ感も増して気持ち良いんだ。 https://www.amazon.co.jp/gp/product/B08WPFYL94 …

2022-W04 をふりかえる。 2022-W04 の目標 とその記事 目標。 ☑ 『セキュア・バイ・デザイン』を読み終える 記事。 2022-01-29 腹痛が治らない 2022-01-28 第八回 アルゴリズム実技検定 (PAST) N - ジグザグな数列 を解いた 2022-01-27 第八回 アルゴリズム…

PAST #8 O を解いた。解説 AC 。これは解けない……。 腹痛が治らない。 今日のコミット。 rust-atcoder 1 commit past202109-open o rust-sandbox 3 commits its: 0.6.8 its: Added EventStore::create its: Refactored to extract EventStore

第八回 アルゴリズム実技検定 (PAST) N - ジグザグな数列 を解いた。 問題: https://atcoder.jp/contests/past202109-open/tasks/past202109_n 意外と自力で解けた。 数字の大小関係が <><... か ><>... となるような「ジグザグな数列」がいくつ含まれるかを…

第八回 アルゴリズム実技検定 (PAST) M - バランス を解いた。 問題: https://atcoder.jp/contests/past202109-open/tasks/past202109_m 考察の大筋は簡単なのだけど思ったよりも難しくて 7WA になってしまった。 考えたことを書く。 頂点 i に書かれた整数…

PAST #8 の M を解こうとして解けず……。 ここ何日か懸垂をしている。朝のラジオ体操の前に懸垂している。 今日のコミット。 rust-sandbox 2 commits its: 0.6.5 its: Added IssueAggregateError::InvalidEventSequence rust-atcoder 1 commit math-and-algor…

第八回 アルゴリズム実技検定 (PAST) L - K番目の絶対値 を解いた。 問題: https://atcoder.jp/contests/past202109-open/tasks/past202109_l 「連続した空でない部分列の総和」は累積和の 2 点の差で求める。 2 点の全探索は O(N^2) で N <= 3*10^5 からこ…

AtCoder Beginner Contest 236 (ABC236) D - Dance を解いた。 問題: https://atcoder.jp/contests/abc236/tasks/abc236_d 本番では解けなかった。そのときに考えたこととしては……。 XOR の処理から途中で最善のものを判断することは難しそうなのでおそらく…

2022-W03 をふりかえる。 2022-W03 の目標 とその記事 目標。 ☑ 『セキュア・バイ・デザイン』を読み進める 記事。 2022-01-22 第八回 アルゴリズム実技検定 (PAST) K - ニワトリのお見合い を解いた 2022-01-21 第八回 アルゴリズム実技検定 (PAST) J - 数…

第八回 アルゴリズム実技検定 (PAST) K - ニワトリのお見合い を解いた。 問題: https://atcoder.jp/contests/past202109-open/tasks/past202109_k 全探索はできそうにない。S の各行からうまくひとつずつを選ぶ……とか……？ DP ？ 過去に選んだものを保持する…

第八回 アルゴリズム実技検定 (PAST) J - 数列の反転 を解いた。 問題: https://atcoder.jp/contests/past202109-open/tasks/past202109_j 指定した位置の値を出力するクエリ (出力操作) と指定した範囲を反転させるクエリ (反転操作) がある。 指示通りに実…

第八回 アルゴリズム実技検定 (PAST) I - /2 and *3 を解いた。 問題: https://atcoder.jp/contests/past202109-open/tasks/past202109_i 2 で割って 3 を掛ける操作を繰り返す。少なくとも対象を同一にすれば単純に 3/2 倍で損はない。つまり操作は最大回数…

第八回 アルゴリズム実技検定 (PAST) H - 最短経路 を解いた。 問題: https://atcoder.jp/contests/past202109-open/tasks/past202109_h N 頂点の重み付きの木において「最短距離が X になる相異なる頂点の組」が存在するかを求める。 N <= 3000 。 まずは全…

昨日に続いて一日中横になっていた。まだお腹の調子がおかしい。陀羅尼助丸を飲んでまた寝る。 今日もまた最低限のノルマのみこなしている。リングフィットアドベンチャーは諦めている。 今日のコミット。 rust-sandbox 2 commits its: 0.5.5 its: Reduced u…

子どものウイルス性胃腸炎をみるために一日家に居た。うつってしまったのか嘔吐・下痢・発熱している。 最低限のノルマだけこなしたので夕食を抜いて寝る。リングフィットアドベンチャーはさすがにつらいので諦めた。 今日のコミット。 rust-sandbox 2 commi…

2022-W02 をふりかえる。 2022-W02 の目標 とその記事 目標。 ☐ 『セキュア・バイ・デザイン』を読み進める ☐ rust365 について書き直す 記事。 2022-01-15 第八回 アルゴリズム実技検定 (PAST) E - カラフルなTシャツを解いた 2022-01-14 第八回 アルゴリズ…

第八回 アルゴリズム実技検定 (PAST) E - カラフルなTシャツを解いた。 https://atcoder.jp/contests/past202109-open/tasks/past202109_e 色ごとに最も安いもの以外は買う必要がない。価格の安い色を K 種類買えば良い。 K 種類に満たないときは -1 になる…

第八回 アルゴリズム実技検定 (PAST) D - 約数を解いた。 https://atcoder.jp/contests/past202109-open/tasks/past202109_d X と Y のそれぞれの約数の個数を求めて比較して出力する。 約数の列挙については 2020-04-06 で書いた。整数 N の約数列挙は 1 か…

第八回 アルゴリズム実技検定 (PAST) C - 出現回数を解いた。 https://atcoder.jp/contests/past202109-open/tasks/past202109_c N 個の正の整数からなる数列 A に X が何個含まれるかを求める。 N <= 10^5 なので A を走査して X と一致するものを数えれば…

第八回 アルゴリズム実技検定 (PAST) B - 積集合を解いた。 https://atcoder.jp/contests/past202109-open/tasks/past202109_b N 個からなる数列 A と M 個からなる数列 B の共通の要素を昇順に出力する。 N, M <= 1000 なので O(NM) でも間に合う。 A の各…

第八回 アルゴリズム実技検定 A - ドリンクバーを解いた。 https://atcoder.jp/contests/past202109-open/tasks/past202109_a A + B - C と D のうち小さい側を出力すれば良い。 C < B なので入力を usize で取って↑のとおり計算して問題ない。 A + B < C の…

AGC049 : AtCoder Grand Contest 049 B - Flip Digits を解いた。 https://atcoder.jp/contests/agc049/tasks/agc049_b 特定の操作を繰り返すことで S を T にできるか。最小回数はいくつか。 考えたこと: 00 のときなにもできない 01 のとき 10 にできる 10…

2022-W01 をふりかえる。 2022-W01 の目標 とその記事 目標。 ☑ 『 Domain Modeling Made Functional 』を読む 記事。 2022-01-08 ARC131 C - Zero XOR を解いた 2022-01-07 ABC233 F - Swap and Sort を解いた 2022-01-06 AGC037 A - Dividing a String を…

ARC131 C - Zero XOR を解いた。 https://atcoder.jp/contests/arc131/tasks/arc131_c 最後の一個を取り除くか XOR が 0 なら勝ち。 後ろから考える。自分の手番で…… 残り 1 個なら勝ち。 残り 2 個なら負け。 残り 3 個なら勝ち。 残り 4 個なら XOR が 0 …

ABC233 F - Swap and Sort を解いた。 https://atcoder.jp/contests/abc233/tasks/abc233_f 順列の各要素を頂点・操作対象の要素間を辺とすることは見えた。連結成分内での要素の swap はできるけど、連結成分間では swap できないのでそうなってしまうと -1…

AGC037 A - Dividing a String https://atcoder.jp/contests/agc037/tasks/agc037_a を解いた。 未証明の貪欲法で。長さが違えば S_i != S_{i+1} にはなるので雰囲気としては 1 つおきに結合するだけで十分になる。この場合は最後の要素の残り方次第でおかし…

ARC118 C - Coprime Set を解いた。 問題: https://atcoder.jp/contests/arc118/tasks/arc118_c 解説: https://atcoder.jp/contests/arc118/editorial/1206 参考: https://xenous.hatenablog.com/entry/2021/05/10/011235 i != j に対して A_i != A_j かつ g…

SwitchBot カーテン (第二世代) を買った。壊れてしまったので手で開けていたけどやはり時間で開けたいので買いなおした。道具なしに手でローラー部分の取り外しができるようになっていた。ローラー部分のつくりも若干変わっていた。箱にぴっちり入っていて…

『 Domain Modeling Made Functional 』を読み終えた。 静的型検査・代数的データ型を前提とした設計における基本的な事項を網羅しているように思う。 ぼくはいま「全部イミュータブルで良いよね」と言っている人（のうち代数的データ型を使っていない人）は…

2021-W52 をふりかえる。 2021-W52 の目標 とその記事 目標。 ☐ 『 Domain Modeling Made Functional 』を読む ☑ 2021 に買ったものについて書く 記事。 2022-01-01 新年のあいさつをした 2021-12-31 スーパーマリオ オデッセイで失われた国をクリアした 202…