トップ «前の日記(2006-02-21) 最新 次の日記(2006-02-23)» 月表示 編集

日々の流転


2006-02-22 [長年日記]

λ. 竹島の日

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

竹島は日韓どちらのものか(下條 正男)

Tags: 時事

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

[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)