"再帰関数を定義したら、それが fold で書き直せるかどうか検討せよ"