modキーはデフォルトでは(左?)Altキー． これだとEmacsのキーバインドど干渉するので，窓キーに変更することにした． つい先月末まで使っていたThinkPad X 23には窓キーがなかったんだよね．ふふふ．でもこんどのThinkPad X200sにはちゃんと窓キーあるもんね…