数学 Hall の定理、Dilworth の定理、Koenig の定理などの同値性の証明を追った。 ノート: Hall <=> Koenig <=> Dilworth · GitHub 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 進捗なし GitHub - koba-e964/rust-quantifier-elimination: Qu…

競プロ CODE FESTIVAL 2014 Hard - AtCoder: D を解説 AC した。 ABC 203: 参加。 F で詰まりまくった。