From 138db7b43e692d97462ff86e2af52d198f975dc1 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: Wed, 7 Jan 2026 16:21:15 +0900
Subject: [PATCH] [obsidian] vault backup: 2026-01-07 16:21:15[

---
 content/mimiumの多段階計算.md | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/content/mimiumの多段階計算.md b/content/mimiumの多段階計算.md
index f1349a60..a73e520a 100644
--- a/content/mimiumの多段階計算.md
+++ b/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}
 $$