dvi.jsの更新に追従