数学
進捗なし
開発
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
