[obsidian] vault backup: 2025-11-30 16:03:15[

2025-11-30 16:03:15 +09:00
parent 46b79948f0
commit 88376a6591
3 changed files with 8 additions and 1 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 @@ $$

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

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

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