その他 3 時間くらいイカ

開発 rust-number-theory: 単数群の基底を求める処理を書いている。 チェス https://www.chess.com/puzzles/problem/1063084 1... Qe6xe2+ 2. Ke1xe2 e7-e5 3. dxe5 fxe5 に対してビショップを逃げると 4... e4 でナイトが取れる。

数学 http://www.kurims.kyoto-u.ac.jp/EMIS/journals/JTNB/2004-1/Belabas.pdf: different の逆を計算するアルゴリズムを読んだ。 https://www.isibang.ac.in/~sury/algoiisc.pdf を読んで単数群・イデアル類群の計算法を調べている。 開発 WASM のチュート…

趣味開発 rust-number-theory 代数体の単数群の生成元を計算する処理を書いている。二次体で単数の候補を見つけるところまでは書けた。

競プロ GCJ Qualification Round: visible な 41 点を獲得。 数学 https://www.isibang.ac.in/~sury/algoiisc.pdf を読んで単数群・イデアル類群の計算法を調べている。

数学 algebraic number theory - Computing the unit group of a residue ring - Mathematics Stack Exchange を読んだ。 単数群の計算方法について調べているが、当てずっぽうな方法 (小さい整数を調べて関係式を導く) しか見つからない。 https://www.isib…

趣味開発 rust-number-theory mod p での多項式の素因数分解を実装した。 Add poly_mod.rs · koba-e964/rust-number-theory@e8728c2 · GitHub 280 行で 3 時間くらいかかっているから、時速 90〜100 行くらい?

数学 https://www.cryptrec.go.jp/exreport/cryptrec-ex-0021-2001.pdf の 2.3.1 で、mod p で 1 次の因子を見つけるのが効率的にできるのを知った。x^{(p-1)/2}+1 との gcd を取るのはどこかで見たことがあったが、それを a ずらしても問題ないのは気づかな…

趣味開発 rust-number-theory イデアルの逆を実装した。また、different の逆を計算する関数を実装した。ただの線形代数とはいえこれほど簡単に different などが計算できるというのは感動すら覚える。 チェス https://www.chess.com/puzzles/problem/109961…

数学 http://www.kurims.kyoto-u.ac.jp/EMIS/journals/JTNB/2004-1/Belabas.pdf Algorithm 5.3 (inversion) の気持ちがわかった。整数基底 {w_i} に対して T := (Tr(w_i w_j))_{ij} とし、B, B' を K 内の格子の基底を列ベクトルを並べたものとして表示した…

数学 Various Algebra course notes の Number Rings: 7 章の単数・イデアル類群の計算の部分を読んだ。 http://www.kurims.kyoto-u.ac.jp/EMIS/journals/JTNB/2004-1/Belabas.pdf イデアルの実装方法などを読んでいる。 1 の冪根を冪根で表す話 (http://www…

数学 リゾルベントを使った方程式の求根よくわかっていなくて、4次方程式について3通りの値を取り得るリゾルベントを使ったら位数24/3=8の部分群を考えることになって、正規部分群にならなくてまずいのでは!? と思ったが、おそらくそうではなく、— koba (@ko…

数学 実は整数度だけでなく任意の有理数度で加減乗除と冪根だけで表せることが知られています https://t.co/YITEDoDDGr— koba (@kobae964) 2021年3月20日 という文脈で、本当に冪根で表せるんだっけ? 表せるならその方法は? というのが気になった。調べてみ…

趣味開発 http://www.kurims.kyoto-u.ac.jp/EMIS/journals/JTNB/2004-1/Belabas.pdf を見て (分数) イデアルの実装をやっている。逆分数イデアルの実装がまだわかっておらず、面倒そう。

数学 Various Algebra course notes の Number Rings: 7.3 あたりを読んで、イデアル類群の決定に単数群が使えるのを知った。 Z[sqrt(d)] (d = 1 (mod 4)) の単数群について、どうして多くの場合で Z[(1+sqrt(d))/2] の単数群の指数 3 の部分群になるのかと…

その他 スプラ: アサリ A+ -> S。

チェス https://lichess.org/training/XFlN2 ナイトをとりたい。29. Qf5xc8 に対して 29... Nb5-d4 であれば 30. Rc1-c7+ がある。30... Ke7-f6 には 31. Ng3-e4+ Kg6 32. Qe8#がある。 https://lichess.org/training/UH0lj 隙ができたのでポーンをすすめた…

その他 https://shitforces.herokuapp.com/contest/snc7 参加した。10 位 / 67。 https://shitforces.herokuapp.com/contest/sbotu1 参加した。33 位 / 69。ガチエリア S -> A+。

数学 Various Algebra course notes の Number Rings: 進捗なし 開発 WASM のチュートリアル 進捗なし rust-number-theory 進捗なし Make macros hygienic by koba-e964 · Pull Request #2 · sile/trackable · GitHub PR 出し。マージ済み。 GitHub - frugal…

趣味開発 Apply semver trick to v0.2 by koba-e964 · Pull Request #4 · sile/trackable · GitHub semver-trick を野のクレートに適用した。trackable が提供している型は必然的に pervasive な使われ方をするので、依存ライブラリ (主に frugalos) が助か…

趣味開発 GitHub - koba-e964/rust-quantifier-elimination: Quantifier elimination 作り出した。まずは論理式の構文解析のところから。

数学 Quantifier Elimination の論文を読み始めた。 チェス https://www.chess.com/puzzles/problem/1189744 ? https://www.chess.com/puzzles/problem/1035682 メイト見逃し。

数学 大学の数学の入試問題を量化子消去でサッと解く - Qiita 書いた。

数学 量化子消去のアルゴリズムを使って入試問題を殴ってみている。

開発 Make macros hygienic by koba-e964 · Pull Request #2 · sile/trackable · GitHub PR を出した。 GitHub - frugalos/kanils at poc/without-futures 依存性を大幅に減らせると思ったので実験。

数学 Various Algebra course notes の Number Rings: 進捗なし 開発 WASM のチュートリアル 進捗なし rust-number-theory 進捗なし 競プロ GP of Tokyo D の解説を読み。 https://csacademy.com/contest/round-9/tasks/ 解き。 Typical DP Contest - AtCode…

数学 反例でK=𝕈(√-14),L=K(√-7)が書いてあった下は自由加群になるための条件 pic.twitter.com/cysRJYCgre— Oddie (@math_elliptic) 2020年6月1日 D(Q(sqrt(-14), sqrt(-7))) = 3136 = 2^6 * 7^2 相対判別式と普通の判別式の関係ってどうなるんだっけ? 普通の…

競プロ G - MSTX 解いた。未証明だけど。 ABC 194 解いている。 F だるい

競プロ https://csacademy.com/contest/round-9/task/sum-of-squares/ 解いた。分割数と似ていることに気付くのに無限時間かかった。(提出: #3132612) 分割数のDPをO(Nsqrt(N))でやる - DEGwerのブログ を適用しようとしたら、ちょうど K 分割にしなければい…

競プロ https://csacademy.com/contest/round-9/tasks/ 何問か解いた。 https://csacademy.com/contest/round-9/task/sum-of-squares/ 考え中。 GP of Tokyo D: イカのせいで時間がなく放置。