かつて、日本海機械工業という会社が活躍しました。