以前、15x15というサイズのキーを使用する機会があった。現行のJISでは規定されていないが、旧JISで規定されていた模様。現在でも一部のメーカーで市販されている。 これらのキーは見た目的に完全に正方形の断面に見える。しかし実際には若干許容寸法が異な…