そういえば円周率の雑な近似値だったか?