2021-07-20 (火)

競プロ [MtOI2018]情侣?给我烧了!(加强版) - 洛谷: 解説 AC した。

2021-07-12 (月) - 2021-07-18 (日) 進捗

数学 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: 進捗な…

2021-07-19 (月)

競プロ 【模板】Chirp Z-Transform - 洛谷: 解いた。

2021-07-18 (日)

競プロ 第16回日本情報オリンピック 予選(過去問) - AtCoder: F を解いた。 [CTSC2006]歌唱王国 - 洛谷: 解説 AC した。

2021-07-17 (土)

数学 EC 3.13 の予習をした。 競プロ ABC210: F を解いた。 JOI Open Contest 2012 - AtCoder: A を解いた。面白い DP の形。

2021-07-16 (金)

競プロ circuit - 電気回路の結線 (Circuit) 解いた。添字の対応を含む細かいところを詰めるのに時間がかかった。 starry_sky - 星空 (Starry Sky) 解いた。定数倍高速化がだるかった。

2021-07-15 (木)

競プロ 第12回日本情報オリンピック 予選(過去問) - AtCoder: F を解説・サンプルコードを見て実装した。 第10回日本情報オリンピック 予選(過去問) - AtCoder: F を解いた。

2021-07-12 (月)

競プロ ABC209: F を解いた。

2021-07-11 (日)

競プロ 典型 090 を解いた。面白かった。

2021-07-05 (月) - 2021-07-11 (日) 進捗

数学 進捗なし 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 進捗なし GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし 競プロ 競プロ典型 90 問 84-90 解き。 第5回日本情報オリンピック 本選(過去問)…

2021-07-10 (土)

競プロ 典型 089 を解いた。

2021-07-09 (金)

数学 EC ゼミ (3.13) の準備を進めた。

2021-07-08 (木)

競プロ JOI 2018/2019 予選 過去問 - AtCoder: F (座席 (Seats)) を解いた。

2021-07-07 (水)

競プロ 簡単な問題を何問か通した。

2021-07-06 (火)

競プロ ブログ記事を書いた。 koba-e964.hatenablog.com

第5回日本情報オリンピック本選の問題文 (問題4, 問題5) を日本語訳しました

第5回日本情報オリンピック 本選 (JOI 2006 本選 問題・データ) の 問題4 (リンク)、問題5 (リンク) の問題文が曖昧だったので、厳密な問題文に直しました。 問題4 (リンク) 修正後の問題文 1, 2, ..., 100 までの番号がついた頂点をもつ、自己ループをもた…

2021-07-05 (月)

競プロ 第5回日本情報オリンピック 本選(過去問) - AtCoder: E (第 5 問) を解いた。 ARC110: E, F を解いた。

2021-06-28 (月) - 2021-07-04 (日) 進捗

数学 進捗なし 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 進捗なし GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし 競プロ 競プロ典型 90 問 78-83 解き。 Kyoto University Programming Contest 2020…

2021-07-04 (日)

競プロ 第5回日本情報オリンピック 本選(過去問) - AtCoder: D (問題 4) を解いた。解説によると、最悪計算量が保証されていないらしい。なんだこれは。 ABC208: A-E を解いた。F はツイッターで解法を見た。ラグランジュ補間を O(K^2) と思い込んでおり…

2021-07-03 (土)

競プロ AtCoder Regular Contest 119 - AtCoder: D を解いた。

2021-07-02 (金)

競プロ ACL Contest 1 - AtCoder: D, E を解いた。

2021-07-01 (木)

競プロ ACL Contest 1 - AtCoder: A-C を解いた。

2021-06-30 (水)

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

2021-06-29 (火)

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

2021-06-28 (月)

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

2021-06-21 (月) - 2021-06-27 (日) 進捗

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

2021-06-27 (日)

特になし

2021-06-26 (土)

特になし

2021-06-25 (金)

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

2021-06-24 (木)

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