takeo @bonotake
Company resesarcher in computer science/Software engineering/Formal methods/Programming languages/Logics/Category theory/Ph.D student
-
ICSE2019勉強会 #sereading
5079pv 14 -
ICSE2018勉強会 #sereading
7387pv 23 1 user 20 -
機械学習工学研究会(MLSE)キックオフシンポジウム #mlse_kickoff
5363pv 22 6 users 55
-
『東大に入って絶望した田舎者』阿部幸大氏のウソを、彼の卒業した高校元教員が指摘
365237pv 2715 511 users 2119 -
ICSE2017勉強会 #sereading
7376pv 27 1 user 37 -
ICSE2016勉強会 #sereading
10715pv 20 23 users 46 -
ICSE'15勉強会 #sereading
9890pv 40 3 users 13 -
ICSE'14勉強会 #sereading
9224pv 29 13 -
ICSE'13勉強会 (ハッシュタグ #sereading)
8670pv 39 6 users 4 -
ICSE'12勉強会 ログ (ハッシュタグ #sereading)
6140pv 16 2 users -
Coqの話あれこれ
4251pv 5 3 users -
スタート集合論
2593pv 9 2 users -
『圏論の基礎』が書店から消えた
7204pv 20 1 user -
ICSE2011勉強会 ログ (ハッシュタグ #sereading)
3845pv 5 1 -
浦霞
1311pv 1