The seven key principles of correct by construction: Expect requirements to change. Know why you're testing. Eliminate errors before testing. Write software that is easy to verify. Develop incrementally. Some aspects of software developmen…

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

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