原始帰納関数〜3つの関数と1つの手続きから広がる世界 - [・ _ゝ・]日記を書くはやみずさん

原始帰納関数〜3つの関数と1つの手続きから広がる世界 - [・ _ゝ・]日記を書くはやみずさん

計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座) をSchemeで - [・ _ゝ・]日記を書く...概要を表示 計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座) をSchemeで - [・ _ゝ・]日記を書くはやみずさん 原始帰納関数って？ 原始帰納関数とは、3つの基本関数 零関数 サクセッサー関数 射影関数 と、関数合成および原始帰納法により構成される関数のこと。 をSchemeで (define (zero) 0) (define (succ x) (+ x 1)) (define (p n i) (lambda xs (ref xs (- i 1)))) 射影関数は (p n i) によって得られる。nは飾りです。 関数合成 関数が原始帰納関数であるとき、次のように定義される関数もまた原始帰納関数。 をSchemeで (define (combine-functions f . gs) (lambda xs (apply f (map (lambda (g) (apply g