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/)