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