Yamagata Yoriyuki
22
Abonné
Personal Information
À propos
Delusional mathematician, who are working a disillusioned government agency.
妄想的数学者
Mots-clés
computer science
#voynich
scala dsl test csp
computational complexity
bounded arithmetic
model-checking formal-methods
consistency-proof
bounded-arithmetic
logic
mathematics
bounded-arithmetic p=np
uml formal_methods csp
formal methods
camomile ocaml programming
Tout plus
- Présentations
- Documents
- Infographies