"Serious Problems"って・・・

3月に投稿したAML論文がrefreeから帰ってくる。残念ながら落とされたが、評価は

These are interesting results deserving publication after a serious revision

だそうで、その "Serious Problems"とは以下の3点だそうだ。

  1. タイトルを変更しろ(もっとinformativeにしろ)
  2. 「証明可能」というのではなく「すべてのモデルで真」という言葉に変更しろ
  3. 定理の結果を「超準元を含む」ではなく「体系がω-矛盾している」ことを示したと書き直せ

いや、たしかにconceptualな次元では大きな変更なんですけれど、でも実際に論文として変更する部分はあまりない・・・。現在の所、最大の問題点は時間の不足だったりする。