続き。 length0_3とlength1_3とlength2_3に書き換えることで、結構コードも簡潔になった。 しかし、まだ「名前を付けずに再帰」という目標にはたどり着いてない。 なんとかせんとねー。 L 再帰ってどんなんよ？ R mk-lengthを任意の関数へ無限に適用するみた…