From be1197ed94d34387a7f9396908aef1329b87a382 Mon Sep 17 00:00:00 2001
From: "Tomoya Matsuura(MacBookPro)" <me@matsuuratomoya.com>
Date: Sun, 27 Aug 2023 16:19:59 +0900
Subject: [PATCH] [obsidian] vault backup: 2023-08-27 16:19:59[

---
 content/音楽プログラミング言語の形式化.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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)
 }
 ```