!命名
って大事だよなあ．
人の作ったものに名前をつけるのは慎重に．