いつになったらコンパクトの問題を解くのか。