diff --git a/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md b/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md
index fe2dd658..e281d8b3 100644
--- a/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md
+++ b/content/多段階計算と増分関数型リアクティブプログラミングのによる信号処理のライブコーディング.md
@@ -102,6 +102,12 @@ v ::=
 \end{align}
 $$
 
+
+セマンティクスをどこまで書くか、タプルを入れるか
+
+操作的意味論
+
+
 ### シンタックスシュガー
 
 mimiumでは、多段階計算の体系を直感的に扱えるように2つのシンタックスシュガーを導入している。