#02で話した円周率の定義変えたほうがいい