[obsidian] vault backup: 2023-08-24 20:45:03[

content/音楽プログラミング言語の形式化.md

@@ -1,12 +1,16 @@
 #programming-language #research 
 
+
+## 先行令
+
+[[Faust]]
+
+
+[[The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms]]
+
+## 基礎知識
+
 [[Coq]]を用いた定理証明支援の基礎
 
-[Software Foundations 日本語訳](https://chiguri.info/sfja/)
+- [Software Foundations 日本語訳](https://chiguri.info/sfja/)
-
+- 京都大学　[[五十嵐淳]] [「計算と論理」　授業資料(2023)](https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/class/cal/)
-京都大学　[[五十嵐淳]] 「計算と論理」　授業資料(2023)
-
-https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/class/cal/
-
-
-[[The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms]]