Plenary talk at AIST 2020