diff --git a/content/DIY半導体.md b/content/DIY半導体.md
index 0eec4b19..1b3e4adc 100644
--- a/content/DIY半導体.md
+++ b/content/DIY半導体.md
@@ -16,6 +16,30 @@ tags:
 
 ## サーベイ
 
+### 個人でのASIC製造
+
+- Open Source Silicon Initiative
+	- Group Buyみたいな感じでデータを集めて定期的に工場に発注する流れをオープン化しているもの(Open MPW Shuttle)
+	- Google、Skywater、efabless、GlobalFoundriesの4社がやってる
+	- [Built Custom Silicon with Google](https://developers.google.com/silicon?hl=ja)
+		- https://riscv.or.jp/wp-content/uploads/DAY1_Aaron_Google_RISC-V_Tokyo_Autumn_2022-Aaron_Slides_cp.pdf
+	- OpenLane：efablessの提供するeda
+	- [GlobalFoundries、無償でカスタムASICが作れるOpen Source Silicon Initiativeに参加
+](https://pc.watch.impress.co.jp/docs/column/tidbit/1433235.html)
+
+- [TinyTapeOut](https://tinytapeout.com/)
+	- efablessがやってるやつ
+	- [Zero to ASIC Course](https://zerotoasiccourse.com/)
+
+[Open-source IC cells as 3D prints. A rough how-to guide.](https://medium.com/@thorstenknoll/open-source-ic-cells-as-3d-prints-a-rough-how-to-guide-90a8bc8b3b57)
+
+https://vlsi.jp/ クレイジーピエロさんがやってる情報集
+
+
+[MakeLSI](https://scrapbox.io/makelsi/)
+
+https://www.bookpark.ne.jp/cm/ieej/detail/IEEJ-ECT16039-PDF/
+
 ### 金属酸化物
 
 [[酸化亜鉛系トランジスタ]]
diff --git a/content/音楽プログラミング言語の形式化.md b/content/音楽プログラミング言語の形式化.md
index defe9ca2..1c2b790d 100644
--- a/content/音楽プログラミング言語の形式化.md
+++ b/content/音楽プログラミング言語の形式化.md
@@ -137,6 +137,19 @@ fn lowpass(input,fb){
 
 実際、Faustのパターンマッチングでの項書き換えは書き換えを適用するたびに異なる入出力数のノードを返すことができる（だからこそ`take`みたいな関数が定義できるわけだし）
 
+要素数が$2^n$なアダマール積の定義とか
+
+```java
+bus(n) = par(i,n,_); // There is si.bus(n) in the \FL s
+
+// hmtx(2) = _,_ <: +,-; // scalar butterfly
+hmtx(2) = _,_ <: (bus(2):>_),(_,*(-1):>_) ; // prettier drawing
+hmtx(n) = bus(n) <: (bus(n):>bus(n/2)) , // vector butterfly
+	((bus(n/2),(bus(n/2):par(i,n/2,*(-1)))) :> bus(n/2)) : (hmtx(n/2) , hmtx(n/2));
+
+process = hmtx(16);
+```
+
 この辺は、多段階計算を使ったとしても生成したコードの型を変えるみたいなことは出来ないのでは？
 
 項でインデックスされた型＝依存型な気がするのよな