ラムダ・・・・・・・・・・・・・・・・・・・！
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
NGNGラムダ関数ってなんですか？教えてください！おながいします！
0002デフォルトの名無しさん
NGNG0003デフォルトの名無しさん
NGNG0004デフォルトの名無しさん
NGNG0005デフォルトの名無しさん
NGNG0006デフォルトの名無しさん
NGNG0007デフォルトの名無しさん
NGNG0008デフォルトの名無しさん
NGNG0009C_sugar
NGNG0010デフォルトの名無しさん
NGNGhttp://www.mty.ne.jp/~nishino/
0011デフォルトの名無しさん
NGNG0012デフォルトの名無しさん
NGNG0013デフォルトの名無しさん
NGNGhttp://ww2.tiki.ne.jp/~t_a97518350/lum.jpg
0014デフォルトの名無しさん
NGNGV:音速
F:波長
λ:振動数
0015デフォルトの名無しさん
NGNGf:振動数
λ:波長
0016デフォルトの名無しさん
NGNG0017デフォルトの名無しさん
NGNG0018デフォルトの名無しさん
NGNG0019デフォルトの名無しさん
NGNG0020デフォルトの名無しさん
NGNG0021デフォルトの名無しさん
NGNG1) 変数x, y, ... はλ項である。
2) M, Nがλ項のとき、 (MN)もλ項である。
3) Mがλ項、xが変数のとき、(λx.M)はλ項である。
(M N)を、MのNへの関数適用と呼ぶ
・・・・
0022デフォルトの名無しさん
NGNG0023デフォルトの名無しさん
NGNG記憶によるとLispの使い手だったとかなんとか。
どこか詳しく解説してくれている英文ページｷﾎﾞﾝﾇ
0024デフォルトの名無しさん
NGNGひまわりと幼女のすじまんこに異様な執着心を燃やしているﾛﾘﾍﾟﾄﾞ絵描き
２浪して九州大学歯学科に進むがプロのイラストレーターになるために大学を中退、
同人活動とＵＯに専念する日々を送るが、その生活は苦しいらしい（藁
自らを画家と呼び、ともすれば不真面目なものと見られかねないアニメ絵
それも、無毛のすじまんこすらも「芸術」の域にまで高めようとしている（らしい）。
心の支えは自分の描いたひまわりの絵らしい（ぷ
マスコミ（西日本新聞）で写真付きで取り上げられたこともあるらしい。
最強のネットゲーＵＯでは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/
0025デフォルトの名無しさん
NGNGってなんだっけ？
0026デフォルトの名無しさん
NGNG一物以上ヘソ以下のおけけ。
0027デフォルトの名無しさん
NGNG悔しいけれど お前に夢中
ギャランドゥ (ギャランドゥ)
ギャランドゥ ウゥ (ギャラン ドゥ ウー)
(西城秀樹の歌の歌詞。)
「λ計算(λ算術)」「λ記法」「ラムダ式」とは言うけど、
「ラムダ関数」って言い回しあったっけ？「ラムダ定義可能関数」ってのはあるね。
0028デフォルトの名無しさん
NGNGλ、、、ﾄﾎﾎ
0029デフォルトの名無しさん
NGNG( 。λ 。)
0030デフォルトの名無しさん
NGNG無名関数を生成する方のlambdaと思われ。
0031デフォルトの名無しさん
NGNG0032デフォルトの名無しさん
NGNG日通なら蛙鴇駱駝
0033デフォルトの名無しさん
NGNG0034デフォルトの名無しさん
NGNGレス見た限り、ここにいるのは専門卒ばかりで、
まともに数学勉強してきた奴はいないと見えるな。。。
0035デフォルトの名無しさん
NGNG0036デフォルトの名無しさん
NGNG俺は数学勉強してるんだぞ！すごいだろ！
0037デフォルトの名無しさん
NGNG003833
NGNG0039デフォルトの名無しさん
NGNGああ、むらか。
0040デフォルトの名無しさん
NGNGおまえらとりあえず数学勉強して来い
算数じゃねーぞ、数学だぞ。ﾌﾟ
0041デフォルトの名無しさん
NGNG削除依頼だしてきて>1
0042デフォルトの名無しさん
NGNG0044デフォルトの名無しさん
NGNG数学できないﾔｼって、できるﾔｼに対してかなり劣等感持つんだよね。。。ﾌﾟ
ﾐﾄﾓﾅｲﾅ。。。
0045デフォルトの名無しさん
NGNG頼むからageんでくれ。
別に好きなこと書いていいから。
0046デフォルトの名無しさん
NGNG0047デフォルトの名無しさん
NGNG0048デフォルトの名無しさん
NGNG0049デフォルトの名無しさん
NGNGつか、スレタイ見てFFT(ゲム)思い出した・・・
カタカナで見たの久しぶりだ・・・
0050デフォルトの名無しさん
NGNG0051デフォルトの名無しさん
NGNG三菱ギャランラムダの事をいいたかったと思われ。サムー。
0052( _。。)_ ﾊﾞﾀ。 ◆lUd9keO2
NGNGアリスソフトの「宇宙怪盗ファニーBee」に出てきた仲間の一人の
青いボディーな人工知能搭載メカだろ？
0053デフォルトの名無しさん
NGNG検索しても出てこんかった。
0054デフォルトの名無しさん
NGNGそんな言葉は知りません。
0055デフォルトの名無しさん
NGNGそんな言葉は俺も知りません。
0056デフォルトの名無しさん
NGNG0057デフォルトの名無しさん
NGNG0058デフォルトの名無しさん
NGNG0059デフォルトの名無しさん
NGNG0060デフォルトの名無しさん
NGNGカレー粉を混ぜます。隠し味です。
0061デフォルトの名無しさん
NGNG0062デフォルトの名無しさん
NGNG0063デフォルトの名無しさん
NGNG0064デフォルトの名無しさん
NGNG0065デフォルトの名無しさん
NGNG0066デフォルトの名無しさん
NGNGでも意外と知らない人が多そうな気もするんだけど…．
頼むから計算量考えてプログラム作ってねモルァ
0067デフォルトの名無しさん
NGNGラムダ
↓
諸星ラムだっちゃ
↓
諸星大二郎
↓
ﾗﾝﾊﾞﾀﾞ
↓
ロボ
0068デフォルトの名無しさん
NGNG0070デフォルトの名無しさん
NGNG0071デフォルトの名無しさん
NGNG0072デフォルトの名無しさん
NGNG↓
raムダ
↓
ramuダ
↓
ダ
↓
ニダ
↓
ハムニダ
↓
カムサハムニダ ヽ<`Д´>ﾉ
0073デフォルトの名無しさん
NGNG0074デフォルトの名無しさん
NGNG> つか、λ計算とラムダ式は、意味が違うと思われ。
ラムダ計算はラムダ式を扱う。
意味が違うのは「ラムダ記法」だろう。
0075デフォルトの名無しさん
NGNG0076デフォルトの名無しさん
NGNG0077デフォルトの名無しさん
NGNG0 = λfx.x
1 = λfx.fx
2 = λfx.f(fx)
3 = λfx.f(f(fx))
：
：
これじゃ使えんよ。
もっとコンパクトに表記する方法ってないの？
0078デフォルトの名無しさん
NGNGちょいと調べてみるか・・・
0079デフォルトの名無しさん
NGNG123 = 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)))
（（（；ﾟДﾟ）））ﾋｨｰ・・・ｶﾞｸｶﾞｸﾌﾞﾙﾌﾞﾙ・・・
0080デフォルトの名無しさん
NGNG123 = 3 * 41 = (λabf.a(bf)) (λfx.f(f(fx))) (41のλ式。長すぎるので略)
これだと、どうしても「素数」だけはそのまま書くしかないですよねぇ。
どっちの表記がベストっつーか、主流なのかな？
まぁ、理論上のことだからどっちでも良いといえば良いのか・・・
0081デフォルトの名無しさん
NGNG123 = 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))
0082デフォルトの名無しさん
NGNGいくらでもデカイ数が表記できるわけだ。
ふむふむ。けっこう面白いぞλちゃん。
つぎは実数の表記法を考えてみようかな。
0083デフォルトの名無しさん
NGNGhttp://www.faireal.net/articles/6/01/
0084糞スレ発掘委員会
NGNG0085佐用旭
NGNGhttp://www.milkynet.com/usr/sakura/index.html
■ このスレッドは過去ログ倉庫に格納されています