穂乃果「海未ちゃん、時間反転演算子はどうして反ユニタリ・反線形演算子で定義されるの?」