代入 [x := N] 実装