質問編集履歴
1
書式の改善
test
CHANGED
|
File without changes
|
test
CHANGED
|
@@ -19,6 +19,7 @@
|
|
|
19
19
|
計2つ自由変数があります。
|
|
20
20
|
1)(λx.yx)x)内のy
|
|
21
21
|
2)(vλz.λw.v)内の最初のv
|
|
22
|
+
|
|
22
23
|
|
|
23
24
|
③各束縛変数から対応する束縛変数へ矢印を書く
|
|
24
25
|
|