From 841bb40266c4bda02c28176a0eaecd44cf697fe6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?=
 =?UTF-8?q?a?= <me@matsuuratomoya.com>
Date: Wed, 25 Dec 2024 15:00:07 +0900
Subject: [PATCH] [obsidian] vault backup: 2024-12-25 15:00:07[

---
 content/lambda-mmm(実用版).md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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}
 $$
+ディレイは定数や関数を入力としては受け取らない（常に変数を参照する）
+
 ## 項
 
 $$