0520
今朝は比較的よく目が覚めた気がする。やはり昨夜すこし早く寝たことと関係があるのか。認めたくないが、夜更かしすると眠いのだろうか。本当に?僕が?
仕事はレビューしたり依頼したり調査したり。うーん、ストレージを管理したくないなあという気持ちはあるが、それでも持っておくとずいぶん話が楽になる。ただエラーハンドリングは複雑になるな。うーん。
夜は数学をした。テンソルの添字の上げ下げを定義した。ベクトル空間はその双対空間と計量同型だから、計量を保存する変換で互いに移り合うことができて(?)、だから自由に添字を上げ下げしてもいい、のだろうか。
寝ます。明日はウルトラマンの映画を観ます。