Also known as successor, successor operation, increment, zeration
自然数の定義のため使用される数学において基礎的な関数
数学の分野における後者関数(こうしゃかんすう、後続者関数、英: successor function)、もしくは後者演算 (successor operation)は原始再帰関数のひとつである。後者関数 S は任意の自然数 n にその後者(後継、後続者)n + 1 を割り当てる: S(n) ≔ n + 1 (∀n)。例えばS(1) = 2 であり S(2) = 3 である。0-番目のハイパー演算 H0(a, b) ≔ 1 + b としての後者演算は「ゼレーション」("zeration") とも呼ばれる。
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).