全域帰納関数