この記事は TSG Advent Calendar 2020 の 11 日目の記事です (は?)．10 日目の記事はふぁぼんさんの 今日から始めるdotfiles、そして4年間ずっと使っている自作コマンドの話 でした． 距離空間においてコンパクト性と点列コンパクト性の概念は一致しますが，…