依存型とOwnership関係と外部モジュールspecializeが早く欲しい