この記事は京大アドベントカレンダー2020（Kyoto University Advent Calendar 2020 - Adventar）7日目の記事です。 はじめまして、二十日（二十日 (@hhLm60vDwtCuN0w) | Twitter）です。京大アドベントカレンダーの「"趣味の布教"などなんでも」という謳い文…