>>512
最近解かれた問題の中には数理論理学のものも含まれている