この記事は Math Advent Calendar 2023 の 19 日目の記事です。