[#34988] BigFloat の to_i メソッドについて — Sako Hiroshi <sakoh@...2.so-net.ne.jp>
8 messages
2002/05/03
[#34989] mailing list archive? — maili31s@... (SugHimsi == SUGIHARA Hiroshi)
すぎむし。
8 messages
2002/05/06
[#34991] a = 4 ; p((a < 3) or (a > 5)) — Take_tk <ggb03124@...>
次のものがエラーになるのは何故なんでしょうか？
12 messages
2002/05/06
[#34992] Re: a = 4 ; p((a < 3) or (a > 5))
— Koji Arai <JCA02266@...>
2002/05/06
新井です。
[#35000] 式にならない文← a = 4 ; p((a < 3) or (a > 5))
— Take_tk <ggb03124@...>
2002/05/07
たけ(tk)です。
[#35009] Re: 式にならない文← a = 4 ; p((a < 3) or (a > 5))
— matz@... (Yukihiro Matsumoto)
2002/05/07
まつもと ゆきひろです
[#35017] Re: 式にならない文← a = 4 ; p((a < 3) or (a > 5))
— "丹生 光則 Nibu,Mitsunori." <nibu@...>
2002/05/08
newです．
[#35005] FILE_READPTR — Daisuke Aoki <dai@...>
青木＠横浜です。
12 messages
2002/05/07
[#35028] win32.c 中の my* 関数について — 小西 弘将 <konishih@...6.so-net.ne.jp>
小西 弘将です。
20 messages
2002/05/09
[#35034] Re: win32.c 中の my* 関数について
— nobu.nakada@...
2002/05/10
なかだです。
[#35042] Re: win32.c 中の my* 関数について
— 小西 弘将 <konishih@...6.so-net.ne.jp>
2002/05/11
小西 弘将です。
[#35044] Re: win32.c 中の my* 関数について
— 小西 弘将 <konishih@...6.so-net.ne.jp>
2002/05/11
小西 弘将です。
[#35045] Re: win32.c 中の my* 関数について
— "U.Nakamura" <usa@...>
2002/05/11
こんにちは、なかむら(う)です。
[#35046] Re: win32.c 中の my* 関数について
— nobu.nakada@...
2002/05/11
なかだです。
[#35047] Re: win32.c 中の my* 関数について
— 小西 弘将 <konishih@...6.so-net.ne.jp>
2002/05/11
小西 弘将です。
[#35048] Re: win32.c 中の my* 関数について
— nobu.nakada@...
2002/05/11
なかだです。
[#35062] Re: win32.c 中の my* 関数について
— 小西 弘将 <konishih@...6.so-net.ne.jp>
2002/05/12
小西 弘将です。
[#35200] Re: win32.c 中の my* 関数について
— 小西 弘将 <konishih@...6.so-net.ne.jp>
2002/05/17
小西 弘将です。
[#35225] Re: win32.c 中の my* 関数について
— nobu.nakada@...
2002/05/21
なかだです。
[#35233] Re: win32.c 中の my* 関数について
— 小西 弘将 <konishih@...6.so-net.ne.jp>
2002/05/23
小西 弘将です。
[#35234] Re: win32.c 中の my* 関数について
— nobu.nakada@...
2002/05/23
なかだです。
[#35052] ruby_lib/html/ — Wakou Aoyama <wakou@...>
青山です。
32 messages
2002/05/11
[#35073] Re: ruby_lib/html/
— matz@... (Yukihiro Matsumoto)
2002/05/12
まつもと ゆきひろです
[#35057] Re: ruby_lib/html/
— TN <nyonyoru@...>
2002/05/12
にょにょると申します。（ここハンドル投稿ダメなのでしょうか？ダメなら本
[#35063] Re: ruby_lib/html/
— Wakou Aoyama <wakou@...>
2002/05/12
青山です。
[#35074] Re: ruby_lib/html/
— nnr <nyonyoru@...>
2002/05/12
にょにょるです。オンラインではずっとこれを使っているので、これでいきま
[#35076] Re: ruby_lib/html/
— Wakou Aoyama <wakou@...>
2002/05/12
青山です。
[#35107] Re: ruby_lib/html/
— siena@... (SHINAGAWA, Norihide / Siena.)
2002/05/13
はじめまして。Siena. と申します。
[#35126] Re: ruby_lib/html/
— Wakou Aoyama <wakou@...>
2002/05/14
青山です。
[#35135] Re: ruby_lib/html/
— siena@... (Siena.)
2002/05/15
Siena.%なんだか毎度長いなぁ --; です。
[#35054] 「 Ruby/GTK プログラミング入門」 — Noritsugu Nakamura <nnakamur@...>
14 messages
2002/05/12
[#35056] Re: 「 Ruby/GTK プログラミング入門」
— nobu.nakada@...
2002/05/12
なかだです。
[#35059] Re: 「 Ruby/GTK プログラミング入門」
— Noritsugu Nakamura <nnakamur@...>
2002/05/12
[#35068] Re: 「 Ruby/GTK プログラミング入門」
— Masao Mutoh <mutoh@...>
2002/05/12
むとうです。
[#35058] Y Combinator — sinara@...
"Y Combinator" とは何かというと
14 messages
2002/05/12
[#35060] Re: Y Combinator
— sinara@...
2002/05/12
続いて、ちょっと数学っぽい解釈をします。先の
[#35064] Re: Y Combinator
— Takaaki Tateishi <ttate@...>
2002/05/12
At Sun, 12 May 2002 13:59:51 +0900,
[#35069] Re: Y Combinator
— Takaaki Tateishi <ttate@...>
2002/05/12
At Sun, 12 May 2002 16:37:27 +0900,
[#35081] ISO 8601 と Time#wday — Take_tk <ggb03124@...>
Delphi の日付時刻ルーチンを Ruby にポートしようと思っているのですが、次
6 messages
2002/05/13
[#35087] Re: Y Combinator — 正木 功 <GEC01122@...>
正木です。
6 messages
2002/05/13
[#35102] ANNOUNCE: REXML のドキュメントの和訳を公開しました。 — Kouhei Sutou (須藤功平) <kou@...>
はじめまして、須藤です。
57 messages
2002/05/13
[#35115] Re: ANNOUNCE: REXML のドキュメントの和訳を公開しました。
— "NAKAMURA, Hiroshi" <nakahiro@...>
2002/05/14
なひです。
[#35125] Re: ANNOUNCE: REXML のドキュメントの和訳を公開しました。
— Kouhei Sutou (須藤功平) <kou@...>
2002/05/14
須藤です。
[#35130] Re: ANNOUNCE: REXML のドキュメントの和訳を公開しました。
— "NAKAMURA, Hiroshi" <nakahiro@...>
2002/05/15
なひです。
[#35140] Re: ANNOUNCE: REXML のドキュメントの和訳を公開しました。
— Kouhei Sutou (須藤功平) <kou@...>
2002/05/15
須藤です。
[#35141] Re: ANNOUNCE: REXML のドキュメントの和訳を公開しました。
— nobu.nakada@...
2002/05/15
なかだです。
[#35157] Re: ANNOUNCE: REXML のドキュメントの和訳を公開しました。
— TAKAHASHI Masayoshi <maki@...>
2002/05/15
高橋征義です。
[#35159] Re: ANNOUNCE: REXML のドキュメントの和訳を公開しました。
— "NAKAMURA, Hiroshi" <nakahiro@...>
2002/05/16
なひです。
[#35160] Re: ANNOUNCE: REXML のドキュメントの和訳を公開しました。
— "NAKAMURA, Hiroshi" <nakahiro@...>
2002/05/16
なひです。
[#35162] Re: ANNOUNCE: REXML のドキュメントの和訳を公開しました。
— matz@... (Yukihiro Matsumoto)
2002/05/16
まつもと ゆきひろです
[#35163] Re: ANNOUNCE: REXML のドキュメントの和訳を公開しました。
— Kouhei Sutou (須藤功平) <kou@...>
2002/05/16
須藤です。
[#35186] Re: ANNOUNCE: REXML のドキュメントの和訳を公開しました。
— "NAKAMURA, Hiroshi" <nakahiro@...>
2002/05/17
なひです。
[#35192] Re: ANNOUNCE: REXML のドキュメント
— siena@... (Siena.)
2002/05/17
Siena. です。
[#35218] Re: ANNOUNCE: REXML のドキュメント
— "NAKAMURA, Hiroshi" <nakahiro@...>
2002/05/20
なひです。
[#35109] DOS プロンプトからリダイレクションつきの system — TOYOFUKU Chikanobu <toyofuku@...>
豊福です。
6 messages
2002/05/14
[#35113] Re: Marshallers summary — "NAKAMURA, Hiroshi" <nakahiro@...>
なかひろです。
8 messages
2002/05/14
[#35134] 朝、トーストを食べていると不意に — Shin-ichiro HARA <sinara@...>
「来年から Perl が高校の授業で必修になるってホント？」って
7 messages
2002/05/15
[#35207] tar.gz の展開 — "NAKANO Kouichi" <knuckle@...8.dion.ne.jp>
はじめまして、なかのともうします。
8 messages
2002/05/19
[#35215] ruby-shell-mode — "Shirai,Kaoru" <shirai@...1jp.com>
白井です。
7 messages
2002/05/20
[#35252] ((Time.now)..(Time.now+60)) — Take_tk <ggb03124@...>
たけ(tk)です。
4 messages
2002/05/25
[#35253] ((1.2)..(3.4)).to_a — Take_tk <ggb03124@...>
1.2..3.4 を配列にすると、その範囲に属しない整数「1」が含まれるという点に
29 messages
2002/05/25
[#35257] Re: ((1.2)..(3.4)).to_a
— matz@... (Yukihiro Matsumoto)
2002/05/25
まつもと ゆきひろです
[#35265] Re: ((1.2)..(3.4)).to_a
— Take_tk <ggb03124@...>
2002/05/27
たけ(tk)です。
[#35272] Re: ((1.2)..(3.4)).to_a
— siena@... (Siena.)
2002/05/27
Siena. です。
[#35279] Re: ((1.2)..(3.4)).to_a
— matz@... (Yukihiro Matsumoto)
2002/05/28
まつもと ゆきひろです
[#35283] Re: ((1.2)..(3.4)).to_a
— siena@... (Siena.)
2002/05/28
Siena. です。
[#35289] Re: ((1.2)..(3.4)).to_a
— Wakou Aoyama <wakou@...>
2002/05/28
青山です。
[#35264] HTML generation library — Wakou Aoyama <wakou@...>
青山です。
6 messages
2002/05/26
[ruby-list:35105] Re: Y Combinator
From:
Takaaki Tateishi <ttate@...>
Date:
2002-05-13 17:59:28 UTC
List:
ruby-list #35105
At Mon, 13 May 2002 20:02:19 +0900,
> >詳細は間違っているかもしれませんが，こ
> >れらを使ってYコンビネータを作ると次の通りです．
> >
> > U = S I I = λ f . (f f)
>
> これはちょっとおかしくないですか？少なくとも (U I) = I I = I
はい，間違っています．U = λ f x . f (x x) です．
> これには２つ疑問がありまして、一つは、先の U を忠実に書けば U
> は遅延なしに U = proc{|f| f[f]} となるのではないかと。実際、
はい，これで十分です．僕が x を余分に入れてしまったので．
> もう一つは、_fact の中で f[f] が使われているという所です。
> Y の良くできたところは proc の本体の中身の f を f[f] に
> 自動的に変換してくれるところです。
はい，そうだと思います．以下のような例はどうでしょう？
U = proc{|f| f[f]}
def u_rec
U[proc{|f| proc{|x| yield(f[f])[x] }}]
end
Y = proc{|g|
proc{|f|
g[f[f]]
}[
proc{|f|
g[proc{|y| f[f][y]}]
}
]
}
# g[] の代わりに yield() を使う
def y_rec
proc{|f|
yield(f[f])
}[
proc{|f|
yield(proc{|y| f[f][y]})
}
]
end
u_fact = u_rec{|f| proc{|x|
if( x > 0 )
x * f[x-1]
else
1
end
}}
y_fact = y_rec{|f| proc{|x|
if( x > 0 )
x * f[x-1]
else
1
end
}}
p u_fact[3]
p y_fact[3]
# 再帰Procを作るメソッドをライブラリで提供してもよさそうな…
--
Takaaki Tateishi <ttate@kt.jaist.ac.jp>