当時は紙テープでデータがやりとりされていたが、パンチミスを修正するためのキャンセルパンチというツールもあった

当時は紙テープでデータがやりとりされていたが、パンチミスを修正するためのキャンセルパンチというツールもあった