From 233050d1fb920fcb065ea18dc9854d803397b749 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: Fri, 19 Dec 2025 16:28:14 +0900
Subject: [PATCH] [obsidian] vault backup: 2025-12-19 16:28:14[

---
 ...ƒ†ã‚£ãƒ–プログラミングã�«ã‚ˆã‚‹ä¿¡å�·å‡¦ç�†ã�®ãƒ©ã‚¤ãƒ–コーディング.md | 52 +++++++++++++++++--
 1 file changed, 49 insertions(+), 3 deletions(-)

diff --git a/content/多段階計算�増分関数型リアクティブプログラミング�よる信�処��ライブコーディング.md b/content/多段階計算�増分関数型リアクティブプログラミング�よる信�処��ライブコーディング.md
index f5cf50c3..1b994a58 100644
--- a/content/多段階計算�増分関数型リアクティブプログラミング�よる信�処��ライブコーディング.md
+++ b/content/多段階計算�増分関数型リアクティブプログラミング�よる信�処��ライブコーディング.md
@@ -97,18 +97,64 @@ $$
 \begin{align}
 v ::=
 	  |&\quad R & R \in \mathbb{R} [number]&\\
-      |&\quad cls(e,E) &[closure]&\\
+	  |&\quad openFn(x,e,statesize) &[closure]&\\
+      |&\quad closure(x,e,E) &[closure]&\\
       |&\quad \langle e \rangle &[code]&\\
 \end{align}
 $$
 
 
-delay,mem,feed�信�処�用�プリミティブ��る。mem(e)�シングルサンプル�ディレイ����れ��延時間�データを�存�る必������通常�ディレイ�区別��使用�れる。�れら3��プリミティブ�ステージ1��縛�れ�組�込�関数�よ��扱�れ�ステージ�評価��れる�エラー��る。
+delay,mem,feed�信�処�用�プリミティブ��る。mem(e)�シングルサンプル�ディレイ����れ��延時間�データを�存�る必������通常�ディレイ�区別��使用�れる。�れら3��プリミティブ�ステージ1��縛�れ�組�込�関数�よ��扱�れ�ステージ0評価��れる�エラー��る。
 
 ���多段階計算��������`run`プリミティブを用��一�上�ステージ�定義�れ�も�を��場�使用�る越段階埋�込�（Cross-Stage Persistence）�mimium��実装�れ����。一方�コンパイル時�計算��数値��をランタイム�使用�る����プリミティブをコード型���上�る`lift`関数�プリミティブ���用��れ��る。mimium�型システム��時点�ジェ�リクスを�載���������基本型毎�異�る���組�込�関数（float�対�るlift_f��）�用��れる。
 
 
-�作的�味論
+### �作的�味論
+
+```ocaml
+let states = ... in
+let stateptr = 0 in
+let rec eval : stage -> expr -> env -> value = 
+  fun stage e env -> match e with
+| Var(name) ->
+  lookup env name
+| Lam(x,e) ->
+  if contains_freevar(e) then OpenFn(x,e,statesize e)
+  else Closure(x,e,env)
+| App(ef,ea) ->
+  let va = eval stage ea env in
+  let vf = eval stage ef env in
+  match vf with
+   | OpenFn(x,e,size)-> let r = eval stage e ((x,va)::env) in
+   shift stateptr size;
+   r
+   | Closure(x,e,cenv) -> eval stage e ((x,va)::cenv)
+| Delay(n,et,ev) ->
+ let v = eval stage ev env in
+ let vt = eval stage et env in
+ update_ringbuf state stateptr v vt
+| Feed(x,e)->
+ let size = statesize e in
+ let last = getstate state stateptr in
+ let current = eval stage e ((x,last)::env)
+ state[stateptr] := current;
+ last
+| Quote(e)->
+  rebuild stage+1 e env
+| Splice(e)->
+  let v = rebuild stage-1 e env
+  match v with
+  | Code(e) -> eval e env
+  _-> raise
+and rebuild : stage -> expr -> env =
+fun stage e env -> 
+ if stage == 0 then eval e env
+ else Code(e)
+ 
+
+```
+
+mimium���
 
 グロー�ル�関数呼�出���れ以外�呼�出��区別。��自由変数��る����を区別�る必���る。�れを表示的�味論����込�る��