関数解析

擬微分作用素でなくて、単位の分解で行けそうな気がする
そうすると、既に出来てることが（より強く）予想される