[obsidian] vault backup: 2024-12-25 15:00:07[

content/lambda-mmm(実用版).md

@@ -33,10 +33,12 @@ v ::=
 	  |&\quad R & R \in \mathbb{R} \\
       |&\quad v * v \quad &\\
       |&\quad \lambda x.e \\
-      |&\quad delay(e,e_{time},v_{bound})\\
+      |&\quad delay(x,e_{time},v_{bound})\\
       |&\quad feed\ x.e
 \end{align}
 $$
+ディレイは定数や関数を入力としては受け取らない（常に変数を参照する）
+
 ## 項
 
 $$