この記事は Eureka Advent Calendar 2023の 12日目の記事です。