Skip to content
Search Gists
Search Gists
All gists
Back to GitHub
Sign in
Sign up
Sign in
Sign up
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Instantly share code, notes, and snippets.
Masahiro Sakai
msakai
Computer science researcher. Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.
280
followers
·
265
following
Preferred Networks, Inc. (
@pfnet
)
Kawasaki, Japan
https://twitter.com/masahiro_sakai
View GitHub Profile
All gists
124
Forked
2
Starred
20
Sort
Recently created
Least recently created
Recently updated
Least recently updated
Sort
Recently created
Least recently created
Recently updated
Least recently updated
Newer
Older
You can’t perform that action at this time.
