A special lecture by Martin S. Finkbeiner is held 2022.9.28 Sorry, this entry is only available in Japanese