「円周率が3.05より大きいことを示せという問題は円周率は3ではないという東大からのメッセージ」