λの世界
1 ：１３２人目の素数さん：
思う存分どうぞ。
いい参考書があればあわせてお願いします。
いい参考書があればあわせてお願いします。
|
|
|
2 ：１３２人目の素数さん：02/07/18 22:11
3?
3 ：１３２人目の素数さん：02/07/18 22:12
２
4 ：１３２人目の素数さん：02/07/18 22:12
よく添字に使う
5 ：１３２人目の素数さん：02/07/18 22:14
武田鉄也のお説教にでてくる
6 ：１３２人目の素数さん：02/07/18 22:14
ｘ、ｙ、ｚを変数とするとき、以下のλ項を省略記法を用いずに書いてください。
λｘ・ｘｙ（λｚ・ｙ）
お願いします。
λｘ・ｘｙ（λｚ・ｙ）
お願いします。
7 ：１３２人目の素数さん：02/07/18 22:15
それは人
これは入
これは入
8 ：１３２人目の素数さん：02/07/18 23:17
((λx . x(y))(λz . y))
これでいいのかな。まだどっか省略ある？
これでいいのかな。まだどっか省略ある？
9 ：１３２人目の素数さん：02/07/18 23:50
λ-culculousのこと？
10 ：１３２人目の素数さん：02/07/19 00:21
λ.........ﾓｳﾀﾞﾒﾎﾟ
11 ：１３２人目の素数さん：02/07/19 01:19
>>10
正解っぽいな
正解っぽいな
12 ：１３２人目の素数さん：02/07/19 02:25
λって入に似てない？
13 ：１３２人目の素数さん：02/07/19 20:35
曾 λ...λ...λ...λ...
14 ：１３２人目の素数さん：02/07/26 16:58
>>8
（λx.((xy)(λz.y)))
（λx.((xy)(λz.y)))
15 ：１３２人目の素数さん：02/07/27 03:07
(λi.ホモ)you
16 ：１３２人目の素数さん：02/07/31 14:12
17 ：１３２人目の素数さん：02/08/11 16:50
龠 λλλλλ....ｻｻﾞｴｻｰﾝﾊ ﾕｶｲﾀﾞﾅｰ
18 ：１３２人目の素数さん：02/09/04 10:09
19 ：１３２人目の素数さん：02/09/05 09:05
20 ：ｺｿｰﾘ ◆XTCEGN46 ：02/09/05 10:44
ｺｿｰﾘテスト
21 ：ｺｿｰﾘ ◆XTCEGN46 ：02/09/05 10:45
日記
今日は夏休みの宿題をやります
今日は夏休みの宿題をやります
22 ：１３２人目の素数さん：02/09/17 13:01
夏休みの宿題っつぅのはもう2度と2chに書き込めなくなるほど危険な物なのか？
23 ：１３２人目の素数さん：02/10/13 12:40
型付きλについて誰か教えてください。
24 ：１３２人目の素数さん：02/10/13 13:12
λ アザラシ
λ アシカ
λ オットセイ
λ アシカ
λ オットセイ
25 ：１３２人目の素数さん：02/10/23 16:22
しかしもりあがらねーな．
>>1よ，「λの世界」じゃ数学板の人間は分からんぞ．
>>23
Barendregtの"Lambda calculi with types"を読破せよ．
"Handbook of Logic in Computer Science Vol.2"のpp117-309だ．
図書館で借りてコピーしる．
BarendregtのHPである
http://www.cs.kun.nl/~henk/papers.html
に，psファイルらしきものがあるが，うちのPCではps読めないから
ちょっとわからん．
>>1よ，「λの世界」じゃ数学板の人間は分からんぞ．
>>23
Barendregtの"Lambda calculi with types"を読破せよ．
"Handbook of Logic in Computer Science Vol.2"のpp117-309だ．
図書館で借りてコピーしる．
BarendregtのHPである
http://www.cs.kun.nl/~henk/papers.html
に，psファイルらしきものがあるが，うちのPCではps読めないから
ちょっとわからん．
26 ：１３２人目の素数さん：02/10/23 16:25
Haskell λ
27 ：１３２人目の素数さん：02/10/23 16:26
LISP
28 ：http://csx.jp/~your/：02/10/23 16:26
29 ：１３２人目の素数さん：02/10/23 16:34
ちょうど「計算機プログラムの構造と解釈」という本を買ったところでした。
30 ：１３２人目の素数さん：02/10/23 18:48
>>6
y
y
31 ：１３２人目の素数さん：02/10/23 20:05
入
32 ：１３２人目の素数さん：02/10/23 20:14
33 ：25：02/10/24 02:18
34 ：１３２人目の素数さん：02/10/24 13:13
原始帰納的関数の話題はここのスレかな？
それとも基礎論スレになるのかな？
それとも基礎論スレになるのかな？
35 ：１３２人目の素数さん：02/10/24 15:19
λ........ﾄﾎﾞﾄﾎﾞ
36 ：１３２人目の素数さん：02/10/24 18:23
なつかしい.. >> Barendregt (つづりちがいそう)
大学の頃ゼミでやりますた。でも最後の長い lambda式の
意味が良くわかりませんでした。
大学の頃ゼミでやりますた。でも最後の長い lambda式の
意味が良くわかりませんでした。
37 ：25：02/10/26 15:02
BarendregtのHPのPSファイルだが，所々図が抜けてる．
原書がないと，理解不能になるかも．
原書がないと，理解不能になるかも．
38 ：１３２人目の素数さん：02/10/26 16:07
age
39 ：１３２人目の素数さん：02/10/26 16:24
40 ：１３２人目の素数さん：02/10/26 16:26
「人の世界」のスレってまだ立って無いんですか？
41 ：１３２人目の素数さん：02/10/26 23:03
>>40
自分で立てれば？
自分で立てれば？
42 ：１３２人目の素数さん：02/10/30 19:25
43 ：１３２人目の素数さん：02/11/02 17:43
age
44 ：１３２人目の素数さん：02/11/17 22:06
てきゃげ
45 ：１３２人目の素数さん：02/11/17 23:08
龠 λλλλλλ.... サーザエーサンサザエサン
￣￣￣￣￣￣￣￣
λλλ龠λλλ.... サザエサーンハ
￣￣￣￣￣￣￣￣
λλ...龠 ユカイダナー
...>>1 λ|￣￣￣￣
..→λ |
λ |
† ;;;;" |
~~~~~~~~~~
46 ：１３２人目の素数さん：02/12/07 05:34
39のスレの方が上にあるのはマズいだろ。
47 ：１３２人目の素数さん：02/12/07 12:45
らーむーだ
（＾＾）
49 ：Joseph Lagrange：
漏れの未定定数の世界か!?