積分ルーチン・インスタンスに微分方程式インスタンスを与えると、解インスタンスが出てくるのではいかんのか。
3つのインスタンスの関係は、上位構造で管理すればいいように思うけど。