二段結合を有するマス・ばね・ダンパ系のインピーダンスマッチングコントローラの正実性について