@kururu_goedel: PIFには、「こんなふうに変えてやればV=L仮定しなくても大丈夫だよ」とか書いてあるんだけど、最終的に「これ無理」って結論に達したようで。2012-11-27 10:54:37 via TweetDeck @kururu_goedel: completely properをcountable-support iter…