閉写像によるコンパクト性の特徴付け

10/10に某工大祭へ行ってきました。