0514
朝起きたら比較的元気になっていた。昼間はちまちまとCADをやっていた。necoboard-petit（3号機）のためのケースが一応形になったので、3Dプリントサービスに送った。やはり素人なのでいろいろミスもあるだろうが、一度実物を出してみないことには感覚が掴めまい。思ったよりか高いのだなとは思った。まあいい。
夜はアニメ観ようと思ったのだけどNetflixのラインナップがいまいちピンと来なかったので諦めてYouTubeの飲酒用プレイリストにした。でもいま思えばラブライブのまだ観てないやつとかにすればよかったな。結び目理論の本をすこし読んだ。ライデマイスター移動だけでは「自明でない結び目」の存在は示せない、確かになと思った（3彩色可能性が不変量になっていてそれで少なくとも三葉結び目が非自明なことはわかるらしい）。
妻が仕事で出かけており、結婚して以降の最長会ってない記録になっている。とはいえLINEで通話とかはしているので、まあべつに普通だ。夕食に何を食べたいか教えてくれる人がいないのは不便ではある。