帰納的関数などの関係性