相互再帰
mutual recursion
関数型プログラミング(functional programming)
参照透過性(Referential transparency)