a minerと、a coal minerは同じ「炭鉱夫」という意味ですよね？coalが入るのと入ら

a minerと、a coal minerは同じ「炭鉱夫」という意味ですよね？coalが入るのと入らないのは、ただ単に丁寧か端折ってるかという違いだけなのでしょうか？よろしくお願いします。

No.1 回答者： スチールウール 回答日時： 2020/01/05 22:54

minerは鉱夫（炭だけではなく鉄鉱石や銅、金など他の物を掘り出す人を含む）

coalが付けば炭鉱に限定される

という違いがあるかと

No.2 回答者： raizo-ichikawa 回答日時： 2020/01/05 22:57

minerは炭鉱夫の意味もあるが、石炭以外の鉱物を掘る人も入ります。

　coal minerは炭鉱夫のみです。

No.3 ベストアンサー 回答者： AVENGER 回答日時： 2020/01/05 22:58

minerは炭鉱夫に限らず鉱夫なので、石炭以外（鉱石など）を掘っていてもかまわない。