年末進行

といっても、呼び出されて飲みまくってるだけですが。

今年はzornの補題な年だった。できてよかったが。チコノフの定理とか可算モデルとかもできそうな。

それはゆっくりでいいかな。OSの採点とかしてるはずです。(つうか、それをやれ