Domain-wall, overlap, and topological insulators - Taro Kimura (2015)