1218
今日は……なんだっけ。昨夜謎の夜更かししてたせいで今日は14時くらいにようやく始まった。お昼は15時ごろだった。それで、ちょっと部屋の片付けなんかをしていた。パソコン環境を新しくするたびに余っていくケーブル、そんな何本も持っていてもいいことないので捨てることにした。あとiPhone買うたびについてくる（最近ついてこない？）USBのアダプタとか。5個くらいあってちょっと引いた。
あと旧iMacのデータ全部消すのもやっている。ただこれはHDDをランダムビットで7回埋めるのに時間がかかるのでしばらく放置。
夜は数学をした。やっと双対空間がでてきた。一応知ってるはずの線型代数でこんだけ遅いんだから、微分形式の話とかになったらどうなるんだという気はするが、粘り強くやっていこう。
これからちょっとRustを書きます。明日もちょっと出かけるらしいのであんまり遅くまで起きてるわけにもいかないけど。