一時期、円周率はちょうど3として扱われていたんだっけ