最高裁長官と京都大学数理解析研究所教授はどっちの方が頭が良いですか?