質問編集履歴
1
記号表記の若干の変更(質問には全く支障なし)
test
CHANGED
|
File without changes
|
test
CHANGED
|
@@ -8,7 +8,7 @@
|
|
|
8
8
|
|
|
9
9
|
__FV__(λx.e) = __FV__(e)\{x}
|
|
10
10
|
|
|
11
|
-
__FV__(e1, e2) = __FV__(e1) ∪ __FV__(e2)
|
|
11
|
+
__FV__(e_1, e_2) = __FV__(e1) ∪ __FV__(e2)
|
|
12
12
|
|
|
13
13
|
|
|
14
14
|
|