zfcにおけるパラドックスの解決.