[obsidian] vault backup: 2023-09-12 17:58:02[

This commit is contained in:
Tomoya(obsidian) 2023-09-12 17:58:02 +09:00
parent 0771d3b221
commit 9cbf260dfe
15 changed files with 15 additions and 15 deletions

View File

@ -1,4 +1,4 @@
#programming-language #memo #logic
#programminglanguage #memo #logic
[[Coq]]を用いた定理証明支援の基礎

View File

@ -1,4 +1,4 @@
#programming-language #sound
#programminglanguage #sound
Andrew Sorensenが作ったLispライブプログラミング環境。

View File

@ -1,3 +1,3 @@
#software #programming-language #sound
#software #programminglanguage #sound
https://faust.grame.fr

View File

@ -1,4 +1,4 @@
#programming-language
#programminglanguage
軽量で埋め込みやすいスクリプティング言語。音楽用ソフトでは[[Reaper]]とかでも使われている。

View File

@ -1,4 +1,4 @@
#programming-language #software #tools
#programminglanguage #software #tools
マニュアル

View File

@ -1,4 +1,4 @@
#programming-language #compiler-design
#programminglanguage #compiler-design
[chumskyのチュートリアル](https://github.com/zesterer/chumsky/blob/main/tutorial.md)で、評価する関数の実装がライフタイム付きでこんな感じになってたの頭いいなと思ったので、RAIIにしたらもっとシンプルに見えるのではと思った

View File

@ -1,4 +1,4 @@
#paper #programming-language
#paper #programminglanguage
https://dl.acm.org/doi/10.1145/3471872.3472970

View File

@ -1,4 +1,4 @@
#memo #mimium #programming-language
#memo #mimium #programminglanguage
[[音楽プログラミング言語の形式化#mimium と 多段階計算]]

View File

@ -1,5 +1,5 @@
#programming-language #sound
#programminglanguage #sound
https://github.com/tomoyanonymous/otopoiesis

View File

@ -1,4 +1,4 @@
#programming-language
#programminglanguage
項でインデックス付された型

View File

@ -1,4 +1,4 @@
#programming-language
#programminglanguage
メタプログラミングの技法の一種。[[MetaOCaml]]などが有名

View File

@ -1,4 +1,4 @@
#programming-language #music
#programminglanguage #music
再帰関数の実装のベンチマークなどでよく使われる竹内関数(たらい回し関数)

View File

@ -1,4 +1,4 @@
#programming-language
#programminglanguage
Temporal Recursionとも。

View File

@ -1,4 +1,4 @@
#research #programming-language #sound
#research #programminglanguage #sound
やっているプロジェクト

View File

@ -1,4 +1,4 @@
#programming-language #research
#programminglanguage #research
## 先行例