msakai Goto Github PK
Name: Masahiro Sakai
Type: User
Company: Preferred Networks, Inc. (@pfnet)
Bio: Computer science researcher. Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.
Location: Kawasaki, Japan