From b238d98826c065e65059b6a72ff2dfdc4df2097f 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?= Date: Sun, 30 Nov 2025 16:03:15 +0900 Subject: [PATCH] [obsidian] vault backup: 2025-11-30 16:03:15[ --- content/.smart-env/smart_env.json | 2 +- ...数型リアクティブプログラミングのによる信号処理のライブコーディング.md | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) 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 @@ $$ グローバルな関数呼び出しとそれ以外の呼び出しの区別。式に自由変数があるかないかを区別する必要がある。それを表示的意味論に落とし込めるのか +グローバルなラベル集合を定義して、グローバルラベルに基づく関数呼び出し、ラムダ項から直接の呼び出し + ### シンタックスシュガー