(tan1°は有理数じゃ)ないです (京都大学)