完全積分可能系に関係する可換微分作用素環およびその固有函数の構造