マッカーシー版を特にtak関数として区別する場合もある)。