generated at
クリーネの再帰定理