
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