From: Takaaki Tateishi <ttate@...>
Date: 2002-05-13T22:54:21+09:00
Subject: [ruby-list:35096] Re: Y Combinator

At Mon, 13 May 2002 19:51:03 +0900,
> >大学で使うλ計算の教科書やプログラム意味論などの教科書などでもたぶん載っ
> >ています．
> 
> え？載っていますかね。多分 Y を天下りで与えて、それが不動点を与える
> 事を証明しているだけでは無いですか？ここでのミソは、Lawvere の定理
> から、Y を導出しているって所です。Y が不動点を与えることの証明だけ
> ならば、

なるほど．

浮動点が存在して，それがどういうものかまでは求めているテキストは多いと思い
ます．ちなみに，僕はLawvereの定理は知りません．

適切な返答になっていないですが，一応僕が今までに見たものでは，以下のURLの
テキストのような流れになっています．流儀によって定義や議論の進め方に違いが
ありますが大まかにはこんな感じのようです．

  http://www.cis.ksu.edu/~stefan/Teaching/ CIS705/Reports/BulusuKota-1.pdf

このCPOとFixed Point Theoryをキーワードにしてgoogleで調べると講義テキスト
やスライドが見つかりました．上記のURLは一番最初にでてきたものです．
-- 
Takaaki Tateishi <ttate@kt.jaist.ac.jp>