円周率という定まった数を値に持つ定数