>>302
不完全型が「存在しない」ってこと?