本題の前にちょっと近況報告すると、ついこの前コロナにかかってしまいました。 感染経路の当たりはついてるんですが、予想通りだとするとまあ運が悪かったとしか言いようが無いかなって感じです*1。 幸い肺炎とかにはならずに2〜3日ちょっと重い風邪くらい…