>>254
式をどんどん分解して深くいく分割統治的再帰
関数の返り値は自由変数のリスト
分割統治の合併はappendで
累積変数でbounded variableのリスト
変数を見たら↑に含まれているかどうかチェック
自由変数なら返り値で返す