数学
Hall の定理、Dilworth の定理、Koenig の定理などの同値性の証明を追った。
ノート: Hall <=> Koenig <=> Dilworth · GitHub
開発
WASM のチュートリアル: 進捗なし
rust-number-theory: 進捗なし
GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし
競プロ
競プロ典型 90 問 48-52 解き。
ARC120: D 解き。
CODE FESTIVAL 2017 Elimination Tournament Round 3 (Parallel) - AtCoder: E を解き、F を解説 AC。
https://atcoder.jp/contests/hbpc2012/tasks/hbpc_3: 解き。
Code Festival Team Relay (Parallel) - AtCoder: G, I 解説 AC、J 解き。
CODE FESTIVAL 2014 Hard - AtCoder: D を解説 AC。
