- 19
Masahiro Sakai
@masahiro_sakai
Kawasaki, Kanagawa, Japan
Following Users52
Popular Items
- Dec 26, 2017
- 0
- Dec 19, 2016
- 0
- Dec 14, 2014
- 0
- Dec 10, 2017
- 0
- Oct 11, 2016
- 0
19
Likes
部分構造の共有を観測するdata-reify
15
Likes
Hash-consingのためのinternパッケージ
5
Likes
TPPmark2014のAgda版解説
4
Likes
TPPmark2017のAgda版解説
2
Likes
HITCON CTF 2016 の write-up (RegExpert, ROP, moRE)