Assoc. Prof. Matsuo gave an invited talk in ACCGE-23.