再帰的って
A := B
B := ( A, C )
みたいな感じ？分岐してる構造を掘り下げて行くのは探索？