koba-e964 https://blog.hatena.ne.jp/koba-e964/ koba-e964の日記 https://koba-e964.hatenablog.com/ 数学 Enumerative Combinatorics の練習問題を解き。 開発 WASM のチュートリアル: 進捗なし rust-number-theory: 多項式の因数分解 mod p を実装。全ての有理素数に Dedekind の分解が適用できる場合 (Q(cbrt(7)) など) の類数・単数群の生成元の計算を実装。 GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination: 進捗なし 競プロ 競プロ典型 90 問 23-29 解き。 ラテン語 Ritchie’s Fabulae Faciles: … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkoba-e964.hatenablog.com%2Fentry%2F2021%2F05%2F03%2F144101" title="2021-04-26 (月) - 2021-05-02 (日) 進捗 - koba-e964の日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2021-05-03 14:41:01 rich https://koba-e964.hatenablog.com/entry/2021/05/03/144101 1.0 100%