そもそも値段が 20 万超えてしまうのだけど、VAIO SX14 か Thinkpad の何か、のどちらかが良さそうに思っている。US 配列が必要。