数学
位相群の定理を追い。
nt.number theory - Galois cohomology with coefficients in the unit group of a cyclotomic field - MathOverflow 多少進展あり。
類体論やコホモロジー論について多少追うものの、corestriction map の well-definedness あたりで挫折。
開発
WASM のチュートリアル: 進捗なし
rust-number-theory: 進捗なし
GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし
今週は類体論の勉強を熱心にやっていたので進捗なし。
競プロ
進捗なし
チェス
chess.com tactics: 2159 -> 2234 (+75)
lichess rapid: 1812? (進捗無し)
lichess tactics: 2087 -> 2097 (+10)