tomoyanonymous/quartz-research-note
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Tomoya(obsidian) 2023-09-12 17:58:02 +09:00
parent d4c3f0352e
commit 8b96654609
15 changed files with 15 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
content/Coqの勉強.md
View File

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

2
content/Extempore.md
View File

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

2
content/Faust.md
View File

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

2
content/Lua.md
View File

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

2
content/MetaOCaml.md
View File

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

2
content/Rustでの評価文脈（環境）のRAIIっぽい実装.md
View File

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

2
content/The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms.md
View File

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

2
content/mimium新内部表現の構想.md
View File

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

2
content/otopoiesis.md
View File

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

2
content/依存型.md
View File

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

2
content/多段階計算.md
View File

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

2
content/竹内関数で音楽.md
View File

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

2
content/継時再帰.md
View File

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

2
content/音楽プログラミング言語.md
View File

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

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

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