線形代数ってなくなったんだっけ?