diff --git a/content/Haskell.md b/content/Haskell.md
new file mode 100644
index 00000000..91de6f2d
--- /dev/null
+++ b/content/Haskell.md
@@ -0,0 +1,4 @@
+---
+date: 2025-01-12 10:08
+---
+#programming-language  #stub 
diff --git a/content/Spinless Tagless G Machine.md b/content/Spinless Tagless G Machine.md
new file mode 100644
index 00000000..3ed94097
--- /dev/null
+++ b/content/Spinless Tagless G Machine.md	
@@ -0,0 +1,11 @@
+---
+date: 2025-01-12 10:08
+---
+
+#programming-language 
+
+[The Spineless Tagless G Machine – Tom's Blog](https://www.theshortlog.com/posts/spineless-tagless-g/)
+
+[[Haskell]]の中間表現の1つ（C--の1個手前）。
+
+[[遅延評価]]に適した仕組み
diff --git a/content/一意型.md b/content/一意型.md
index faee86a4..3e36e6fe 100644
--- a/content/一意型.md
+++ b/content/一意型.md
@@ -5,10 +5,9 @@ date: 2025-01-12 09:13
 
 変数やリソースが一度だけ使用されることをコンパイル時に確定できる仕組み。
 
-
-
-[[Clean]]や[[Idris]]などで使用される（[[Rust]]のムーブセマンティクスも基本はこれだと思う）。
+[[Clean]]や[[Idris]]などで使用される（[[Rust]]のムーブセマンティクスも基本はこれ）。
 
 [Uniqueness Types — Idris 1.3.3 documentation](https://docs.idris-lang.org/en/latest/reference/uniqueness-types.html)
 
+1回だけから任意のn回だけ使用できる、にすると[[線形型]]（Linear Type/Affine Type）になる
 
diff --git a/content/忍び寄る機能主義.md b/content/忍び寄る機能主義.md
new file mode 100644
index 00000000..5ce454ff
--- /dev/null
+++ b/content/忍び寄る機能主義.md
@@ -0,0 +1,9 @@
+---
+date: 2025-01-12 09:38
+---
+#notion
+
+
+気づいたらパッチワーク的に機能が増えまくって中途半端になっていくこと
+
+[creeping featurism](http://www.catb.org/jargon/html/C/creeping-featurism.html)
\ No newline at end of file
diff --git a/content/関数型プログラミング言語と微分方程式ソルバ.md b/content/関数型プログラミング言語と微分方程式ソルバ.md
new file mode 100644
index 00000000..0b96331f
--- /dev/null
+++ b/content/関数型プログラミング言語と微分方程式ソルバ.md
@@ -0,0 +1,19 @@
+---
+date: 2025-01-12 09:47
+---
+
+#idea #memo 
+
+[冬のプログラミングシンポジウム2024](https://prosym.org/66/program.html)でもらったコメントの1つで考えたこと
+
+[[mimium]]では`self`を使うと、ランタイム上の1サンプル前の計算結果を取得できるのだった
+
+`self`を、アナログコンピューティング（電子回路）におけるDelay-freeなフィードバックとして表現することはできるだろうか？
+
+
+[[Veryl]]とかの高レベルなHDLのアナログ回路版みたいな感じで
+
+量子アニーリングのシミュレーターとかにも使えるのでは、という話だった
+
+
+