コピペしているのに読んでないのな
>>372のカンファレンスのAbstractsによると、ZFCGとかではなくunivalent foundationsみたいだぞ?