2021-07-05 (月) - 2021-07-11 (日) 進捗

数学

進捗なし

開発

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

競プロ

競プロ典型 90 問 84-90 解き。
第５回日本情報オリンピック 本選（過去問） - AtCoder: E (第 5 問) 解き。
ARC110: E, F 解き。
JOI 2018/2019 予選 過去問 - AtCoder: F (座席 (Seats)) 解き。

ブログ記事執筆。
koba-e964.hatenablog.com

ラテン語

Ritchie’s Fabulae Faciles: 進捗なし

チェス

chess.com tactics: 2297 -> 2261 (-36)
lichess tactics: 2226 (進捗なし)