Merge remote-tracking branch 'home/v4' into v4

content/.obsidian/graph.json

@@ -17,6 +17,6 @@
   "repelStrength": 11.1808268229167,
   "linkStrength": 0.893798828125,
   "linkDistance": 48,
-  "scale": 1.0136432647705076,
+  "scale": 0.15383699374609286,
   "close": true
 }

content/VoicepeakからSRTファイルを出力.md

@@ -0,0 +1,12 @@
+---
+date: 2024-07-03 14:52
+---
+#tips #python
+
+[VOICEPEAKの音声にほぼドンピシャの字幕ファイルを作成するPythonスクリプト #YouTube - Qiita](https://qiita.com/guneco/items/a5a9d59865062c7479d3)
+
+- [[Voicepeak]]ではSRTファイルのインポートはできてもエクスポートには対応していない
+- [[Voicepeak]]の`.vpp`ファイルは中身がJSONなので普通に覗ける
+	- が、各文章ごとのタイムスタンプはファイルには記録されておらず、セリフが更新されるごとにその場で計算されているっぽい
+- ↑のリンクではバラバラに書き出されたtxtファイルとwavファイルの情報からsrtタイムスタンプを計算して生成している
+- wav書き出し時に微妙に余白が入ってるのか、そのまま計算するとズレるのでオフセットを入れてある(これは設定により異なるっぽい)

content/mimiumの中間表現を考える.md

@@ -113,3 +113,26 @@ delayはどうしておくかというと、最初の8バイトは現在のリ
 中間表現では関数呼び出し、即値の読み込みはラベル使ってやるので十分かあ
 そうなるとローカルの名前リネームは必要
 
+VM自体のstate_sizeの保存には結局コールツリーを辿る必要が出てくる？
+pushfeedoffsetでバイトオフセットの値をトレースするためには結局applyの式を辿る必要はある
+コールツリーのトラバースをし始めるとワンパスコンパイラとしての旨みがなくなる
+
+feedはlambdaに閉じ込められてletrecにbindされてるのがちょっと面倒
+
+まあでも結局ユーザー層に隠蔽するにはここで静的解析するしかないのか
+あれ、でもこの静的解析って結局多段階でいうところのstage 0 の評価に相当するやつなのでは
+
+```rust
+fn fbdelay(input:float,fb:float,dtime:float)->float{
+    return input + delay(self,dtime)*fb
+}
+
+fn twodelay (input:float,dtime:float)->float{
+    return fbdelay(input,dtime,0.7)+fbdelay(input,dtime*2,0.8)
+}
+
+fn dsp (input:float)->float{
+    return twodelay(input,400)+twodelay(input,800)
+}
+
+```

content/private

@@ -1 +1 @@
-Subproject commit ad6c1d8b0baba0ace0e900e07dc597cf0937989e
+Subproject commit c5dd7b0f10ba102cd4bd85574a5b607bb6826692

content/バウハウス.md

@@ -0,0 +1,4 @@
+---
+date: 2024-06-28 15:08
+---
+