ラムダ・・・・・・・・・・・・・・・・・・・！

ttp://members.tripod.co.jp/nbz/ref/lambda.html
1) 変数x, y, ... はλ項である。
2) M, Nがλ項のとき、 (MN)もλ項である。
3) Mがλ項、xが変数のとき、(λx.M)はλ項である。

(M N)を、MのNへの関数適用と呼ぶ
・・・・

22 ：デフォルトの名無しさん：02/05/28 18:42

いっちょんわからん

23 ：デフォルトの名無しさん：02/05/28 19:09

ラムダ算法騎士団ってのもあったな。
記憶によるとLispの使い手だったとかなんとか。

どこか詳しく解説してくれている英文ページｷﾎﾞﾝﾇ

24 ：デフォルトの名無しさん：02/05/28 19:11

おおもりよしはる＝ロリペドオタ、アニオタ、モーツアルトオタ、ベートーベンオタ、ブルックナーオタ、セガ信者
ひまわりと幼女のすじまんこに異様な執着心を燃やしているﾛﾘﾍﾟﾄﾞ絵描き
２浪して九州大学歯学科に進むがプロのイラストレーターになるために大学を中退、
同人活動とＵＯに専念する日々を送るが、その生活は苦しいらしい（藁
自らを画家と呼び、ともすれば不真面目なものと見られかねないアニメ絵
それも、無毛のすじまんこすらも「芸術」の域にまで高めようとしている（らしい）。
心の支えは自分の描いたひまわりの絵らしい（ぷ
マスコミ（西日本新聞）で写真付きで取り上げられたこともあるらしい。
最強のネットゲーＵＯではIzumoでKanae、SASAWOというキャラを使用。
http://yasai.2ch.net/test/read.cgi/doujin/1021463865/

＠さぽーる
http://www.sub-all.com/test/read.cgi/dojin/019473696/
＠MEGABBS
http://203.138.109.168/cgi-bin/megabbs/readres.cgi?bo=Baby&vi=1020753024
関連スレ
【すじ】　ようじょのすじ　【すじ】
http://www2.bbspink.com/test/read.cgi/erog/1017041827/
【抱き枕】すじ丸出し抱き枕ってどうよ？
http://mentai.2ch.net/test/read.cgi/otaku/1016198191/
■■■ロリ絵？おおもりよしはる■■■
http://www2.bbspink.com/test/read.cgi/erodoujin/1016297545/
48: 柳さんトコの抱き枕カバーとかって・・・2枚買
http://comic.2ch.net/test/read.cgi/sakura/1019402459/

25 ：デフォルトの名無しさん：02/05/28 19:13

＞ギャランドゥ
ってなんだっけ？

26 ：デフォルトの名無しさん：02/05/28 19:17

>>25
一物以上ヘソ以下のおけけ。

27 ：デフォルトの名無しさん：02/05/28 19:26

>>25
悔しいけれどお前に夢中
ギャランドゥ (ギャランドゥ)
ギャランドゥウゥ (ギャランドゥウー)
(西城秀樹の歌の歌詞。)

「λ計算(λ算術)」「λ記法」「ラムダ式」とは言うけど、
「ラムダ関数」って言い回しあったっけ？「ラムダ定義可能関数」ってのはあるね。

28 ：デフォルトの名無しさん：02/05/28 19:40

。
λ、、、ﾄﾎﾎ

29 ：デフォルトの名無しさん：02/05/28 19:44

(　。λ　。)

30 ：デフォルトの名無しさん：02/05/28 19:48

>>27
無名関数を生成する方のlambdaと思われ。

31 ：デフォルトの名無しさん：02/05/28 20:16

つか、λ計算とラムダ式は、意味が違うと思われ。

32 ：デフォルトの名無しさん：02/05/28 21:09

売る星やつらに居たっけ・・・・・

日通なら蛙鴇駱駝

33 ：デフォルトの名無しさん：02/05/28 22:20

villageのことか？

34 ：デフォルトの名無しさん：02/05/28 23:17

レス見た限り、ここにいるのは専門卒ばかりで、
まともに数学勉強してきた奴はいないと見えるな。。。

35 ：デフォルトの名無しさん：02/05/28 23:21

わざわざageんなカス

36 ：デフォルトの名無しさん：02/05/28 23:21

(>>34意訳)
俺は数学勉強してるんだぞ！すごいだろ！

37 ：デフォルトの名無しさん：02/05/28 23:23

どんな時に使うのだ？

38 ：33：02/05/28 23:45

ダレカツッコンデクレヨ・・・

39 ：デフォルトの名無しさん：02/05/28 23:47

>>33
ああ、むらか。

40 ：デフォルトの名無しさん：02/05/28 23:49

おまえらとりあえず数学勉強して来い
算数じゃねーぞ、数学だぞ。ﾌﾟ

41 ：デフォルトの名無しさん：02/05/28 23:53

1のｼﾞｻｸｼﾞｴﾝｳｻﾞｲ
削除依頼だしてきて>1

42 ：デフォルトの名無しさん：02/05/28 23:53

ああ･･･>>34=40の顔が･･･まっかっか･･･

43 ：33：02/05/28 23:53

>>39
アリガト。

44 ：デフォルトの名無しさん：02/05/28 23:55

数学できないﾔｼって、できるﾔｼに対してかなり劣等感持つんだよね。。。ﾌﾟ

ﾐﾄﾓﾅｲﾅ。。。

45 ：デフォルトの名無しさん：02/05/28 23:56

>>44
頼むからageんでくれ。
別に好きなこと書いていいから。

46 ：デフォルトの名無しさん：02/05/28 23:58

　関数と変数って同じなんだね。

47 ：デフォルトの名無しさん：02/05/29 00:00

そだね

48 ：デフォルトの名無しさん：02/05/29 00:13

そなの？

49 ：デフォルトの名無しさん：02/05/29 00:43

ちがう。

つか、スレタイ見てFFT(ゲム)思い出した・・・
カタカナで見たの久しぶりだ・・・

50 ：デフォルトの名無しさん：02/05/29 00:59

ディリータはデルタですか？

51 ：デフォルトの名無しさん：02/05/29 08:13

>>25
三菱ギャランラムダの事をいいたかったと思われ。サムー。

52 ：(　 _。。)_ ﾊﾞﾀ。 ◆lUd9keO2 ：02/05/29 11:11

ラムダって…
アリスソフトの「宇宙怪盗ファニーBee」に出てきた仲間の一人の
青いボディーな人工知能搭載メカだろ？

53 ：デフォルトの名無しさん：02/05/29 12:55

再帰的数学(Recursive Mathematics)って何？
検索しても出てこんかった。

54 ：デフォルトの名無しさん：02/05/29 16:44

>>53
そんな言葉は知りません。

55 ：デフォルトの名無しさん：02/05/29 23:04

>>54
そんな言葉は俺も知りません。

56 ：デフォルトの名無しさん：02/05/30 20:56

>>21に出てた言葉。

57 ：デフォルトの名無しさん：02/06/30 12:51

RAMDA-1

58 ：デフォルトの名無しさん：02/06/30 12:56

諸星ラムダっちゃ。

59 ：デフォルトの名無しさん：02/06/30 13:05

諸星とｹｺｰﾝ

60 ：デフォルトの名無しさん：02/06/30 17:03

・curry化

　カレー粉を混ぜます。隠し味です。

61 ：デフォルトの名無しさん：02/07/15 21:13

波長です。

62 ：デフォルトの名無しさん：02/07/20 19:38

諸星大二郎

63 ：デフォルトの名無しさん：02/07/20 19:46

計算理論知らないPGって（プ

64 ：デフォルトの名無しさん：02/07/20 21:22

ﾗﾝﾊﾞﾀﾞ

65 ：デフォルトの名無しさん：02/07/20 21:41

ロボットの名前

66 ：デフォルトの名無しさん：02/07/21 17:56

>>63
でも意外と知らない人が多そうな気もするんだけど…．
頼むから計算量考えてプログラム作ってねモルァ

67 ：デフォルトの名無しさん：02/08/31 06:27

これまでの花氏の流れ
ラムダ
↓
諸星ラムだっちゃ
↓
諸星大二郎
↓
ﾗﾝﾊﾞﾀﾞ
↓
ロボ

68 ：デフォルトの名無しさん：02/08/31 10:16

Σの再来かと思いますた。

69 ：　　　　：02/09/01 15:44

λλλλ
～～～～～～

70 ：デフォルトの名無しさん：02/09/03 03:11

ドラゴンフォースのキャラ

71 ：デフォルトの名無しさん：02/10/02 03:22

誰かλx.xxに型付けしてくだちい。

72 ：デフォルトの名無しさん：02/10/02 05:53

ラムダ
↓
raムダ
↓
ramuダ
↓
ダ
↓
ニダ
↓
ハムニダ
↓
カムサハムニダヽ<`Д´>ﾉ

73 ：デフォルトの名無しさん：02/10/02 05:56

ヤンマーディーゼルコンビネータ

74 ：デフォルトの名無しさん：02/10/02 06:22

>>31
> つか、λ計算とラムダ式は、意味が違うと思われ。

ラムダ計算はラムダ式を扱う。
意味が違うのは「ラムダ記法」だろう。

75 ：デフォルトの名無しさん：02/10/02 07:17

ttp://www.kurumi.sakura.ne.jp/~kdv/product/rel/lambda/index.html

76 ：デフォルトの名無しさん：02/11/07 00:07

くだラムダ

77 ：デフォルトの名無しさん：02/11/09 12:19

λの世界における整数の定義はいかがなものかと思ふが・・・

　　　0 = λfx.x
　　　1 = λfx.fx
　　　2 = λfx.f(fx)
　　　3 = λfx.f(f(fx))
　　　　　　：
　　　　　　：

これじゃ使えんよ。
もっとコンパクトに表記する方法ってないの？

78 ：デフォルトの名無しさん：02/11/09 12:22

っていうか、n進数を表記する方法がどこかにあるはずなんだが・・・
ちょいと調べてみるか・・・

79 ：デフォルトの名無しさん：02/11/09 13:02

あ、そうか。例えば10進数は
123 = 1 * (10^3) + 2 * (10^2) + 3
のように書けるから、これをλ式にしちゃえばいいのか。
123 = plus (times 1 (exp 10 3)) (times 2 (exp 10 2)) 3
plus = λabfx.af(bfx), times = λabf.a(bf), exp = λab.ba
10 = times 2 5 = (λabf.a(bf)) (λfx.f(fx)) (λfx.f(f(f(f(fx)))))

123 =
　(λabfx.af(bfx))
　((λabf.a(bf)) (λfx.fx) ((λab.ba) (λabf.a(bf)) (λfx.f(fx)) (λfx.f(f(f(f(fx))))) (λfx.f(f(fx)))))
　(λabf.a(bf)) (λfx.f(fx)) ((λab.ba) (λabf.a(bf)) (λfx.f(fx)) (λfx.f(f(f(f(fx))))) (λfx.f(fx)))
　(λfx.f(f(fx)))

（（（；ﾟДﾟ）））ﾋｨｰ・・・ｶﾞｸｶﾞｸﾌﾞﾙﾌﾞﾙ・・・

80 ：デフォルトの名無しさん：02/11/09 13:13

・・・といいますか、素因数分解のかたちで書くのがベストかいな？
123 = 3 * 41 = (λabf.a(bf)) (λfx.f(f(fx))) (41のλ式。長すぎるので略)
これだと、どうしても「素数」だけはそのまま書くしかないですよねぇ。
どっちの表記がベストっつーか、主流なのかな？
まぁ、理論上のことだからどっちでも良いといえば良いのか・・・

81 ：デフォルトの名無しさん：02/11/09 14:28

うむ～。結局は２進数表記が一番スッキリするみたいだね。長いけど。

123 = 1111011

123 =
　(λabfx.af(bfx))
　　((λab.ba) (λfx.f(fx)) (λfx.f(f(f(f(f(fx)))))))
　　((λab.ba) (λfx.f(fx)) (λfx.f(f(f(f(fx))))))
　　((λab.ba) (λfx.f(fx)) (λfx.f(f(f(fx)))))
　　((λab.ba) (λfx.f(fx)) (λfx.f(f(fx))))
　　((λab.ba) (λfx.f(fx)) (λfx.fx))
　　((λab.ba) (λfx.f(fx)) (λfx.x))

82 ：デフォルトの名無しさん：02/11/09 14:39

指数部分をさらに２進数表記することによって、
いくらでもデカイ数が表記できるわけだ。
ふむふむ。けっこう面白いぞλちゃん。
つぎは実数の表記法を考えてみようかな。

83 ：デフォルトの名無しさん：02/11/09 17:21

ラムダ関数タンハァハァ
http://www.faireal.net/articles/6/01/

84 ：糞スレ発掘委員会：02/11/23 14:12

ラムちゃん

85 ：佐用旭：02/11/23 16:20

ラムダ↓
http://www.milkynet.com/usr/sakura/index.html