名前という有限化装置