この Haskell 関数がある場合:
次の Haskell 関数fを考えてみましょう:
f :: Int -> Int f 0 = 1 f x = x * x * f (x - 1)
では、固定点と最小固定点(閉じた形式)を計算するにはどうすればよいでしょうか?
この質問に対する答えは次のとおりです。
この最小固定点はどのように計算されますか? 私はこれを理解しようとしていますが、まだ運がありません。誰かが私にこれを説明できれば素晴らしいことです。
この Haskell 関数がある場合:
次の Haskell 関数fを考えてみましょう:
f :: Int -> Int f 0 = 1 f x = x * x * f (x - 1)
では、固定点と最小固定点(閉じた形式)を計算するにはどうすればよいでしょうか?
この質問に対する答えは次のとおりです。
この最小固定点はどのように計算されますか? 私はこれを理解しようとしていますが、まだ運がありません。誰かが私にこれを説明できれば素晴らしいことです。