07/09/05 22:39:13
>>336
Snake の定義の３つ目の式を、
Snake([a<1>,･･･,a<n>],x)
=Snake([a<1>,･･･,a<n>-1],Snake([a<1>,･･･,a<n-1>,1],x))
と解釈し、
Snake([1],x) = x+1
とした場合は、
Snake([1がn個], n) ≒ F[ω^ω](n)
07/09/05 22:39:13
>>336
Snake の定義の３つ目の式を、
Snake([a<1>,･･･,a<n>],x)
=Snake([a<1>,･･･,a<n>-1],Snake([a<1>,･･･,a<n-1>,1],x))
と解釈し、
Snake([1],x) = x+1
とした場合は、
Snake([1がn個], n) ≒ F[ω^ω](n)