仕様を満たした型