Contributed talk at ICIAM 2023, Waseda University.