Mikio Sato — Japanese mathematician (1928–2023) | namepick