2023-04-21 for jazzionad englishjazzionad.blogspot.com jazzionad.hatenablog.com ishikawa.math.keio.ac.jp