数学
進捗なし
開発
WASM のチュートリアル: 進捗なし
rust-number-theory: 進捗なし
GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし
競プロ
競プロ典型 90 問 66-71 解き。
CODE FESTIVAL 2016 Grand Final - AtCoder: F 解き。
東京大学プログラミングコンテスト2012 - AtCoder: J を解説 AC。
https://github.com/koba-e964/contest/commit/702a7441058d7c1c67952b5f2563712b7a86debe HL 分解を実装。
第2回 ドワンゴからの挑戦状 予選 - AtCoder: E 解き。
DISCO presents ディスカバリーチャンネル コードコンテスト2016 予選 - AtCoder: D 解説 AC。重心分解の実装が難しかった。
