diff --git a/courseA/IM_Alloy.html b/courseA/IM_Alloy.html
index 858e131..fff42ac 100644
--- a/courseA/IM_Alloy.html
+++ b/courseA/IM_Alloy.html
@@ -30,6 +30,7 @@
 	商品全体を保管する倉庫の集合を <code>Inventory</code> ，商品の集合を <code>Item</code> で表します．<br>
 	以下のモデルでは <code><c1>sig</c1></code> を用いて，<code>ItemId</code> ，<code>Name</code> ，<code>Inventory</code> ，<code>Item</code> の順番にこれらの集合を宣言しています．<br>
 	<code>Inventory</code> には，<code>ItemId</code> から <code>Item</code> への対応関係が <code>itemDB</code> フィールドとして定義されています．<br>
+	ここで，<code>ItemId</code> の右側の <code><c1>lone</c1></code> は１つの <code>Item</code> に対応する <code>ItemId</code> がたかだか１つしかないことを示しています．<br>
 	<code>Item</code> の宣言では，商品名を表す <code>name</code> が <code>Name</code> のインスタンスとして，
 	在庫数を表す <code>count</code> が <c1><code>Int</code></c1> のインスタンスとして定義されています．<br>
 </p>
diff --git a/courseA/IM_DTRAM.html b/courseA/IM_DTRAM.html
index 1c90aa4..1c2f410 100644
--- a/courseA/IM_DTRAM.html
+++ b/courseA/IM_DTRAM.html
@@ -176,7 +176,7 @@
 
 <h3>1:</h3>
 <div class="img-center">
-	<img src="../img/DTRAM/InventoryManagement/DTRAM 1 Ver InventoryManagement.png.", class ="before-image-size"><br>
+	<img src="../img/DTRAM/InventoryManagement/DTRAM 1 Ver InventoryManagement.png", class ="before-image-size"><br>
 </div>
 <h3>2:</h3>
 <div class="img-center">
diff --git a/courseA/ST_Alloy.html b/courseA/ST_Alloy.html
index 8ca6e97..3f2f446 100644
--- a/courseA/ST_Alloy.html
+++ b/courseA/ST_Alloy.html
@@ -19,17 +19,18 @@
 </h1>
 <p>
 	ここでは，SimpleTwitter の Alloy による仕様記述に関する課題に取り組んでいただきます．<br>
-	以下に Alloy で記述された SimpleTwitter のモデルを示します．こちらを適宜参照しながらモデルの理解を行ってください．
+	以下に Alloy で記述された SimpleTwitter のモデルを示します．こちらを適宜参照しながら課題を進めてください．
 </p>
 <hr/>
 
 <h2>SimpleTwitter の Alloy による仕様記述についての説明</h2>
 <h3><code><c1>sig</c1></code>:</h3>
 <p>
-	Alloy では，アカウントidの集合を <code>AccountId</code> ，アカウント名の集合を <code>Name</code> ，
-	ツイートの集合を <code>Tweet</code> ，アカウント全体の集合を <code>Accounts</code> ，アカウントの集合を <code>Account</code>，リストの集合を <code>List</code> で表します．<br>
-	以下のモデルでは <code><c1>sig</c1></code> を用いて，<code>AccountId</code> ，<code>Name</code> ，<code>Tweet</code> ，<code>Accounts</code>，<code>Account</code>，<code>List</code> の順番にこれらの集合を宣言しています．<br>
+	Alloy では，アカウントidの集合を <code>AccountId</code>，アカウント名の集合を <code>Name</code>，
+	ツイートの集合を <code>Tweet</code>，アカウントデータベースの集合を <code>Accounts</code>，アカウントの集合を <code>Account</code>，ツイートリストの集合を <code>List</code> で表します．<br>
+	以下のモデルでは <code><c1>sig</c1></code> を用いて，<code>AccountId</code>，<code>Name</code>，<code>Tweet</code>，<code>Accounts</code>，<code>Account</code>，<code>List</code> の順番にこれらの集合を宣言しています．<br>
 	<code>Accounts</code> には，<code>AccountId</code> から <code>Account</code> への対応関係が<code>accountDB</code> フィールドとして定義されています．<br>
+	ここで，<code>AccountId</code> の右側の <code><c1>lone</c1></code> は１つの <code>Account</code> に対応する <code>AccountId</code> がたかだか１つしかないことを示しています．<br>
 	<code>Account</code> の宣言では，アカウント名を表す <code>name</code> が <code>Name</code> のインスタンスとして，
 	ツイートリストを表す <code>tweets</code> が <code>List</code> のインスタンスとして定義されています．<br>
 	<!--<code>List</code> では，<code>size</code> が <code>Int</code> のインスタンスとして，
@@ -40,14 +41,14 @@
 <p>
 	最初の述語として記述されている <code>init</code> は，<code>Accounts</code> の
 	インスタンスである <code>acs</code> が初期化されていることを示しています．<br>
-	次の<code>signUp</code> は，<code>id</code> に対応するアカウントを登録する前の <code>Accounts</code> のインスタンス <code>acs</code> と，
+	次の <code>signUp</code> は，<code>id</code> に対応するアカウントを登録する前の <code>Accounts</code> のインスタンス <code>acs</code> と，
 	登録した後のインスタンス <code>acs'</code> の関係を述語として定義しています．<br>
 	ここで <code>n</code> はアカウント名を示しています．<br>
 	<code>tweet</code> では<code>id</code> で登録されているアカウントに対してツイートを行った際の操作前の <code>Accounts</code> のインスタンス <code>acs</code> と，
 	操作後のインスタンス <code>acs'</code> の関係を述語として定義しています．<br>
 	ここで <code>contents</code> はツイートの内容を表しています．<br>
-	最後の <code>execute</code> では，<code>init</code> ，<code>signUp</code> ，<code>tweet</code> を
-	この順で呼び出す操作を定義しています．<br>
+	また <code><c1>implies</c1></code> はその前に記述されている条件が成り立っているときは，その後に記述されている論理式または論理式の集合が成り立ち，条件が成り立っていないときは <code><c1>else</c1></code> の後ろに記述されている論理式または論理式の集合が成り立つことを示しています．<br>
+	最後の <code>execute</code> では，<code>init</code>，<code>signUp</code>，<code>tweet</code> をこの順で呼び出す操作を定義しています．<br>
 	<c1><code>run</code></c1> では，<code>execute</code> を呼び出して仮想実行を行います．
 </p>
 
@@ -118,7 +119,7 @@
 	<code>Accounts</code> が，<code>AccountId</code> のインスタンスを <code>Account</code> のインスタンスに対応させる <code>accountDB</code> というフィールドを持っており，
 	<code>Account</code> が <code>Name</code> のインスタンスを参照する <code>name</code> フィールドと，<code>List</code> のインスタンスを参照する <code>tweets</code> フィールドを，<br>
 	<code>List</code> が <code><c1>Int</c1></code> のインスタンスを参照する <code>size</code>フィールドと，
-	<code><c1>Int</c1></code> のインスタンスを <code>element</code> のインスタンスに対応させる <code>Tweet</code> フィールドをもっていることがわかります．
+	<code><c1>Int</c1></code> のインスタンスを <code>Tweet</code> のインスタンスに対応させる <code>element</code> フィールドをもっていることがわかります．
 </p>
 <hr/>
 
@@ -127,7 +128,7 @@
 	ここでは，SimpleTwitter モデルの仮想実行について説明します．この仮想実行で用いるテストケースは次の通りです．<br>
 <ol>
 	<li>Accounts に新しいアカウントを登録します．</li>
-	<li>ツイートを行います．</li>
+	<li>登録したアカウントでツイートを行います．</li>
 </ol>
 </p>
 
@@ -142,12 +143,12 @@
 <p>
 	左下にある Accounts2($execute_acs) は <code>execute</code> 述語中の変数 <code>acs</code> で参照される <code>Accounts</code> のインスタンスであり，<code>init</code> 述語を満たしているため，
 	まだ何のアカウント(Account)も登録されていない状態になっています．<br>
-	次に，1番上の段の左にある Accounts1($execute_acs') は変数 <code>acs'</code> で参照されるインスタンスで，
-	<code>acs</code> で参照されるインスタンスに対して，<code>AccountId</code> で参照される <code>Account</code> のインスタンスをツイートリストの要素数が0の状態で登録したインスタンスになっています．<br>
+	次に，1番上の段の左にある Accounts1($execute_acs') は変数 <code>acs'</code> で参照される <code>Account</code> のインスタンスで，
+	<code>acs</code> で参照される <code>Account</code> のインスタンスに対して，<code>Account</code> のインスタンス Account1($signUp_ac) をツイートリストの要素数が0の状態で登録したインスタンスになっています．<br>
 	Accounts1 の右にある Accounts0($execute_acs'') は少し複雑です．<br>
 	まず，Accounts1 において，<code>AccountId</code> で参照される Account のインスタンスは Account1 です．このインスタンスに対してツイートを行った後の Account のインスタンスは Account0 になります．<br>
 	ここで Account0 のツイートリストの要素数が1に増加していることに注意して下さい．<br>
-	<code>AccountId</code> で参照される <code>Account</code> のインスタンスが Account1 から Account0 に変わるので，<code>Account</code> のインスタンスも Account1 から Account0 に変わります．
+	<code>AccountId</code> で参照される <code>Account</code> のインスタンスが Account1 から Account0 に変わるので，<code>Accounts</code> のインスタンスも Accounts1 から Accounts0 に変わります．
 </p>
 <hr/>
 
@@ -155,8 +156,10 @@
 	課題概要
 </h2>
 <p>
+	ここからが課題です．<br>
 	本課題ではまず，上記にて説明を行った SimpleTwitter の仕様に，ある機能を追加した仕様を考えます．<br>
-	その仕様のモデルと，仮想実行を可視化した以下の図を見ていただいた上で，２つの設問にお答えいただきます．<br>
+	その仕様のモデルを以下に示します．また，そのモデルの仮想実行を可視化したものをその下に示します．これらの図を見ていただいた上で，２つの設問にお答えいただきます．<br>
+	なお，以下のモデル中にある <code><c1>implies</c1></code> はその前に記述されている条件が成り立っているときは，その後に記述されている論理式または論理式の集合が成り立ち，条件が成り立っていないときは <code><c1>else</c1></code> の後ろに記述されている論理式または論理式の集合が成り立つことを示しています．<br>
 	設問にお答えいただく際は，必ず設問１，設問２の順番でご解答下さい．以下の図と同じものが設問のページにも記載されているのでこのまま設問のページに飛んでいただいてもかまいません．
 </p>
 <div style="padding: 10px; margin-bottom: 10px; border: 1px solid #333333; border-radius: 10px;">
@@ -220,7 +223,7 @@
 </div>
 
 <div class="img-center">
-	<img src="../img/Alloy/Alloy_Ver_InventoryManagementCheckMinus.png", class ="before-image-size"><br>
+	<img src="../img/Alloy/Alloy_DuplicateCheck_VerSimpleTwitter.png", class ="before-image-size"><br>
 </div>
 
 <p>
diff --git a/courseA/ST_DTRAM.html b/courseA/ST_DTRAM.html
index f63010d..a6e560b 100644
--- a/courseA/ST_DTRAM.html
+++ b/courseA/ST_DTRAM.html
@@ -19,7 +19,7 @@
 </h1>
 <p>
 	ここでは，SimpleTwitter の DTRAM による仕様記述に関する課題に取り組んでいただきます．<br>
-	以下に DTRAM で記述された SimpleTwitter のモデルを示します．こちらを適宜参照しながらモデルの理解を行ってください．
+	以下に DTRAM で記述された SimpleTwitter のモデルを示します．こちらを適宜参照しながら課題を進めてください．
 </p>
 <hr/>
 
@@ -27,20 +27,21 @@
 <p>
 	DTRAM では，SimpleTwitter の仕様を以下のような階層化されたリソースで表します．<br>
 <ul>
-	<li><code>accounts</code>: アカウント全体を管理</li>
+	<li><code>accounts</code>: アカウント全体を管理するデータベース</li>
 	<li><code>accounts.{accountId}</code>: <code>accountId</code> で登録されているアカウント</li>
-	<li><code>accounts.{accountId}.name</code>: <code>accountId</code> で示されたアカウント名</li>
+	<li><code>accounts.{accountId}.name</code>: <code>accountId</code> で示されたアカウントのアカウント名</li>
 	<li><code>accounts.{accountId}.tweets</code>: <code>accountId</code> で示されたアカウントのツイートリスト</li>
 	<li><code>accounts.{accountId}.tweets.{tid}</code>: <code>accountId</code> で示されたアカウントのツイートリストに <code>tid</code> で登録されているツイート</li>
 </ul>
 
 DTRAM では，SimpleTwitter のモデルを以下のようなチャンネル単位で記述していきます．<br>
-ここでは，アカウント登録用のイベントチャンネルを <code>Signup</code> ，<code>accountId</code> で登録されているアカウントに対してツイートを行うためのイベントチャンネルを <code>Tweet(accountId:<c1>Str</c1>)</code> として宣言しています．<br>
-<code>Signup</code> チャンネルでは <code>accounts</code> リソースが，メッセージ <code>signUp(accountId, name)</code> を受け取ると， リソースの状態 <code>accountDB</code> が <code>insert(accountDB, accountId, {"name": name, "tweets": nil})</code> に変わることを示しています．<code>nil</code> は空のマップやリストを表しています．<br>
+アカウント登録用のイベントチャンネルを <code>Signup</code> ，<code>accountId</code> で登録されているアカウントに対してツイートを行うためのイベントチャンネルを <code>Tweet(accountId:<c1>Str</c1>)</code> として宣言しています．<br>
+<code>Signup</code> チャンネルでは <code>accounts</code> リソースが，メッセージ <code>signUp(accountId, name)</code> を受け取ると， リソースの状態が <code>accountDB</code> から <code>insert(accountDB, accountId, {"name": name, "tweets": nil})</code> に変わることを示しています．<code>nil</code> は空のマップやリストを表しています．<br>
 ここで，<code>insert()</code> 関数は，第1引数に渡された写像に対し，第2引数と第3引数の対応を追加した結果得られる写像を返す関数です．<br>
+また <code>{"name": name, "tweets": nil}</code> は，<code>"name"</code> と <code>"tweets"</code> をキーに持つ JSON オブジェクトを表しています．<br>
 <code>Tweet(accountId:<c1>Str</c1>)</code> チャンネルでは <code>accounts.{accountId}.tweets</code> リソースがメッセージ <code>tweet(contents)</code> を受け取ると，
 遷移前の状態 <code>tweetList</code> が <code>append(tweetList, contents)</code> に変わることを示しています．<br>
-ここで，<code>append()</code> 関数は，第1引数に渡された写像に対し，第2引数の対応を追加した結果得られる写像を返す関数です．<br>
+ここで，<code>append()</code> 関数は，第1引数に渡されたリストに対し，第2引数のオブジェクトを末尾に追加した結果得られるリストを返す関数です．<br>
 </p>
 
 <div style="padding: 10px; margin-bottom: 10px; border: 1px solid #333333; border-radius: 10px;">
@@ -64,7 +65,7 @@
 	<img src="../img/DTRAM/SimpleTwitter/DTRAM Ver SimpleTwitter architecture Visualize.png", class ="before-image-size"><br>
 </div>
 <p>
-	この図がモデルの実行に依らない，リソースを表していることに注意して下さい．<br>
+	この図がモデルの実行に依らない，リソースとチャンネルの関係を表していることに注意して下さい．<br>
 	図の中央にある <code>accounts</code> リソースは <code>Signup</code> チャンネルからアカウントを登録するメッセージを受け取ります．<br>
 	<code>accounts</code> リソースの子リソースである，<code>accounts.{accountId}</code> リソースはアカウントを表しています．<br>
 	リソース名に含まれる <code>accountId</code> はアカウントIDを表すパスパラメータで，一意なアカウントの特定を可能にしています．<br>
@@ -77,8 +78,8 @@
 <p>
 	ここでは，SimpleTwitter モデルの仮想実行について説明します．この仮想実行で用いるテストケースは次の通りです．<br>
 <ol>
-	<li>accounts にアカウント名が Satou という新しいアカウントを登録します．</li>
-	<li>登録したアカウント(Satou)で Hello というツイートを行います．</li>
+	<li>accounts にアカウント名が "Satou" という新しいアカウントをアカウントID @123 で登録します．</li>
+	<li>登録したアカウント(Satou)で "Hello" というツイートを行います．</li>
 </ol>
 </p>
 
@@ -93,7 +94,7 @@
 </div>
 <p>
 	初期状態では，<code>accounts</code> リソースには何のアカウントも登録されていない状態になっています．<br>
-	次に，<code>accounts</code> にアカウント名が Satou のアカウントを登録するため，<code>accounts</code> リソースをダブルクリックします．
+	次に，<code>accounts</code> にアカウント名が "Satou" のアカウントを登録するため，<code>accounts</code> リソースをダブルクリックします．
 </p>
 
 <div class="img-center">
@@ -123,7 +124,7 @@
 </div>
 <p>
 	次の状態に遷移し，遷移後の状態が表示されます．@123というidを持つアカウント <code>accounts.@123</code> が <code>accounts</code> の子リソースとして生成されていることがわかります．<br>
-	<code>accounts.@123</code> のツイートリスト <code>accounts.@123.tweets</code> が 空のリスト(nill)，アカウント名 <code>accounts.@123.name</code> が Satou となっていることを確認できます．<br>
+	<code>accounts.@123</code> のツイートリスト <code>accounts.@123.tweets</code> が 空のリスト(nil)，アカウント名 <code>accounts.@123.name</code> が "Satou" となっていることを確認できます．<br>
 	次に，登録したアカウント <code>accounts.@123</code> でツイートを行いたいので，<code>accounts.@123.tweets</code> リソースをダブルクリックします．
 </p>
 
@@ -153,8 +154,9 @@
 	課題概要
 </h2>
 <p>
+	ここからが課題です．<br>
 	本課題ではまず，上記にて説明を行った <code>SimpleTwitter</code> の仕様に，ある機能を追加した仕様を考えます．<br>
-	その仕様のモデルと，仮想実行の流れを可視化した以下の図を見ていただいた上で，２つの設問にお答えいただきます．<br>
+	その仕様のモデルを以下に示します．また，そのモデルの仮想実行を可視化したものをその下に示します．これらの図を見ていただいた上で，２つの設問にお答えいただきます．<br>
 	設問にお答えいただく際は，必ず設問１，設問２の順番でご解答下さい．以下の図と同じものが設問のページにも記載されているのでこのまま設問のページに飛んでいただいてもかまいません．
 </p>
 <div style="padding: 10px; margin-bottom: 10px; border: 1px solid #333333; border-radius: 10px;">
@@ -177,10 +179,22 @@
 
 <h3>1:</h3>
 <div class="img-center">
-	<img src="../img/DTRAM/SimpleTwitter/DTRAM 5 VerSimpleTwitter.png", class ="before-image-size"><br>
+	<img src="../img/DTRAM/SimpleTwitter/DTRAM 1 VerSimpleTwitter.png", class ="before-image-size"><br>
 </div>
 <h3>2:</h3>
 <div class="img-center">
+	<img src="../img/DTRAM/SimpleTwitter/ChangeName/DTRAM_kadai2_SimpleTwitter.png", class ="before-image-size"><br>
+</div>
+<h3>3:</h3>
+<div class="img-center">
+	<img src="../img/DTRAM/SimpleTwitter/DTRAM 5 VerSimpleTwitter.png", class ="before-image-size"><br>
+</div>
+<h3>4:</h3>
+<div class="img-center">
+	<img src="../img/DTRAM/SimpleTwitter/ChangeName/DTRAM_kadai4_SimpleTwitter.png", class ="before-image-size"><br>
+</div>
+<h3>5:</h3>
+<div class="img-center">
 	<img src="../img/DTRAM/SimpleTwitter/ChangeName/DTRAM_1_ChangeName_VerSimpleTwitter.png", class ="before-image-size"><br>
 </div>
 
diff --git a/img/DTRAM/SimpleTwitter/ChangeName/DTRAM_kadai2_SimpleTwitter.png b/img/DTRAM/SimpleTwitter/ChangeName/DTRAM_kadai2_SimpleTwitter.png
new file mode 100644
index 0000000..0be15ae
--- /dev/null
+++ b/img/DTRAM/SimpleTwitter/ChangeName/DTRAM_kadai2_SimpleTwitter.png
Binary files differ
diff --git a/img/DTRAM/SimpleTwitter/ChangeName/DTRAM_kadai4_SimpleTwitter.png b/img/DTRAM/SimpleTwitter/ChangeName/DTRAM_kadai4_SimpleTwitter.png
new file mode 100644
index 0000000..9c28df5
--- /dev/null
+++ b/img/DTRAM/SimpleTwitter/ChangeName/DTRAM_kadai4_SimpleTwitter.png
Binary files differ