[obsidian] vault backup: 2026-01-07 16:21:15[

content/mimiumの多段階計算.md

@@ -29,16 +29,18 @@ $$
 
 $$
 \begin{align}
-e ::=
-	  &\quad R & R \in \mathbb{R}  [number]&\\
-      |&\quad e \ e \quad& [app]&\\
+e ::= &\quad R & R \in \mathbb{R}  [number]&\\
       |&\quad \lambda x.e& [abs]&\\
       |&\quad let\; x\; =\; e\; in\; e& [let]&\\
+      |&\quad fix\; x.e & [fixpoint]&\\
+      |&\quad e \ e \quad& [app]&\\
+      |&\quad if\; (e_c) \; e_t\; else\; e_e & [if] &\\
       |&\quad delay(x,e_{time},v_{bound})&[delay]&\\
       |&\quad mem(e) &[mem]&\\
       |&\quad feed\ x.e &[feed]&\\
       |&\quad `(e) &[quote]&\\
-      |&\quad $(e) &[splice]&
+      |&\quad $(e) &[splice]&\\\
+      |& \ ...
 \end{align}
 $$