そういやPC88の頃ってファンクションキーとテンキー異様に使ってたなあ
と、キーボード掃除してて思い出した

今はファンクションキーなんて年1で使うかどうかだし
キーボードはテンキーレスだ