構造主義じゃなくても数学自体構造だよね