数学
Enumerative Combinatorics の勉強会に参加
開発
WASM のチュートリアル: 進捗なし
rust-number-theory: 多項式 mod p の squarefree factorization の部分を実装。
GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし
競プロ
競プロ典型 90 問 01-22 解き。
Enumerative Combinatorics の勉強会に参加
WASM のチュートリアル: 進捗なし
rust-number-theory: 多項式 mod p の squarefree factorization の部分を実装。
GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし
競プロ典型 90 問 01-22 解き。