Update jci_04.md

posts/jci_04.md

@@ -482,6 +482,8 @@ $$
 
 みたいな集合です。全ての要素はそれぞれ 代入, goto, 条件つき goto のどれかただ一つに属することに注意してください。
 
+代入文の右辺には定数、変数またはそれらの二項演算がきます。($n$ 項演算に拡張するのは容易ですが説明のために簡単にしています)
+
 #### 2. $A, \leq$
 
 次はプログラムの状態 $A$ とその順序関係 $\leq$ です。