[obsidian] vault backup: 2025-11-29 20:30:10[

content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md

@@ -102,6 +102,12 @@ v ::=
 \end{align}
 $$
 
+
+セマンティクスをどこまで書くか、タプルを入れるか
+
+操作的意味論
+
+
 ### シンタックスシュガー
 
 mimiumでは、多段階計算の体系を直感的に扱えるように2つのシンタックスシュガーを導入している。