さらに上の次元を求めて