Kyosuke Nakano

According to our database, Kyosuke Nakano authored at least 2 papers in 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Formalization of binary symmetric erasure channel based on infotheo.

Kyosuke Nakano, Manabu Hagiwara

Proceedings of the 2016 International Symposium on Information Theory and Its Applications, 2016

Formalization of coding theory using lean.

Manabu Hagiwara, Kyosuke Nakano, Justin Kong

Proceedings of the 2016 International Symposium on Information Theory and Its Applications, 2016