数学
マトロイドの合併がマトロイドであることの証明を追った。
開発
WASM のチュートリアル: 進捗なし
rust-number-theory: 進捗なし
GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし
cafecoder 用の提出スクリプトを書いた。 contest/submit.py at master · koba-e964/contest · GitHub
競プロ
競プロ典型 90 問 53-59 解き。
パ研合宿コンペティション 3日目 - AtCoder: G 解き。
技術室奥プログラミングコンテスト#2 - AtCoder: E, F 解き。
Educational Codeforces Round 110: 参加。A-D の 4 完。
Cafecoder Coffee Break 001 に参加した。A-D, F の 5 完。
