そう、一時円周率は、3だったらしいねww