京都大学数理情报是