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

数学 Enumerative Combinatorics の勉強会に参加。練習問題 3 3 (b) が難しい。