2015-06-13から1日間の記事一覧
// // 自然数の対を入力にとる次のようなアルゴリズム\(F\)を考える. \( F(m,n)= \left\{ \begin{array}{l l} n+1 & m=0 のとき \\ F(m -1,1) & m \neq 0 かつ n=0 のとき \\ F(m -1,F(m,n -1)) & m \neq 0 かつ n\neq 0 のとき \end{array} \right. \) す…
// // 自然数の対を入力にとる次のようなアルゴリズム\(F\)を考える. \( F(m,n)= \left\{ \begin{array}{l l} n+1 & m=0 のとき \\ F(m -1,1) & m \neq 0 かつ n=0 のとき \\ F(m -1,F(m,n -1)) & m \neq 0 かつ n\neq 0 のとき \end{array} \right. \) す…