理Ⅲ出身の離散数学の専門家か…