takeo @bonotake
Company resesarcher in computer science/Software engineering/Formal methods/Programming languages/Logics/Category theory/Ph.D student
-
ICSE2019勉強会 #sereading
5074pv 14 -
ICSE2018勉強会 #sereading
7377pv 23 1 user 20 -
ICSE2016勉強会 #sereading
10696pv 20 23 users 46
-
ICSE'15勉強会 #sereading
9886pv 40 3 users 13 -
ICSE'14勉強会 #sereading
9217pv 29 13 -
スタート集合論
2591pv 9 2 users