diff --git a/content/mimiumのモジュールシステム.md b/content/mimiumのモジュールシステム.md
index cc64fd18..60ef6695 100644
--- a/content/mimiumのモジュールシステム.md
+++ b/content/mimiumのモジュールシステム.md
@@ -119,6 +119,18 @@ fn hoge(){
 
 ここまでしか型は決定できないということに
 
+ただまあ、型が決定不能ならその時コンパイルエラーにすればいいだけで、一応型推論自体は無限ループに陥らず完了するのか？
+
+型付け手順
+
+- モジュールA読み込み開始
+- モジュールー型宣言マップにファイル名登録
+- use modBの解釈開始
+	- マップに問い合わせ、ファイルがないのでファイル読み込み開始
+- use modAの解釈開始
+	- マップに問い合わせ、ファイルがあったのでそれを参照
+- 
+
 ---