数学
進捗なし
開発
WASM のチュートリアル: 進捗なし
rust-number-theory: 進捗なし
GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし
競プロ
競プロ典型 90 問 41-47 解き。
パ研合宿2020 第2日「パ研杯2020」 - AtCoder: D, E 解き。
dwangoプログラミングコンテスト - AtCoder: C 解き。
Japanese Student Championship 2021 - AtCoder: F, H を解説 AC。
ABC202: F 解説 AC。