ChatGPT - tan1°の有理数性