PCを新調（Windows7 64bit SSD）したのですが、NuSMVのBMCが途中で止まってしまう。

Windows 中国語IMEをインストールすると、デフォルトで「ctrl-space」が中国語IMEへの切り替えに割り当てられる。一方で、emacs では「ctrl-space」が set mark に割り当てられているが、、この中国語IMEによって使えなくなってしまう。emacs の set mark を…