diff --git a/content/音楽プログラミング言語の形式化.md b/content/音楽プログラミング言語の形式化.md
index e4c01893..fa3761f1 100644
--- a/content/音楽プログラミング言語の形式化.md
+++ b/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)
 }
 ```