今日、久しぶりに起動したんだけど、USキーボードの半角/全角の切り替えどうやってやるんだっけ？