抽象化は次元削減