diff --git a/courseA/DTRAM.html b/courseA/DTRAM.html
index 945bf55..3b2afc0 100644
--- a/courseA/DTRAM.html
+++ b/courseA/DTRAM.html
@@ -96,7 +96,8 @@
     この例では，メッセージ <code>add(name, addr)</code> を受け取った <code>book.addr</code> リソースが，状態を <code>pre_addr</code> から <code>insert(pre_addr, name, addr)</code> に変化させることが示されています．<br>
     この <code>insert()</code> 関数は，第1引数に渡された写像(対応表)に対し，第2引数と第3引数の対応を追加した結果得られる写像を返す関数です．
     したがって，上の式の右辺は，遷移前の状態 <code>prev_addr</code> に対して，メッセージ <code>add()</code> の引数で渡された <code>name</code> と <code>addr</code> の対応を追加した写像が遷移後の状態になることを示しています．<br>
-    なお，変数名の右側の <code>:</code> の直後に変数の型を記述することができます．型推論によって型がわかる場合には，型を省略することもできます．状態の型が，<code><c1>List</c1></code>，<code><c1>Map</c1></code>，<code><c1>Json</c1></code> であるリソースは子リソースを持つことができます．
+    なお，変数名の右側の <code>:</code> の直後に変数の型を記述することができます．型推論によって型がわかる場合には，型を省略することもできます．<br>
+    状態の型が，<code><c1>List</c1></code>，<code><c1>Map</c1></code>，<code><c1>Json</c1></code> であるようなリソースは子リソースを持つことができます．ここで，<code><c1>List</c1></code> はリスト型，<code><c1>Map</c1></code> は写像型（キーと値の対応），<code><c1>Json</c1></code> はJSONオブジェクト型を表します．
 </p>
 <p>
     Alloy と異なり，DTRAM では仮想実行に関する情報を仕様記述には記載しません．