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 -
機械学習工学研究会(MLSE)キックオフシンポジウム #mlse_kickoff
5361pv 22 6 users 55
-
『東大に入って絶望した田舎者』阿部幸大氏のウソを、彼の卒業した高校元教員が指摘
365123pv 2715 511 users 2119 -
ICSE2017勉強会 #sereading
7373pv 27 1 user 37 -
ICSE2016勉強会 #sereading
10698pv 20 23 users 46 -
ICSE'15勉強会 #sereading
9886pv 40 3 users 13 -
ICSE'14勉強会 #sereading
9218pv 29 13 -
ICSE'13勉強会 (ハッシュタグ #sereading)
8665pv 39 6 users 4 -
ICSE'12勉強会 ログ (ハッシュタグ #sereading)
6115pv 16 2 users -
Coqの話あれこれ
4249pv 5 3 users -
スタート集合論
2591pv 9 2 users -
『圏論の基礎』が書店から消えた
7199pv 20 1 user -
ICSE2011勉強会 ログ (ハッシュタグ #sereading)
3840pv 5 1 -
浦霞
1310pv 1