3891 pv
14
takeo
@bonotake
Company resesarcher in computer science/Software engineering/Formal methods/Programming languages/Logics/Category theory/Ph.D student
-
ICSE2019勉強会 #sereading
3891 pv
14
-
ICSE2018勉強会 #sereading
6307 pv
23
1 user
20
-
機械学習工学研究会（MLSE）キックオフシンポジウム #mlse_kickoff
4807 pv
22
6 users
55
-
『東大に入って絶望した田舎者』阿部幸大氏のウソを、彼の卒業した高校元教員が指摘
349622 pv
2713
511 users
2119
-
ICSE2017勉強会 #sereading
5951 pv
27
1 user
32
-
ICSE2016勉強会 #sereading
9478 pv
20
23 users
46
-
ICSE'15勉強会 #sereading
8719 pv
40
3 users
13
-
ICSE'14勉強会 #sereading
7767 pv
29
13
-
ICSE'13勉強会 （ハッシュタグ #sereading）
7078 pv
39
6 users
4
-
ICSE'12勉強会 ログ （ハッシュタグ #sereading）
5482 pv
16
2 users
-
スタート集合論
2335 pv
9
2 users
-
『圏論の基礎』が書店から消えた
6692 pv
20
1 user
-
ICSE2011勉強会 ログ （ハッシュタグ #sereading）
3201 pv
5
1
-
浦霞
1190 pv
1
-
Coqの話あれこれ
3950 pv
5
3 users