タイプとトークンの区別