数学
EC 3.13 の準備と発表。https://github.com/koba-e964/ec-exercises/blob/master/sec-3-13.tex
開発
WASM のチュートリアル: 進捗なし
rust-number-theory: 進捗なし
GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし
競プロ
ABC209: F 解き。
第12回日本情報オリンピック 予選(過去問) - AtCoder: F を解説・サンプルコードを見て実装。
第10回日本情報オリンピック 予選(過去問) - AtCoder: F 解き。
circuit - 電気回路の結線 (Circuit): 解き。
starry_sky - 星空 (Starry Sky): 解き。
ABC210: F 解き。
JOI Open Contest 2012 - AtCoder: A 解き。
第16回日本情報オリンピック 予選(過去問) - AtCoder: F 解き。
[CTSC2006]歌唱王国 - 洛谷: 解説 AC。