代用とは 意味