FDEはFDFと同一なんじゃなかったっけ