ctrl-caps問題解決

　グーグル検索で「一ヶ月」に絞る。このページがヒットする。

windows10 Creators Update以降Caps lock キーとCtrlキーの入れ替えが正しく機能しません

　莫迦莫迦しいなあと思いながら、regeditを立ち上げてその通りにする。再起動。成功。
　念のためもう一度再起動するが、問題ない。

　*.regというテキストファイルを使う方法が駄目らしい。

　真面目に00 00 00 …というデータを打ち込めばいいのだ。