数学
進捗なし
開発
WASM のチュートリアル: 進捗なし
rust-number-theory: 進捗なし
GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし
競プロ
競プロ典型 90 問 78-83 解き。
Kyoto University Programming Contest 2020 - AtCoder: D 解き。F 解説 AC。
AtCoder Regular Contest 111 - AtCoder: C, E 解き。
ACL Contest 1 - AtCoder: A-E 解き。
AtCoder Regular Contest 119 - AtCoder: D 解き。
第５回日本情報オリンピック 本選（過去問） - AtCoder: D (問題 4) 解き。
ABC208: F 解説 AC。
