[#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:35069] Re: Y Combinator
From:
Takaaki Tateishi <ttate@...>
Date:
2002-05-12 12:10:46 UTC
List:
ruby-list #35069
At Sun, 12 May 2002 16:37:27 +0900,
> > にも若干見られます。（今、たまたま「論理と計算」（岩波講座・応用
> > 数学）を見たら Y にはまさに「不動点演算子」という名前があるみた
> > いですね。）
>
> 浮動点コンビネータともいう場合もあります．(^^;
# ひょっとして言わないかも…
# 以下，思い出しながら書いていたら混乱してきたので間違ってたら訂正して下さい．
先程紹介した
I = (λx . x)
K = (λx y . x)
S = (λx y z . x z (y z))
の3つのコンビネータを使うだけでチューリングマシンと等価な計算能力
を持つことが知られています．詳細は間違っているかもしれませんが，こ
れらを使ってYコンビネータを作ると次の通りです．
U = S I I = λ f . (f f)
Y = S (K (U I)) U
[証明]
Y g = S (K (U I)) U g
= (K (U I) U) (U g)
= (U I) (U g)
= U I (U g)
= (U g) (U g)
= U g (U g)
= g ((U g) (U g))
= g (Y g)
Y g をλ式で書くと，(λ x . g (x x)) (λ x . g (x x)) です．
ちなみに，このUをUコンビネータと呼びます．これをYコンビネータの代
わりに使うことができます．Rubyで書くと以下のような感じでしょうか？
U = proc{|f| proc{|x| f[f][x]}}
_fact = proc{|f| proc{|x|
if( x > 0 )
x * f[f][x-1]
else
1
end
}}
fact = U[_fact]
--
Takaaki Tateishi <ttate@kt.jaist.ac.jp>