パンチング・シャーリングマシン、チャンネル鋼切断機、アングル鋼切断パンチングマシン