数学
[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 のアルゴリズム (円周率の計算) の証明を追った。概略だけ理解できたような。
開発
elo-simulator で必要になるスクリプト類 (順位戦の結果を取得して JSON にするやつ) を書いた。
GitHub Actions で定期実行をする仕組みを調べた。実行される時刻はそこまで正確ではない。
競プロ
進捗なし
