HasProperty
円周率