diff --git a/content/.smart-env/smart_env.json b/content/.smart-env/smart_env.json
index 533b2878..510dec2e 100644
--- a/content/.smart-env/smart_env.json
+++ b/content/.smart-env/smart_env.json
@@ -43,7 +43,7 @@
         "host": "http://localhost:11434"
       }
     },
-    "active_thread_key": "Untitled Chat 2025-10-08 08-19-36",
+    "active_thread_key": "Untitled Chat 2025-11-30 15-55-02",
     "system_prompt": "",
     "detect_self_referential": true,
     "review_context": true,
diff --git a/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md b/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md
index 256eb13c..cf2d6a40 100644
--- a/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md
+++ b/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md
@@ -113,6 +113,8 @@ $$
 
 グローバルな関数呼び出しとそれ以外の呼び出しの区別。式に自由変数があるかないかを区別する必要がある。それを表示的意味論に落とし込めるのか
 
+グローバルなラベル集合を定義して、グローバルラベルに基づく関数呼び出し、ラムダ項から直接の呼び出し
+
 
 ### シンタックスシュガー