なにを当たり前のことを佐藤超関数を使うのは代数解析の連中だけ、普通は超関数、ソボレフ空間で十分