diary

0320

昼過ぎまでボンヤリしていて、午後にちょっと数学の勉強をした。scrapboxに数学の勉強ノートを書こうとずっと思っていたので試している。慣れるまでは紙のほうがずっと手軽でいいなと思うだろうが、紙だとどこかに行ってしまうし、場所をとるので、可能な範囲でこういう形にしておきたい。
ただ、scrapboxの数式表示はMathJaxではなくKaTeXだったのは誤算だった。MathJaxの秘伝のカスタマイズを持っているのだが、これは使えなさそうだ。MathJaxはDOMをメチャメチャにするらしいのでイマドキのWebの人からは嫌われているらしい。まあいいや。

夜は焼肉を食べた。焼肉はいい。幸福になる。それからまたすこし数学をやった。八年ぶりくらいにホモロジー群を定義して具体的な計算を行った。コホモロジーの定義もすこし見たが、そこまではまだ手を動かしていない。なぜかコホモロジーのほうが便利らしいのだが、なぜなのかもまだ知らない。
あとは趣味コードを触った。画像ビューアはだいぶいい感じになっている。ズーム中にすぐに隣のページに移りたいとき、一定速度以上のフリックを検出してそれに従ってくれるとうれしいなと思っていたのだが、それはどうにか実現できそうだ。まだ実機で試せていないのでいい感じかはわからないが……。


明日はほこらんさんとねておきたさんと肉をやる。クッキーも焼こうと思っている。クッキーを焼きたいのだ。なぜならそれは「丁寧な暮らし」っぽいから。たまにはそういうの、意識的にやったらいいと思うんだよね。