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

Compare commits

base: tomoyanonymous:499ed53d095a0f9abe6a4c0a05bf4d5c7c9df6b2
Branches Tags
tomoyanonymous:v4
...
compare: tomoyanonymous:1f0e7ffe82629e11c7a595ecdf4246357b81e27f
Branches Tags
tomoyanonymous:v4

2 Commits
499ed53d09 ... 1f0e7ffe82

Author SHA1 Message Date
松浦 知也 Matsuura Tomoya
1f0e7ffe82 Merge remote-tracking branch 'home/v4' into v4
All checks were successful
Build / build (push) Successful in 4m36s
Details
2024-06-05 17:39:29 +09:00
松浦 知也 Matsuura Tomoya
66e167eb63 vault backup: 2024-06-05 17:39:28 2024-06-05 17:39:28 +09:00
1 changed files with 1 additions and 1 deletions
Show Stats Expand all files Collapse all files

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

@ -10,7 +10,7 @@ date: "2023-09-20T17:12:17+0900"
とりあえず[[The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms|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 なシステムを想定しているため、基本演算は項の加算と、項と定数の乗算しか使えない。
2. $W$ Calculusでは関数が数をとって数を返すものしかない。つまり、関数やfeedの項を取ったり返すような高階関数は想定されていない。 2. $W$ Calculusでは関数が数をとって数を返すものしかない。つまり、関数やfeedの項を取ったり返すような高階関数は想定されていない。
問題になるのは後者の方だ。 問題になるのは後者の方だ。