竹内関数

竹内関数とか、不動点コンビネータって何ぞ~? からの~、Javaで実装してみる

竹内関数(たけうちかんすう)は、プログラミング言語処理系のベンチマークなどに使われる、再帰的に定義された関数である。 電電公社研究員(当時)の竹内郁雄が、1974年の夏前の頃、このような特性のある関数をあれこれ考えていた、ある日の午前に思いつい…