数学
Enumerative Combinatorics の練習問題を解き。
開発
WASM のチュートリアル: 進捗なし
rust-number-theory: 多項式の因数分解 mod p を実装。全ての有理素数に Dedekind の分解が適用できる場合 (Q(cbrt(7)) など) の類数・単数群の生成元の計算を実装。
GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし
競プロ
競プロ典型 90 問 23-29 解き。
ラテン語
Ritchie’s Fabulae Faciles: 4 を翻訳。