Login / Signup
Kyosuke Nakano
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 2
Top Topics
Unequal Error Protection
Logical Language
Noisy Channel
Packet Loss Rate
Top Venues
ISITA
</>
Publications
</>
Kyosuke Nakano
,
Manabu Hagiwara
Formalization of binary symmetric erasure channel based on infotheo.
ISITA
(2016)
Manabu Hagiwara
,
Kyosuke Nakano
,
Justin Kong
Formalization of coding theory using lean.
ISITA
(2016)