開発 rust-number-theory の main が任意の多項式を入力として取れるように修正中。 その過程で BigInt の直列化・脱直列化などをやりたいのだが、もともとの impl Serialize for BigInt の実装だと例えば 5 が [1,[5]] みたいな値へと直列化される。どうし…

数学 Various Algebra course notes の Number Rings を読み始めた。無料で公開してもらえてありがたい。必要になった命題たち: Subgroups of a finitely generated abelian group without torsion - Mathematics Stack Exchange ランク n (in Z) の自由アー…

チェス TacticTrainer というアプリで何十問か解いた。このアプリは問題のデータを加工・利用しにくいのが難点。 その他 スプラ。アサリ A+ -> S。

競プロ ABC 192 を解いた。 チェス https://lichess.org/training/xp0lP 謎

開発 WASM のチュートリアルの 4.4 節をやった。 チェス https://www.chess.com/puzzles/problem/1272649 謎。 https://www.chess.com/puzzles/problem/763452 https://lichess.org/training/qhb3P 最終的にポーンを昇格させるのが目的らしい。 https://lich…

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

数学 J invariant の整数性について追った。よくわからずじまい。 開発 進捗なし 競プロ 進捗なし ラテン語 Ritchie’s Fabulae Faciles: 進捗なし チェス chess.com tactics: 2289 -> 2201 (-88) lichess rapid: 1751? -> 1812? (+61?) lichess tactics: 224…

開発 そういえば WASM について勉強したいと思っていたんだった とくに進捗なし遊びのせいで開発の勉強に影響が出るのあまりよくないかもなあ チェス https://www.chess.com/puzzles/problem/1180066 2... Qb7xc6 で引き分けを防げるらしい。 https://liches…

チェス https://www.chess.com/puzzles/problem/459485 https://www.chess.com/puzzles/problem/1219779 pawn endgame が苦手 https://lichess.org/training/0ZwuN クイーンをピンするという発想が面白かった。 その他 スプラ 9 時間くらい遊んだ、反省はし…

数学 j 不変量が整数ならば e^{pi sqrt(d)} がほとんど整数になるのは理解したが、ある種の d について j 不変量が整数になる理由がわからない。 近いのはこのあたり。 math.stackexchange.com ググってみたらこれが載っている文献を発見できた。 Lemma 4.1 …

チェス lichess のタクティクスでレートを溶かしまくった。(出題されるパズルを低レート寄りにしたため。) 明らかに低レートに対する成功率が弱いので、当面の目標は低レートのパズルを安定させるということで。解けなかったパズルのうち理屈がよくわからな…

競プロ AOJ 1341: Longest Chain - Lilliput Steps 3 次元 LIS について読んだ。自分で思いつけなかったのが悔やまれる。 チェス https://www.chess.com/puzzles/problem/980270 1. Be4-c6?? Rc1xc6 2. Rd7-d6+ Rxd6 3. c8=Q ではダメなのか -> ダメ。仮にこ…

チェス 対局無 適当にアンタイチェスをやりまくった 普通のゲームが変に見えるやる気 無

チェス https://www.chess.com/puzzles/problem/1194846 なぜ相手のポーンに近づくのか謎。それ以外永久チェックが成立してしまうらしいのだが、その理屈が納得できない。 https://www.chess.com/puzzles/problem/1134628 1. Rf4xf6 Kg7xf6 がなぜ成立しない…

数学 [1809.00533] A detailed proof of the Chudnovsky formula with means of basic complex analysis -- Ein ausführlicher Beweis der Chudnovsky-Formel mit elementarer Funktionentheorie を読んで Chudnovsky のアルゴリズム (円周率の計算) の証明…

チェス https://www.chess.com/puzzles/problem/1019088 1. Qe5-h5+ Ne7-g6 2. Qxg6+ Ke8-e7 3. Rh1-f1 で白優勢と思ったが、1... g6 を普通に見逃していた。それを消すために 1. Ne4-f6+ gxf6 というサクリファイスが必要。 その他 イカのリーグマッチを 2 …

開発 GitHub Actions workflow not triggering at scheduled time | Upptime GItHub Action の定期実行には特に保証がない。試しに '* * * * *' (毎分実行) というスケジュールにしても 1 回も動かなかった。 と思ったが寝て起きたら動いていた。毎時 15 分…

開発 定期的に棋戦の情報を JSON 形式にして公開するためには以下が必要。 定期的に現在行われている棋戦の情報をダウンロードし、JSON に変換する仕組み。おそらく GitHub Actions ワークフローで処理を定期実行する方法 | gotohayato.com でできる。 現在…

日中はずっと将棋 (朝日杯) を観ていた。 開発 順位戦の情報を取得して JSON にするスクリプトを書いた。elo-simulator/fetch-junni.py at 4a7f37e8130cc9d5f75e082a7ea4b3c702045133 · koba-e964/elo-simulator · GitHub これを定期的に実行して、結果とし…

スプラトゥーン (リーグマッチ) をやって、進捗が無

開発 ARCHITECTURE.md OSS を管理する人はソフトウェアの構成を書くべきであるという話。 rust-analyzer の architecture.md が例としてあげられていた。こういうのを読むのはそこそこ楽しい。使っているクレイトの機能と用途が簡潔にまとめられており、勉強…

チェス チェスの玉手箱 の https://www.chessgames.com/perl/chessgame?gid=1242926 を追っている。

数学 χ2乗分布の導出、t 分布の導出、(標本平均 - 平均) / sqrt(不偏分散 / n) ~ t(n-1) の導出をやった。 競プロ ABC 解いたくらい。割と無。 ラテン語 Simile est regnum の訳を書いた。 次は vinea mea electa あたりをやりたい。 チェス chess.com tacti…

開発 (今日ではないが) 現役棋士一覧｜棋士データベース｜日本将棋連盟 から棋士の情報を取って JSON へと加工するスクリプトを書いた。 fetch-players.py 見た範囲で、例えば順位戦の対局表・戦績は (テクストのパースなので) まだできそうな気がする。竜王…

競プロ AtCoder Beginner Contest 191 - AtCoder バチャ。45m03s で 2.5 位。D で誤差死させるとか初心者かな? チェス Puzzle Storm をやりまくった 34 から伸びない 助けて強さの種類として positional と tactical の 2 種類の指標があり、強くなるにはい…

数学 http://www.math.s.chiba-u.ac.jp/~wang/teaching/b20405.pdf を参考にして、(bar X - μ) / sqrt(S / n) が t 分布に従うことを少し追った。 X ~ N(0, 1), Y ~ χ_n^2 で X と Y が独立のとき、Z := X/sqrt(Y/n) の従う分布の確率密度関数は Γ*1 * (z^2/…

数学 統計について復習。カイ2乗分布について導出をやった。習ったばかりの頃は勝手に難しいイメージを持っていたが今見たらそこまでステップ数が多くなかった。 t 分布についても導出を追ってみたいと思ったが、そこそこ重そう…。 (http://www.math.s.chiba…

チェス https://www.chess.com/puzzles/problem/1230285 4. Bc1-g5+ という、ビショップがどく手がチェックで入るのが重要。https://www.chess.com/live/game/6436601180 大ブランダー。4. Ng5?? もさることながら、5. d4?? と反射的に当てに行くのがよくな…

レート変化などを毎日載せるのは無意味なので、一週間ごとに遷移を記録することにする。 数学 そういえば Elo rating system の数学的なバックグラウンドについて知らないなと思って調べたら、Gumbel 分布を使うとうまく説明できることを知った。(本当にこれ…

開発 進捗なし 競プロ 進捗なし ラテン語 進捗なし チェス chess.com tactics: 2120 -> 2150 (+30) lichess rapid: 1500? -> 1661? (+161?)https://lichess.org/onsLnwO7 15 分切れ負けのつもりが、間違えて 0 分 + 1 手 15 秒加算のルールでやってしまった…