2008-03-22 実は半分本気 集合論 「ミルカさんにPCF」は半分本気でやれるのではと思っています。ですので誰か同人誌出してください(そこで他力本願かよ!)。しっかりと一つ一つを詰めてやればを理解するのはそんなに難しくはないはず(簡単とも時間がかからないとも言いませんが)。それをやるにはこのフォーマットは有効なのではないかと。