線形代数は論理そのものだからなあ