する為にkbdaccというソフトを入れてみたところ，いい感じにキーリピートが高速化された．キーボードのプロパティの設定で満足できない人は入れると幸せになれると思う．

Dellのページを見てて次の商品を発見した. PowerEdge T105 1万4999円でこのスペックなら結構いいんじゃないかと思う．というか，買って研究室に持ち込みたい．ただ，企業向けなので個人ユーザは買えないかもしれない．