Comment on 20080803-1

あのあといろいろ考えてみたのですがやはり渕野さんにはかないません。というか、「エレガント」なんて俺の柄じゃないです。わはははは。

二通りの証明を読むのは自分にとってとても有用ですし楽しいです。Kunen本に記載されている一般的な言明についても渕野さんの手法で証明できた気がしています。ただしチェックもれがあると困るので、もう少々考えてから日記に書きたいと考えています。