うごかない subst
variable substition 実装