andante

朝起きて少し仕事をしてから歯医者へ。ここの歯医者は毎度歯磨きが上手だとおだててくれる。前のところはなんか歯磨き下手って言ってきたので苦手。いやまあ、下手かもしれんが、別にこれやりたくて毎日やっとるわけではないのよ。しゃあなしでやってるんだから、そんな悪く言わないでほしいよね。まあわがままだとは思いますが。

仕事は今日はレビューしたり。なんかでも今日はそんなに進捗なかったか。状況がだいぶ整理されてきていて、ラストスパートという感じ。ラストスパート？まあ開発完了の先にもいろいろあるわけだけど。がんばろ。

夜は数学をやったりRustを書いたり。地味な進捗しかない。そういえば、分離キーボードに慣れてしまったせいで普通にMacbookを使うのがなかなか大変。ちょっと使えばまた慣れるけど。うーん、あんまり特殊な配列に慣れるのも考えものだなという感じはある。

寝ましょう。土日は特に何も予定がないので、数学とかRustに時間を使いたい。

今日は……なんだっけ。昨夜謎の夜更かししてたせいで今日は14時くらいにようやく始まった。お昼は15時ごろだった。それで、ちょっと部屋の片付けなんかをしていた。パソコン環境を新しくするたびに余っていくケーブル、そんな何本も持っていてもいいことないので捨てることにした。あとiPhone買うたびについてくる（最近ついてこない？）USBのアダプタとか。5個くらいあってちょっと引いた。
あと旧iMacのデータ全部消すのもやっている。ただこれはHDDをランダムビットで7回埋めるのに時間がかかるのでしばらく放置。

夜は数学をした。やっと双対空間がでてきた。一応知ってるはずの線型代数でこんだけ遅いんだから、微分形式の話とかになったらどうなるんだという気はするが、粘り強くやっていこう。

これからちょっとRustを書きます。明日もちょっと出かけるらしいのであんまり遅くまで起きてるわけにもいかないけど。