From afb87ddc82025779d90e80bd0c895e03cfe62f8c Mon Sep 17 00:00:00 2001 From: "Tomoya Matsuura(MacBookPro)" Date: Thu, 24 Aug 2023 20:45:03 +0900 Subject: [PATCH] [obsidian] vault backup: 2023-08-24 20:45:03[ --- content/音楽プログラミング言語の形式化.md | 20 ++++++++++++-------- 1 file changed, 12 insertions(+), 8 deletions(-) diff --git a/content/音楽プログラミング言語の形式化.md b/content/音楽プログラミング言語の形式化.md index 046d6aa6..5bb33355 100644 --- a/content/音楽プログラミング言語の形式化.md +++ b/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/) - -京都大学　[[五十嵐淳]] 「計算と論理」　授業資料(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]] \ No newline at end of file +- [Software Foundations 日本語訳](https://chiguri.info/sfja/) +- 京都大学　[[五十嵐淳]] [「計算と論理」　授業資料(2023)](https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/class/cal/)