本記事はB4UT Advent Calendar 2020の12/9の記事です。 おそらく初めまして*1、B4UT 2ndのらるば*2と申します。 普段は、某東京大学謎解き制作集団*3で謎を作らない人をやっていたり、beatmania IIDXをやっていたり*4、数学をやっていなかったりしています。…