終戦記念日である。今日は一日Offの予定だったので、朝から[es]のカスタマイズに取り組んだ（昨夜思いついて、布団の中でイメージングしていた）。 今回実現したいのは、「テンキーを使う」ことである。「テンキー」は、写真の赤丸部分であるが、ここのキー…