2021-07-12 (月) - 2021-07-18 (日) 進捗

数学

EC 3.13 の準備と発表。https://github.com/koba-e964/ec-exercises/blob/master/sec-3-13.tex

開発

WASM のチュートリアル: 進捗なし
rust-number-theory: 進捗なし
GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし

競プロ

ABC209: F 解き。
第１２回日本情報オリンピック 予選（過去問） - AtCoder: F を解説・サンプルコードを見て実装。
第１０回日本情報オリンピック 予選（過去問） - AtCoder: F 解き。
circuit - 電気回路の結線 (Circuit): 解き。
starry_sky - 星空 (Starry Sky): 解き。
ABC210: F 解き。
JOI Open Contest 2012 - AtCoder: A 解き。
第１６回日本情報オリンピック 予選（過去問） - AtCoder: F 解き。
[CTSC2006]歌唱王国 - 洛谷: 解説 AC。

ラテン語

Ritchie’s Fabulae Faciles: 進捗なし

チェス

chess.com tactics: 2261 -> 2277 (+16)
lichess tactics: 2226 (進捗なし)

2021-07-19 (月)

競プロ

【模板】Chirp Z-Transform - 洛谷: 解いた。

2021-07-18 (日)

競プロ

第１６回日本情報オリンピック 予選（過去問） - AtCoder: F を解いた。
[CTSC2006]歌唱王国 - 洛谷: 解説 AC した。

2021-07-17 (土)

数学

EC 3.13 の予習をした。

競プロ

ABC210: F を解いた。
JOI Open Contest 2012 - AtCoder: A を解いた。面白い DP の形。

2021-07-16 (金)

競プロ

circuit - 電気回路の結線 (Circuit) 解いた。添字の対応を含む細かいところを詰めるのに時間がかかった。
starry_sky - 星空 (Starry Sky) 解いた。定数倍高速化がだるかった。

2021-07-15 (木)

競プロ

第１２回日本情報オリンピック 予選（過去問） - AtCoder: F を解説・サンプルコードを見て実装した。
第１０回日本情報オリンピック 予選（過去問） - AtCoder: F を解いた。

2021-07-12 (月)

競プロ

ABC209: F を解いた。