狠狠撸

randomized algorithm computer science functional programming haskell parallel computing programming quick sort probability programming padadigm mpi open mpi wikipedia concurrent computing process algebra process calculus actor model c# proof assistant type theory coq delaunay triangulation computational geometry algorithm competitive programming