おやすみ円周率なんて√10で代用していいじゃないかと思うメイソ