「ショートカットキー」と「ホットキー」は何がどう違うのか。普段あまり意識せずに何となく使ってたので、ちょっと調べてみました。