Personal Information
Organization / Workplace
Kodaira, Tokyo, Japan, Tokyo Japan
Occupation
Some Company
Industry
Electronics / Computer Hardware
Tags
machine learning
mcml
learnability
alloy
relational property
model counting
decision tree
pldi2020
verification
security
safety
cnn
abstract interpretation
#xxforml
gbdt
gauss-markov's theorem
coq
線形識別関数
See more
- Presentations
- Documents
- Infographics