>>296
だからPumpのことを日本人は昔からポンプと言っている。

ポンプとデータポンプのポンプが同じであることに気づかず、英語の発音記号に引きずられている。