Between August 10 to 24, 2022, I visited the Programming Research Group at the Department of Mathematical and Computing Science of the Tokyo Institute of Technology. I gave a seminar talk and discussed current research with the group members. A JSPS BRIDGE fellowship supported this visit, planned initially two years ago. The trip was postponed due to COVID-19 (three times, in fact), but I was happy to have the opportunity to visit Professor Masuhara and his lab.