竹内関数

竹内関数（たけうちかんすう）は、プログラミング言語処理系のベンチマークなどに使われる、再帰的に定義された関数である。 == 概要 == 再帰的に定義される、3個の引数 x, y, z をとる次のような関数である。