数学
進捗なし
開発
WASM のチュートリアル: 進捗なし
rust-number-theory: 進捗なし
GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし
競プロ
競プロ典型 90 問 71-77 解き。
第一回日本最強プログラマー学生選手権決勝 - AtCoder: E 解き。
CODE FESTIVAL 2014 決勝 - AtCoder: G 解き。
CODE FESTIVAL 2014 エキシビション(オープン) - AtCoder: A, B 解き。
ARC111: D 解き。