andante

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

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

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

今日はお昼くらいに起きてクッキーを作った。味は悪くなかったが（少なくとも普通に食べられる範囲ではあった）装飾に失敗した。敗因はまだわからない。もうすこし牛乳を足せばなめらかさが出たのではという気もするが、推測の域を出ない。

夕方はほこらんさんとねておきたさんと肉の低温調理をやった。以前にやったときはもっと柔らかかった気がするけど、今日はなんだか固く、普通だった。こういった機微はどこで知るのがいいのだろう。

今夜は得な何もしない。明日は暇なのでコードを書く、かも。

今日はわりと終わっていた。もうあんまり深酒するもんじゃないなあと思ってはいるのだが、飲酒許容日数を制限した結果として飲む日の量が増えている感じがある。結局後悔することになるので、やはり量的な制限も考えたほうがいいかもしれない。

そういうわけで今日はほとんどなにもしていない。マンガをすこし読んだ。夜はちょっとだけ趣味コードを書いた。とりあえず画像ビューアはほぼ完成といえるだろう。べつにいま完成させたいわけではないのでこれ以上深入りはしないけど、実現したい機能が実現できることはわかった。次は何をすべきか。画像アップロード機構などか。

明日はまた仕事。三連休って月曜日が休みになりがちなので、その後の平日も四日で終わる嬉しさがあるものだけど、今回は金曜休みだったので、特にそういう旨みはない（まあ前払いだったというだけなのだが）。この思考は朝三暮四といった感じがあるな。まあそういうこともある。

"Dear John letter"という英語の言い回しがあって、これは交際相手への離縁を告げる手紙や解雇の通知などを指すらしい。たぶん冒頭が"Dear John"になるからなんだろうけど、この語源はなんとなく「お祈りメール」っぽいな、と思った。他の言語圏にもこういうのはあるんだろうか？中国語とか。

三連休明けの仕事。なんかいろいろ先週のことを思い出しているうちにほとんど終わってしまった気がする。あ、でもひさびさに不具合らしい不具合を直したな。見積もりばっかりやってちゃつまらないね、やっぱり。

今日は他に特に思うところなし。考えることが多く、平均以上のストレスを感じているが、やっていくしかない。

今日はなんだかひどくねむたかった。ひどくねむたかったが仕事はわりと捗った。というか急に納期の波が重なってきたのでちょっと忙しくなった感じ。不具合を一つ直したような気がする。だいぶ終わりそうだな。

人生の重大なイベントを周囲に喜んでもらえるか、みたいなのって、僕にとってはあまり重要なことではなかったなあと思った。大学に合格したとき両親は喜んでくれたけど、大学院を中退したとき彼らは歓迎はしなかったし、だけどこれらは僕にとっては同じくらい「価値のある」の出来事だった。どちらがなくても今の僕はいないだろう（それはあらゆる出来事についてそうだし、それゆえにそもそも想像すること自体がナンセンスな事態なのだが）。そういう意味で、彼らの応援や歓迎は重要ではなかったのだ。

明日はちょっと打ち合わせがあったはず。予習しないと。

仕事はなんだっけ。昨日よりはちょっと余裕があった、はずなんだけど、会議がいろいろあったので結局やりたいことには着手できなかった気がする。そういえば労働者代表というやつになった。代表たって要するに時間外労働に関する協定を結ぶために要請されるだけの存在なので、特に何かの権限を持つというわけでもないのだけど。むしろ法的に特に根拠のない面倒が降ってくるリスクのほうが大きそうな気もするよな。やれやれ。

夜はすこしだけ趣味のコードを書いた。今回はメインのWeb API通信はGraphQLだけど、画像アップロードなどにAlamofireを使おうかな、とか考えてもいたのだけど、そのくらいなら素直にURLSession書けばええのでは、という結論になりそう。でも、こいつのProgressってどうやって通知すればいいのかなあ。Promiseと同時にProgressを返すとかすればいいのかなあ。というかそれしかなさそうだなあ。多値を返却するのはあんまりエレガントではないと思うけど、まあPromiseにその機能がない以上は仕方がないか。

明日はひさびさに出社していろいろの作業（冒頭に書いた協定にハンコを押したり、あとオフィスに工事が入るので自席を整理したり）をする。あと、Xcode 11.4がCatalinaを要求してくることがわかったので、macbookをアップグレードする日になるんじゃないかと思う。まじか。憂鬱だなあ。

ひさびさに出社。いつぶりだろう？やはり通勤時間というのは無駄な時間だなあと思うけど、じゃあこの時間がなにか生産的活動にあてられるのかというと微妙ではある。でもまあ、無駄がないのはいいことだ。
仕事は36協定の締結。いろいろ調べてハンコを押した。仕事でハンコを押す日が来るとは。僕も偉くなったものだ。
あとはmacbookをCatalinaにアップグレードするなどした。Xcode11.4がもうCatalinaを要求してきたため（さすがに早くない？）。Catalina、使う人だいたいなにかしらの不調を訴えるんだけど、僕の場合はアーカイブユーティリティが異様に遅くなってしまったことが挙げられる。なんかこいつバックグラウンドで動作してない説あるんだけど、まあそんなにしょっちゅう巨大圧縮ファイルを展開することもないだろうし、いいかなあ。それ以外はだいたい普通に動いた。ただしずっと放置してたATOKがアップデートについてこられなくなったらしく急遽アップデートした。
あとは細かい不具合を直した程度。あ、あと自席の片付けをした。オフィスのレイアウト変更が入るらしい。しかし、もう最近オフィスに行っていないし、しばらく行くこともないだろうから、あまり関係ないような気もする。

夜はまた妻の作業の手伝い。試験や課題というものは、ハックされる前提で、じゃあどのような形式にすれば、ハックすることで身につく能力が真に必要な能力と近づくのか、という観点から設計されるものだと思うのだけど、この作業が何を身につけさせるものなのかはよくわからない。長時間労働への耐性だろうか？

明日はたしか計算上は耳鼻科の日だなと思っていたのだけど、なんか薬が一週間分余っているのでじゃあ来週でいいや、となった。午前中は書留の受け取りとかする。

仕事は比較的暇。ビルドとかしてた。あとは今年度に作ろうとしている社内の案件管理システムのコードを読もうとしていた、のだが、Common Lisp界隈の知見がほぼないのでそのあたりを調べているだけで終わってしまった。まあ最悪僕はバックエンドが何で書かれていようがWeb APIがあるならSPAを書けばええやんとは思うけれども。

夜はすこし趣味コードを書いた。画像アップローダに進捗を返させるところまでできたが、API自動リトライ機構と食い合わせがよくないのでもうすこし考えたほうがいいっぽい。明日やろう。

さて週末。引っ越し先について考える時期かなあ。

なんだか昨晩はよく寝付けなくて、今朝はなんだか眠たかった。まあ土曜日なので関係ないですが……。

今日はわりとボンヤリしていたと思う。夜はちょっと趣味コードを書いた。画像ダウンローダーのキャンセル機構を考えているのだけど、どうもうまくいかない。原因もまだよくわかっていない。考えないとなあ。

明日は何をしようかな。多分ノンビリしてなにもせず終わるけど。忙しいときほど趣味が捗る。

なんだか体温が平熱よりすこし高い。数日前から風邪気味だと思っていたが、ここに来て咳がすこし出るし倦怠感もある。近頃流行りの新型肺炎じゃないといいなあと思い、少し不安。とはいえ感染に心当たりのあるような外出はないのだけど。

今日は特段なにもしていない。昨日うまくいかなかった画像ダウンローダーのキャンセルをもう一度考えようと思っていたんだけど、なんかグッタリしていたら一日が終わってしまった。明日にでもまた考えような。

明日はまた仕事。また見積もりマシーンにならないといけないんだっけな。あと次フェーズに着手するかなあ。でも風邪の調子が悪かったら休むかも。