diff --git a/content/mimium新内部表現の構想.md b/content/mimium新内部表現の構想.md
index 3a564364..77b63204 100644
--- a/content/mimium新内部表現の構想.md
+++ b/content/mimium新内部表現の構想.md
@@ -4,9 +4,15 @@
 
 [[多段階計算]]を取り入れたい
 
-とりあえず$W$ Calculusを自然に多段階に拡張してみる
-## 型定義
+とりあえず$W$ Calculusを自然に拡張してみる。
+$W$ Calculusとmimiumの形式は似ているが、主に2つの違いがある。
 
+1.　$W$ Calculus はLinear-Time Invariant なシステムを想定しているため、基本演算は項の加算と、項と定数の乗算しか使えない。
+2. $W$ Calculusでは関数が数をとって数を返すものしかない。つまり、関数やfeedの項を取ったり返すような高階関数は想定されていない。
+
+問題になるのは後者の方だ。
+
+## 型定義
 
 
 a個の実数のタプルである$R_a$