数学
EC ゼミ: Section 3.12 をやった。
開発
WASM のチュートリアル: 進捗なし
rust-number-theory: 進捗なし
GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし
競プロ
競プロ典型 90 問 60-65 解き。
TPC追いコン - AtCoder E 解き。
Educational DP Contest - AtCoder: T, Z 解き。
CPSCO2019 Session1 - AtCoder: H 解説 AC。
東京工業大学プログラミングコンテスト2019 - AtCoder: I を実装。
東京工業大学プログラミングコンテスト2019 - AtCoder: J を解説 AC。H 解き。
ARC122: 参加。A-E の 5 完。
