Personal Information
Organization / Workplace
Tokyo Japan
Occupation
programmer
Website
twitter.com/shiatsumat
Tags
computer science
functional programming
haskell
parallel computing
randomized algorithm
competitive programming
algorithm
computational geometry
delaunay triangulation
coq
type theory
proof assistant
c#
actor model
process calculus
process algebra
concurrent computing
wikipedia
open mpi
mpi
programming padadigm
probability
quick sort
programming
See more