takeo @bonotake
Company resesarcher in computer science/Software engineering/Formal methods/Programming languages/Logics/Category theory/Ph.D student
-
ICSE'15勉強会 #sereading
9886pv 40 3 users 13