日々の流転

λ. 竹島の日

去年は「竹島の日」の制定をきっかけに日韓友情年なんて吹っ飛んでしまった感があるけど、今年はどうなるやら。

λ. 不動点はたくさん有る?

[haskell-jp:781]の話。(N->N)->(N->N) という型の関数として考えるなら不動点はただ一つと書いたが、もし (Int->Int)->(Int->Int) という型の関数として考えるなら、次のような関数も不動点になっている。

f3(x) :=
      if (x == 0) -> 1
      else if (x < 0) -> 0
      else x * f3(x-1)