この記事は「Eureka Advent Calendar 2020」の22日目の記事です。