定数の1/PIの名前なんてつけたら良いですかね?なるべく短いほうがよいです