From 3fe711662780c976e7e9decc076cb1d2bf186094 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?= =?UTF-8?q?a?= Date: Wed, 6 Dec 2023 03:51:12 +0900 Subject: [PATCH 1/8] [obsidian] vault backup: 2023-12-06 03:51:12[ --- content/otopoiesis.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/content/otopoiesis.md b/content/otopoiesis.md index 52fa49ce..170e9b65 100644 --- a/content/otopoiesis.md +++ b/content/otopoiesis.md @@ -166,3 +166,11 @@ fileplayerのui実装もgeneratorからregionに移そう そうなるとaudio側の実装もそっちに合わせるのが自然だよな・・・ + +完全にValueを64bitで静的型付けとして扱う時の、擬似的に動的型チェックする方法がないか + +id_arenaのIDが128bitである限りちょっと厳しそう +プロジェクト、トラック、リージョンが限られた数であることを前提にすればNaNBoxingもできなくはなさそうだが、、、 + +コンパイラのContextをアプリ中で引き回さなくちゃいけなくなるのがやだなー +少なくともこれやるとマルチスレッドはめっちゃ難しくなるな From a39b0f0b1864227cfa4eef647389e9a8c0fbdb6d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?= =?UTF-8?q?a?= Date: Wed, 6 Dec 2023 12:07:09 +0900 Subject: [PATCH 2/8] [obsidian] vault backup: 2023-12-06 12:07:09[ --- content/プログラミング言語理論一般.md | 3 +++ content/計算機プログラムの構造と解釈.md | 14 ++++++++++++++ 2 files changed, 17 insertions(+) create mode 100644 content/計算機プログラムの構造と解釈.md diff --git a/content/プログラミング言語理論一般.md b/content/プログラミング言語理論一般.md index 3faedc7d..8ff48767 100644 --- a/content/プログラミング言語理論一般.md +++ b/content/プログラミング言語理論一般.md @@ -2,6 +2,9 @@ [[Node.jsで約100行で書くLISP風ラムダ計算]] + +[[計算機プログラムの構造と解釈]] + [[Language Server Protocol]] [Write a JavaScript Parser in Rust](https://oxc-project.github.io/javascript-parser-in-rust/ja/docs/intro/) diff --git a/content/計算機プログラムの構造と解釈.md b/content/計算機プログラムの構造と解釈.md new file mode 100644 index 00000000..7b188533 --- /dev/null +++ b/content/計算機プログラムの構造と解釈.md @@ -0,0 +1,14 @@ +#book #programming-language #compiler-design + + IIJ研究所 HTML版 +  + [計算機プログラムの構造と解釈](http://books.shoeisha.co.jp/book/b177731.html) + +https://web.mit.edu/6.001/6.037/sicp.pdf + +Javascript Edition + +内容はほぼ同じっぽい（メタサーキュラー魔でやってる） + +https://sourceacademy.org/sicpjs/index + From 16c7cc245cf632e0c5205ad52133754bc4669920 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?= =?UTF-8?q?a?= Date: Wed, 6 Dec 2023 18:17:39 +0900 Subject: [PATCH 3/8] [obsidian] vault backup: 2023-12-06 18:17:39[ --- content/mimium新内部表現の構想.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/mimium新内部表現の構想.md b/content/mimium新内部表現の構想.md index 2ab66f1b..e206038c 100644 --- a/content/mimium新内部表現の構想.md +++ b/content/mimium新内部表現の構想.md @@ -4,7 +4,7 @@ [[多段階計算]]を取り入れたい -とりあえず$W$ Calculusを自然に拡張してみる。 +とりあえず[[The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms|W Calculus]]を自然に拡張してみる。 $W$ Calculusとmimiumの形式は似ているが、主に2つの違いがある。 1.　$W$ Calculus はLinear-Time Invariant なシステムを想定しているため、基本演算は項の加算と、項と定数の乗算しか使えない。 From e47e4bd56f266b6466d46eba4aff07229a9329a2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?= =?UTF-8?q?a?= Date: Wed, 6 Dec 2023 19:18:40 +0900 Subject: [PATCH 4/8] [obsidian] vault backup: 2023-12-06 19:18:40[ --- content/音楽プログラミング言語の形式化.md | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/content/音楽プログラミング言語の形式化.md b/content/音楽プログラミング言語の形式化.md index 603f504e..8dff53f1 100644 --- a/content/音楽プログラミング言語の形式化.md +++ b/content/音楽プログラミング言語の形式化.md @@ -152,6 +152,28 @@ process = hmtx(16); この辺は、多段階計算を使ったとしても生成したコードの型を変えるみたいなことは出来ないのでは？ +```rust +fn hmtx(n:int)-> <[float;n]->[float;n]>{ + assert!(n>=2 && n%2 == 0); + if(n==2){ + `|list|{ [list[0]+list[1], list[0]-list[1]] } + }else{ + `|list:[float]|{ + let mixer = interleave + |> |(l1,l2)| {zipwith(l1,l2).map(|(a,b)| a + b)}; + |> ~hmtx(n/2); + let upper = list |> mixer; + let lower = list + |> split(_,2) + |>|(l1,l2)| {(l1,l2.map(|a| -a))} + |> mixer; + join(upper,lower) + } + } +} + +``` + 項でインデックスされた型＝依存型な気がするのよな [[多段階計算#依存型との組み合わせ]]　 From 420b59c41eacfd50005bba4fe80bf72288e31bd2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?= =?UTF-8?q?a?= Date: Wed, 6 Dec 2023 20:20:54 +0900 Subject: [PATCH 5/8] [obsidian] vault backup: 2023-12-06 20:20:54[ --- content/.obsidian/appearance.json | 3 ++- content/.obsidian/graph.json | 16 ++++++++-------- content/Ardour.md | 1 + content/Coqの勉強.md | 2 +- content/Erg.md | 1 + content/Extempore.md | 2 +- content/Faust.md | 2 +- content/Lua.md | 2 +- content/MetaOCaml.md | 5 ++++- content/Reaper.md | 1 + content/SATySFi.md | 5 +++++ ...ng of digital signal processing algorithms.md | 2 +- content/mimium新内部表現の構想.md | 2 +- content/otopoiesis.md | 2 +- content/依存型.md | 2 +- content/多段階計算.md | 6 +++++- content/炭酸亜鉛.md | 2 +- content/竹内関数で音楽.md | 2 +- content/継時再帰.md | 2 +- content/音楽プログラミング言語.md | 2 +- content/音楽プログラミング言語の形式化.md | 2 +- 21 files changed, 40 insertions(+), 24 deletions(-) create mode 100644 content/Ardour.md create mode 100644 content/Erg.md create mode 100644 content/Reaper.md create mode 100644 content/SATySFi.md diff --git a/content/.obsidian/appearance.json b/content/.obsidian/appearance.json index 5a41a71b..b4a167c3 100644 --- a/content/.obsidian/appearance.json +++ b/content/.obsidian/appearance.json @@ -1,4 +1,5 @@ { "accentColor": "", - "cssTheme": "" + "cssTheme": "", + "translucency": true } \ No newline at end of file diff --git a/content/.obsidian/graph.json b/content/.obsidian/graph.json index 12d41a9d..81214840 100644 --- a/content/.obsidian/graph.json +++ b/content/.obsidian/graph.json @@ -1,22 +1,22 @@ { "collapse-filter": false, "search": "", - "showTags": false, + "showTags": true, "showAttachments": false, - "hideUnresolved": true, + "hideUnresolved": false, "showOrphans": true, "collapse-color-groups": false, "colorGroups": [], "collapse-display": true, - "showArrow": false, + "showArrow": true, "textFadeMultiplier": 0, - "nodeSizeMultiplier": 0.717683919270833, + "nodeSizeMultiplier": 1.19899088541667, "lineSizeMultiplier": 1, "collapse-forces": false, - "centerStrength": 0.677815755208333, - "repelStrength": 16.8867003815101, - "linkStrength": 1, + "centerStrength": 0.468912760416667, + "repelStrength": 11.1808268229167, + "linkStrength": 0.893798828125, "linkDistance": 48, - "scale": 1.0101881773459105, + "scale": 1.1255374518234564, "close": true } \ No newline at end of file diff --git a/content/Ardour.md b/content/Ardour.md new file mode 100644 index 00000000..126e54cd --- /dev/null +++ b/content/Ardour.md @@ -0,0 +1 @@ +#daw #music #software #stab \ No newline at end of file diff --git a/content/Coqの勉強.md b/content/Coqの勉強.md index d78f2b63..484536c9 100644 --- a/content/Coqの勉強.md +++ b/content/Coqの勉強.md @@ -1,4 +1,4 @@ -#programminglanguage #memo #logic +#programming-language #memo #logic [[Coq]]を用いた定理証明支援の基礎 diff --git a/content/Erg.md b/content/Erg.md new file mode 100644 index 00000000..cda9a8cc --- /dev/null +++ b/content/Erg.md @@ -0,0 +1 @@ +#programming-language #stab \ No newline at end of file diff --git a/content/Extempore.md b/content/Extempore.md index 20611e19..935d6735 100644 --- a/content/Extempore.md +++ b/content/Extempore.md @@ -1,4 +1,4 @@ -#programminglanguage #sound +#programming-language #sound Andrew Sorensenが作ったLispライブプログラミング環境。 diff --git a/content/Faust.md b/content/Faust.md index 4e636793..23b53963 100644 --- a/content/Faust.md +++ b/content/Faust.md @@ -1,3 +1,3 @@ -#software #programminglanguage #sound +#software #programming-language #sound https://faust.grame.fr \ No newline at end of file diff --git a/content/Lua.md b/content/Lua.md index 0c0685c7..b8b412bb 100644 --- a/content/Lua.md +++ b/content/Lua.md @@ -1,4 +1,4 @@ -#programminglanguage +#programming-language 軽量で埋め込みやすいスクリプティング言語。音楽用ソフトでは[[Reaper]]とかでも使われている。 diff --git a/content/MetaOCaml.md b/content/MetaOCaml.md index e2228b7f..3c71c859 100644 --- a/content/MetaOCaml.md +++ b/content/MetaOCaml.md @@ -1,7 +1,10 @@ -#programminglanguage #software #tools +#programming-language #software #tools + +[[多段階計算]]を実用できる数少ない処理系。 マニュアル + https://okmij.org/ftp/tagless-final/cookbook.html#simple-staging \ No newline at end of file diff --git a/content/Reaper.md b/content/Reaper.md new file mode 100644 index 00000000..126e54cd --- /dev/null +++ b/content/Reaper.md @@ -0,0 +1 @@ +#daw #music #software #stab \ No newline at end of file diff --git a/content/SATySFi.md b/content/SATySFi.md new file mode 100644 index 00000000..d4d23f07 --- /dev/null +++ b/content/SATySFi.md @@ -0,0 +1,5 @@ +#programming-language #software #domain-specific-language #DTP + +Better [[TeX]]を目指した組版システム。 + +[[多段階計算]]による型安全なマクロが導入されている \ No newline at end of file diff --git a/content/The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms.md b/content/The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms.md index 9558f746..2adf5723 100644 --- a/content/The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms.md +++ b/content/The w-calculus a synchronous framework for the verified modelling of digital signal processing algorithms.md @@ -1,4 +1,4 @@ -#paper #programminglanguage +#paper #programming-language https://dl.acm.org/doi/10.1145/3471872.3472970 diff --git a/content/mimium新内部表現の構想.md b/content/mimium新内部表現の構想.md index e206038c..723ac3f0 100644 --- a/content/mimium新内部表現の構想.md +++ b/content/mimium新内部表現の構想.md @@ -1,4 +1,4 @@ -#memo #mimium #programminglanguage +#memo #mimium #programming-language [[音楽プログラミング言語の形式化#mimium と 多段階計算]] diff --git a/content/otopoiesis.md b/content/otopoiesis.md index 170e9b65..71516c5c 100644 --- a/content/otopoiesis.md +++ b/content/otopoiesis.md @@ -1,5 +1,5 @@ -#programminglanguage #sound +#programming-language #sound https://github.com/tomoyanonymous/otopoiesis diff --git a/content/依存型.md b/content/依存型.md index 3562b748..67b46081 100644 --- a/content/依存型.md +++ b/content/依存型.md @@ -1,4 +1,4 @@ -#programminglanguage +#programming-language 項でインデックス付された型 diff --git a/content/多段階計算.md b/content/多段階計算.md index 7c9364f1..72715626 100644 --- a/content/多段階計算.md +++ b/content/多段階計算.md @@ -1,9 +1,13 @@ - #programminglanguage + #programming-language メタプログラミングの技法の一種。[[MetaOCaml]]などが有名 https://www.pls-lab.org/en/multi-stage-programming +[[Scala]]のバージョン3にも導入されてるらしい + +https://logmi.jp/tech/articles/324146 + 日本語での詳細な解説 MetaOCaml を使った自己反映言語のコンパイル 浅井 健一 (Black ) diff --git a/content/炭酸亜鉛.md b/content/炭酸亜鉛.md index 1f7ec663..87c3dd2d 100644 --- a/content/炭酸亜鉛.md +++ b/content/炭酸亜鉛.md @@ -1,4 +1,4 @@ -#semiconductor +#semiconductor #material ##### Bioinspired macromolecular templates for crystallographic orientation control of ZnO thin films through zinc hydroxide carbonate diff --git a/content/竹内関数で音楽.md b/content/竹内関数で音楽.md index d6b82183..e5807e80 100644 --- a/content/竹内関数で音楽.md +++ b/content/竹内関数で音楽.md @@ -1,4 +1,4 @@ -#programminglanguage #music +#programming-language #music 再帰関数の実装のベンチマークなどでよく使われる竹内関数（たらい回し関数） diff --git a/content/継時再帰.md b/content/継時再帰.md index 639b82fe..565096c9 100644 --- a/content/継時再帰.md +++ b/content/継時再帰.md @@ -1,4 +1,4 @@ -#programminglanguage +#programming-language Temporal Recursionとも。 diff --git a/content/音楽プログラミング言語.md b/content/音楽プログラミング言語.md index 91150c9b..1a1cc476 100644 --- a/content/音楽プログラミング言語.md +++ b/content/音楽プログラミング言語.md @@ -1,4 +1,4 @@ -#research #programminglanguage #sound +#research #programming-language #sound やっているプロジェクト diff --git a/content/音楽プログラミング言語の形式化.md b/content/音楽プログラミング言語の形式化.md index 8dff53f1..77970297 100644 --- a/content/音楽プログラミング言語の形式化.md +++ b/content/音楽プログラミング言語の形式化.md @@ -1,4 +1,4 @@ -#programminglanguage #research +#programming-language #research ## 先行例 From 138e7436d0ecd507a8cb7b2e3ec48dce5d488150 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?= =?UTF-8?q?a?= Date: Thu, 7 Dec 2023 17:36:32 +0900 Subject: [PATCH 6/8] [obsidian] vault backup: 2023-12-07 17:36:31[ --- content/多段階計算.md | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/content/多段階計算.md b/content/多段階計算.md index 72715626..9edaaf8b 100644 --- a/content/多段階計算.md +++ b/content/多段階計算.md @@ -43,4 +43,11 @@ https://link.springer.com/chapter/10.1007/978-3-030-34175-6_4 > Our goal is to define the function `vadd` of type $$Πn : Int.∀β.⊲β(Vector (\%_αn) → Vector (\%_αn) → Vector (\%_αn))$$ > .It takes the length n and returns (β-closed) code of a function to add two vectors of length n. The generated code is run by applying it to ε to obtain a function of type $Vector\; n → Vector\; n → Vector\; n$ as expected. -この辺はなんかやりたいことに近そうな予感がする \ No newline at end of file +この辺はなんかやりたいことに近そうな予感がする + + +## [[Rust]]でのプログラム合成 + +https://fitzgeraldnick.com/2018/11/15/program-synthesis-is-possible-in-rust.html + +impl Return typeと組み合わせたらもっと派手なことできそう \ No newline at end of file From 9cba6cd18843361cf533a0921df205d148b262e7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?= =?UTF-8?q?a?= Date: Fri, 8 Dec 2023 03:08:58 +0900 Subject: [PATCH 7/8] [obsidian] vault backup: 2023-12-08 03:08:58[ --- content/otopoiesis.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/content/otopoiesis.md b/content/otopoiesis.md index 71516c5c..316daacc 100644 --- a/content/otopoiesis.md +++ b/content/otopoiesis.md @@ -4,6 +4,10 @@ https://github.com/tomoyanonymous/otopoiesis DAWをプログラマブルにする試み +``` +#[param("hoge",0..8)] +let p1 = 1.0; +``` --- From 15076e7985274ca7837a1dcfa4d68c3036158fc4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?= =?UTF-8?q?a?= Date: Fri, 8 Dec 2023 11:38:45 +0900 Subject: [PATCH 8/8] fixed scss --- quartz/styles/base.scss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/quartz/styles/base.scss b/quartz/styles/base.scss index 60fa40d1..372554ac 100644 --- a/quartz/styles/base.scss +++ b/quartz/styles/base.scss @@ -1,6 +1,6 @@ @use "./syntax.scss"; @use "./callouts.scss"; - +@use "./variables.scss" as *; html { scroll-behavior: smooth; -webkit-text-size-adjust: none;