「D加群」と線形微分方程式はだいたい同じものらしい