tomoyanonymous/quartz-research-note
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

[obsidian] vault backup: 2023-12-06 18:17:39[

Browse Source
This commit is contained in:
松浦 知也 Matsuura Tomoya
2023-12-06 18:17:39 +09:00
parent 7bb7d44c4b
commit 03336197e8
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
content/mimium新内部表現の構想.md
View File

@@ -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つの違いがある。 $W$ Calculusとmimiumの形式は似ているが、主に2つの違いがある。
1.　$W$ Calculus はLinear-Time Invariant なシステムを想定しているため、基本演算は項の加算と、項と定数の乗算しか使えない。 1.　$W$ Calculus はLinear-Time Invariant なシステムを想定しているため、基本演算は項の加算と、項と定数の乗算しか使えない。