再インストールせずに 32bit版 debian を 64bit版 debian へ手動で更新したので，手順をメモします．手順は大まかに言うと カーネルだけ 64bit 化 64bit カーネルで再起動．この時点ではプログラム，ライブラリは32bitのまま 64bit版の apt-get が出来るchro…