From 5ae629d84b2b44c1bbd218b187544801dbff6c6c Mon Sep 17 00:00:00 2001
From: "Matsuura Tomoya(Windows)" <me@matsuuratomoya.com>
Date: Sun, 17 Aug 2025 14:29:39 +0900
Subject: [PATCH] [obsidian] vault backup: 2025-08-17 14:29:39[

---
 content/mimium.md         | 2 +-
 content/mimiumの型推論.md | 6 ++++++
 2 files changed, 7 insertions(+), 1 deletion(-)
 create mode 100644 content/mimiumの型推論.md

diff --git a/content/mimium.md b/content/mimium.md
index 0fb50935..8cf6683e 100644
--- a/content/mimium.md
+++ b/content/mimium.md
@@ -22,7 +22,7 @@ https://github.com/mimium-org/mimium-rs
 
 - [[mimiumの部分的DSP更新とFaustのondemand]]
 - [[mimiumでのIOパラメーター]]
-
+- [[mimiumの型推論]]
 ### 中間表現について
 
 - [[mimium新内部表現の構想]]
diff --git a/content/mimiumの型推論.md b/content/mimiumの型推論.md
new file mode 100644
index 00000000..1d5177ba
--- /dev/null
+++ b/content/mimiumの型推論.md
@@ -0,0 +1,6 @@
+
+[[Erg]]のドキュメントが参考になる
+
+[[構造的部分型]]と[[単一化]]の組み合わせ方の参考になる
+
+[erg/doc/JA/compiler/inference.md at main · erg-lang/erg · GitHub](https://github.com/erg-lang/erg/blob/main/doc/JA/compiler/inference.md)
\ No newline at end of file