このスレの住人は年末年始も数理論理学(数学基礎論)やってますか?