pzdrk
id-2
@yolorollo @ton-bot @pizdarikihq @hummingcraft @webmindapp @jetrover @christofari human in the loop
Masahiro Sakai
msakai
Computer science researcher.
Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.
Preferred Networks, Inc. (@pfnet) Kawasaki, Japan