二年前の7月に中国で発表した論文*1が、紆余曲折の挙げ句、やっと「数理論理学記録保管所」誌に掲載されることとなりました。オンラインではこちらからアクセス可能です。要旨は以下の通り。 We introduce the simpler and shorter proof of Hajek’s theorem…

よく晴れた日、桜も咲いてきた。原稿書きと雑用、本日は「税込み」と「税抜き」の違いにやられる。他に、エクセルのファイルを送ったら、「お送りただいたのはエクセル2007年（ｘｌｓx）ですが、当社の標準はエクセル2003（xls）です」と言われた。 21時半に…