_ （5/11記：週末。このところ新井敏康「数学基礎論」を地味に読み進めている。まだ序盤とはいえ、噂には聞いていた色々な結果（コンパクト性定理、完全性定理、再帰的関数の話、等々）を実際に手元で再構成していくのは楽しいものである。あと、学部前半の頃にも少しこの辺りを勉強しようとしたことがあったもののわけがわからなくて挫折した、ということを思い出して懐かしんでもいる。まぁ確かに、読み進めていくにつれて、（少なくとも私の）学部前半の時点でこれは厳しいよなぁとも実感できるのだが。）
最近のツッコミ↓