再帰的定義じゃなくて循環論法だよね