数学 マトロイドの合併がマトロイドであることの証明を追った。 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 進捗なし GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし cafecoder 用の提出スクリプトを書…

趣味開発 cafecoder 用の提出スクリプトを書いた。 contest/submit.py at master · koba-e964/contest · GitHub

競プロ Cafecoder Coffee Break 001 に参加した。A-D, F を解いた。