その円周率はどこから持ってくるんだ。