diff --git a/content/lambda-mmm(実用版).md b/content/lambda-mmm(実用版).md index 66707d50..d5d539c2 100644 --- a/content/lambda-mmm(実用版).md +++ b/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} $$ +ディレイは定数や関数を入力としては受け取らない(常に変数を参照する) + ## 項 $$