そういや昔、ミントのことをハッカと言っていたが、何語だったんだろう…