コンパクトな空間と分離公理の決定