「機能キー」という訳を昨日聞いて、もっと気の利いた訳はできないのかと思ったときの気持ち