2021-02-27 (土)

開発

rust-number-theory の main が任意の多項式を入力として取れるように修正中。
その過程で BigInt の直列化・脱直列化などをやりたいのだが、もともとの impl Serialize for BigInt の実装だと例えば 5 が [1,[5]] みたいな値へと直列化される。どうしてこんなことに…。
欲しいのは "5" なり "-214" なりという文字列なので、なんとかして実装を上書きする方法を探している。-> 愚直な方法 (新しい型を用意して、直列化・脱直列化はすべてその新しい型経由で行い、変換は手動) でやった。コミット

競プロ

ABC193 参加。62 位で大敗。E で不必要に詰まったのとバグを埋め込んだので、弁解の余地無し。

チェス

https://www.chess.com/puzzles/problem/771730 先に 1... f6-f5 だと 2. Qg4-g3 Qa4-d1+ 3. Re2-e1 でダメ。先に 1... Qd1+ が必要。

2021-02-26 (金)

数学

Various Algebra course notes の Number Rings を読み始めた。無料で公開してもらえてありがたい。

必要になった命題たち:

  • Subgroups of a finitely generated abelian group without torsion - Mathematics Stack Exchange ランク n (in Z) の自由アーベル群の部分群は自由でランク n 以下。帰納法でできるが証明のアイディア (基底を色々動かして係数のどれかをとる) というのが賢いと思った。
  • 有限次分離拡大 L/K に対して、Tr_{L/K}: L * L -> K という双線型形式は非退化である。つまり x |-> (y |-> Tr_{L/K}(xy)) は全単射
  • ノルムやトレースを線形変換の det や tr で定義するの、共役に触れなくていいから頭いい。

チェス

https://www.chess.com/puzzles/problem/1104580 d2 のポーンを抜く。

その他

就寝時にスマフォを持たずに寝たら、スマフォをいじる時間が頭の中でちゃんと知りたい数学的事項を思い出す時間に化けた。たしか以下のようなことだったはず:

  • Schreier-Sims の計算量解析
  • オーダーの単数基底の求め方
  • SETH を仮定すると DominatingSet は O(3^w poly(n)) が最適

かなりモチベアップにいい。安眠にいいかどうかは知らない。

2021-02-23 (火)

開発

WASM のチュートリアルの 4.4 節をやった。

その他

kvc001 参加。1500 点で 54 位 (/ 128 人)。

2021-02-22 (月)

開発

WASM のチュートリアルをやっている。第4.2章は完了した。www/package.json に pkg の情報を追記しなければいけないのを見落としており、リコンパイルしても挙動が変わらずかなり苦しんだ。(他にもパッケージ名を変えなければいけないところを見逃していた。) チュートリアルを飛ばし読みするのはよくない。

チェス

https://lichess.org/training/4B5tZ 多分キングで g1 の白ルックを取りに行けということかな?

2021-02-15 (月) - 2021-02-21 (日) 進捗

数学

J invariant の整数性について追った。よくわからずじまい。

開発

進捗なし

競プロ

進捗なし

チェス

chess.com tactics: 2289 -> 2201 (-88)
lichess rapid: 1751? -> 1812? (+61?)
lichess tactics: 2246 -> 2213 (-33)
lichess の tactics について、出る問題を normal にした状態で下がったレートがある程度取り戻せた。