トンネル掘削機ブームヘッダーの略称