競プロ AtCoder Regular Contest 111 - AtCoder: C, E を解いた。

競プロ Kyoto University Programming Contest 2020 - AtCoder: F を解説 AC した。

競プロ Kyoto University Programming Contest 2020 - AtCoder: D を解いた。

数学 進捗なし 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 進捗なし GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし 競プロ 競プロ典型 90 問 71-77 解き。 第一回日本最強プログラマー学生選手権決勝 …

特になし

特になし

競プロ CODE FESTIVAL 2014 エキシビション（オープン） - AtCoder: B を解いた。平衡二分木を列として使用。 ARC111: D を解いた。

競プロ CODE FESTIVAL 2014 決勝 - AtCoder: G を解いた。 CODE FESTIVAL 2014 エキシビション（オープン） - AtCoder: A を解いた。

競プロ KEYENCE Programming Contest 2021 - AtCoder: D を解いた。 2010年 日本情報オリンピック春合宿OJ - AtCoder: DNAの合成 を解いた。Aho-Corasick の復習。

特になし

競プロ 第一回日本最強プログラマー学生選手権決勝 - AtCoder: E を解いた。Aho-Corasick を履修した。

数学 進捗なし 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 進捗なし GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし 競プロ 競プロ典型 90 問 66-71 解き。 CODE FESTIVAL 2016 Grand Final - AtCoder:…

競プロ DISCO presents ディスカバリーチャンネル コードコンテスト2016 予選 - AtCoder: D を解説 AC した。重心分解の実装が難しかった。

競プロ https://codingcompetitions.withgoogle.com/codejam/round/0000000000432ad5/0000000000432df6: 考えて解法になりそうなものはわかった。実装はまだ。

競プロ 第2回 ドワンゴからの挑戦状 予選 - AtCoder: E を解いた。

競プロ HL 分解を実装した。https://github.com/koba-e964/contest/commit/702a7441058d7c1c67952b5f2563712b7a86debe

特になし。早く寝た。

競プロ 東京大学プログラミングコンテスト2012 - AtCoder: J を解説 AC した。

競プロ CODE FESTIVAL 2016 Grand Final - AtCoder: F を解いた。

数学 EC ゼミ: Section 3.12 をやった。 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 進捗なし GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし 競プロ 競プロ典型 90 問 60-65 解き。 TPC追いコン - AtC…

競プロ CODE FESTIVAL 2016 Grand Final - AtCoder: H を解いた。

競プロ 東京工業大学プログラミングコンテスト2019 - AtCoder: J を解説 AC した。H を解いた。 H: 解説では動的 segment tree を使うやり方が紹介されていたが、AVL tree の方が簡単そうなのでそちらを実装した。どちらの方がいいのかは不明。 ARC122: 参加…

競プロ 東京工業大学プログラミングコンテスト2019 - AtCoder: I を実装した。

競プロ Educational DP Contest - AtCoder: T, Z を解いた。 CPSCO2019 Session1 - AtCoder: H をヒント付きで解いた。

競プロ Maximum-Cup 2018 - AtCoder G を実装した。

競プロ TPC追いコン - AtCoder E を解いた。

競プロ 自明を何問か倒した。

数学 マトロイドの合併がマトロイドであることの証明を追った。 開発 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 を解いた。