依存関係の高速推論エンジン