ファンクションキーって割と頻繁に割り当てが変わるよね
不便に思うことがちょこちょこあるw