Sendai Logic - 仙台ロジック Mathematical Institute, Graduate School of Science, Tohoku University
Research Alliance Center for Mathematical Sciences, Tohoku University