From 16c7cc245cf632e0c5205ad52133754bc4669920 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?= =?UTF-8?q?a?= Date: Wed, 6 Dec 2023 18:17:39 +0900 Subject: [PATCH] [obsidian] vault backup: 2023-12-06 18:17:39[ --- content/mimium新内部表現の構想.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/mimium新内部表現の構想.md b/content/mimium新内部表現の構想.md index 2ab66f1b..e206038c 100644 --- a/content/mimium新内部表現の構想.md +++ b/content/mimium新内部表現の構想.md @@ -4,7 +4,7 @@ [[多段階計算]]を取り入れたい -とりあえず$W$ Calculusを自然に拡張してみる。 +とりあえず[[The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms|W Calculus]]を自然に拡張してみる。 $W$ Calculusとmimiumの形式は似ているが、主に2つの違いがある。 1.　$W$ Calculus はLinear-Time Invariant なシステムを想定しているため、基本演算は項の加算と、項と定数の乗算しか使えない。