お休み中

去年は位相空間論やってたんだよな

Red black tree の残りを片付けようと思ってるんですが、やる気が微妙

なんか、Agdaの式が頭に入ってこない

酒量多めなので、少し控える予定