[obsidian] vault backup: 2023-09-20 01:33:51[

content/音楽プログラミング言語の形式化.md

@@ -168,3 +168,22 @@ process = hmtx(16);
 
 継時再帰は[[Kronos]]のMeta-Sequencerでも使われてたはずだし、きちんと意味論を定義することはできるのかな？
 
+
+---
+
+VMのインストラクションを考えてるけど。
+
+ワンパスのコンパイラだと、関数呼び出しした時に値がFeedになるかどうかは、Substituteを直接的にするわけじゃないから判別できないのか
+
+となると、やっぱり値に対して性質が決まってるから型として判別した方がいいんじゃないのか？つまりfilterの値の方に関してはメモリサイズが不定だよなあ
+
+```rust
+fn filterbank(N,input,lowestfreq, margin,Q,filter){
+    if(N>0){
+        return filter(input,lowestfreq+N*margin,Q)
+                +  filterbank(N-1,input, lowestfreq,margin,Q,filter)
+    }else{
+        return 0
+    }
+}
+```