年末プログラミング、なにしようかな〜

別名、年越しプログラミングですけどね

去年は、Zornの補題の証明が12/18までかかって、そこそこ面白かった

いや、そんな悠長なこといってないで、いろいろやることはあるんですけど

ってなことを書いてるってことは、ちょっとやる気に欠けるか