ML: haskell-jp / quickml.com
新メンバー: ttoyofukujp / y...

  豊福です。

nobsunさん
> fixpoint g = (\y -> g (\ x -> psi y y x))
>              (PSI (\ y -> g (\ x -> psi y y x)))
  ...
>           すなわち、 
>                 g (fixpoint g)

  前者の fixpoint が g (fixpoint g) を満たすことは導けますが
同じ定義といえるんでしょうか。例えば
f(x) = x mod p と g(x) = x**p mod p (p は素数とする)
で f と g は結果的には一致いますが定義としては違うという
気がします。上記にもそういう感じはないですか。

shelarcyさん
> fix f = let x = f x in x
> Monad と同じ要領です。

  解説お願いします。(^_^;)
---
                        豊福
                        nobu_toyofuku / nifty.com


--
ML: haskell-jp / quickml.com
使い方: http://QuickML.com/

このMLを退会する方法:
- 本文が空のメールを <haskell-jp / quickml.com> に送ってください
- 本文が空のメールを送れない場合は、
  本文に「退会」とだけ書いたメールを <haskell-jp / quickml.com> に送ってください
  (署名やhotmailの広告などがついて空メールを送れない場合など)

<haskell-jp / quickml.com> のメンバー:
nobsun / s...
shiro / l...
kanaya / s...
takana / b...
hiroyuki / k...
kawaji / h...
shelarcy / c...
sakai / t...
nnakamur / m...
tahara / t...
akira / a...
ogino / g...
tetryl / t...
ko1 / n...
felio / k...
akr / m...
aamine / l...
zn / m...
tar_zcvf / y...
sinara / b...
yoidoretanuki / h...
hiroo / o...
nobu_toyofuku / n...
ancient / g...
kankun / o...
ttoyofukujp / y...