再帰型の繰返し型への変換