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