相互末尾再帰は最適化やってくれるんかな
a->b b->c c->d・・・みたいな