超関数を超準解析で扱うのはあるよ。
ある意味、超関数は無限小解析だな。