経緯 昨年の中頃から，当時使用していたキーボードにガタが来ていて，色々と不具合が出ていました．例を挙げると， [Space] が反応しない [M] が確率で反応しない（$p = 0.5$ ぐらい） [Alt] が確率で反応しない（$p = 0.9$ ぐらい） といった具合です．さす…