コメントしました→ http://hakase.g.hatena.ne.jp/siuye/20090803/1249287011。 年15本は絶対無理。id:tri_iroさんの論文速読能力が羨ましいです。今もsecond referee report書くのでいろいろ四苦八苦中。皆さんはどうなもんでしょうか？

もう随分前の話になりますが、ASL meetingで「証明が受け入れられるのはsocial processである」などというテーマでしゃべっていた人がいて、その時はちょっとムカついていたものですが、最近はそんなものかなと思っています。理論的には証明さえキッチリでき…

もう古い話題なのですが。 強制法という強力なツールを引っさげて集合論研究の最前線へ突進を続けるくるるさん http://www.tenasaku.com/tenasaku/tepipi/diary200907.html いくらなんでも過大評価しすぎワロタｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ。って感じです…