De Fermat-pのリリース