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