Journal of the Faculty of Science, Hokkaido University (Hokkaido University, Department of Mathematics, 2020)