佐藤の超関数って今でも何か進展あるの?