教授のPCが壊れたので買い換えたのだが，当然最新PCなわけで，Windows7を扱い慣れてなくて大変だった． 結局の所，Windows側が問題だったのは個人プロファイルを一時ファイルとして生成した部分だけ（いや，十分ひどいと思う）だったんだが，詰まる毎に64bit…