[obsidian] vault backup: 2024-11-16 23:44:13[

2024-11-16 23:44:13 +09:00
parent 7a5dba3a58
commit 94ce72ba47
3 changed files with 47 additions and 1 deletions
--- a/content/mimium新内部表現の構想.md
+++ b/content/mimium新内部表現の構想.md
@ -5,7 +5,7 @@ date: "2023-09-20T17:12:17+0900"

 [[音楽プログラミング言語の形式化#mimium と 多段階計算]]

-[[多段階計算]]を取り入れたい
+[[多段階計算]]を取り入れたい　→　[[多段階計算を命令型VMインストラクションで表現する]]

 とりあえず[[The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms|W Calculus]]を自然に拡張してみる。
 $W$ Calculusとmimiumの形式は似ているが、主に2つの違いがある。