2018-01-22から1日間の記事一覧
2つめの引数に含まれる'?をすべて1つめの引数の値に置き換える、subという関数を考えましょう。 これはScheme手習いで言うところの「スター型」(*のついた)関数になります car側も再帰するやつです (cons (sub x (car y)) (sub x (cdr y)))の部分は証明だと …
2つめの引数に含まれる'?をすべて1つめの引数の値に置き換える、subという関数を考えましょう。 これはScheme手習いで言うところの「スター型」(*のついた)関数になります car側も再帰するやつです (cons (sub x (car y)) (sub x (cdr y)))の部分は証明だと …