07/01/07 18:06:00
ごめんなさい。>>104の定義はおかしいです。
f((3,3),(2))_2=f((f((f((1,3),(2))_2,2),(2))_2,2),(2))_2
=f((f((1,2),(2))_2,2),(2))_2=f((1,2),(2))_2=1
となってしまい、二重リスト以上で常に1になってしまいます。
07/01/07 18:06:00
ごめんなさい。>>104の定義はおかしいです。
f((3,3),(2))_2=f((f((f((1,3),(2))_2,2),(2))_2,2),(2))_2
=f((f((1,2),(2))_2,2),(2))_2=f((1,2),(2))_2=1
となってしまい、二重リスト以上で常に1になってしまいます。