Professional microphones are generally used to record concerts. For pianos, cardioid microphones are generally used. If a recorder is used, the sound quality cannot be guaranteed if it is a little farther away.

For post-production, if it is simple, you can choose cooleidt. If it is more complicated, you can choose Cubase or protools~