0117 昼過ぎに実家を発ち、東京へ帰還。とりあえずは無事に事が終わり、妻も気を遣いつつそれなりには楽しんだようなので、まあよかった。しかしまあ、そんなに頻繁にはやりたくないな、疲れる。 帰ってからは数学をすこしやった。混合テンソルとか出てくると添字を書くのが疲れる。こんなに一般的に定義しても実際に使うのはせいぜい4階なのに……。まあいいや。 さて、明日からはまた仕事です。正月休みからなんか連休が多くて正月気分が抜けきらないが、そろそろ開発期間が終わりに近い。