>>278
解析空間はイデアルで正則関数を与えているだろ
そうではなく、距離空間上で微分が定義出来る様に、
距離空間上で正則関数というのが定義出来るか？
という意味。