2023年8月17日

夏休み前最後の出勤日。とあるBIツールを使っているが、動作がやたら重いのとビューの編集でできること・できないことが分からず、イライラしていた。PythonのStreamlitとかで全部作ったほうが柔軟にできそうなのだが、とはいえ軽い気持ちで新しいツールを導入するのも微妙なところがあり、元のBIツールで頑張っている。

夜はノートの続き。順序数の演算についての証明をネットを参考に再構成して、関連する部分のまとめを進めていた。単調増加写像が存在すれば順序数も同じか大きいというのは、直感的にはそうだがなかなか証明は自力では思い付けなかった。このあたりの感覚も付けていきたいところ。