Computer science researcher.
Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.
-
Preferred Networks, Inc. (@pfnet)
- Kawasaki, Japan
- https://twitter.com/masahiro_sakai
Block or Report
Block or report msakai
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseSort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.