[obsidian] vault backup: 2023-08-27 16:19:59[

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

@@ -35,7 +35,7 @@ fn filterbank(N,input,lowestfreq, margin,Q,filter){
 
 ```rust
 
-fn gen_filterbank(N:int,lowestfreq:float, margin:float,Q:float,filter:<float->float>)-> <float->float> {
+fn gen_filterbank(N:int,lowestfreq:float, margin:float,Q:float,filter:float->float)-> <float->float> {
 	// level:0
     if(N>0){
         < //level:1
@@ -52,7 +52,7 @@ fn gen_filterbank(N:int,lowestfreq:float, margin:float,Q:float,filter:<float->fl
     }
 }
 
-fn filterbank(input:float, N:int,lowestfreq:float, margin:float,Q:float,filter:<float->float>)-> floÏat{
+fn filterbank(input:float, N:int,lowestfreq:float, margin:float,Q:float,filter:float->float)-> float{
 	~(gen_filterbank(N,lowestfreq,margin,filter))(input)
 }
 ```