Sendai Logic - 仙台ロジック Mathematical Institute, Graduate School of Science, Tohoku University