lens関数