1412120 jmdict A [id=2146039] 代入 だいにゅう [1][n,vs][fld=math] substitution [2][n,vs][fld=comp] assignment