ruby-list

正木です。
何やら面白そうな話なので良く分からないながら興味深く読ませていただき
ました。
不動点定理の適用の所で少し引っかかる所があります。

|[ruby-list:35060] Re: Y Combinator
|From: sinara@blade.nagaokaut.ac.jp

|そして、これを Proc に当てはめます。ここからはかなりいい加減な話で
|す。今、不動点定理で、F = V = Proc と思います。そして、a の定義を
|
|  a(x, y) = x[y]
|
|とおくと、これは定理の条件を満たします。なぜなら、任意の
|
|  h: Proc -> Proc
|
|に対して f0 = h とおけば a(f0, f) = f0[f] = h[f] だからです。

ここの所で Proc の要素は同時に
Proc**Proc={ f | f: Proc -> Proc }
の要素になっていて、その逆も成り立つことを仮定しているように読めます：
Proc**Proc = Proc
これは Proc が２個以上の要素を持つ限り有り得ないことですが、
この辺の事情はどうなっていますか？

lambda 式では、無名関数の再帰定義がそんなに大変だとは知りませんでした。
しかし良く考えると、それができることの方が不思議なことかもしれません。

ちなみに Ruby では、次のようにすれば 関数定義の中で self がその関数自身を
指すようにすることができます。

class Function
  def initialize(hash={},*parameter)
    @hash=hash
    @para=parameter
    @lambda=eval "lambda{"+yield+"}"
  end
  def [](x)
    @hash[x] || @hash[x]=@lambda.call(x,*@para)
  end
end

Function.new({0=>1}){"|n| n*self[n-1] "}[5] #=> 120
Function.new({0=>0,1=>1}){"|n| self[n-2]+self[n-1] "}[10] #=> 55

上の Function を試しに C で書いてみた時に self がどうしても main 
にしかならず、その Function を指すようにできなかったのであきらめた
ことがあります。

Thread

Prev Next

In This Thread

Prev Next

[#34988] BigFloat の to_i メソッドについて — Sako Hiroshi <sakoh@...2.so-net.ne.jp>

[#34989] mailing list archive? — maili31s@... (SugHimsi == SUGIHARA Hiroshi)

[#34991] a = 4 ; p((a < 3) or (a > 5)) — Take_tk <ggb03124@...>

[#34994] コマンドライン引数の # — 渋川よしき <yoshiki@...>

[#35003] Is Ruby default in Jaguar? — maili31s@... (SugHimsi==SUGIHARA Hiroshi)

[#35005] FILE_READPTR — Daisuke Aoki <dai@...>

[#35028] win32.c 中の my* 関数について — 小西 弘将 <konishih@...6.so-net.ne.jp>

[#35035] [irb] sub-irb vs cb — rubikitch <rubikitch@...>

[#35036] Re: Is Ruby default in Jaguar? — taiki0419@...

[#35041] [ANN] RDindex-1.1.9 — rubikitch <rubikitch@...>

[#35043] [ANN] rpkg / usage.sgml.ja — dellin <dellin@...>

[#35049] true はリテラル？ — Take_tk <ggb03124@...>

[#35052] ruby_lib/html/ — Wakou Aoyama <wakou@...>

[#35054] 「 Ruby/GTK プログラミング入門」 — Noritsugu Nakamura <nnakamur@...>

[#35058] Y Combinator — sinara@...

[#35065] 影舞 on Windows — "T.Fukagawa" <tfukaga@...>

[#35067] かりー化 — Masahiro Sakai (酒井政裕) <zvm01052@...>

[#35072] Mac OS X で mysql-ruby 実行時エラー — Takashi Hoshizawa <t_hoshizawa@...>

[#35080] Ruby から libglade 。 — "D.Miyawaki" <aaf18900@...06.odn.ne.jp>

[#35081] ISO 8601 と Time#wday — Take_tk <ggb03124@...>

[#35087] Re: Y Combinator — 正木 功 <GEC01122@...>

[#35098] patch for darwin — Yuji Yamano <yyamano@...>

[#35102] ANNOUNCE: REXML のドキュメントの和訳を公開しました。 — Kouhei Sutou (須藤功平) <kou@...>

[#35108] Ruby の一連の成果を CD-ROM に — Kentaro Hatori <hatori@...>

[#35109] DOS プロンプトからリダイレクションつきの system — TOYOFUKU Chikanobu <toyofuku@...>

[#35112] — "hideo kuramochi" <chj87900@...>

[#35113] Re: Marshallers summary — "NAKAMURA, Hiroshi" <nakahiro@...>

[#35128] Windows 版 Ruby で XML プログラミングを始めたい — 鈴木 祐亮 <yuupon@...1.dti2.ne.jp>

[#35134] 朝、トーストを食べていると不意に — Shin-ichiro HARA <sinara@...>

[#35158] TMail::Mail.decoded でエラー — "Morikawa [encore-ann]" <i@...>

[#35165] ソースコードの隠蔽 — OJ <oj@...7.com>

[#35169] Stack overflow で SEGV の取り扱いについて — 小西 弘将 <konishih@...6.so-net.ne.jp>

[#35172] 名刺ジェネレータ ncgen 公開の案内 — NISHI Takao <zophos@...9.com>

[#35183] Glade で GUI 構築 — "D.Miyawaki" <aaf18900@...06.odn.ne.jp>

[#35207] tar.gz の展開 — "NAKANO Kouichi" <knuckle@...8.dion.ne.jp>

[#35215] ruby-shell-mode — "Shirai,Kaoru" <shirai@...1jp.com>

[#35219] RAA から OptionParser が取れません — TAMBARA Masahiko <m-tamb@...>

[#35242] rb_define_class — EMOTO Masahiko <emo@...>

[#35247] [ann] 『 Ruby de CGI 』発売 — 堀川 久 <vzw00011@...>

[#35249] setup.rb: packages/foo/ext/lib — "Akinori MUSHA" <knu@...>

[#35250] Mac OS X ではプリインストール？ — Take_tk <ggb03124@...>

[#35252] ((Time.now)..(Time.now+60)) — Take_tk <ggb03124@...>

[#35253] ((1.2)..(3.4)).to_a — Take_tk <ggb03124@...>

[#35264] HTML generation library — Wakou Aoyama <wakou@...>

[#35273] rd-mode.el - a bit fix — "Shirai,Kaoru" <shirai@...1jp.com>

[#35310] requests for current blade archives — maili31s@... (SugHimsi == SUGIHARA Hiroshi)

[#35312] [irb] irb_soruce — rubikitch <rubikitch@...>

[ruby-list:35087] Re: Y Combinator

Thread

In This Thread

[#35028] win32.c 中の my* 関数について — 小西弘将 <konishih@...6.so-net.ne.jp>

[#35087] Re: Y Combinator — 正木　功 <GEC01122@...>

[#35128] Windows 版 Ruby で XML プログラミングを始めたい — 鈴木祐亮 <yuupon@...1.dti2.ne.jp>

[#35169] Stack overflow で SEGV の取り扱いについて — 小西弘将 <konishih@...6.so-net.ne.jp>

[#35247] [ann] 『 Ruby de CGI 』発売 — 堀川久 <vzw00011@...>