教卓で使うカード型のキーが故障で使えなくなったので・・・と、普通に鍵穴に差し込むタイプのキーをわたされたて、たしかに教卓に鍵穴があるのだから、これも使えるのだとはじめて気づいた。カード型のキーを差し込むところは、授業をしているときにちょう…