07/10/20 06:50:56
おお、キミがあのλ項を書いた人か。
>>645
＞もう自分の書いたλ式がどんな形だったかすら覚えていませんでしたが
以下がそう。
(6スレ)
＞37 ：5-714：04/05/02 19:43
＞ 帰納的関数を考えると扱いにくそうなので
＞ λを持ち出してみました。
＞ とりあえずm(n)は
＞ m(n+1)=λ f_n f_{n-1} ... f_0． f_0 f_n f_{n-1} ... f_1 f_0
＞ といったところでしょうか。
＞ そうするとm(n)m(n-1)…m(1)(x)の帰納性は出てくると思いますがどうでしょう。