しかし、ラップトップとは古い言い方だな。