Merge remote-tracking branch 'origin/v4' into v4

2025-11-30 21:03:56 +09:00
parent 3cff1fafb7 88376a6591
commit 65bd74d126
3 changed files with 12 additions and 12 deletions
--- a/content/.smart-env/multi/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング_md.ajson
+++ b/content/.smart-env/multi/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング_md.ajson
--- 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,
--- a/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md
+++ b/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md
@@ -113,6 +113,8 @@ $$

 グローバルな関数呼び出しとそれ以外の呼び出しの区別。式に自由変数があるかないかを区別する必要がある。それを表示的意味論に落とし込めるのか

+グローバルなラベル集合を定義して、グローバルラベルに基づく関数呼び出し、ラムダ項から直接の呼び出し
+

 ### シンタックスシュガー