エピソード
C9 講義:Erik Meijer 博士 - 関数型プログラミングの基礎 第6章/13
第6章では、Meijer博士が再帰関数の世界を案内しています。 Haskell では、関数自体の観点から定義できます。 このような関数は再帰と呼ばれます。
次に例を示します。
階乗 0 = 1
階乗 (n+1) = (n+1) * 階乗 n
階乗は 0 から 1、その他の正の整数はそれ自体の積とその先行の階乗にマップされます。
階乗などの一部の関数は、他の関数の観点から定義する方が簡単です。 しかし、私たちが見るように、多くの関数は自然に自分自身の観点から定義することができます。
再帰を使用して定義された関数のプロパティは、誘導の単純で強力な数学的手法を使用して証明できます。
これらを順番に見る必要があります (または、この操作の中で、現在の知識レベルに応じてスキップしてくださいメイン)。
第6章では、Meijer博士が再帰関数の世界を案内しています。 Haskell では、関数自体の観点から定義できます。 このような関数は再帰と呼ばれます。
次に例を示します。
階乗 0 = 1
階乗 (n+1) = (n+1) * 階乗 n
階乗は 0 から 1、その他の正の整数はそれ自体の積とその先行の階乗にマップされます。
階乗などの一部の関数は、他の関数の観点から定義する方が簡単です。 しかし、私たちが見るように、多くの関数は自然に自分自身の観点から定義することができます。
再帰を使用して定義された関数のプロパティは、誘導の単純で強力な数学的手法を使用して証明できます。
これらを順番に見る必要があります (または、この操作の中で、現在の知識レベルに応じてスキップしてくださいメイン)。
ビデオの URL
HTML iframe
ご意見およびご提案がある場合は、 こちらから問題を送信してください。