数学
https://www.isibang.ac.in/~sury/algoiisc.pdf: mu_K の計算アルゴリズムを読み。
LLL アルゴリズム、それを使った短いベクトル列挙アルゴリズムの勉強中。
クンマー理論 - Wikipediaの訳を修正。
群コホモロジーの復習を少々。
クンマー理論 - Wikipedia の訳を修正。
開発
WASM のチュートリアル 進捗なし
rust-number-theory: 二次体に限った類数計算と単数群計算を実装。LLL を実装。
GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination 進捗なし
競プロ
進捗なし
チェス
chess.com tactics: 2162 -> 2159 (-3)
lichess rapid: 1812? (進捗無し)
lichess tactics: 2085 -> 2087 (+2)
