関数の再帰的定義

[1] 写像$f:\mathbb{N} \to \mathbb{Z}$を次で定める。 　このとき、$f(2) =$ 　,　$f(4) =$ 　　 である。 　　 　

[2] 写像$g:\mathbb{N} \times \mathbb{N} \to \mathbb{N}$を次で定める。 このとき
  1. $g(1,1) =$ 　, 　$g(1,5) =$ 　 である。　　
  2. $g(2,1) =$ 　, 　$g(2,3) =$ 　 である。　　
  3. $g(3,1) =$ 　, 　$g(3,2) =$ 　 である。