diff --git a/content/音楽プログラミング言語の形式化.md b/content/音楽プログラミング言語の形式化.md
index c0ea02a6..db63b83b 100644
--- a/content/音楽プログラミング言語の形式化.md
+++ b/content/音楽プログラミング言語の形式化.md
@@ -214,4 +214,9 @@ fn filterbank(N,input,lowestfreq, margin,Q,filter){
         return 0
     }
 }
-```
\ No newline at end of file
+```
+
+
+
+---
+プリミティブとしてはlistとarrayの2種類を持っておき、型強制で`<List 'a>`を`Array 'a`　として使えるようにする